煤矿监控系统双机热备数据同步软件设计

针对现有的煤矿监控系统双机热备方案存在存储设备投资费用高、可靠性相对较差、主机中断后恢复数据算法复杂等缺点,设计了基于纯软件模式的双机热备数据同步软件,该软件依据煤矿监控系统的实际应用情况,将监控数据同步功能从双机热备系统中独立出来,形成一个独立的软件,降低了双机热备同步算法和同步内容的复杂度,提高了双机热备的可靠性。     

基于双机热备的瓦斯灾害预警系统设计

针对煤矿瓦斯灾害预警系统软硬件运行环境的单点失效问题,设计了一种基于双机热备的瓦斯灾害预警系统,介绍了该系统的双机热备方案、软硬件结构设计及实现方法。该系统选用互备运行模式的双机备份高可用性集群及基于RoseHA和共享磁盘阵列的双机热备方案,提高了系统的可靠性。应用结果表明,与单服务器的预警系统相比,基于双机热备的瓦斯灾害预警系统的平均无故障间隔时间大幅增加,平均故障修复时间大大缩短,系统可用性有了较大提高。     

煤矿水泵控制系统双机热备设计方案

介绍了一种应用于煤矿水泵控制系统的主—备方式双机热备设计方案,阐述了双机热备工作过程,详细介绍了双机热备的总体设计、基本业务流程及接管控制流程设计。两台控制机之间通过心跳帧实现数据交互,通过比较切换时间及控制机地址数值解决初始化时两台控制机同时上电、争抢主控权的问题,通过备用机接管控制解决主控机在控制设备启停过程中发生故障可能导致设备失控的问题。该方案实现了主控机与备用机的自动切换,达到了系统不间断运行的目的,提高了系统的稳定性。     

可靠实现煤矿双机热备系统的方法

在分析商用双机热备系统在煤矿应用的局限性基础上,提出了一种适用于中小煤矿的双机热备系统纯软件实现方法。该方法采用单/双工混合运行模式保证双机实时性能和数据一致性,采用心跳线连接和对等网络消息传递机制实现运行故障监测与传递功能,采用数据自动同步技术减少人工干预和提高系统可维护性,并采用虚拟IP地址技术实现应用层透明访问和无缝切换功能。实验与应用案例证明该方法符合相关行业安全标准并具备现实可行性。     

证券业双机热备技术研究和具体实现

本文介绍了双机热备对提高系统可靠性和可用性方面的重要作用,通过对实现双机热备系统的几个方案的比较选择,提出了基于证券业应用背景的应用级双机热备方案,并就此方案的具体设计思路进行了讨论.     

证券业双机热备技术研究和具体实现

本文介绍了双机热备对提高系统可靠性和可用性方面的重要作用．通过对实现双机热备系统的几个方案的比较选择，提出了基于证券业应用背景的应用级双机热备方案，并就此方案的具体设计思路进行了讨论。     

煤矿安全监控系统双机热备软件实现方案

针对煤矿安全监控系统的双机热备问题,提出了一种软件实现方案,即利用SQL Server 2000数据库的触发器拦截数据库更新的数据,采用双机热备软件实现数据双机同步,并通过人机界面与用户交互;针对该方案下可能出现的备机故障、数据库故障以及软件故障,提出了相应的解决方案。应用结果表明,该双机热备软件实现方案效果良好。     

煤矿风机智能远程监控系统的应用研究

针对煤矿通风机高稳定性和强实时性的特殊控制要求,文章设计了一套煤矿风机智能远程监控系统,并提出了一种双机热备变频调速控制方案,主备控制器采用参数互备、故障自动切换等方式,保证了控制系统的实时性和不间断地稳定运行。该系统通过实时监测风机轴温、工作电压、巷道风压等参数,实现了风机工作状态的全面远程监控,并具有超限控制、报警、打印等功能。     

基于双机热备的控制计算机系统研究与实现

可靠性是控制计算机系统的重要性能之一,它已经在很多应用领域成为衡量系统质量的一个重要指标。双机热备是提高系统可靠性的有效方法之一,介绍了双机热备的概念,研究对比了单机与双机热备系统的可靠性,给出了系统组成、工作原理及实现双机热备系统的关键技术。基于双机热备的控制计算机系统已经投入使用,在应用过程中效果良好。     

双机容错热备系统综述

本文介绍了双机容错热备系统的概念，给出了实现双机容错热备系统的软、硬件需求，综述了常见的几种双机容错热备系统的工作模式，最后，给出了双机容错热备系统在微机网上的应用前景。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Topological formulation of termination properties of iterates of functions

We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1.     

矿用传感器的伪数据滤除方法

介绍了矿用传感器的组成和工作原理,分析了矿用传感器伪数据的表现形式和产生的原因,并从抗干扰设计、低功耗设计和信号输出方式等方面提出了矿用传感器伪数据滤除的基本方法。实际应用表明,该方法减少了矿用传感器产生伪数据的几率,提高了矿用传感器的稳定性和安全监控系统的可靠性。     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

辐照仪控制系统的设计

通过使用可编程控制器中的专用脉冲输出指令和高速计数器,实现了对辐照仪步进电机的精确控制。介绍了辐照仪的工作过程和控制系统的组成,给出了控制软件的流程及控制步进电机转动误差的措施,并利用触摸屏实现了人机界面控制。实际应用表明,该系统性能可靠、控制精确、实用性强。     

传输线信号完整性的反射分析

针对高速电路系统的传输线信号完整性问题,通过对高速电路PCB上传输线等效电路的分析,给出了信号传输时产生反射现象的原因;介绍了常用的消除反射的方法,即选择均匀传输线、采用合适的拓扑结构布线和阻抗匹配法,指出阻抗匹配法可解决信号传输的反射现象;阐述了源端阻抗匹配法和负载端阻抗匹配法消除反射的原理和适用条件。针对时钟电路中的反射问题,采用PADS/Hyperlynx软件对阻抗匹配法进行仿真,结果表明,阻抗匹配法能够改善信号传输的反射现象。