In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so o...In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.展开更多
This paper reveals that a new method of the production of the THZ electromagnetic wave and electromagnetic particle’s flows is using a solid-consisted body, and the solid-consisted body is formed of the polylayer’s ...This paper reveals that a new method of the production of the THZ electromagnetic wave and electromagnetic particle’s flows is using a solid-consisted body, and the solid-consisted body is formed of the polylayer’s parallel nonferromagnetic knitted conductance’s nets: when a large powered (around 1000 W) microwave (2.45 G) once comes into the solid-consisted body, a change from microwave to electromagnetic particle’s flows takes place and it does not have a place-phase of the wave by its reflection and transmission between net and other net limitless times;and when the surface-induction’s current produces the electron’s transition in the net-holes, the THZ electro-magnetic wave is produced, and the THZ electromagnetic wave is divided into two parts: single frequency and continuous spectrum. When the THZ electromagnetic wave and the electromagnetic particle’s flows illuminate the living beings, the living beings will live better.展开更多
Gas exchange in human lungs is established by several flow mechanisms. In the present study, the features of gas displacement in the distal bronchioles of a human lung are investigated by both numerical calculation an...Gas exchange in human lungs is established by several flow mechanisms. In the present study, the features of gas displacement in the distal bronchioles of a human lung are investigated by both numerical calculation and experimental observation with particle image velocimetry. The effect of respiration frequency is considered, such as high frequency oscillatory ventilation. By comparing the obtained results, it has been found that the redistribution of gas is attributed to irreversible flow, which is remarkable in higher frequencies oscillation with even lower tidal volumes. Owing to the continuous driving, a time-averaged net flow was induced and intensified by the oscillation. Thus, the gas in the centre region penetrated the deeper region and the outer gas was evacuated to the upper region. Consequently, this streaming contributes to prompt gas replacement. Furthermore, we analysed the effect of the respiration wave form to consider the flow acceleration. From this inspection, it was found that the enhanced inertial force tends to encourage the irreversible flow.展开更多
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
文摘This paper reveals that a new method of the production of the THZ electromagnetic wave and electromagnetic particle’s flows is using a solid-consisted body, and the solid-consisted body is formed of the polylayer’s parallel nonferromagnetic knitted conductance’s nets: when a large powered (around 1000 W) microwave (2.45 G) once comes into the solid-consisted body, a change from microwave to electromagnetic particle’s flows takes place and it does not have a place-phase of the wave by its reflection and transmission between net and other net limitless times;and when the surface-induction’s current produces the electron’s transition in the net-holes, the THZ electro-magnetic wave is produced, and the THZ electromagnetic wave is divided into two parts: single frequency and continuous spectrum. When the THZ electromagnetic wave and the electromagnetic particle’s flows illuminate the living beings, the living beings will live better.
文摘Gas exchange in human lungs is established by several flow mechanisms. In the present study, the features of gas displacement in the distal bronchioles of a human lung are investigated by both numerical calculation and experimental observation with particle image velocimetry. The effect of respiration frequency is considered, such as high frequency oscillatory ventilation. By comparing the obtained results, it has been found that the redistribution of gas is attributed to irreversible flow, which is remarkable in higher frequencies oscillation with even lower tidal volumes. Owing to the continuous driving, a time-averaged net flow was induced and intensified by the oscillation. Thus, the gas in the centre region penetrated the deeper region and the outer gas was evacuated to the upper region. Consequently, this streaming contributes to prompt gas replacement. Furthermore, we analysed the effect of the respiration wave form to consider the flow acceleration. From this inspection, it was found that the enhanced inertial force tends to encourage the irreversible flow.
