扇形门上开式箕斗与YXZ型自动平衡悬挂装置的使用

通过对老箕斗系统存在问题的分析,指出了扇形门上开式箕斗与YXZ型自动平衡悬挂装置在使用中的优点,从而为箕斗系统的重新选型提供了科学依据.     

关于扇图的优美性

图的标号问题在编码设计等方面的应用越来越受到关注。求出一个特殊图类的所有优美编号是一种新的尝试。对扇图Fn的优美性进行了研究,给出了详尽的证明过程,通过建立的数学模型和计算机算法求得了扇图的所有优美标号。     

基于随机Petri网的机群系统可信赖性研究

随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高.     

Petri网标记语言

Petri网标记语言（PNML）是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P／T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。     

时延Petri网分布式模拟的先行值研究

先行值计算是提高时延Petri网并行模拟性能的一个好的方法。给出了时延Petri网的先行值计算的四种基本结构，对于存在循环的复杂的Petri网结构给出了预测图算法，通过预测图，能够很容易求出静态和动态先行值，在并行模拟中利用先行值可以分析出存在并发和阻塞的结构，从而为网分块在并行机的结点上运行奠定了基础。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。     

瓦斯发电机组烟气余热利用实践

介绍了瓦斯发电机组烟气余热利用原理,结合鹤壁六矿实际分析了瓦斯发电机组烟气余热利用的途径和经济效益,并探讨了瓦斯发电机组烟气余热利用的发展方向。     

Petri网标记语言

Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性.综合介绍了 PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向.