丁明
- 作品数：13 被引量：17H指数：3
- 供职机构：西北大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术文化科学经济管理更多>>
- 基于MBD的三维工艺研究与实现
- 2013年
- 随着三维CAD系统在航空制造系统的广泛应用以及基于MBD技术制造体系的提出,在三维CAD系统下利用MBD技术如何实现快速高效的工艺设计已经成为未来研究的一个重点。本文围绕基于MBD条件下对三维工艺进行了重点的研究,并根据实际现有的产品的条件下,提出了三维工艺的实施解决方案。通过对三维工艺的实现,提升了航空制造企业的现代化制造水平。
- 张昕秦坤张超丁明孙文智
- 关键词：MBDBOM
- 机载电子产品研发过程中的同行评审
- 2015年
- 同行评审作为一种文档审查程序,需要相同领域里的其他专家学者来对作者的学术作品或理念进行评议,从而尽早而有效地排除设计思想中存在的不足。在不同行业的应用领域里,同行评审具有不同的战略定位和操作规程。以机载电子产品的研发过程为背景,讨论同行评审的业务模型和信息化模型,探索同行评审在产品研发阶段中的具体应用。
- 张超曹云袁璐丁明
- 关键词：机载电子信息化
- 基于任务单元模型的研发流程验证
- 2013年
- 为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法。方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断。
- 丁明张军朱沧张昕
- 关键词：线性时序逻辑
- 基于MBD的三维工艺研究与实现被引量：5
- 2013年
- 围绕基于MBD条件下对三维工艺进行了重点的研究,并根据实际现有产品的条件下,提出了基于MBD三维工艺的实施解决方案。通过对三维工艺的实现,提升了航空制造企业的现代化制造水平。
- 张昕秦坤张超丁明
- 关键词：MBDBOM
- 论我国知识产权海关保护之完善
- 在国际贸易高度发展的当代社会,知识产权海关保护工作不仅对我国社会经济发展和知识创新具有重大影响,还关系到国内企业在世界市场的竞争力和形象问题。通过长期努力,中国尽管在海关保护领域已有了显著成绩,可仍然存在着许多问题,例如...
- 丁明
- 关键词：知识产权海关执法能力维权意识
- 文献传递
- 一种航空电子系统安全性需求验证方法被引量：3
- 2019年
- 针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。
- 丁明张书玲张书玲张琛
- 关键词：航空电子系统安全性形式化方法
- 基于线性时序逻辑的业务流程验证被引量：2
- 2012年
- 目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。
- 丁明鱼滨陈峰郝克刚
- 关键词：线性时序逻辑
- 业务流程建模与测试方法研究被引量：3
- 2016年
- 针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。
- 丁明张书玲张琛
- 关键词：接口自动机测试用例
- 综合模块化航空电子系统重构与验证方法研究
- 为了满足飞机日益增长的军事和民用需求，综合模块化航空电子系统(IntegratedModularAvionics,IMA)近年来受到了工业界和学术界的广泛关注。IMA系统是安全攸关的嵌入式系统，当运行环境变化或组件故障时...
- 丁明
- 关键词：系统建模语言架构分析设计语言
- 业务流程的形式化设计与验证
- 2016年
- 针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.
- 丁明张书玲张琛
- 关键词：确定有限自动机线性时序逻辑
