基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对...基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。展开更多
Aim To present a simple and effective method for the design of nonlinear and time varying control system. Methods A new concept of dynamic equilibrium of a system and its stability were presented first. It was poin...Aim To present a simple and effective method for the design of nonlinear and time varying control system. Methods A new concept of dynamic equilibrium of a system and its stability were presented first. It was pointed out that what is controlled directly by the input of a control system is the system's dynamic equilibrium rather than the states. Based on it, a new feedback linearization method for nonlinear system based on the Lyapunov direct method was given. Simulation studies were also carried out. Results The example and simulation show that by use of the method, the controller design becomes very simple and the control effect is quite satisfying. Conclusion The new method unifies the stabilizing problem(regulating problem) with the tracking problem. It is a very simple and effective method for the design of nonlinear and time varying control system.展开更多
文摘基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。
文摘Aim To present a simple and effective method for the design of nonlinear and time varying control system. Methods A new concept of dynamic equilibrium of a system and its stability were presented first. It was pointed out that what is controlled directly by the input of a control system is the system's dynamic equilibrium rather than the states. Based on it, a new feedback linearization method for nonlinear system based on the Lyapunov direct method was given. Simulation studies were also carried out. Results The example and simulation show that by use of the method, the controller design becomes very simple and the control effect is quite satisfying. Conclusion The new method unifies the stabilizing problem(regulating problem) with the tracking problem. It is a very simple and effective method for the design of nonlinear and time varying control system.
