双机热备份机群的可信性建模分析与比较

机群系统已成为高性能计算机和服务器发展的主流，机群的可信性分析是机群研究的热点之一．本文深入研究了机群可信性建模的理论，对构成当前高可用机群系统的主要模式之一的双机热备份机群，建立多种可信性模型，着重于模型准确性与有效性的分析与比较，探讨机群的可信性模型的理论基础．     

新型双机热备份系统

提出了一种新型的热备份系统，并介绍了该系统工作的方法和实现原因。     

实时系统双机热备份技术研究

在军事、工业控制以及电子商务系统中存在着大量的高可用、强实时应用.在这些应用中,采用双机热备份系统具有较高的性能价格比.如何保证双机系统的强实时性、高可用度和服务"不断流",是其中的关键技术难题.文中着重论述了主备选择、故障检测、双机同步和双机切换中的关键问题.在理论的指导下,给出了实现策略和实际测试数据.测试数据表明本方案完全满足系统的要求,并且在具体工程实践中得到了应用,取得了明显的效果.     

数据库双机热备份系统解决方案

如何保证核心应用永不停止,关键数据不会丢失?越来越多的企业采用双机热备份或多机集群技术来解决这一问题。RAID是提高数据安全性和读写性能的一种廉价使用磁盘驱动器的方法,通过在两台服务器上运行双机热备份软件和共用RAID5磁盘阵列实现双机势备系统,相对于多机集群技术,其技术成熟,成本较低。     

数据库双机热备份系统解决方案

如何保证核心应用永不停止,关键数据不会丢失?越来越多的企业采用双机热备份或多机集群技术来解决这一问题.RAID是提高数据安全性和读写性能的一种廉价使用磁盘驱动器的方法,通过在两台服务器上运行双机热备份软件和共用RAID5磁盘阵列实现双机热备系统,相对于多机集群技术,其技术成熟,成本较低.     

全状态防火墙双机热备份的设计与实现

介绍了全状态防火墙的基本概念,阐述双机热备份系统的组成和工作原理,接着详细描述全状态包过滤防火墙的双机热备份模块的设计,包括硬件框架和软件框架,防火墙系统工作状态定义和演变,最后从双机通信、双机同步、双机切换三个方面详细阐明了双机备份系统中的双机控制。     

利用Heartbeat实现Linux上的双机热备份系统

该文简要介绍了Heartbeat双机热备份软件的原理、使用以及对其的改进,为在Linux平台上实现高可靠性系统提供了一个性价比很高的解决方案。     

实时应用系统双机热备份在网络层的实现

文章介绍了在以太网中通过对介质访问子层和网络层的编程，在ＰＣ机和ＵＮＩＸ主机间或ＰＣ和ＰＣ间实现了网络层的联接，实现了双总线网络中双机热备份的应用。这对网络实时控制系统的开发和国产路由器的开发具有重要意义。     

双机热备份系统切换及同步设计

在航天型号系统的研制中,可靠性是衡量产品功能、性能稳定性的关键指标,采用双机热备份设计是系统提高可靠性的有效手段.任务处理单元是某型号运载火箭箭上电气系统的一个重要控制设备,是信息综合管理的核心,在高可靠性的前提下,也有较高的实时性要求.为了保障其故障时仍可以正常工作,设计了冗余热备系统双机之间的故障检测及切换策略,能...     

基于马尔可夫模型的可信性评估研究

研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。     

基于Oracle8i的大容量HLR系统的可靠性设计与实现

文章介绍了HLR系统对可靠性的要求,和该HLR系统的结构。深入分析了影响HLR系统可靠性的各种因素,并研究和对比了各种可靠性技术与Oracle8i数据库的各种备份方式。提出了一个包括用户数据层、操作系统层和物理层的系统可靠性方案。     

Dependability evaluation of an air traffic control computing system

