We present the details of a comprehensive numerical modeling tool, RT1D, which can be used for simulating biochemical and geochemical reactive transport problems. The code can be run within the standard Microsoft EXCEL Visual Basic platform, and it does not require any additional software tools. The code can be easily adapted by others for simulating different types of laboratory-scale reactive...

Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They are an extension of state transition diagrams with notions of hierarchy, concurrency and synchronization. Recently they have been used for specifying and dealing analytically with performance models in which a Statecharts representation is converted into a Markov chain...

Agent technology is meant for developing complex distributed applications. Software agents are the key building blocks of a Multi-Agent System (MAS). Software agents are unique in its nature as it possesses certain distinctive properties such as Pro-activity, Reactivity, Social-ability, Mobility etc., Agent’s behavior might differ for same input at different cases and thus testing an agent and ...

We are motivated to compute delicate chemical vapor deposition (CVD) processes. Such processes are used to deposit thin films of metallic or ceramic materials, such as SiC or a mixture of SiC and TiC. For practical simulations and for studying the characteristics in the deposition area, we have to deal with delicate multiscale models. We propose a multiscale model based on two different softwar...

Acknowledgements I would like to express my gratitude to Dr Anthony Field for his support and guidance throughout my project. I would also like to thank Dr Keith Clark and Dr Peter Robinson for their support with the Qulog software and discussion in person and via email. Finally, I thank my family, my friends and all my professors at Imperial College. 2 This thesis explores the teleo-reactive p...

To remain competitive in increasingly changeable markets, companies need to be reactive. They must often face unforeseen events, such as a cancellation or a modification of order, taking into account rush order, random interruptions of the production system, etc. This requires, in particular, a real time Production Activity Control (PAC) in order to deal with emerging critical events. We distin...

Temporal logic provided an appealing approach to specifying properties of operating systems and other"reactive"software by making referencing the state graph implicitly. This paper shows how to get the same effect, with a finer control over specification and a compositional notion of state, using ordinary working mathematics, without the weight of formal logic, by using parametric state variables.

A software product typically goes through many “upgrades” (version changes) over its lifetime. Reactive systems, such as email clients, software agents, proxies, traffic controllers, and telephone switches are no exception. Evolving such stateful systems is made difficult by the fact that new versions of the software must deal correctly with legacy instances. Users of earlier versions have inve...

abstract background: at present study, acid modified banana leaf ash was used as an adsorbent for the successful removal of reactive black 5 (rb5) dye from aqueous environments. materials and methods: the effect of various operating parameters such as ph of solution, dye concentration, contact time, adsorbent dosage, and the temperature was investigated. results: maximum adsorption capacity of ...

results seminal plasma tac level in normospermic men was significantly higher than asthenoteratospermic men (p < 0.001) and oligasthenoteratospermic men (p < 0.001) and had posetive correlation with sperm count, motility and morphology. in contrast mda levels in normospermic men were significantly lower than in asthenoteratospermic men (p = 0.049) and oligoasthenoteratospermic men (p = 0.001) a...