容错系统

摘要： 基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移的系统任务可靠性建模提供参考。

摘要： 2021年,是沈强接触航天器控制研究的第11年。这11年,沈强参与了多项新加坡国防科技局、美国国防高科技研究局关于航天器姿态控制系统设计、航天器容错系统设计、飞行器行为意图辨识等项目。与此同时,在世界范围内,航天器作为太空探索任务的核心载体,一直备受各个国家的重视,而其控制系统更是起着关键作用,对于今后航天器更好地完成空间探测任务具有重要意义。

摘要： 基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真.本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移的系统任务可靠性建模提供参考.

摘要： 数据中心选用柴发机组做为备用电源,对比《数据中心设计规范》与 Uptime 对柴发机组做为备用电源的不同要求,进行了分析说明,同时梳理了《数据中心场地基础设施认证技术规范》新旧版本对柴发机组选用的前后变化。

摘要： 为了提高安全性、可用性及容错能力,在安全性和可用性要求较高的系统中,采用余度计算机结构.余度管理是为了管理余度计算机的冗余资源,使计算机能有效地利用余度资源完成控制任务.通过对计算机输入/输出及内部资源分析研究,进行分类管理.余度管理采用表决加监控的方法,监控采用“取多数”的原则,表决是以监控结果为基础采用取“均值”或“中值”的方法.方法 的特点是取有效通道信号,选取多数一致的信号为输出结果.信号正确率及稳定性远大于单机系统,其安全性、可用性得到大大提高.余度管理设计在某控制系统中经历了从原理件到目标件的各个阶段,得到了充分的测试和验证,实现了安全性、可用性的设计目标,达到了预期目的.

摘要： 信息领域的竞争是一种体系竞争,针对单一防御手段无法应对立体攻击的问题,构建了一种基于自然免疫原理与可信计算的自主可控信息系统。该系统包括可信网络基础功能部分、用户行为度量子系统、软件行为度量子系统和容错子系统,通过在基础功能部分增加安全机制的方式实现了信任链的扩展、可信网络接入控制模型与基于角色访问控制模型的融合,以及可信终端全生命周期的可信接入。

摘要： 随着新闻制播网络系统在电视节目制作中应用越来越广泛,采用数据库技术的新闻制播网络系统的安全性尤为重要.本文先简介了双机热备技术,然后对NEC EXPRESSCLUSTER的高可用性系统进行阐述,最后介绍了高可用性双机热备技术在新闻制播网络系统中应用.

摘要： 对污水厂MBR膜池产水装置几个主要复杂自动控制策略进行了研究和程序实现.采用污水处理项目普遍应用的西门子S7-400H容错系统进行了硬件配置及网络搭建,根据MBR自动产水、CIP药洗顺控、自动清水反洗轮询等程序的功能及特点,选择梯形图(LAD)、功能块(FBD)、语句表(STL)等不同种类的语言编写程序.该系统现场实际运行已超过6个月,结果表明自动效果能够满足市政污水单位监控运行要求.

摘要： 随着信息技术的不断发展,我国已经真正走入到了信息时代,其在我国生产和生活中的作用越来越突出。各种数据中心在信息网络建设中发挥着非常重要的作用,为了保证其正常、可靠工作,需要我们认真做好供电系统架构和备用电源的选择。为此,我将要在本文中对数据中心供配电系统架构的容错能力及备用电源的选择进行探析,希望对促进我国信息技术的发展,可以起到有利的作用。

摘要： 在容错系统的可靠性分析中,利用半马尔可夫过程理论对容错系统进行可靠性建模能够较为真实地描述系统的实际工作情况。但是,由于容错系统为了达到高可靠性而采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂。因此,单靠手动计算求解,很难实现。半马尔可夫不可靠度评估程序SURE,是最有效的可靠性分析工具之一,被广泛应用于容错系统模型的可靠性分析中。

