一种反应型的工作流管理系统分析

在分析工作流管理系统的基础上,提出一种反应型系统,对该系统体系结构及运行过程进行了论述。

基于变迁系统的反应型控制系统建模与分析

文中通过对基本变迁系统进行相应的扩充，分别给出并发、实时及混成等３个不同抽象层次反应型控制系统的计算模型，并分析它们各自不同的特点。

非自治捕食被捕食KOLMOGOROV系统的平均持续与灭绝性(英文)

研究了一般的非自治捕食被捕食Kolmogorov系统,得到了关于平均持续性与灭绝性的积分形式的一般准则.作为这些结果的应用,本文建立了关于非自治Lotka-Volterra系统和Holling(m,n)-型功能反应系统的平均持续性与灭绝性的积分形式的充分条件.

Modeling of Ship Maneuvering Motion Using Neural Networks

In this paper, Neural Networks （NNs） are used in the modeling of ship maneuvering motion. A nonlinear response model and a linear hydrodynamic model of ship maneuvering motion are also investigated. The maneuverability indices and linear non-dimensional hydrodynamic derivatives in the models are identified by using two-layer feed forward NNs. The stability of parametric estimation is confirmed. Then, the ship maneuvering motion is predicted based on the obtained models. A comparison between the predicted results and the model test results demonstrates the validity of the proposed modeling method.

Process optimization study on the carbonylation of methyl acetate

Acetic anhydride is the important organic chemical raw material, and is used widely in chemical industry,pharmaceutical industry, dyes, spices and other fields. In this paper, the process of carbonylation of methyl acetate in rhodium iodine catalyst system was studied, and the suitable reaction conditions were determined.At the same time, the kinetic model was established. The optimum reaction conditions were as follows： the reaction pressure was 5 MPa, the hydrogen content was 8%, the amount of iodomethane was 15%, the amount of lithium iodide was 3%, the reaction temperature was 150 ℃ and the reaction time is 3 h. Under the above reaction conditions, the selectivity of the reaction is close to 100% and the conversion is as high as 92%. The macroscopic kinetic model of the reaction was established in the temperature range of 120 ℃–150 ℃. The reaction is an irreversible reaction without the formation of by-products and the dynamic equation is also given in the Conclusions section.

Dynamic Modeling of Tubular SOFC for Marine Power System

Solid oxide fuel cell (SOFC) has been identified as an effective and clean alternative choice for marine power system.This paper emphasizes on the dynamic modeling of SOFC power system and its performance based upon marine operating circumstance.A SOFC power system model has been provided considering thermodynamic and electrochemical reaction mechanism.Subcomponents of lithium ion battery, power conditioning unit, stack structure and controller are integrated in the model.The dynamic response of the system is identified according to the inertia of its subcomponent and controller.Validation of the whole system simulation at steady state and transit period are presented, concerning the effects of thermo inertia, control strategy and seagoing environment.The simulation results show reasonable accuracy compare with lab test.The models can be used to predict performance of a SOFC power system and identify the system response when part of the component parameter is adjusted.

Future Market of Small Reactors and Feasibility Study in Mongolia

The relation between the implementation time of small reactor and its market was studied if small reactor could be implemented to be utilized as a base load operation. If the small reactors with 100 or 50 MWe could be implemented from 2020, the potential countries could be selected from the view point of the estimated total electricity consumption in 2020 and the stability of the electrical grid system. The commercialization of small reactors should be best done early because the market for these power units as a base load operation might be reduced due to the increase of the electricity consumption in the future after 2020. The implementation program of small reactors for the district heating and electricity supply in Mongolia, which is one of the countries having the interests in small reactor, was investigated and the future implementation plan was proposed too. In order to reduce the air pollution by coal fired heating system, there is an urgent need to start the discussion for the utilization of nuclear district heating reactor in Ulaanbaatar.

Qualitative Analysis on a Reaction-Diffusion Prey-Predator Model and the Corresponding Steady-States

The authors study a diffusive prey-predator model subject to the homogeneous Neumann boundary condition and give some qualitative descriptions of solutions to this reaction-diffusion system and its corresponding steady-state problem. The local and global stability of the positive constant steady-state are discussed, and then some results for non- existence of positive non-constant steady-states are derived.

On a non-autonomous reaction-convection diffusion model to study the bacteria distribution in a river