As air traffic over France is growing rapidly, the existing air traffic control (ATC) system has to evolve to satisfy the increasing demand. The selection of the new automated computing system (denoted CAUTRA) is based, among other things, on dependability evaluation. This paper is devoted to the dependability evaluation of the CAUTRA, however, emphasis is put on a subset: the regional control center (RCC). Starting from the analysis of the impact of CAUTRA failures on air traffic safety, five levels of service degradation are defined for the global system grading the effects of these failures on the service delivered to the controllers to ensure traffic safety. The RCC failure modes leading to these degradation levels are then defined and evaluated using stochastic Petri nets. The modeling approach consists in modeling the system as a set of modules interconnected via coupling mechanisms. The system model is constructed in several steps according to an incremental approach. Each step integrates the failure and recovery assumptions of an additional component and updates the model of the previous step by accounting for the impact of the new component on the behavior of those already included in the model. The application of this approach to the CAUTRA allowed us to analyze several configurations of the CAUTRA architecture and to identify improvement areas to minimize the impact of CAUTRA failures on air traffic safety.     

容错计算机系统可靠性评估研究

本文针对一种典型冗余舰用计算机结构,用Markov状态图法对其整个容错系统进行建模,并对其可用度和可靠度进行了计算与评估,最后给出了系统参数敏感性分析的结果。     

虚拟现实的建模技术

本文介绍了虚拟现实建模所涉及的一些基本概念、基本技术和开发工具，包括几何建模、运动建模、物理建模、对象特征、模型分割，以及ＯｐｅｎＩｎｖｅｎｔｏｒ和ＶＲＭＬ语言等建模工具。     

基于马尔科夫链的LoRaWAN网络节点性能分析

低功耗广域网LoRaWAN(Long Range Wide Area Network)能兼顾低功耗与远通信距离,已经应用于很多领域。本文分析了LoRaWAN协议中A类节点发送数据的过程,据此建立了包含各个状态转移概率的马尔科夫模型。然后,基于SX1278芯片的相关参数对协议模型进行了仿真,并分析了LoRaWAN网络中网关回复时机、节点数量、频段数、链路质量等因素对A类节点发送数据的延时和能耗的影响。仿真结果表明,在单网关且总信道数不变的情况下,减少频段数,延后网关确认回复可以缩短节点发送数据的延时,降低节点发送数据的能耗。这对提升LoRaWAN网络性能具有很强的参考性。     

自动组合装置赋时有色Petri网模型的建立分析

半导体制造中的自动组合装置是半导体制造的关键设备和瓶颈设备.对其性能进行量化的直观的分析对于半导体制造的效率和成本预测具有重要意义.文章阐述了如何利用Aarhus大学开发的CPN Tools对单臂双处理仓的自动组合装置建立赋时有色的佩特里网模型.文中按照不同建模思想建立起抽象型和具象型两个结构不同的模型,通过比对进行验证,最后利用CPN Tools自带的仿真功能进行仿真得出模拟运行的结果.文中的研究方法和结论对于复杂的自动组合装置的有色佩特里网的分析具有一定的参考价值.     

Modeling and analysis of DNA replication

DNA replication is an important process in the life of a cell. It has to be completed with extreme accuracy in a specific phase of the cell cycle, known as the S phase. Eukaryotic DNA replication is a rather complex and uncertain process. Several mathematical models have been recently proposed in the literature to interpret experimental data from various organisms. A common concern of many of these models is the so-called random gap problem, the observation that eukaryotic DNA replication should last longer than experimental evidence suggests due to its stochastic nature. One of the biological hypotheses proposed for resolving the random gap problem postulates the presence of a limiting factor regulating the rate with which DNA replication initiates. We show how this hypothesis can be captured in the Piecewise Deterministic Markov Process modeling framework. Monte Carlo simulations allow us to analyze the proposed model and compare model predictions with independent experimental data.     

建模VV＆A与仿真VV＆A比较之浅见

建模与仿真在许多领域得到越来越广泛、深入的应用,模型与仿真本身的准确性和置信度越来越受到人们的关注,也就是VV&A日益重要。该文结合分析建模与仿真的过程,在分析了VV&A的层次与结构的基础上,重点从三个方面剖析、比较了建模V&V与仿真V&V的不同:第一,历史发展和内在本质;第二,考察对象和应用的方法;第三,思维特点。这些比较分析,促进了更好地理解二者的差异。最后给出了所研究的结论,期望对VV&A工作起到指导作用。