Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principle...Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.展开更多
To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation,...To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.展开更多
针对五轴加工机床存在程序编制复杂,人工检查困难,加工过程中易碰撞等问题,以Mikron HEM 500U五轴加工中心机床为例,研究了双摆台五轴加工中心结构,提出了应用NCSIMUL软件构建虚拟机床的方法,搭建了虚拟加工环境,通过叶轮零件仿真加工,...针对五轴加工机床存在程序编制复杂,人工检查困难,加工过程中易碰撞等问题,以Mikron HEM 500U五轴加工中心机床为例,研究了双摆台五轴加工中心结构,提出了应用NCSIMUL软件构建虚拟机床的方法,搭建了虚拟加工环境,通过叶轮零件仿真加工,完成了APT刀位源文件到NC代码的自动转换,实现了零件五轴联动加工,验证了NC代码的正确性,检验了加工工艺合理性,保障了机床安全性,减少了零件试切时间,缩短了加工周期,仿真结果验证了虚拟五轴加工中心仿真加工的可靠性。展开更多
文摘Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.
文摘To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.
文摘针对五轴加工机床存在程序编制复杂,人工检查困难,加工过程中易碰撞等问题,以Mikron HEM 500U五轴加工中心机床为例,研究了双摆台五轴加工中心结构,提出了应用NCSIMUL软件构建虚拟机床的方法,搭建了虚拟加工环境,通过叶轮零件仿真加工,完成了APT刀位源文件到NC代码的自动转换,实现了零件五轴联动加工,验证了NC代码的正确性,检验了加工工艺合理性,保障了机床安全性,减少了零件试切时间,缩短了加工周期,仿真结果验证了虚拟五轴加工中心仿真加工的可靠性。
