Variants of distributed reaction systems

Plug-in context providers for reaction systems

Reaction systems are a formal model for computational processing in which reactions operate on sets of entities (molecules) providing a framework for dealing with qualitative aspects of biochemical systems. This paper is concerned with reaction systems in which entities can have discrete concentrations, and so reactions operate on multisets rather than sets of entities. The resulting framework allows one to deal with quantitative aspects of reaction systems, and a bespoke linear-time temporal logic allows one to express and verify a wide range of key behavioural system properties. In practical applications, a reaction system with discrete concentrations may only be partially specified, and the possibility of an effective automated calculation of the missing details provides an attractive design approach. With this idea in mind, the current paper discusses parametric reaction systems with parameters representing unknown parts of hypothetical reactions. The main result is a method aimed at replacing the parameters in such a way that the resulting reaction system operating in a specified external environment satisfies a given temporal logic formula.This paper provides an encoding of parametric reaction systems in smt, and outlines a synthesis procedure based on bounded model checking for solving the synthesis problem. It also reports on the initial experimental results demonstrating the feasibility of the novel synthesis method.

Reaction systems, introduced by Ehrenfeucht and Rozenberg, are computational models inspired by biochemical reactions transpiring within the living cells. Numerous studies focus on rs functions specified by minimal reaction systems, due to their simplicity and rich generative power. Manzoni et al [1] showed that every reaction system can be simulated by a minimal reaction system over an expanded background set. Motivated by their work, we introduce hybrid reaction systems as generalizations of reaction systems. Every rs function is then canonically expressible as a composition of two functions specified by minimal hybrid reaction systems. Using our new approach, the result of Manzoni et al [1] is revisited and strengthened.

Reaction systems are a formal framework for modeling processes driven by biochemical reactions. They are based on the mechanisms of facilitation and inhibition. A main assumption is that if a resource is available, then it is present in sufficient amounts and as such, several reactions using the same resource will not compete concurrently against each other; this makes reaction systems very different as a modeling framework than traditional frameworks such as ODEs or continuous time Markov chains. We demonstrate in this paper that reaction systems are rich enough to capture the essential characteristics of ODE-based models. We construct a reaction system model for the heat shock response in such a way that its qualitative behavior correlates well with the quantitative behavior of the corresponding ODE model. We construct our reaction system model based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We conclude with a discussion on the expressivity of reaction systems as compared to that of ODE-based models.

Compositional semantics and behavioural equivalences for reaction systems with restriction

The evolution of a reaction system is usually driven by a fixed set of unconstrained rules. In this paper, we present a different approach by imposing some constraints over the rules. Thus, we define restricted reaction systems which are working with mutually exclusive rules, namely rules that are not allowed to be applied together in the same computational step. We investigate the relationship between the reaction systems and the new restricted reaction systems. Additionally, we analyze the notion of reversibility in both reaction systems and restricted reaction systems.

The busy beaver game was introduced by Tibor Radó in 1962 and consists in finding the longest halting run that can be achieved by a Turing machine with a given number of states n. The function $$\text {BB}(n)$$ BB ( n ) measuring this length is a well-studied example of an uncomputable function. In this work, we transpose the concept of the busy beaver game to reaction systems—a set rewriting-based model of computing inspired by biochemical reactions. We give a generalized framework for defining various busy beaver challenges and give concrete instantiations for longest runs, periods, preperiods, etc. We further list several busy beaver champions and bounds, depending on what is optimized and what is measured as the size of a reaction system. Finally, we discuss possible implications of our work to thinking about theoretical biology.

A new approach to the unmeasurable state reconstruction problem for nonlinear chemical reaction systems in the presence of model uncertainty is proposed. In particular, a new robust nonlinear state estimation method is developed that explicitly uses all the available useful information associated with: (i) a dynamic model inevitably characterized by uncertainty, and (ii) a set of sensor measurements in order to accurately reconstruct other key quantities/variables that cannot be measured on-line due to physical and/or technical limitations. The problem of interest is conveniently formulated and addressed within the context of singular partial differential equations (PDE) theory, leading to a nonlinear state estimator that possesses a state-dependent gain computed through the solution of a system of first-order singular PDEs. A set of necessary and sufficient conditions is presented that ensure the existence and uniqueness of a locally analytic solution to the aforementioned system of singular PDEs, and a series solution method that can be easily implemented via a MAPLE code is developed. Under these conditions, the convergence of the estimation error or the mismatch between the actual unmeasurable states and their estimates is analyzed and characterized in the presence of model uncertainty. Finally, the performance of the proposed nonlinear etimator and its convergence properties are evaluated in an illustrative biochemical reaction system that exhibits nonlinear behavior coupled with parametric uncertainty, and the estimation objective is to accurately reconstruct the unmeasurable substrate concentration using the available cell mass concentration measurements and the model of the system under consideration.

Modelling of complex liquid–solid reaction systems in semibatch reactors: Claisen condensation in industrial scale

