将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。

当前制造业企业面临着生产模式由大规模生产转为大规模定制的挑战,开发信息物理生产线系统是迈向大规模定制的第一步。针对信息物理生产线系统混合异构的开发工具间多领域信息交互及自动化信息集成,提出一种基于Au?tomationML(AML)的模型驱动开发方法,基于该系统的信息集成架构实现模型集成及模型转换;提出实现模型开发验证流程一体化的工具链作为该方法的实现,并以木雕产品的加工包装为例进行实验验证。实验结果表明,该方法支持面向个性化定制产品需求的信息物理生产线系统模型构建、规划调度及形式化验证等开发流程,实现了系统的开发统一化及信息集成的自动化。

为了研究3 D-CAPP技术,通过构建三维工序模型作为信息载体实现设计和制造信息的共享.首先提出了基于特征本体的工艺知识管理方法,分析了特征本体的构建思想,阐述了在Pro/NC模块下面向特征本体信息生成工序模型的原理及整体构建框架.研... 展开更多

随着对机械产品外观设计要求的逐渐提高,复杂机械产品的外观设计,需要结构设计和外观工业设计协同设计完成,要求两者之间的模型转换有较高的效率和精度,在分析复杂机械产品外观设计流程的基础上,探讨前结构模型导入到外观设计软件作为设计参照以及外观模型与结构模型的迭代方法和流程。针对不同类型模型转换中间格式,分析其优缺点,借此给出了模型优化导出的方法,即针对不同特征模型的特点,有差异性的将模型文件导入到工业设计软件中的方法。最后在应用实例中对模型转化的方法进行了验证。