面向航天器控制系统故障诊断的实时专家系统通用框架

本文介绍了一个可用于航天器控制系统故障诊断的实时专家系统框架，阐述了系统的设计思想和实现方法。该框架可适用于不同的航天器控制系统。     

"空军航空修理物资管理信息系统"的设计与实现

本文首先分析了空军航空修理企业的管理特点，然后详细论述了空军航空修理物资管理信息系统的设计原则、网络方案、总体结构及软件设计方法。     

离心机微机监控系统的模拟调试

结合介绍国家七·五项目“离心机微机监控设备”的模拟调试，论述了实验室或现场模拟调试的重要性；研究了模拟调试的内容和被物理、电子模拟装置替代的实际系统中的对象的分类；探讨了如何设计与制作一个或若干个既简单又“逼真”的模拟调试辅助装置，建立一个高效率的模拟调试环境。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

与电网电压同步的基准正弦电路设计与实现

提出并分析研究了一种全数字化技术的、与电网电压同步的基准正弦电路，给出了关键电路参数设计准则。试验结果与理论分析一致。该基准电路具有输出正弦电压与电网电压同步、THD小、幅值可调但不受电网电压波动的影响、简单实用、价格低廉等优点，在高频交流环节AC／AC变换系统、不间断电源系统UPS中具有重要应用价值。     

冗余系统两种应力-强度分布模型的可靠度计算

本文运用应力-强度干涉理论,说明如何确定相同设备(或元件)构成的冗余系统的可靠性。讨论了冗余系统的并联和从n中取k两种结构形式的数学模型,推导了应力和强度服从瑞利分布的并联冗余系统,以及应力和强度分别服从麦克思韦分布和瑞利分布n中取k冗余系统的数学公式。最后,给出这两个模型在应力作用下,对应于不同的强度参数,设备或元件的可靠性曲线,直观地说明应力强度参数的改变对可靠性的影响。     

蓄冰盘管冰层厚度测量及管外蓄冰性能实验

提出了一种新型简便的冰层厚度测量方法,该方法用测量冰层内温度分布的方法间接测量冰层动态厚度及冰层的相界面生长规律。对蓄冰盘管外结冰过程的实验研究表明,测量方法可靠,具有较高的测量精度;实验发现,蓄冰盘管外上部冰层生长较快,而下部冰层生长较慢,而在实验参数范围内管内乙二醇水溶液流量对冰层生长速度影响不大。     

电励磁双凸极电机调速系统的原理与实现

介绍了新型电励磁双凸极电机的结构和原理，然后结合全桥变换器阐述了电励磁双凸极电机的控制方法，接着详细介绍了电励磁双凸极电机转速、电流双闭环控制调速系统的原理和实现方法，最后以一台500W12/8极电励磁双凸极电机调速系统为例进行了系统实验。实验结果表明，电励磁双凸极电机调速系统具有结构简单、控制方便和良好的动静态性能。     

半导体激光器温度的Fuzzy_PID控制

本文将Fuzzy_PID算法应用于半导体激光器系统,阐述了Fuzzy_PID控制器的设计和软件模拟。证明了本控制算法对于大滞后、大惯性的温度控制过程具有优良的控制性能及很强的鲁棒性,且现场运行效果良好。     

虚拟演播室

虚拟演播室是一种只有赏和道具，不需要实际场景的演播室系统。它利用计算机技术和视频技术，把实际存在的景物图像和计算机生成的、并不存在于现实世界的人工图像实时地形成具有完全真实感的三维视觉效果。它不仅为电视节目制提供了高科技的制作手段和无限自由的创伤空间，而且在丰富节目包装方式、降低节目费用等方面也具有十分重要的意义。