This article discusses the question of when the dynamical systems arising from chemical reaction networks are monotone, preserving an order induced by some proper cone. The reaction systems studied are defined by the reaction network structure while the kinetics is only constrained very weakly. Necessary and sufficient conditions on cones preserved by these systems are presented. Linear coordinate changes which make a given reaction system cooperative are characterized. Also discussed is when a reaction system restricted to an invariant subspace is cone preserving, even when the system fails to be cone preserving on the whole of phase space. Many of the proofs allow explicit construction of preserved cones. Numerous examples of chemical reaction systems are presented to illustrate the results.

Piezoelectric performance can be improved by using crystal-axis oriented materials because piezoelectric properties of the ferroelectric materials are dependent on the crystal-axis direction. In this study, we tried to fabricate Ba1−xCaxTiO3 (BCT) oriented ceramics by reactive template grain growth (RTGG) method using H1.07Ti1.73O4 layered titanate (HTO) plate-like particles as the reactive template. BCT ceramics with [110]-orientation were prepared using HTO-BaCO3-Ca(OH)2 (HBC) and HTO-BaCO3-Ca(OH)2-TiO2 (HBCT) reaction systems. The degree of orientation and the relative density of the BCT ceramics are dependent on the green sheet preparation conditions, such as dispersion condition and added binder amount, calcination temperature and starting material composition. In these reaction systems, firstly oriented BCT particles are formed by a topotactic reaction of HTO template particles with Ba and Ca matrix components, and then, BCT oriented ceramic is formed by the growth of the oriented BCT particles. BCT ceramics with higher density and higher orientation can be fabricated using HBCT reaction system than HBC reaction system, where the orientation degree is dependent strongly on the ratio of HTO template particle to TiO2 matrix particle.

Combustion synthesis of TiN–TiB 2 composites in Ti/BN/N 2 and Ti/BN/B reaction systems

In situ FTIR has been widely used to study polymerization kinetics of different reaction systems. However, lack of humidity control during these studies has generally limited this technique to ambient or nitrogen atmosphere conditions. In this work, a relatively small humidity control chamber was newly designed and introduced into the original FTIR sample chamber in transmission mode to control the humidity during in situ kinetic studies of coatings over a broad range from 5 to 80% RH. With the current setup, it only takes 2–3 min to get to the desired humidity level. Factors that affect the humidity control and FTIR data collection are discussed. Two reaction systems were selected to study the effect of moisture on the kinetics. One is an aliphatic polyisocyanate reacting with moisture in the air, and the other is an acrylic polyol reacting with a polyisocyanate. Relative humidity was studied at three levels: 15, 45, and 75%. In both cases, the reaction rate increases under higher humidity. Formation of different forms of urea in the first system and formation of both urethane and urea in the second system were analyzed. In the second reaction system, more urea is formed under higher humidity or under a higher NCO/OH molar ratio. The humidity control within the transmission FTIR chamber has turned out to be a useful tool to monitor the effect of humidity on the curing kinetics of organic coatings.

High-efficiency components separation of corncob catalyzed by vanadium-substituted polyoxometalate in choline chloride-lactic acid reaction system

The traditional method of liquefying coal operates at extreme conditions consisting of hydrogen pressures of over 2000 pounds per square inch and temperatures of over 450°C. The elevated hydrogen pressure is necessary to hydrogenate the reaction mixture and liquefy the coal molecules. As a result, the processing equipment is very expensive and safety is a major concern. The coal liquefaction process invented at West Virginia University does not use hydrogen overpressure and operates below 500 pounds per square inch. The WVU process has produced 4500 pounds of cleaned de-ashed coal extract referred to as centrate. The centrate was processed into coal tar binder pitch by Koppers Inc. and finally into electrodes for the steel industry by GrafTech International Ltd. The electrodes were tested and passed all of the commercialization tests. Quantex, a Canadian company, licensed the technology from the university in 2007 with the intention of commercializing the process. However, the process had several deficiencies to overcome before it could be economically viable and move towards commercialization.;The centrifuge system removes ash and other solid materials from the mixture after the coal has been liquefied. In the process existing in 2007, the centrifuge residue, or tails, contains only 20% by weight of the ash material with the remaining 80% consisting of valuable products or unreacted coal. Without first increasing the efficiency of ash removal from the coal either before or after the liquefaction reaction, the process cannot be economically viable and is unable to be commercialized. Another drawback of the original process is the reaction and centrifuge systems were not designed or operated to produce reliable mass balance results.;The reaction system was redesigned and constructed incorporating the previously redesigned centrifugation system to produce clean, de-ashed centrate and other products from the raw materials. A vacuum distillation system was designed and constructed that produces quality pitches and condensed liquid volatiles from the clean, de-ashed centrate produced from coal in the previous reaction step. The coking system was designed and constructed to process the coal derived pitches into commercial grade coke and additional condensed volatiles. Each of the three operating systems produces reliable and repeatable mass closure results for individual experiments. All of the products can be collected and samples taken for further analytical analysis. A complete mass balance analysis for the overall process was performed from the raw material through the products produced. The end products were subjected to and passed testing