In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA (web service interface control flow automata)is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA (web service interface control flow automata)is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA(nested word automata).A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
In this paper, we propose a new two-lane cellular automata model in which the influence of the next-nearest neighbor vehicle is considered, The attributes of the traffic system composed of fast-lane and slow-lane are ...In this paper, we propose a new two-lane cellular automata model in which the influence of the next-nearest neighbor vehicle is considered, The attributes of the traffic system composed of fast-lane and slow-lane are investigated by the new traffic model. The simulation results show that the proposed two-lane traffic model can reproduce some traffic phenomena observed in real traffic, and that maximum flux and critical density are close to the field measurements. Moreover, the initial density distribution of the fast-lane and slow-lane has much influence on the traffic flow states. With the ratio between the densities of slow lane and fast lane increasing the lane changing frequency increases, but maximum flux decreases. Finally, the influence of the sensitivity coefficients is discussed.展开更多
In order to meet the demand of online optimal running, a novel soft sensor modeling approach based on Gaussian processes was proposed. The approach is moderately simple to implement and use without loss of performance...In order to meet the demand of online optimal running, a novel soft sensor modeling approach based on Gaussian processes was proposed. The approach is moderately simple to implement and use without loss of performance. It is trained by optimizing the hyperparameters using the scaled conjugate gradient algorithm with the squared exponential covariance function employed. Experimental simulations show that the soft sensor modeling approach has the advantage via a real-world example in a refinery. Meanwhile, the method opens new possibilities for application of kernel methods to potential fields.展开更多
Automatic coagulant dosage control with streaming current (SC) technique is introduced in this paper. Aluminum and ferric coagulants are widely used in surface water treatment. The SC response characteristics of P Al...Automatic coagulant dosage control with streaming current (SC) technique is introduced in this paper. Aluminum and ferric coagulants are widely used in surface water treatment. The SC response characteristics of P AlCl 3 aluminum coagulant and P FeCl 3 ferric coagulant were investigated in this work. Bench scale water treatment results were obtained from jar tests including rapid mixing, flocculation and undisturbed sedimentation. Results showed that aluminum coagulant is more sensitive than ferric coagulant to SC response.展开更多
Underwater gliders are recent innovative types of autonomous underwater vehicles (AUVs) used in ocean exploration and observation. They adjust their buoyancy to dive and to return to the ocean surface. During the ch...Underwater gliders are recent innovative types of autonomous underwater vehicles (AUVs) used in ocean exploration and observation. They adjust their buoyancy to dive and to return to the ocean surface. During the change of altitude, they use the hydrodynamic forces developed by their wings to move forward. Their flights are controlled by changing the position of their centers of gravity and their buoyancy to adjust their trim and heel angles. For better flight control, the understanding of the hydrodynamic behavior and the flight mechanics of the underwater glider is necessary. A 6-DOF motion simulator is coupled with an unsteady potential flow model for this purpose. In some specific cases, the numerical study demonstrates that an inappropriate stabilizer dimension can cause counter-steering behavior. The simulator can be used to improve the automatic flight control. It can also be used for the hydrodynamic design optimization of the devices.展开更多
Using the services provided by virtual enterprises, we presented a solution to implement flexible inter-enterprise workflow management. Services were the responses of events that can be accessed programmatically on th...Using the services provided by virtual enterprises, we presented a solution to implement flexible inter-enterprise workflow management. Services were the responses of events that can be accessed programmatically on the Internet by HTTP protocol. Services were obtained according to some standardized service templates. The workflow engine's flexible control to a request was bound to appropriate services and their providers by using a constraint-based, dynamic binding mechanism. Hence, a flexible and collaborative business was achieved. The workflow management system supports virtual enterprise, and the styles of virtual enterprises can be adjusted readily to adapt various situations.展开更多
Air conditioning (AC) system is the one with asynchronous and uncertain nature. In this paper, the fuzzy discrete event system (FDES) is introduced to the research of AC energy-saving control. A fuzzy automaton modeli...Air conditioning (AC) system is the one with asynchronous and uncertain nature. In this paper, the fuzzy discrete event system (FDES) is introduced to the research of AC energy-saving control. A fuzzy automaton modeling is given for AC energy-saving control and effectiveness optimization is made. To facilitate the implement of the control and energy saving, priorities have been assigned to the major control steps based on logical reasoning. Forward-looking tree modeling based on FDES has been simplified to help further optimization, and a simple and concrete example has been put forward illustrating energy-saving control in AC system.展开更多
As two kinds of management modes of highway tramc control, lane-control, and speed-control produce different effect under different conditions. In this paper, traffic flow cellular automaton models for four-lane highw...As two kinds of management modes of highway tramc control, lane-control, and speed-control produce different effect under different conditions. In this paper, traffic flow cellular automaton models for four-lane highway system with two opposing directions under the above two modes are established considering car and truck mixed running. Through computer numerical simulating, the fundamental diagrams with different parameters are obtained, and after the analysis of density-flux diagrams, the variation discipline of flux with traffic density under different control models is gained. The results indicate that, compared with lane-control, utilization ratio of road can be further improved with speed-control when the truck number increases. The research result is of great significance for reasonable providing theoretical guidance for highway traffic control.展开更多
This paper presented an automatic gain control (AGC) circuit suitable for FM/cw ladar. The proposed architecture was based on two-stage variable gain amplifier (VGA) chain with a novel DC offset canceller circuit,...This paper presented an automatic gain control (AGC) circuit suitable for FM/cw ladar. The proposed architecture was based on two-stage variable gain amplifier (VGA) chain with a novel DC offset canceller circuit, which contained an improved Gilbert cell and a Gm-C feedback loop. To keep the VGA with a linearity in dB characteristic, an improved exponential gain control circuit was introduced. The AGC was implemented in 0.18 gm standard CMOS process. Simulation and measurement results verified that its gain ranged from -20 dB to 30 dB, and band- width ranged from 100 kHz to 10 MHz. Its power consumption was 19.8 mW under a voltage supply of 3.3 V.展开更多
The dynamic behavior of rotors is highly influenced by bearing characteristics. In previous works, the authors have shown that it may be beneficial to adapt the bearing behavior to the shaft behavior. Several adaptive...The dynamic behavior of rotors is highly influenced by bearing characteristics. In previous works, the authors have shown that it may be beneficial to adapt the bearing behavior to the shaft behavior. Several adaptive and active components will be developed in this paper in order to control the shaft dynamical amplitude. Different models of hydrodynamic bearings behavior are described. The Reynolds equation resolution may be done by numerical or analytical solutions. A physical analysis of the equation of thin films will identify the most sensitive parameters. The shaft flexibility is taking into account by a modal approach. The fluid-structure coupling process is a simulation, step by step, of the rotor behavior. At each step, the nonlinear fluid force is numerically calculated to obtain the unbalanced shaft response. The results, presented in this paper, concern the dynamic response of unbalanced shaft mounted in adaptive or active bearings: bearings with variable clearance, variable viscosity or variable housing speed. It is shown that the fluid bearing parameters must be adapted to the rotor speed (in particular near or far a critical speed). Then, the paper presents a new kind of active bearing. It works with a mechanical control of the housing position. Several parameters are tested and compared. The robustness of the dynamic control parameters is presented. In conclusion, the bearing adaptation could be very useful to control the shaft dynamic. This limits the effect of the critical speed, in particular by diminishing the shaft amplitude and the dynamic forces transmitted to the housing.展开更多
Performing angiography in the prone position is a difficult technique; however it is useful in some emergency situation. We experienced a 60 years old male who was performed lipema excision on his back in his family d...Performing angiography in the prone position is a difficult technique; however it is useful in some emergency situation. We experienced a 60 years old male who was performed lipema excision on his back in his family doctor's clinic. Since massive arterial bleeding could not be controlled with manual astriction, he transferred to our hospital in prone position with hemodynamic instability. Operating field was not kept because of massive bleeding; therefore surgical treatment was impossible. We planed emergency arterial embolization (AE) in prone position. Hence we chose the left radial artery for vascular access. The left subclavicle arteriography showed many major and minor feeding arteries from left subclavicular and axillary arteries and a massive extravasation of the contrast medium. Three major feeding arteries were performed AE with gelatin sponge and steel coils, After AE, massive bleeding was controlled. He could discharge from our hospital on the 5th hospital day without any complication. Arterial embolization for lifethreatening bleeding from subcutaneous hypervascular tumor in the prone position is first report to our knowledge, and it is extremely rare. However we thought that this technique is useful for patients who could not turn in the supine position, e.g. massive bleeding during renal biopsy and penetrating trauma from back.展开更多
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA (web service interface control flow automata)is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA(nested word automata).A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
基金The project partly supported by the National 0utstanding Young Investigation under Grant No. 70225005 of National Natural Science Foundation of China, National Natural Science Foundation of China under Grant No. 70471088, and the Teaching & Research Award Program for 0utstanding Young Teachers in Higher Education Institutions (2001) of the Ministry of Education of China
文摘In this paper, we propose a new two-lane cellular automata model in which the influence of the next-nearest neighbor vehicle is considered, The attributes of the traffic system composed of fast-lane and slow-lane are investigated by the new traffic model. The simulation results show that the proposed two-lane traffic model can reproduce some traffic phenomena observed in real traffic, and that maximum flux and critical density are close to the field measurements. Moreover, the initial density distribution of the fast-lane and slow-lane has much influence on the traffic flow states. With the ratio between the densities of slow lane and fast lane increasing the lane changing frequency increases, but maximum flux decreases. Finally, the influence of the sensitivity coefficients is discussed.
文摘In order to meet the demand of online optimal running, a novel soft sensor modeling approach based on Gaussian processes was proposed. The approach is moderately simple to implement and use without loss of performance. It is trained by optimizing the hyperparameters using the scaled conjugate gradient algorithm with the squared exponential covariance function employed. Experimental simulations show that the soft sensor modeling approach has the advantage via a real-world example in a refinery. Meanwhile, the method opens new possibilities for application of kernel methods to potential fields.
文摘Automatic coagulant dosage control with streaming current (SC) technique is introduced in this paper. Aluminum and ferric coagulants are widely used in surface water treatment. The SC response characteristics of P AlCl 3 aluminum coagulant and P FeCl 3 ferric coagulant were investigated in this work. Bench scale water treatment results were obtained from jar tests including rapid mixing, flocculation and undisturbed sedimentation. Results showed that aluminum coagulant is more sensitive than ferric coagulant to SC response.
文摘Underwater gliders are recent innovative types of autonomous underwater vehicles (AUVs) used in ocean exploration and observation. They adjust their buoyancy to dive and to return to the ocean surface. During the change of altitude, they use the hydrodynamic forces developed by their wings to move forward. Their flights are controlled by changing the position of their centers of gravity and their buoyancy to adjust their trim and heel angles. For better flight control, the understanding of the hydrodynamic behavior and the flight mechanics of the underwater glider is necessary. A 6-DOF motion simulator is coupled with an unsteady potential flow model for this purpose. In some specific cases, the numerical study demonstrates that an inappropriate stabilizer dimension can cause counter-steering behavior. The simulator can be used to improve the automatic flight control. It can also be used for the hydrodynamic design optimization of the devices.
文摘Using the services provided by virtual enterprises, we presented a solution to implement flexible inter-enterprise workflow management. Services were the responses of events that can be accessed programmatically on the Internet by HTTP protocol. Services were obtained according to some standardized service templates. The workflow engine's flexible control to a request was bound to appropriate services and their providers by using a constraint-based, dynamic binding mechanism. Hence, a flexible and collaborative business was achieved. The workflow management system supports virtual enterprise, and the styles of virtual enterprises can be adjusted readily to adapt various situations.
基金PhD Programs Foundation of Ministry of Education of China( No.20060255006)Cultivation Fund of the Key Scientific and Technical Innovation Project from Ministry of Education of China (No.706024)
文摘Air conditioning (AC) system is the one with asynchronous and uncertain nature. In this paper, the fuzzy discrete event system (FDES) is introduced to the research of AC energy-saving control. A fuzzy automaton modeling is given for AC energy-saving control and effectiveness optimization is made. To facilitate the implement of the control and energy saving, priorities have been assigned to the major control steps based on logical reasoning. Forward-looking tree modeling based on FDES has been simplified to help further optimization, and a simple and concrete example has been put forward illustrating energy-saving control in AC system.
文摘As two kinds of management modes of highway tramc control, lane-control, and speed-control produce different effect under different conditions. In this paper, traffic flow cellular automaton models for four-lane highway system with two opposing directions under the above two modes are established considering car and truck mixed running. Through computer numerical simulating, the fundamental diagrams with different parameters are obtained, and after the analysis of density-flux diagrams, the variation discipline of flux with traffic density under different control models is gained. The results indicate that, compared with lane-control, utilization ratio of road can be further improved with speed-control when the truck number increases. The research result is of great significance for reasonable providing theoretical guidance for highway traffic control.
基金Supported by the National Science and Technology Major Project of the Ministry of Science and Technology of China(No.2012ZX03004008)
文摘This paper presented an automatic gain control (AGC) circuit suitable for FM/cw ladar. The proposed architecture was based on two-stage variable gain amplifier (VGA) chain with a novel DC offset canceller circuit, which contained an improved Gilbert cell and a Gm-C feedback loop. To keep the VGA with a linearity in dB characteristic, an improved exponential gain control circuit was introduced. The AGC was implemented in 0.18 gm standard CMOS process. Simulation and measurement results verified that its gain ranged from -20 dB to 30 dB, and band- width ranged from 100 kHz to 10 MHz. Its power consumption was 19.8 mW under a voltage supply of 3.3 V.
文摘The dynamic behavior of rotors is highly influenced by bearing characteristics. In previous works, the authors have shown that it may be beneficial to adapt the bearing behavior to the shaft behavior. Several adaptive and active components will be developed in this paper in order to control the shaft dynamical amplitude. Different models of hydrodynamic bearings behavior are described. The Reynolds equation resolution may be done by numerical or analytical solutions. A physical analysis of the equation of thin films will identify the most sensitive parameters. The shaft flexibility is taking into account by a modal approach. The fluid-structure coupling process is a simulation, step by step, of the rotor behavior. At each step, the nonlinear fluid force is numerically calculated to obtain the unbalanced shaft response. The results, presented in this paper, concern the dynamic response of unbalanced shaft mounted in adaptive or active bearings: bearings with variable clearance, variable viscosity or variable housing speed. It is shown that the fluid bearing parameters must be adapted to the rotor speed (in particular near or far a critical speed). Then, the paper presents a new kind of active bearing. It works with a mechanical control of the housing position. Several parameters are tested and compared. The robustness of the dynamic control parameters is presented. In conclusion, the bearing adaptation could be very useful to control the shaft dynamic. This limits the effect of the critical speed, in particular by diminishing the shaft amplitude and the dynamic forces transmitted to the housing.
文摘Performing angiography in the prone position is a difficult technique; however it is useful in some emergency situation. We experienced a 60 years old male who was performed lipema excision on his back in his family doctor's clinic. Since massive arterial bleeding could not be controlled with manual astriction, he transferred to our hospital in prone position with hemodynamic instability. Operating field was not kept because of massive bleeding; therefore surgical treatment was impossible. We planed emergency arterial embolization (AE) in prone position. Hence we chose the left radial artery for vascular access. The left subclavicle arteriography showed many major and minor feeding arteries from left subclavicular and axillary arteries and a massive extravasation of the contrast medium. Three major feeding arteries were performed AE with gelatin sponge and steel coils, After AE, massive bleeding was controlled. He could discharge from our hospital on the 5th hospital day without any complication. Arterial embolization for lifethreatening bleeding from subcutaneous hypervascular tumor in the prone position is first report to our knowledge, and it is extremely rare. However we thought that this technique is useful for patients who could not turn in the supine position, e.g. massive bleeding during renal biopsy and penetrating trauma from back.