面向模型检查的NuSMV统一建模方法

以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis,MBSA)技术能够提高工作效率和分析结果的客观性,已在复杂大型装备系统的安全性工作中得到广泛重视与应用。现有的MBSA框架下的建模过程较为复杂,且通常需要模型转换,易造成模型信息的损失,影响安全性分析结果的准确性和全面性。面向模型检查,提出了基于符号语言构建统一系统模型的方法 ,研究了形式化语言元素与系统功能、结构和故障模式之间的分配与映射关系,利用时态逻辑公式规范了系统安全性要求的定义。最后,以飞控系统的前主桨舵机为例进行了案例应用,验证建模方法的有效性和适用性。

基于流程的供应链管理及其数字化探索

未来的市场竞争不仅是个体企业间的竞争,更是产业链、供应链之间的竞争。伴随着新一代信息技术与产业深度融合,航空发动机供应链体系结构由链状向网状演进,驱动方式由业务驱动向数据驱动变革,技术手段由单一企业的供应链管理系统向跨企业的数字化管理平台升级。以流程为导向的供应链管理体系设计,是建强航空发动机供应链,建成统一、集成、精益、数字化供应链的必要基础。

基于模型的安全性分析及其在航空发动机软件系统上的应用

安全性是武器装备研制、生产、使用和保障的第一要求。基于模型的安全性分析(MBSA)是传统安全性分析的进一步发展。航空发动机的设计人员与安全分析人员通过使用相同的系统模型,可避免因系统理解不一致而产生的设计分析协调问题,有助于提高安全性分析的完整性、连续性与可追溯性。

航空发动机零部件清洁度控制标准

20世纪60年代初期,清洁度控制标准首先起源于航空和汽车工业并逐渐扩展到其他工业领域,极大地推动了各行业高精尖技术发展。航空发动机作为高精尖工业产品的代表,通过推行清洁度控制,极大地提高了产品质量和可靠性。中国航发编制发布一系列航空发动机零部件清洁度控制标准,是进一步提升产品研制水平的关键。

航空发动机智能生产线架构与集成应用技术

作为企业核心竞争力的基础要素和生产活动执行的实体,生产线承载了物流、信息流和价值流的流通与汇聚。经过有效的组织和集成,将传统生产线与大数据、机器学习等智能化手段相结合,来构建智能生产线是达成航空发动机智能制造的基本条件。

数字孪生在航空发动机制造工艺中的应用探索

数字孪生技术不仅可利用人类已有理论和知识建立虚拟模型,而且可利用虚拟模型的仿真技术,探讨和预测未知世界,以发现和寻找更好的方法和途径、不断激发人类的创新思维、不断追求优化进步。因此,数字孪生技术为当前航空发动机制造业的创新和发展提供了新的理念和工具。

供应链管理体系IT架构设计

企业各项业务的高效开展依赖于信息技术(IT)系统的支撑。供应链IT架构设计的终极目标是使得企业业务和IT保持协调一致发展,实现IT对包括供应链管理在内的各项业务的全面支撑,快速提升企业核心竞争力。供应链管理体系信息技术(IT)架构旨在承接业务架构的设计成果,搭建支撑未来真实业务场景的IT环境,使得业务发展和IT应用协调一致,形成IT对供应链业务的有效支撑。

航空发动机供应链合规管理探索

2022年10月,国务院国有资产监督管理委员会发布的《中央企业合规管理办法》开始实施,对推动中央企业加强合规管理、切实防控风险、有力保障深化改革与高质量发展具有重大意义。作为航空发动机供应链龙头央企中国航发集团应切实加强合规管理,从而拉动供应链整体合规,实现高质量发展。

航空发动机供应链风险管理研究

随着经济和社会发展,企业竞争已不单是企业和企业之间的竞争,更是供应链与供应链之间的竞争。在供应链管理发展过程中,一些潜在威胁的出现给供应链的正常运作产生了不同程度的影响,供应链风险管理也受到越来越多的关注。