This paper describes the development of the method of building mathematical models of dynamic pulse-frequency systems of automatic control of objects with random parameters and delay in the class of stochastic functional series of Voltaire and differential equations of Ito. In order to obtain mathematical descriptions of the system we have used homogenous models equivalent and majorizing processes in which are identical with the processes of the real stochastic dynamic pulse-frequency system of control of objects with delay. Obtained mathematical models of stochastic dynamic pulse-frequency systems of automatic control of objects with delay in the class of functional series of Voltaire and differential equations of Ito represent a further development of methods of description of "input-output" systems and "state space" and serve as a basis for developing methods of analysis and synthesis of the given class of automatic control systems.
The influence of the main parameters of the reforming process on the quantity and quality of the produced product-catalyst-has been investigated. On the basis of the proposed linguistic modelling algorithm, a linguistic model has been built that describes: the effect of the temperature of the reforming reactor on the yield of catalyst and the stability of the catalyst. The possibility of constructing a linguistic model that estimates the influence of the feed rate of raw materials on the quantity and quality (octane number) of catalyst, a component of motor fuel, has been shown.
This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a modeldriven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into an Event-B specification. The resulting specification, by virtue of the Event-B formalism, is very close to a typical loosely coupled component-based implementation of a business system workflow, but has the additional value of being amenable to theorem proving techniques to check and refine data representation with respect to process evolution.
This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into a Petri Net workflow model and, separately, an Event B specification. The former models can be submitted to further behavioural analysis to ensure, for instance, satisfaction of liveness and safety properties. The latter specifications are important as we can use theorem proving techniques to check and refine data representation with respect to process evolution. An important property of the transformation is semantic equivalence between the Petri net model and Event-B model.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.