一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

基于树形结构酉空时星座设计的译码方法

针对酉空时码最大似然检测复杂度高的问题，提出了一种酉空时星座的设计及低复杂度译码方法．根据酉空时信号失真测度的定义，依照最邻近原则对星座进行划分，以最小失真准则计算各个星座子集中信号的最佳中心，再通过迭代算法，交替使用两个局部最佳准则，生成由各个信号子集与对应中心所构成的若干子树，形成树形结构的酉空时星座．接收方以接收信号为树根，选择具有最小失真的中心信号．对选定的中心信号对应的子树进行遍历搜索得到对发送信号的估值．该译码方法仅需要对某一中心信号及其对应子树的叶子节点进行计算，避免了最大似然方法对整个星座的全搜索，从而有效地降低了译码复杂度．仿真实验表明，相对于最大似然检测方法，该方法能够以有限的性能损失换取译码计算的有效简化．     

层流泡状流双流体模型的积分解法

为弥补用于泡状流双流体模型的直接离散差分解法无法比较直观地揭示流场成因的缺陷,针对最基本的泡状流(垂直圆管内充分发展段层流泡状流)提出了一种双流体模型解法——积分解法。首先通过对双流体模型进行符号积分,得到表示该模型的近似解析解,然后再用数值方法迭代求得数值解。该积分解法得到的近似解析解比较直观地表明:液相轴向速度主要与阻力、浮力和空泡率有关,而空泡率则主要受升力和壁面力的影响。数值解与实验数据基本吻合,预测精度一般不低于75%。     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

航空发动机非线性数学模型的遗传算法

针对发动机非线性数学模型数值解法的收敛性问题应用了浮点数编码遗传算法，提出了将遗传算法与Broyden法相结合的方法。数值仿真结果表明，单独使用遗传算法时运算效率不高，而将遗传算法与Broyden法结合使用可有效的克服各自的不足，使得模型在保持原有运算效率的情形下扩大了收敛范围。     

加强图书馆管理 深化为读者服务

论述了图书馆管理与服务的相互关系，指出服务是图书馆发展的动力，服务必须建立在科学管理之上，而管理又是为了更好地服务。从实现图书馆的价值、改革图书馆管理机制、搞好队伍建设等方面提出了提高图书馆管理与服务水平的对策。     

基于虚拟仪器和神经网络的电力电子电路故障诊断

电力电子电路中晶闸管开路和短路故障最为常见，为实现故障的在线自动诊断，以三相整流电路为例，利用虚拟仪器进行数据采集、分析及特征信号提取，特征信号作为神经网络的输入进行电力电子电路在线故障诊断，通过实验验证，该方法误诊率极低，达到了较为理想的效果。     

对可再定价经理股票期权价值的模型探讨

利用Black-Scholes期权定价模型和确定性等价模型分别讨论了可再定价的经理股票期权对公司的经济成本及其对经理的经济价值。     

大气颗粒物的分形特征

介绍了大气颗粒物的分形特征，及其研究意义。回顾了国内外用实验方法测定大气颗粒物分维和用计算机模拟凝聚计算分维的发展情况，展望了大气颗粒物分形性质的研究方向。     

机枪动态稳定性原理与实践

针对机枪轻量化的发展趋势，提出保持机枪射向一致性的动态稳定性概念，给出动态稳定性的度量，建立动态稳定性分析模型，从理论和实验探讨动态稳定性的分析方法，通过在某新型机枪研制中的具体应用，取得了令人满意的效果。