面向验证的启发技术设计

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

航天型号参数—费用模型分析

本文用灰色关联理论分析了参数—费用模型 ,根据关联度大小取舍参数并进行了多元线性回归 ,然后对线性回归方程作了弹性分析     

用差分方法解二阶线性常微分方程边值问题的误差估计式的改进

关于二阶线性常微分方程边值问题的差分解法的误差估计式,所见文献中都是借助于极值原理,给出误估计为(M(b-a)~2/96)×h~2.本文利用矩阵的理论和方法,得到的估计式为(M(b-a)~2/96)×h~2·(1/1 (q/2)×h~2),与已有的估计式相比较,有所改进,而且体现出系数q(x)     

恒加试验的最优线性不变估计

给出了恒加试验的最优线性无偏估计与最优线性不变估计。与有关文献给出的二步估计相比,这两个估计有较大改进,并且在计算上简单可行。     

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

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

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

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

用脉冲线性调频(Chirp)信号进行地下通信系统的弱信号同步

本文介绍一种能在极低的信噪比下进行工作的同步技术。发端发送脉冲线性调频（Ｃｈｉｒｐ）信号,收端用高速进行相关检测,从被噪声淹没的Ｃｈｒｉｐ信号中可快速准确地提取同步时基。本文介绍了此同步系统的性能分析、实现方法及试验结果。     

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

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

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

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

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