Towards a Functional Formalism for Modelling Complex Industrial Systems

Abstract

This paper is devoted to the presentation of the main lines of an unifi ed functional formalism for modelling complex industrial systems, that is to say systems that typically mix a big number of different software and physical devices. Our approach is based on a discrete non-standard representation of time. It captures both the hierarchical architecture and the temporal and data multi-scale structures of a complex industrial system. We show in particular in this paper how our formalism allows to recover in an totally unifi ed way various sorts of simple systems such as Turing machines, elementary conservative physical systems and low level software/physical interfaces (sampler, modulator).

Cerebellar Dermoid Cyst with Occipital Dermal Sinus

“…The preoperative diagnosis is possible by using CT scan and MRI. CT scan shows a low-density mass with values of fat present in these tumors [1, 18] of around at 150 Hounsfield units without capsular enhancement [2]. The presence of infection or abcess formation cause enhancement both in the CT scan and MRI [1].…”

“…However, Schijman et al [20] recommend a percutaneous aspiration of the dermoid cyst before total resection, whereas Hayek [21] recommends a simultaneous resection of the cyst and abscesses. The management of hydrocephalus is not clear [1, 2]. There are three scenarios for dermoid cyst associated with hydrocephalus [2]: (1) If hydrocephalus is present at the time of dermoid cyst diagnosis together with infection of the CSF, an external drainage should be performed at the time of dermoid cyst removal.…”

“…The management of hydrocephalus is not clear [1, 2]. There are three scenarios for dermoid cyst associated with hydrocephalus [2]: (1) If hydrocephalus is present at the time of dermoid cyst diagnosis together with infection of the CSF, an external drainage should be performed at the time of dermoid cyst removal. (2) If CSF is clear of bacterial contamination, ventriculoperitoneal shunt should be inserted at the very end of dermoid cyst removal.…”

“…CT scan and MRI are the methods of choice for diagnosis. As the treatment of the dermoid cyst is relatively easy, the management of associated hydrocephalus is not clearly established [2]. We report 2 cases of dermoid cyst with occipital dermal sinus, complicated by abcess in 1 case and hydrocephalus in 2 cases.…”

Modelling of Complex Software Systems: A Reasoned Overview

“…One may found in [29,30] a formal definition of a "good" global more restricted family of abstract systems that tries to capture the full realness of systems, using a Turing machine type formalism mixed with non standard analysis (cf. [16]) for taking into account the continuous and discrete dimensions of systems in the same framework.…”