Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object-oriented systems. UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML Statechart Diagrams differ from classical statecharts, as defined by Harel, for which formalizations and res...

In this research, we study a dynamical system of total nitrogen transformation in mangrove-filled constructed wetland. The system’s variables are the mangrove biomass concentration and wastewater soil solution. We investigate dynamics by examining local stability equilibriums, simulating phase portrait solutions providing time-dependent parameter sensitivity analyses. analysis shows that level ...

The values of these thermodynamic quantities are presented by means of contour diagrams for the range pH 4 to 10 and pMg 1 to 7. These diagrams make the general features of the pH and pMg dependences readily discernible and summarize the results of some 2500 calculations per diagram. There are significant changes in the heat evolved by these reactions over this range of the independent variable...

The article is devoted to classification of close sets of functions in k-valued logic. We build the classification of finite closed sets. The sets contain only constants and unary functions since sets containing even a two-ary function are infinite. Formulas of the number of finite sets and minimal sets exist for all natural k. We find the numbers of closed sets containing the identity function...

It is unnecessary here to enter into a discussion on the advantages and limitations of the tetrachoric correlation coefficient, as this has been frequently done before. In spite of the criticisms of the statisticians, it remains one of the most frequently used coefficients of association in psychological research. Because it is so difficult to compute, Karl Pearson publ.ished tables (5) to aid ...

Process and object-orientation are basic concepts of modeling, implementing and customizing information systems. In this paper we present two approaches of combining those concepts into a coherent way. In the first approach we discuss how to transform business process models (Event-driven Process Chain (EPC) diagrams) into object-oriented models (Unified Modeling Language (UML) diagrams). The m...

We discuss the computational complexity of the perturbative evaluation of scattering amplitudes, both by the Caravaglios-Moretti algorithm and by direct evaluation of the individual diagrams. For a self-interacting scalar theory, we determine the complexity as a function of the number of external legs. We describe a method for obtaining the number of topologically inequivalent Feynman graphs co...

Last years there was an essential progress in calculations of Feynman integrals. It seems that most important results have been obtained for two-loop four-point massless Feynman diagrams: in on-shall case (see [1,2]) and for a class of offshall legs (see [3]). A review of the results can be found in [4]. Moreover, very recently results for a class of these diagrams have been obtained [5] in the...

We consider three-loop radiative-recoil corrections to hyperfine splitting in muonium generated by the diagrams with electron and muon vacuum polarizations. We calculate single-logarithmic and nonlogarithmic contributions of order alpha;{3}(m/M)E_{F} generated by gauge invariant sets of diagrams with electron and muon polarization insertions in the electron and muon factors. Combining these cor...