张军
- 作品数:3 被引量:6H指数:2
- 供职机构:西安航空计算技术研究所更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划“十一五”国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 机载电子产品生产计划管理系统的研究与实现被引量:1
- 2021年
- 为解决企业传统生产计划管理方式不能适应当前小批量、多品种的生产特点,在企业生产管理现状的基础上,分析了以作业任务为驱动的计划管控模式,建立了机载电子产品生产计划管理系统的体系结构,构建了生产计划管理系统的业务模型,对生产计划的管理流程进行了梳理,实现了从交付需求到主生产计划、所级生产计划、部门作业任务下发及反馈确认等业务的生产计划管理系统,实现了一种作业任务反馈的遍历算法。该系统的实施使企业实现了生产计划管理信息化,提高了企业的生产执行效率。
- 李源曾雨萱张军
- 关键词:生产管理数据集成迭代算法
- 导向器叶片精铸模具外围辅助机构参数化设计被引量:2
- 2007年
- 导向器类零件分体式精铸的关键技术之一就是叶片模具的设计。利用专家知识,结合知识推理,实现了导向器叶片精铸模具的外围辅助机构的智能化生成,并与实例库中的实例进行匹配、比较,通过参数化进行修改,提高了设计效率,缩短了生产周期。
- 刘晓辉汪文虎杨应昌隽英昌张军张琳
- 关键词:专家知识知识推理实例库参数化
- 一种航空电子系统安全性需求验证方法被引量:3
- 2019年
- 针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。
- 丁明张书玲张书玲张琛
- 关键词:航空电子系统安全性形式化方法