We present a case study in the use of JSD, a popular structural design method, as a unifying mechanism for formal notations addressing different aspects of a system design. An asynchronous variant of CSP is used to address issues relating to time-ordering of events and communication between processes, while TLZ (a hybrid of Z and TLA) addresses state-based aspects of the system design and permi...

The electronic and structural properties of single wall carbon nanotubes (SWCNTs) interacted with 4-amino phenyl-azobenzene were theoretically investigated by using the hybrid DFT (hybrid-density functional theory) calculations. The amount of thermodynamic parameters of this reaction in the gas and aqueous phase suggesting thermodynamic favourability for adsorption of 4-amino phenyl-azobenzene ...

Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...

Colliding Bodies Optimization (CBO) is a population-based metaheuristic algorithm that complies physics laws of momentum and energy. Due to the stagnation susceptibility of CBO by premature convergence and falling into local optima, some meritorious methodologies based on Sine Cosine Algorithm and a mutation operator were considered to mitigate the shortcomings mentioned earlier. Sine Cosine Al...

Introduction: In order to simplify the information exchange within the medical diagnosis process, a collaborative software agent’s framework is presented. The purpose of the framework is to allow the automated information exchange between different medicine specialists. Methods: This study presented architecture of a hybrid disease diagnosis system. The architecture employed a learning...

hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior‎. ‎the hybrid differential equations have a wide range of applications in science and engineering‎. ‎the hybrid systems are devoted to modeling‎, ‎design‎, ‎and validation of interactive systems of computer programs and continuous systems‎. ‎hybrid fuzzy differential equations (hfdes) is considered by ...

The electronic and structural properties of single wall carbon nanotubes (SWCNTs) interacted with 4-amino phenyl-azobenzene were theoretically investigated by using the hybrid DFT (hybrid-density functional theory) calculations. The amount of thermodynamic parameters of this reaction in the gas and aqueous phase suggesting thermodynamic favourability for adsorption of 4-amino phenyl-azobenzene ...

nowadays, planning is no longer considered merely a scientific and technical career nor agovernment responsibity. it rather functions as a bridge connecting the planners to institutional changes. in otherwords, the planning theory does not develop in a social, economic and political vacuum, but is formulated byindividuals in social situations with the aim of clarifying the enviroment recommendi...