面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

机械故障自动特征向量提取与智能识别系统

有效特征向量的提取和状态识别是设备状态监测与故障诊断中的关键技术.近年来,国内外非常重视特征参量有效性的研究和模式识别方法的探讨.笔者介绍了“机械故障自动特征向量提取与智能识别系统”的设计、结构与功能、实现方法及其应用.     

塑性状态下光学及电子镜面的亚纳米级精密磨削

本文讲述了由PC机控制的多用途超精机床(MPUMT)的设计及光学镜平滑表面的加工。已研制出的机床可用于磨削、切削、研磨或抛光塑性状态下的硬脆材料。作为建立新的加工系统的关键部分,采用了大型磁致伸缩调节器(GMA),在没有放大器元件的情况下,它具有大功率的输出和大于压电陶瓷调节器几倍的纳米级的位移。切削DOC的深度和控制塑性状态过程的微塑性区域能够被调节器设置为具有高于1nm的精度,并能用金刚石磨削砂轮研磨。在当前研究中所用到的镜为多晶体、非晶体,也有加固玻璃。磨削实验的结果表明,已研制出来的超精机床能够实现对塑性状态下的玻璃和陶瓷材料的加工。材料特性参数和微裂纹之间的关系已被检测到,适用于大多数被研究玻璃的脆性到塑性磨削方式的转换已经确定。运用AFM、SEM和ZYGO对磨削表面进行了分析,例如BK7和TRC5(新材料;加固玻璃)的磨削表面分别具Ra=0.15nm和Ra=0.32nm的表面粗糙度。     

状态—参数联合估计方法及其在液体火箭发动机健康监控中的应用

基于传统的扩展卡尔曼滤波器（ＥＫＦ）,本文提出了一种带次优渐消因子的ＥＫＦ用于非线性时变随机动态系统状态与参数的联合估计。应用于液体火箭发动机健康监控算法的仿真研究表明,本文所提出的联合估计器具有较好的收敛性、实时性和动态跟踪能力。此外,文中还讨论了联合估计器应用于实际系统的有关问题。     

l壳层状态的QSL分类与耦合波函数的计算

本文从准旋、自旋、轨道角动量算符的二次量子化形式出发,讨论了l壳层状态的QSL分类,推导了QSL分类的递推公式并给出了p,d,f壳层的分类结果。应用计算单体、二体算符矩阵元的Slater-Condon规则和解线代数本征值问题子程序,编制了计算l壳层QSL耦合波函数的计算程序,在VAX-11/730机上,对p-壳层和d-壳层共约需半分钟,对f-壳层约需24分钟。     

非战争军事行动中的心理疏导工作

（一）战地客观环境考验年轻官兵的心理适应力。战地客观环境因素的影响，这是对官兵心理构成最直接、最主要的影响因素。非战争军事行动往往事发突然，官兵反应的时间短，而事发地域环境大多生疏，战地环境的惨烈程度、任务的对抗程度、生活环境的艰苦程度等都会直接对官兵视觉、听觉等感知器官产生冲击，直接影响心理状态。被摧毁的建筑物、血肉模糊的伤员和尸体……     

飞行器执行机构故障的鲁棒容错控制器设计

针对具有冗余操纵机构飞行器的执行机构故障,提出了一种主控制器加补偿控制器的鲁棒容错控制器结构。两个控制器可分开单独设计。系统无故障时,仅主控制器作用,保证被控系统具有较高的性能;系统发生故障后,启用补偿控制器,在保证闭环系统稳定的前提下尽可能地补偿故障对系统造成的影响。控制器可以兼顾系统的性能鲁棒性和容错性,可作为自修复飞行控制系统中的应急控制律。采用PID基于扩张状态观测器的故障补偿的方法实现了该控制器结构。最后,以飞机方向舵卡死故障为例,验证了该控制器的正确性和有效性。     

考虑扰动引力影响的弹道助推段误差传播解析计算方法

针对地球扰动引力对弹道导弹惯性导航精度影响日益突出这一问题,研究了沿弹道扰动引力的多项式拟合方法,并基于线性系统理论和弹道摄动思想推导了用于求解扰动引力对弹道助推段状态影响的完整解析表达式。同时考虑扰动引力影响与导弹视加速度之间的耦合特性,将扰动引力引起的视加速度偏差视为扰动引力影响的附加补偿项,并进行迭代修正。仿真结果表明:扰动引力拟合残差小于3×10~(-7)m/s~2,考虑耦合项修正的弹道误差传播解析模型计算残差减小为原有方法的1/3,计算时间仅为直接采用弹道积分求差法的1/10。