基于Z的虚拟加工仿真环境规范技术研究

Specification Research of Virtual Machining Environment Based on Z

对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。

The specification description technology of virtual machining simulation environment models was researched. Aiming at rapid creation of virtual machining environment and share requirement of different systems, a new Z-based specification description method was put forward. This formal method could ensure the accuracy and rigorism of model representation. According to this method, all data relationships and features definition, such as the geometry model, logic model and mechanism model, were described by UML and Z notation separately. The validity of this formal method was verified by machine tool examples. Based on the specification description, a neutral file method was designed to realize information share, which is easy to be understood and realized.