摘要： 计算机可靠性已经成为衡量系统性能的一项重要指标，因此系统的测试和评估对可靠性计算机系统的设计有十分重要的意义。同时，故障注入作为一种加速系统失效的手段，能够测试并评估容错系统的容错性能，并对容错系统的研制有着重要的参考价值。本文以研究基于软件故障注入的计算机系统可靠性评测技术为目的，对计算机系统可靠性评测的相关概念以及故障注入技术方进行了介绍，在此基础上提出了系统的故障模型，并分析了软件故障注入机制，完成了可靠性评测系统的设计。

摘要： 主要探讨了基于ARINC659总线的容错系统的调试方法以及调试环境的架构设计.在充分研究基于ARINC659总线的容错系统的基础上,结合嵌入式交叉调试器LambdaGDB,设计并实现了针对该容错系统的远程调试工具,极大地缩短了应用程序的开发时间.

摘要： 可靠性是衡量飞行控制计算机系统性能的一项重要指标,利用马尔可夫模型对容错系统进行可靠性建模能够较为真实地描述系统的实际工作情况.本文通过模拟容错系统运行时的事件,对系统运行状态进行划分,使用连续时间马尔可夫链和离散时间马尔可夫链对系统状态建模来评估其可靠性.结果表明,该方法能有效地对容错系统进行可靠性评估.

摘要： 故障注入是评测容错系统可靠性的重要手段。能否针对目标系统设计出有效的故障注入器，成为了评测目标容错系统的关键。文中总结了进行软件故障注入器设计的基本原理和方法，针对windows下常见的软件／硬件故障，设计了故障模型，然后给出了windows系统下故障注入器的详细设计，并证明了其有效性。

摘要： 主要针对三模冗余容错系统中的故障检测技术进行研究，采用Petri网来描述三模冗余容错系统的故障检测模型，并利用可达图来进行分析．分析表明：用Petri网描述三模冗余容错系统的故障检测模型其优点是：直现、故障检测实现机制易于理解．

摘要： 随着1553B总线在航空航天领域的广泛应用，对其可靠性要求日益迫切，而1553B总线的信息传输瓶颈是总线控制器，因此研制容错总线控制器很有必要。为了评测容错系统的可靠性及为容错系统的研制提供有效的调试工具，用嵌入式硬件故障注入的方法设计并实现了一个故障注入系统。该系统采用RS232串口实现宿主机与故障注入器的通讯，可以由用户选择在三模冗余容错系统的各模块中注入瞬时故障、永久故障等多种类型的故障，并且实时显示目标系统的状态变化。实验结果表明，该系统的设计方案是可行的，系统功能满足用户要求。

摘要： 程序冗余使SIHFT(Software—Implemented Hardware FaultTolerance)系统存在一定程度的可靠性与性能的冲突。本文研究了在不同的应用中如何通过程序冗余配置取得系统可靠性与性能的优化和权衡。基于SIHFT系统可靠性和性能的评估因素和方法，我们建立了SIHFT系统的可靠性和性能模型。对于能屏蔽错误的程序部分，我们通过程序冗余配置优化了系统的可靠性与性能，提高了系统性能而可靠性不变。对于程序冗余能够带来系统可靠性与性能冲突的程序部分，我们面向应用中对系统的不同要求分别进行讨论，分析了如何通过优化程序冗余配置权衡系统的可靠性和性能。

摘要： 程序冗余使SIHFT(Software—Implemented Hardware FaultTolerance)系统存在一定程度的可靠性与性能的冲突。本文研究了在不同的应用中如何通过程序冗余配置取得系统可靠性与性能的优化和权衡。基于SIHFT系统可靠性和性能的评估因素和方法，我们建立了SIHFT系统的可靠性和性能模型。对于能屏蔽错误的程序部分，我们通过程序冗余配置优化了系统的可靠性与性能，提高了系统性能而可靠性不变。对于程序冗余能够带来系统可靠性与性能冲突的程序部分，我们面向应用中对系统的不同要求分别进行讨论，分析了如何通过优化程序冗余配置权衡系统的可靠性和性能。

