Yang C.,Jiaxing University |
Liu F.,Jiangxi Yuzhou Scientific and Technological Institute |
Zhong F.,Zhejiang Normal University
Proceedings - 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010 | Year: 2010
We introduce a formal framework for studying the semantics of choreography languages for Web Services. Taking WS-CDL language as reference case study, we define syntax and semantics of a core language to derive the collaborations of participants from a WS-CDL specification. Based on the formal model, we discuss further: 1) projection from a given choreography to orchestration views, which provides a basis for the implementation of the choreography; 2) correctness of projection, in the sense that it ensures the parallel composition of the generated role processes will be an implementation of the choreography. A useful Equation is given. ©2010 IEEE.
Qiang X.-J.,Nanchang University |
Ju-Hua H.,Nanchang University |
Qun L.,Jiangxi Yuzhou Scientific and Technological Institute
Journal of Convergence Information Technology | Year: 2012
In order to control the buffeting noise of the automatic sunroof effectively, and the PID controller based on hybrid particle swarm algorithm is established to control the opening degree of affecting the buffeting noise of the sunroof. First, the formation mechanism of the sunroof buffeting noise of the automobile is studied, and then the controlling method of the buffeting noise is analyzed, next the PID controller based on the hybrid particle swarm algorithm is established, and finally the case study is carried out, results show this method is fit for improve the comfort of the diver.
Xiong J.-Q.,Nan Chang University |
Xiong J.-Q.,Jiangxi Yuzhou Scientific and Technological Institute |
Huang J.-H.,Jiangxi Yuzhou Scientific and Technological Institute |
Liao Q.,Nan Chang University |
Liao Q.,Jiangxi Yuzhou Scientific and Technological Institute
Advances in Information Sciences and Service Sciences | Year: 2012
Automobile noise contains a variety of different noise. It can be divided into the engine noise and chassis of noise. The engine noise is main noise sources of automobile noise, and can be roughly divided into pneumatic noise, combustion noise, and mechanical noise. These are caused by the recruit vibration of the students in air, when a car engine exhausts fan rotation, these voices, the light into the air directly. No, the largest into exhaust muffler for automobile engine exhaust noise, another kind is the source of the intake noise. Fan noise, usually main noise sources especially air-cooled engine. Combustion noise, mechanical noise is difficult to disaggregate. Study on emission of vehicle noise frequency characteristics and energy distribution characteristics, with the optical image automatic overlapping, obtained the vehicle noise source frequency, spatial location and origin. The test results show that, the microphone array technology is an effective way for noise diagnosis and sound localization, for noise control of vehicle to provide a scientific basis.
Yang C.,Jiaxing University |
Liu F.,Jiangxi Yuzhou Scientific and Technological Institute
2011 International Conference on System Science, Engineering Design and Manufacturing Informatization, ICSEM 2011 | Year: 2011
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a common business goal from a global viewpoint. In this paper, based on a calculus model and a role oriented process language, we study some fundamental issues related to choreography, especially those related to implementation, including semantics and generalized projection, dominant role in choices and iterations, etc. We propose some novel calculus structures related to it. The study reveals some clues about the language, the semantics, the specification and the implementation of choreography. © 2011 IEEE.