In this paper, we propose a non-autonomous convection-reaction diffusion system （CDI） with a nonlinear reaction source function. This model refers to the quantification and the distribution of antibiotic resistant bacteria （ARB） in a river. The main contributions of this paper are： （i） the determination of the limit set of the system by applying the semigroups theory, it is shown that it is reduced to the solutions of the associated elliptic system （CDI）e, （ii） sufficient conditions for the existence of a positive solution of （CDI）e based on the Leray-Schauder＇s degree theory. Numerical simulations which support our theoretical analysis are also given.

Existence of spatiotemporal patterns in the reaction-diffusion predator-prey model incorporating prey refuge

The pattern formation in reaction-diffusion system has long been the subject of interest to the researchers in the domain of mathematical ecology because of its universal exis- tence and importance. The present investigation deals with a spatial dynamics of the Beddington-DeAngelis predator-prey model in the presence of a constant proportion of prey refuge. The model system representing boundary value problem under study is subjected to homogeneous Neumann boundary conditions. The asymptotic stability including the local and the global stability and the bifurcation as well of the unique pos- itive homogeneous steady state of the corresponding temporal model has been analyzed. The Turing instability region in two-parameter space and the condition of diffusion- driven instability of the spatiotemporal model are investigated. Based on the appro- priate numerical simulations, the present model dynamics in Turing space appears to get influenced by prey refuge while it exhibits diffusion-controlled pattern formation growth to spots, stripe-spot mixtures, labyrinthine, stripe-hole mixtures and holes repli- cation. The results obtained appear to enrich the findings of the model system under consideration.

Entire solutions for some reaction-diffusion systems

This paper is concerned with the existence of entire solutions of some reaction-diffusion systems. We first consider Belousov-Zhabotinskii reaction model. Then we study a general model. Using the comparing argument and sub-super-solutions method, we obtain the existence of entire solutions which behave as two wavefronts coming from the both sides of x-axis, where an entire solution is meant by a classical solution defined for all space and time variables. At last, we give some examples to explain our results for the general models.

A periodic reaction-diffusion system modelling man-environment-man epidemics

The purpose of this work is to study the spatial dynamics of a periodic reaction-diffusion epidemic model arising from the spread of oral-faecal transmitted diseases. We first show that the disease spreading speed is coincident with the minimal wave speed for monotone periodic travelling waves. Then we obtain a threshold result on the global attractivity of either zero or the positive periodic solution in a bounded spatial domain.

Prey-predator model with functional response for optimal harvesting incorporating prey refuge

This paper presents a prey-predator model considering the predator interacting with non-refuges prey by class of functional responses. Here we also consider harvesting for only non-refuges prey. We discuss the equilibria of the model, and their stability for hiding prey either in constant form or proportional to the densities of prey population. We also investigate various possibilities of bionomic equilibrium and optimal harvesting policy. Finally we present numerical examples with pictorial presentation of the various effects of the prey predator system parameter.

On a reaction-diffusion model for sterile insect release method on a bounded domain

We consider a system of partial differential equations that describes the interaction of the sterile and fertile species undergoing the sterile insect release method （SIRM）. Unlike in the previous work [M. A. Lewis and P. van den Driessche, Waves of extinction from sterile insect release, Math. Biosci. 5 （1992） 221 247] where the habitat is assumed to be the one-dimensional whole space ~, we consider this system in a bounded one- dimensional domain （interval）. Our goal is to derive sufficient conditions for success of the SIRM. We show the existence of the fertile-free steady state and prove its stability. Using the releasing rate as the parameter, and by a saddle-node bifurcation analysis, we obtain conditions for existence of two co-persistence steady states, one stable and the other unstable. Biological implications of our mathematical results are that： （i） when the fertile population is at low level, the SIRM, even with small releasing rate, can successfully eradicate the fertile insects; （ii） when the fertile population is at a higher level, the SIRM can succeed as long as the strength of the sterile releasing is large enough, while the method may also fail if the releasing is not sufficient.

The asymptotic stability model with for an SIQS epidemic diffusion

In this paper, an SIQS epidemic model with constant recruitment and standard inci- dence is investigated. Quarantine is taken into consideration on the basis of SIS model. The asymptotic stability of the equilibrium to a reaction^diffusion system with homo- geneous Neumann boundary conditions is considered. Sufficient conditions for the local and global asymptotic stability are given by linearization and the method of upper and lower solutions and its associated monotone iterations. The result shows that the disease-free equilibrium is globally asymptotically stable if the contact rate is small.