丁明

作品数：10被引量：14H指数：3
导出分析报告
供职机构：西北大学信息科学与技术学院更多>>
发文主题：线性时序逻辑MBDBOM航空电子系统航空电子更多>>
发文领域：自动化与计算机技术航空宇航科学技术文化科学经济管理更多>>
发文期刊：《航空计算技术》《航空精密制造技术》《西北大学学报（自然科学版）》《北京理工大学学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
航空电子企业物料供应方法的优化研究
《数码世界》2019年第6期270-270,共1页孙文智 张军 陈宗利 丁明 
近年来,航空电子产品市场竞争日趋激烈。客户化定制、严格的交付周期以及激烈的价格竞争都对航空电子企业生产组织方式提出了迫切的改进需求。物料供应是保障企业正常生产的基础,是生产组织方式的核心环节之一。物料供应能力如果能够得...
关键词：物料供应 优先级管理 计划管理 
一种航空电子系统安全性需求验证方法被引量：3
《西安电子科技大学学报》2019年第3期66-73,共8页丁明 张书玲 张琛 张军 
国家自然科学基金(61502365);陕西省重点研发计划一般项目(2019GY-042)
针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采...
关键词：航空电子系统 安全性 形式化方法 模型检测 
一种航空电子系统体系结构错误行为验证方法
《西北大学学报（自然科学版）》2019年第3期356-362,共7页丁明 张书玲 张琛 
国家自然科学基金资助项目(61502365);陕西省重点研发计划资助项目(2019GY-042)
针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错...
关键词：航空电子系统 体系结构 错误模型 模型检测 
业务流程的形式化设计与验证
《北京理工大学学报》2016年第11期1147-1153,共7页丁明 张书玲 张琛 
国家自然科学基金资助项目(61502365;61272117);中央高校基本科研业务费专项资金项目(K5051303005)
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业...
关键词：业务流程 确定有限自动机 模型检测 线性时序逻辑 
业务流程建模与测试方法研究被引量：3
《西安交通大学学报》2016年第3期127-133,共7页丁明 张书玲 张琛 
国家自然科学基金资助项目(61502365)
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出...
关键词：业务流程 接口自动机 覆盖准则 测试用例 
机载电子产品研发过程中的同行评审
《航空计算技术》2015年第5期86-88,92,共4页张超 曹云 袁璐 丁明 
国家自然科学基金项目资助(61401345)
同行评审作为一种文档审查程序,需要相同领域里的其他专家学者来对作者的学术作品或理念进行评议,从而尽早而有效地排除设计思想中存在的不足。在不同行业的应用领域里,同行评审具有不同的战略定位和操作规程。以机载电子产品的研发过...
关键词：机载电子 信息化 同行评审 里程碑 
基于任务单元模型的研发流程验证
《航空计算技术》2013年第3期89-91,95,共4页丁明 张军 朱沧 张昕 
国家自然科学基金项目资助(61172147)
为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法。方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成...
关键词：研发流程 任务单元模型 模型检测 线性时序逻辑 
基于MBD的三维工艺研究与实现被引量：5
《航空精密制造技术》2013年第2期45-47,56,共4页张昕 秦坤 张超 丁明 
围绕基于MBD条件下对三维工艺进行了重点的研究,并根据实际现有产品的条件下,提出了基于MBD三维工艺的实施解决方案。通过对三维工艺的实现,提升了航空制造企业的现代化制造水平。
关键词：MBD BOM 三维工艺 三维加工工艺资源库 
基于MBD的三维工艺研究与实现被引量：1
《国防制造技术》2013年第1期45-48,共4页张昕 秦坤 张超 丁明 孙文智 
随着三维CAD系统在航空制造系统的广泛应用以及基于MBD技术制造体系的提出,在三维CAD系统下利用MBD技术如何实现快速高效的工艺设计已经成为未来研究的一个重点。本文围绕基于MBD条件下对三维工艺进行了重点的研究,并根据实际现有的产...
关键词：MBD BOM 三维工艺 三维加工工艺资源库 
基于线性时序逻辑的业务流程验证被引量：2
《西北大学学报（自然科学版）》2012年第2期226-230,共5页丁明 鱼滨 陈峰 郝克刚 
国家自然科学基金资助项目(60871097);陕西省科技厅工业公关基金资助项目(2009k08-11)
目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作...
关键词：业务流程 验证技术 模型检测 线性时序逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部