摘要： 程序冗余使SIHFT(Software—Implemented Hardware FaultTolerance)系统存在一定程度的可靠性与性能的冲突。本文研究了在不同的应用中如何通过程序冗余配置取得系统可靠性与性能的优化和权衡。基于SIHFT系统可靠性和性能的评估因素和方法，我们建立了SIHFT系统的可靠性和性能模型。对于能屏蔽错误的程序部分，我们通过程序冗余配置优化了系统的可靠性与性能，提高了系统性能而可靠性不变。对于程序冗余能够带来系统可靠性与性能冲突的程序部分，我们面向应用中对系统的不同要求分别进行讨论，分析了如何通过优化程序冗余配置权衡系统的可靠性和性能。

摘要： 本发明涉及一种发光体，包括多个发光器件(例如，发光二极管)，所述多个发光器件电连接以提供至少两个串联的并联发光器件子组的阵列，其中每个子组包括至少三个发光器件。在某些实施例中，所述发光器件来自晶圆的邻近区域。本发明还提供了一种发光体，包括发光器件、用于机械互连所述发光器件的元件、以及用于电互连所述发光器件以提供串联的并联子组的元件，其中每个子组包括至少三个发光器件。本发明还提供了用于制造发光体的方法。

摘要： 一种数据处理任务可通过使用工作流程而在分布式计算系统中实施，所述工作流程分裂为流簇，所述流簇布置于数据源和数据宿之间的有向非循环图中。此布置可包括在其它特征中的各种流程控制方案和/或容错方案。容错可使用键/值存储KVS流簇来实施。

摘要： 本申请实施例公开了一种分布式网络系统容错方法、装置及容错式分布式网络系统。当一个地区的负载均衡单元发生故障或其对应的后端服务单元集群全部发生故障时，DNS可以自动将原本属于该地区的服务请求迁移至其他地区。当属于一个地区的服务请求被发送到其他地区时，如果原地区的负载均衡单元发生故障，但原地区存在正常运行的后端服务单元，则将客户端服务请求转发给原地区的后端服务单元；如果原地区负载均衡单元和后端服务单元集群都发生故障，则将服务请求发送给其他地区的后端服务单元；如果原地区负载均衡单元和后端服务单元都正常运行，则将服务请求重定向到原地区处理。从而使分布式系统能够从故障中快速地回复正常运行。

摘要： 本发明涉及一种发光体，包括多个发光器件(例如，发光二极管)，所述多个发光器件电连接以提供至少两个串联的并联发光器件子组的阵列，其中每个子组包括至少三个发光器件。在某些实施例中，所述发光器件来自晶圆的邻近区域。本发明还提供了一种发光体，包括发光器件、用于机械互连所述发光器件的元件、以及用于电互连所述发光器件以提供串联的并联子组的元件，其中每个子组包括至少三个发光器件。本发明还提供了用于制造发光体的方法。

摘要： 能够在不需要共享磁盘阵列设备的同时实现容错。第一服务器(11)和第二服务器(12)使用虚拟地址通过NFS挂载存储装置(21)中的存储同步区。第一服务器(11)获取作为活动系统运行的虚拟系统的存储器内容的快照，并将该快照发送到第二服务器(12)。第一服务器(11)将存储装置(21)中的存储同步区的内容复制到存储装置(22)中的存储同步区。当第一服务器(11)发生故障时，第二服务器(12)将虚拟地址设置到存储装置(22)，并使用该虚拟地址通过NFS挂载存储装置(22)中的存储同步区。第二服务器(12)使用从第一服务器(11)接收的快照在虚拟系统(42)上执行应用(52)。

