利用基因重组策略改进遗传算法

为了克服标准遗传算法的早熟现象，提高遗传算法的全局收敛性，提出了一种基于基因重组策略的遗传算法。该算法定义了一种新的交叉算子，即移位逻辑交叉算子(包括蝶形移位交叉算子和洗牌移位交叉算子)，用它们对染色体的部分基因实现有规律的交叉重组。实验结果表明，该算法比经典的遗传算法具有更好的收敛性和稳定性。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

灰色预测在安全生产中的应用

采用灰色系统理论中的ＧＭ（１，１）模型对矿井的百万吨死亡率进行了预测，并通过残差修正提高了预测的精度。结果表明，该法具有较高的准确性。     

接触式弯管测量机研究

论述了接触式弯管测量机的测量原理，并给出其具体方案，通过移动末端装有Ｖ型测量叉的铰接五轴测量臂，使型测量叉与弯管外表面接触，完成弯管的接触测量，利用增量式光电角位移编码器的输出角和测量机各连杆的长度来计算变管轴线的方位；基于坐标转换原理推导了测量机的数学模型，采用最小二乘法拟合弯管的轴线，减少了测量误差，测量机仅需一次与弯管外表面接触即可确定弯管某直管段的轴线，研究工作有助于国内弯管测量机的研究与     

一类修正的Navier-Stokes方程的吸引子

证明了Ладыженская于１９６８年提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程当它的参数α∈〔１４，１２〕时，它的解算子半群具有非空的紧的不变的可吸引相空间中任何有界集的吸引子．进而借助于Ｍáｌｅｋ和Ｎｅｃａｓ提出的短轨的想法证明了此吸引子的分维有限．     

热输出曲线测量

在构件上布两片应变片构成半桥应变测量线路，构件在室温下不加载，且升降温后可自由膨胀，在此条件下测出构件在－２３℃至６６℃温度区间内的热输出曲线，为修正实测应变值提供了依据．     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

基于菲涅尔原理的新型反射面天线

该文提出了一种将一维菲涅尔区相位修正概念应用于传统抛物柱面反射面的新型反射面天线，采用物理光学方法分析了该天线反射面对入射平面波的聚焦特性。该天线具有加工简便，效率高且偏轴扫描特性好等优点，因而在卫星通信及雷达系统的有着广泛的应用前景。     

带电荷黑洞的修正熵

采用“ｂｒｉｃｋｗａｌ”模型研究了二维和四维带电黑洞的修正熵，得到了和用泛函积分计算一致的结果．对于极端黑洞，二维黑洞的修正熵为零，但四维黑洞的修正熵存在更高次的发散．