As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
In the first part, the concept of instrumental reason is defended. Although we live in the age of pluralism, in which a tendency prevails to put all types of rationality on the same plane, there is a rationality that ...In the first part, the concept of instrumental reason is defended. Although we live in the age of pluralism, in which a tendency prevails to put all types of rationality on the same plane, there is a rationality that has a unique position： the instrumental rationality. The article then examines Luk^ics＇s roots of this concept and its elaboration by Adomo and Horkheimer. The second part refers to the current transformation of instrumental reason that these authors could not register. Instrumental reason changes so that it can connect several seemingly incoherent elements： postmodern non-objectivity, social and ecological normativity, and reified imperatives of capitalism. This formation is here called over-instrumental instrumental reason. In conclusion, the article deals with the question of how its non-instrumental component to exempt from its instrumental ones.展开更多
In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear fo...In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear form and symbolic computation are applied to obtain three kinds of solutions. Variable coefficients can affect the conserved density, associated flux, and appearance of the characteristic lines. Effects of the wave number on the soliton structures are also discussed and types of soliton structures, e.g., the double-periodic soliton, parallel soliton and soliton complexes, are presented.展开更多
There were for a long time two invariant forms of hydrodynamic equations： one was related to coordinate system of references, and the other was versus to measure units of characteristics. These both invariant forms h...There were for a long time two invariant forms of hydrodynamic equations： one was related to coordinate system of references, and the other was versus to measure units of characteristics. These both invariant forms had important roles in the development of theoretical and practical applications of hydro-aerodynamics and related industries. The third invariant form of hydrodynamic equations is one for the dimensions of spaces. For this goal, the hyper quantities （space and physics） are introduced. Then these are created we can easily cover all problems in arbitrary dimensions （3D, 2D, 1D, separate space for liquids or constituent matters）. In particularly, when they are applied to water hammer problem, which is an especially problem, we can receive immediately celerity and pressure of the event.展开更多
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
文摘In the first part, the concept of instrumental reason is defended. Although we live in the age of pluralism, in which a tendency prevails to put all types of rationality on the same plane, there is a rationality that has a unique position： the instrumental rationality. The article then examines Luk^ics＇s roots of this concept and its elaboration by Adomo and Horkheimer. The second part refers to the current transformation of instrumental reason that these authors could not register. Instrumental reason changes so that it can connect several seemingly incoherent elements： postmodern non-objectivity, social and ecological normativity, and reified imperatives of capitalism. This formation is here called over-instrumental instrumental reason. In conclusion, the article deals with the question of how its non-instrumental component to exempt from its instrumental ones.
基金Supported by the National Natural Science Foundation of China under Grant No.60772023by the Slpported Project under Grant No.SKLSDE-2010ZX-07 of the State Key Laboratory of Software Development Environment,Beijing University of Aeronautics and As tronautics+2 种基金by the Specialized Research Fund for the Doctoral Program of Higher Educatioi under Grant No.200800130006Chinese Ministry of Education,and by the Innovation Foundation for Ph.D.Graduates under Grant Nos.30-0350 and 30-0366Beijing University of Aeronautics and Astronautics
文摘In this paper, an infinite sequence of conservation laws for a generalized variable-coefficient fifth-order Korteweg-de Vries equation in fluids are constructed based on the Backlund transformation. Hirota bilinear form and symbolic computation are applied to obtain three kinds of solutions. Variable coefficients can affect the conserved density, associated flux, and appearance of the characteristic lines. Effects of the wave number on the soliton structures are also discussed and types of soliton structures, e.g., the double-periodic soliton, parallel soliton and soliton complexes, are presented.
文摘There were for a long time two invariant forms of hydrodynamic equations： one was related to coordinate system of references, and the other was versus to measure units of characteristics. These both invariant forms had important roles in the development of theoretical and practical applications of hydro-aerodynamics and related industries. The third invariant form of hydrodynamic equations is one for the dimensions of spaces. For this goal, the hyper quantities （space and physics） are introduced. Then these are created we can easily cover all problems in arbitrary dimensions （3D, 2D, 1D, separate space for liquids or constituent matters）. In particularly, when they are applied to water hammer problem, which is an especially problem, we can receive immediately celerity and pressure of the event.