摘要： 本申请实施例公开了一种分布式网络系统容错方法、装置及容错式分布式网络系统。当一个地区的负载均衡单元发生故障或其对应的后端服务单元集群全部发生故障时，DNS可以自动将原本属于该地区的服务请求迁移至其他地区。当属于一个地区的服务请求被发送到其他地区时，如果原地区的负载均衡单元发生故障，但原地区存在正常运行的后端服务单元，则将客户端服务请求转发给原地区的后端服务单元；如果原地区负载均衡单元和后端服务单元集群都发生故障，则将服务请求发送给其他地区的后端服务单元；如果原地区负载均衡单元和后端服务单元都正常运行，则将服务请求重定向到原地区处理。从而使分布式系统能够从故障中快速地回复正常运行。

摘要： 本发明公开一种防止容错系统通道锁死的防互锁电路和多余度容错系统,防互锁电路包括：监控结果判决子电路、延迟子电路、抗噪子电路。在电路设计上对电源有效信号进行判决、延时、抗噪三层处理；在判决部分，通过比较电路对监控结果进行判断；在延时部分，通过对电容充电达到信号延迟的目的，排除其他通道对本通道的影响；在抗噪部分，通过滞回电路的设计，抑制噪声干扰，有效防止因电平抖动引起的误翻转，将最终处理的信号引入通道故障逻辑，使得系统能够正确获取每个通道的工作状态，以便进行通道的切换和关闭。解决了现有容错系统中，由于各通道之间不同步以及电源特性差异等原因所导致的通道间锁死的现象。

摘要： 本发明提供一种车辆进出入管制的容错系统以及采用该容错系统的管制方法，该系统包括：一第一验证模块、一第二验证模块、一验证模式控制单元以及一闸门控制单元，第二验证方式如一种无线验证的技术，作为辅助第一验证方式的手段，系统可以通过验证模式的管理选择验证的方式，或是以组合不同验证的方式达到容错的目的。第一验证方式如车辆车牌辨识，通过图像处理辨识出车牌进行验证，若验证成功则于车辆抵达网关时开启闸门；若第一验证方式失败，驾驶员可以通过识别卡进行无线验证。本发明在车辆到达对应的闸门前已完成车号辨识与验证，因此可以使得经验证通过的车辆到达对应的闸门前已开启闸门允许通行，车辆可以不用停驶后等待验证才能进入。

摘要： 本发明公开一种防止容错系统通道锁死的防互锁电路和多余度容错系统,防互锁电路包括：监控结果判决子电路、延迟子电路、抗噪子电路。在电路设计上对电源有效信号进行判决、延时、抗噪三层处理；在判决部分，通过比较电路对监控结果进行判断；在延时部分，通过对电容充电达到信号延迟的目的，排除其他通道对本通道的影响；在抗噪部分，通过滞回电路的设计，抑制噪声干扰，有效防止因电平抖动引起的误翻转，将最终处理的信号引入通道故障逻辑，使得系统能够正确获取每个通道的工作状态，以便进行通道的切换和关闭。解决了现有容错系统中，由于各通道之间不同步以及电源特性差异等原因所导致的通道间锁死的现象。

摘要： 本发明提供一种车辆进出入管制的容错系统以及采用该容错系统的管制方法，该系统包括：一第一验证模块、一第二验证模块、一验证模式控制单元以及一闸门控制单元，第二验证方式如一种无线验证的技术，作为辅助第一验证方式的手段，系统可以通过验证模式的管理选择验证的方式，或是以组合不同验证的方式达到容错的目的。第一验证方式如车辆车牌辨识，通过图像处理辨识出车牌进行验证，若验证成功则于车辆抵达网关时开启闸门；若第一验证方式失败，驾驶员可以通过识别卡进行无线验证。本发明在车辆到达对应的闸门前已完成车号辨识与验证，因此可以使得经验证通过的车辆到达对应的闸门前已开启闸门允许通行，车辆可以不用停驶后等待验证才能进入。