CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

两凸平面相贯立体的隐藏线消去法

本文介绍了一种消去两相贯凸平面立体的隐藏线算法。首先利用外法线法单体消隐,然后用线与面比较法作组合消隐计算,逐一确定各个单体上可见棱线在组合体上的可见线段,最后显示或绘制所有的可见棱线段和两体的可见交线,得到消隐后的立体图。本法信息输入量较小,功能较强,不但适用于两相贯的凸平面立体的消隐,而且也适用于两迭加的凸平面立体的消隐。本程序还适用于两体具有共面的情况。     

整体壳段典型特征高效模块化编程技术

整体壳段为航天产品核心零部件，具有结构复杂、尺寸精度高、材料去除率大、工艺过程复杂、加工周期长等特点。在壳段数控加工过程中，存在编程难度大、重复工作量大、效率低及编程质量与编程人员能力水平密切相关等问题。为了适应高效、高可靠性的任务需求，依托成熟商用CAM软件，通过对整体壳段典型特征的分析，基于UG NX软件平台研究并开发了典型特征自动化编程模块，有效提高了加工程序的质量稳定性，并极大降低了工艺人员的编程操作量，提高了工艺设计效率。     

高速开关阀控电液位置伺服系统自适应鲁棒控制

为研究高精度的液压缸位置跟踪控制问题，设计了高速开关阀和换向阀组合控制液压缸的结构方案，并通过实验分析了高速开关阀的静态流量特性。建立了液压缸的连续可微摩擦模型，利用粒子群优化算法对其参数进行辨识。建立了系统的非线性数学模型，基于非连续参数映射和反步法设计了直接自适应鲁棒控制器，通过参数在线自适应调节来更新估计值和鲁棒反馈项支配参数不确定性，实验结果表明:在跟踪幅值为5mm，频率为0.4Hz的正弦信号时，最后一个周期的最大跟踪误差、平均跟踪误差及其标准差分别为0.638、0.25mm和0.405mm，与传统PID控制器相比，控制精度显著提升，旨在为实现高精度的数字阀控位置伺服技术提供有价值的参考。      

SQP方法在航空发动机加速过程控制中的应用研究

本文研究了采用非线性规划方法中的序列二次规划最优化方法解决涡轮风扇发动机加速过程的最优控制问题。在研究中,考虑了发动机加速过程中的压气机喘振边界、涡轮最高温度限制、转子最高转速限制、燃烧富油熄火限制等各种约束条件,以及执行机构的惯性、延迟等机械特性。仿真结果表明:应用序列二次规划法进行加速最优控制是可行的,发动机在加速过程中能准确地沿着各约束边界进行加速,从而充分发挥了发动机的潜力,大大地改善了发动机的加速性。      

空军武器装备系统作战效能评估方法探讨

空军武器装备系统,一般认为由飞机装备,雷达装备和防空武器装备三大部分组成,对于单一武器装备的作战效能的分析方法,已有很多相关理论,对于上述三个部分构成的武器装备（总）系统的作战效能的评估方法,采用什么样的数字模型,进行哪些方面的判断决策,如何根据蓝方现有（或假想）武器装备对应求解红方现有（或假想）武器装备的最优配置方案等等,是本文所要讨论的问题。     

翼伞系统分段归航轨迹的优化设计

如何有效利用翼伞系统自身的可操作性来规划归航轨迹 ,一直是研究人员关心的问题。近来 ,分段设计的方法以其计算简单、轨迹可知和工程实用的特点而备受关注。从六自由度动力学建模和仿真入手 ,分析了翼伞系统飞行的基本特性 ,在此基础上进一步简化了模型。然后详细介绍了一种分段优化设计翼伞轨迹的思想和各阶段的特点 ,仿真试验结果表明此方法是可行的。     

输入受限乘波体飞行器的最优跟踪控制方法

针对存在输入受限的乘波体飞行器最优跟踪问题,基于反演控制设计了最优跟踪控制器。将控制分为稳态跟踪控制和瞬态最优控制两部分。首先基于反演控制框架,引入有限时间收敛跟踪器对虚拟控制律进行估计,避免了普遍存在的“微分项膨胀”问题。其次,考虑系统中存在不确定项,设计了非线性干扰观测器对不确定项进行估计,确保控制器的鲁棒性。同时,充分考虑输入受限情况,基于辅助误差补偿策略对控制输入进行修正。然后,为了实现最优控制,基于自适应动态规划设计瞬态最优控制器。最终通过数字仿真,验证所设计控制方法的有效性。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

推进系统优化控制模式研究

在不同的飞行任务段采用不同的优化控制模式,能够充分发挥发动机的性能潜力,提高飞机性能。利用机载自适应模型,使优化控制模式具有自适应能力。优化过程采用线性规划(LP)方法结合发动机的物理响应过程来解决非线性的发动机性能优化问题。文中阐述了优化控制的设计和控制算法,并进行了数字仿真试验,结果表明:在平飞加速工况下,采用最大推力模式,可提高发动机推力约10%;在亚音速巡航时,采用最小油耗模式,可节省单位油耗约2%,验证了推进系统优化控制模式的性能效益。