有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

组合式空调器计算绘图一体化软件系统设计

论述了暖通空调中的组合式空调器计算绘图一体化软件系统分析、总体设计、结构设计、界面设计及开发平台，并给出了组合式空调器主要功能段的设计计算方法。系统基于Windows平台，采用VC^ 开发工具实现组合式空调器计算绘图一体化。开发的系统应用于企业组合式空调器设计制造，取得了较好的社会效益及经济效益。     

双凸极电机转矩脉动的仿真研究

双凸极电机的凸极结构及其供电电源的开关形式，导致了在输出转矩中存在稳态转矩脉动和换向转矩脉动，由于换向转矩脉动对电机性能影响较大，本文主要对影响电机稳态性能的换向转矩脉动及其产生原因进行了详细的分析研究，在此基础上提出了双凸极电机进行电流控制，改变控制参数，采用双拍工作方式以及改变励磁电流波形等几何方法来改善双凸极电机的输出转矩特性，减小输出转矩脉动。数字仿真结果验证了这些方法对减小转矩脉动的可行性。     

正激变换器脉冲变压器的优化设计

以正激变换器为例讨论了电路拓扑（磁复位绕组电路和有源箝位电路）和铁心材料（铁氧体，超微晶）两个因素对变压器体积，重量和损耗的影响。研究结果表明，有源箍位正激变换器对正激变压器体积的减小，重量的减轻和效率的提高有着明显的作用。超微晶材料在一定的工作频率范围内可以减小变压器的体积，重量和损耗，是一种优良的新型磁性材料。     

谐振直流环节逆变器的过零控制

谐振直流环节逆变器的直流环节输出电压为周期性回零的直流脉冲波形，逆变器功率管为实现零电压开关，除了要满足一定的开关规律外，还必须控制在直流脉冲波形的过零处改变开关状态，本文对逆变桥功率管的过零控制作了详细分析，分别以谐振直流环节逆变器和结实型谐振直流环节逆变器为例，讨论了过零控制信号的两种检测方法，直接检测和由控制逻辑转换检测，由分析可见：利用实际电路控制信号之间的逻辑关系获得过零信号简洁，可靠。根据逆变器谐振脉冲保持器的工作原理，提出利用采样保持电路可实现功率管的过零触发，给出了实验波形。     

基于神经网络的空间桁架结构建模研究

空间桁架结构的振动主动控制目前已成为振动控制领域研究的热点，为了研究空间桁架的主动控制方法，首先必须建立其准确的模型。神经网络固有的学习能力使其在模型辨识中得到广泛应用，针对空间桁架结构的非线性动态特性，本文采用了修正的Elman递归网络进行了模型辨识，结果表明，带有自反馈增益修正的Elman网络能很好地反映桁架结构的真实情况，适用于非线性动态系统的模型辨识。     

一种新型RLC数字电桥的研究

RLC数字电桥是一种以微处理器为基础的自动测量电阻R，电感L，电容C，品质因数Q，损耗角正切值D等参数的智能元件参数测量仪器，该RLC数字电桥，利用DDS（直接数字频率合成）方法，产生波形好，幅值稳定的正弦波，作为测试激励信号，采用了基于V－I法的自由轴法测量原理和五端测量技术，相敏检波器设计方法独特，利用数字鉴相，提高了鉴相精度，积分式A／D转换器设计方法新颖，转换精度高。     

机载光电跟踪系统基于遗传算法的模糊控制器优化设计研究

分析了机载光电跟踪系统的构成，并对机载光电跟踪系统的最主要成部分－陀螺平台框架系统设计了基于GA（遗传算法）的模糊控制器，由于遗传算洒可以搜索整个空间，不易陷入局部最优解，不受搜索空间的限制性假设的约束，因此本文通过遗传算法对模糊控制器的控制规则，参数以及量化因子和比例因子进行了优化，在对模糊控制器设计的过程中，为了提高模糊控制的精度并加速遗传算法的收敛速度，还采用了变论域的方法，通过对系统详细的仿真研究，验证了基于GA的模糊控制器设计的良好控制效果。     

智能控制的真空变压反重力铸造薄壁铸件充型机理的研究

本文研究了一种新型的反重力铸造法－－智能控制的真空变压反重力铸造薄壁铸件的充型机理，并对智能控制的真空变压反重力铸造和重力铸造分别铸造0.8mm、1.5mm、2mm的铝合金薄壁铸件的充型能力进行了比较。研究结果表明，真空变压反重力铸造能实现金属液平稳充型，具有良好的充型流体力学条件；真空变压反重力铸造0.8mm、1.5mm、2mm的铝合金薄壁件全部充填完整，具有良好的充型能力。     

大功率三相静止变流器研究

分析了低压静止变流器的几种技术方案，并在此基础上提出了一种可以实现大容量输出的电路方案，采用多重叠加和移相调压技术成功地研制了28V输入20kVA静止变流器，该变流器达到了机场地面电源国家军用标准技术要求，满载时效率高达93%以上。最后给出了试验结果和波形。