一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

开关寿命连续型不可修冷、温贮备系统的可靠性分析及其随机模拟

本文对由n个部件组成的、开关寿命为连续型随机变量的不可修冷、温贮备系统作了可靠性分析,建立了这两类系统的一般模型,给出了冷贮备系统可靠度R_n(t)及平均寿命MTTF的一般形式解。并在指数分布场合下,给出了R_n(t)及MTTF的解析表达式。当部件贮备寿命相互独立同分布时,温贮备系统可以通过一个虚设的开关变量而归结为冷贮备系统。对一般的贮备系统,可以运用数理统计方法,根据样本给出R_n(t)及MTTF的估计。文末利用随机模拟方法,构造所需样本,便可获得R_n(t)及MTTF的数值估计。实例表明,随机模拟的结果是令人满意的。     

86/300微机数据采集程序

本文介绍86/300微机常用的 ST-711、SBX311 A/D 板的 PL/M86采集程序。     

DSP的数学原理及在实时系统的应用

制造系统里所用的微处理器中，单片机只能做逻辑处理和简单数学计算，而数字信号处理器（DSP）可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点，介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。     

机场跑道耐冲磨混凝土的研究

针对机场跑道混凝土所处环境、受力特环以及对修补材料的性能要求，提出采用超塑化、膨胀、树脂掺入等复合手段，大幅度改善钢纤维混凝土基质材料的结构性能。通过高效粘结，充分发挥了钢纤维的增韧抗冲击作用，使这种有机无机复合、金属非金属复合的混凝土材料具有优异的抗冲击性和耐磨性。实验结果表明，机场跑道混凝土特别是飞机起降区域板块适合采用SPE－SFRC复合材料。在基础稳定的条件下，基本可在设计使用年限内无须大修，其社会、经济效益巨大。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

二元冰蓄冷测试技术及其评价

对二元冰蓄冷系统的测试技术进行了系统的介绍并作出了相应的评价。着重介绍了二元冰的性质及系统中凝聚现象和含冰率的测试技术,为二元冰蓄冷系统的测试研究指明了方向。     

基于ANFIS的蒸汽发生器水位实时控制系统的设计

从蒸汽发生器的水位特性出发，对其水位高度控制原理进行了深入细致的研究。鉴于控制对象的模糊性、不确定性和非线性，采用自适应神经元模糊推理(Adaptive neuron fuzzy inference system，ANFIS)技术，建立了模糊控制规则库，实现了对蒸汽发生器水位的智能控制。本文详细阐述了ANFIS技术的结构、控制方式和系统的主要功能，完成了软、硬件的综合设计，并进行了仿真研究。控制系统的硬件采用了DSP芯片，以保证系统的实时性；软件采用了模糊一神经网络算法，以克服系统模型的不确定性。仿真结果表明，该控制系统工作稳定可靠，具有较高的控制精度和较强的鲁棒性。     

电沉积CeO2/Zn纳米复合涂层

将纳米氧化铈颗粒加入镀锌液中进行复电沉积制得纳米复合涂层。通过失重法，ICP，SEM和XRD方法探讨了纳米氧化铈颗粒对电沉积锌涂层的影响。结果表明，在同样的电沉积条件下，纳米复合涂层的耐蚀性明显提高，而微米复合涂层的耐蚀性只稍有改善；纳米复合涂层中氧化铈的含量高于微米复合涂层中的氧化铈含量。纳米氧化铈颗粒改变了锌涂层的表面组织形貌和晶体结构，从而提高了涂层的耐蚀性。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。