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

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

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

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

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

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

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

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

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

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

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。     

用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。     

一个柔性化MIS系统的设计与开发

本文针对传统ＭＩＳ系统的局限，提出了柔性化ＭＩＳ系统的概念和定义。着重介绍了一个柔性化ＭＩＳ系统ＮＭＳ开发实例，介绍其设计思想和实现该系统柔性化所具备的支撑模块及这些模块的设计要点和功能等，还介绍了该系统的体系结构。在该系统中用户可以灵活地定义或修改数据模式，而且输入、输出、查询、修改、删除和统计等模块均为通用的，不因数据模式或系统功能的修改而变动源程序。源程序的中用户库名和所有条件成分均以参数或     

目前管理信息系统弊病分析及其改善途径

本文在肯定管理信息系统给企业带来经济效益和社会效益的前提下，分析了管理信息系统中存在的主要弊病及产生弊病的主要原因，主要弊病：信息质量问题，适应性差，及系统与用户之间存在着间隙。产生弊病的主要原因是：系统开发队伍的结构不合理，原理数据的局限性、数据集的表态性，及传统开发方法本身的限制。根据对弊病原因的分析，探讨了克服弊病与改善系统性能的基本途径：合理组织系统开发队伍，适当拓宽系统范围（包括拓宽数据     

能谱变硬后的X射线对Ly12铝破坏效应的研究

用数值模拟方法讨论了X射线的能谱向短波方向变化后,对Ly12铝破坏效应的影响,对所得结果进行了分析和解释。