分布多媒体系统的多媒体动态同步模型

在分布多媒体系统中，多媒体具有动态同步特性，同时关键媒体的同步要求在应用中享有优先权．现有的多媒体同步模型无法满足这些要求，现提出一个新的基于时间Ｐｅｔｒｉ网的多媒体动态同步模型——ＤＳＰＮ模型．它不仅能使分布多媒体系统依据实际运行状况和新提出的同步类型，以更准确、高效的方式来保持多媒体同步，而且允许用户对多媒体表现过程进行交互操作．     

受限语言子集的理论研究和探索

本文在综述受限语言研究成果的基础上,提出受限语言子集的一种形式化描述模型,并给出其相应的语言特性和数学特性,就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论,并在充分认识受限语言研究的必要性和困难的基础上,将其引向全面深入的发展。     

面向对象的企业模型OVERM

企业系统集成，是现代企业所面临的重要课题。要实现企业系统集成，企业内的各系统必须能够互相理解。这就需要一个统一的企业模型，用统一的表达方式和语义，将企业系统统一在共同的企业模型下。本文首先给出了企业模型定义，分析了目前常用的主企业模型CIM－OSA和CSEM，指出了它什1存在的问题，提出了面向对象的企业参考模型一OVERM（Object－orientedVirtualEnterpriseReferenceModel）。OVERM模型提供了面向对象的由企业论域到企业论域描述的参考过程和企业的参考模型。参考OVERM模型，得出企业的对象化模型，它主要包括严格分类的一组对象类及其语义、对象类之间的相互关系。根据得到的企业U。D模型，在基于分布对象的实现基础上，实现企业信息系统集成（EISI）。     

优化控制在E型磨直吹式锅炉制粉控制系统的应用

介绍一种电厂E型磨直吹锅炉制粉控制系统，该系统采用计算机的优化控制技术，使磨煤机这样一个多变量的复杂系统实现了锅炉燃烧系统的自动控制，实践证明节能效果好。     

Completeness of the Accumulation Calculus

The accumulation calculs(AC for short)is an interval based temporal logic to specify and reason about hybrid real-time systems.This paper presents a formal proof system for AC,and proves that the system is complete relative to that of Interval Temporal Logic(ITL for short)on real domain.     

显式与或图的一种新的贪心搜索算法

文中提出了一种性能很好的能找出显式含圈与或图的最佳解图的贪心算法，给出了其严格的正确性证明，并简单分析了其复杂性。     

基于小波变换的分频集员辨识

讨论具有未建模动态系统的集员辨识问题,基于小波变换提出分频集员辨识方法,旨在获得较精确的模型集估计。仿真结果验证了所提出方法的有效性。     

电压矢量PWM变频器微机控制方法研究

在对电压矢量ＰＷＭ技术的基本问题进行分析的基础上，提出了一种新的数字实现方法。该方法具有结构简单，运行速度快、查表量小等特点。最后给出了变频器的实验结果。     

大机组故障诊断技术的展望

概述了国内外近些年大机组故障诊断技术的发展情况，简单地介绍了故障诊断技术的常用方法，并对各种方法的特点或优缺点进行了概括和总结；指出了现阶段故障诊断技术发展的不平衡及全面发展大机组故障诊断技术的重要性。文中最后提出了我国发电机组故障诊断技术未来发展方向的预测。     

常曲率空间中曲面的等距变形

Ｏ．Ｂｏｎｎｅｔ首先研究了保持主曲率不变的曲面的等距变形问题，并证明了常中曲率曲面具有保主曲率的等距变形。１９８５年Ｓ．Ｓ．Ｃｈｅｒｎ证明了在欧氏空间中具有保持主曲率不变的非常中曲率曲面是Ｗ－曲面。