关于约束分类问题的研究

约束条件的分类对于简化数学规划问题的求解具有重要意义，对于凸函数ｇｉ（ｘ）（ｉ＝１，２，…，ｎ）给出了约束ｇｉ（ｘ）≤０是必要约束或多余约束的充要条件，对于一般约束，定义了约束相关矩阵，给出了约束是必要的或多余的充要条件，对相对多余约束给出了分类。     

满应力优化设计方法的集约几何规划法

将集约几何规划法应用在连续梁和刚架的主体优化设计中，计算了两跨连续梁和门式钢框架，均得到满意结果。     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

基于CORBA的制造执行系统的实现

提出了一种适合我国离散制造业的制造执行系统的功能模型，针对传统的制造执行系统缺少柔性，不易重构，难以维护的缺点，系统地论述了基于CORBA（Common object request broker architectore)的制造执行系统的实现方法，包括领域分析，面向对象分析，面向对象设计和应用CORBA技术实现制造执行系统等主要内容，实例证明该系统具有良好的扩展性，可重构性和易集成性。     

FMS运控软件设计方法的研究与实现

ＦＭＳ在实际运行过程中能否充分发挥它的能力达到预期的目标，在很大程度上取决于运控软件开发是否得当。ＦＭＳ运控软件的开发质量问题已引起了人们的高度重视。本文分析了程序设计的方法，研究了ＦＭＳ运控软件的设计方法，为了实现面向对象的ＦＭＳ运控软件，确定了构成ＦＭＳ运控软件的对象，为了更好地确定各对象的方法即对象的成员函数，提出了画消息流图和状态转化图的方法。     

面向敏捷制造的产品可制造性评价

首先分析了敏捷制造模式对产品可制造性评价的要求，指出评价结果必须反馈给制造伙伴选择系统。提出了面前敏捷制造的产品可制造性评价系统的一个实现框架，讨论了其中的零件信息描述、知识表达、制造伙伴选择和制造资源建模等若干问题。之后着重讨论了材料与毛坯选择、零件结构工艺性、制造资源匹配和标准化检验等评价内容和评价方法。最后给出了简例。     

多Agent智能制造系统研究综述

Agent与多Agent系统是分布式人工智能的主要研究方向之一，Agent技术已经被认为是进行分布式工业系统建模的一种重要方法，是设计与实施分布式智能制造环境的最自然的手段，是构建下一代制造系统的重要技术之一，基于Agent的制造系统是多Agent系统理论和方法在制造领域中的具体应用，在对Agent与多Agent系统技术研究进行简要总结的基础上，综述了Agent技术在制造企业集成，供应链管理、制造规划、调度和制造控制等方面的应用及其研究现状，并对Agent制造系统研究的主要内容及关键问题进行了探讨。     

互换协调方案决策的探讨

论述了飞机制造互换协调方案决策中应注意的几个问题,即各种基本的互换协调方法的合理应用,“一次性”决策的原则,注意接口的协调性等。     

航空发动机智能制造生产线构建技术研究

结合航空发动机制造生产线特点,研究了智能制造的特征及要素,设计了面向航空发动机的智能制造生产线架构,并阐述了实施内容、关键技术及实现方法,为智能制造技术在航空发动机制造企业以及装配制造业应用提供了重要参考.     

MBD技术发展及在航空制造领域的应用

作为新一代产品定义技术,基于模型定义(Model-Based Definition,MBD)将设计、制造、检验等制造过程中的全部信息集成于一个综合的产品模型中,并使之成为贯穿制造全过程乃至产品全生命周期的唯一数据源,从而为推进数字化环境下的设计制造检验一体化提供有力支撑.回顾了产品定义方法的发展历史,分析了MBD技术的发展及在航空制造领域的应用现状,探讨了MBD技术的发展方向.