A new type of linear ultrasonic motor with two degrees of freedom (DOF) motion is presented. The concept of the new typical motor is based on the combination of a longitudinal and two bending modes. The construction a...A new type of linear ultrasonic motor with two degrees of freedom (DOF) motion is presented. The concept of the new typical motor is based on the combination of a longitudinal and two bending modes. The construction and the operational principle of motor are described, and the elliptical motion of the driving point of the actuator is proved. Meanwhile, a prototype linear motor is designed by using the finite element method (FEM) and is constructed for experiments. The vibration modes are tested with the laser doppler vibrometer (PSV-300F), and the experimental results prove that the design requirements on the mode shape of the actuator and nature frequency are satisfied. The test run of the motor indicates that the operational principle of the motor and the design results are correct, and the output properties are also tested.展开更多
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作...由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.展开更多
文摘A new type of linear ultrasonic motor with two degrees of freedom (DOF) motion is presented. The concept of the new typical motor is based on the combination of a longitudinal and two bending modes. The construction and the operational principle of motor are described, and the elliptical motion of the driving point of the actuator is proved. Meanwhile, a prototype linear motor is designed by using the finite element method (FEM) and is constructed for experiments. The vibration modes are tested with the laser doppler vibrometer (PSV-300F), and the experimental results prove that the design requirements on the mode shape of the actuator and nature frequency are satisfied. The test run of the motor indicates that the operational principle of the motor and the design results are correct, and the output properties are also tested.
文摘由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.
