首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
软件双冗余容错系统的容错能力和性能分析   总被引:1,自引:0,他引:1  
双冗余是比较常用的冗余容错设计方法.软件双冗余容错系统通过冗余执行完成相同功能的两个软件副本,并检查它们的结果,根据两者结果是否一致来判断是否出现了错误.建立了软件双冗余容错系统的运行时模型,并引入了软件双冗余容错系统的容错能力的概念.根据该模型分析了单个软件副本的容错能力对软件双冗余容错系统的容错能力和性能的影响.分析结果显示,提高单个软件副本的容错能力不仅能够提高软件双冗余容错系统的容错能力,还能够提高系统的性能.但在极端情况下,双冗余容错系统的容错能力也可能会小于单个软件副本的容错能力.  相似文献   

2.
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件.本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程.经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,具有一定的指导意义和实用性.  相似文献   

3.
吴京  景宁  陈荦 《软件学报》2000,11(2):265-270
在数据库研究中,路径搜索和空间查询处理被认为是两个互不相关的领域,然而在处理具有空间约束的路径查询时,需要数据库系统提供路径计算和空间查询处理两方面的功能.为了处理路径计算中的空间约束,考虑了两类处理策略:(1) 空间运算是否在路径计算之前预处理;(2) 空间对象是否在路径计算之前预选取.基于这两类策略,应用现有的空间连接、R-树空间搜索和空间对象聚类技术,提出4种集成的空间路径查询处理方法.  相似文献   

4.
基于描述逻辑的特征语义建模及验证   总被引:1,自引:0,他引:1  
在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.  相似文献   

5.
曾芷德 《计算机学报》1991,14(8):615-623
在测试生成之前,借助可测性分析方法,以线性时空开销识别数字电路的冗余故障是个至今尚未解决的问题.本文在文献[8,9]的四值动态代价分析的基础上,首次采用动态相关信号模型,提出了动态约束四值测度方法DRFM.DRFM能精确描述实用电路中常见的冗余故障,它识别一个冗余故障所需的时间为电路门数的线性增长函数.  相似文献   

6.
一般的线性规划模型都存在大量的冗余约束,这些冗余约束势必会干扰线性规划问题的求解,降低解题速度,影响解题效率。如果在求解线性规划问题之前,能够对这些冗余约束进行化简并消去,就能够提高模型中约束矩阵的稀疏度,缩小线性规划问题的规模,且在求解时能节省大量的计算机存储空间和运算时间。提出了一种新的简化线性规划模型的方法,程序实现后试验表明,该简化方法达到了预期的效果。  相似文献   

7.
履带车辆的履带动态张紧力在很大程度上决定行动部分各元件的载荷、履带寿命、功率损失和履带脱落的概率.该文用多体动力学软件RecurDyn,以某履带车辆为原形建立履带车辆的多刚体模型,并建立有效的不同等级的路面模型.模型中履带子系统有六个自由度,能够真实的模拟履带运动的实际情况.通过对车体上几个固定位置处履带张紧力的变化和履带上参考履带板的受力变化,来检测履带动态张紧力的变化.分别改变路面、速度、预张紧力等相关影响因素做多组计算,对比分析了履带动态张紧力的变化情况.  相似文献   

8.
履带车多刚体建模与仿真分析   总被引:4,自引:0,他引:4  
首先以车辆地面力学理论为基础,分析了典型的履带与地面相互作用关系及其在RecurDyn/Track(LM)程序中的处理,分别定义了两种典型地面土力学参数,从而建立了基于Bekker理论与Janosi & Hanamoto理论的循环动载荷作用下履带与地面相互作用力学模型;同时分析了履带系统各部件之间的接触力学模型,定义各接触参数及约束关系,从而准确合理地建立了履带车多刚体模型,通过施加运动函数,实现模型在典型地面参数下的行走特性仿真分析,仿真结果与理论分析及实际情况相符合,互为验证,从而为进一步深入研究提供了理论依据与有效分析手段.  相似文献   

9.
为了验证后轮为万向轮时平台的转向性能,提出了一种基于RecurDyn与Simulink的联合仿真策略。在SolidWorks建立了一种小型轮式平台,平台前轮为主动轮,后轮为万向轮,两个主动轮分别由两个电机独立驱动。将三维模型导入到RecurDyn中,添加相应的约束,设定相应的参数,验证模型的准确性,建立相应的接口;在Simulink中搭建无刷直流电机的模型,并且搭建相应的调速系统,同时验证模型的正确性;将两个电机的转速作为输出,通过接口输入到RecurDyn中作为两主动轮的驱动,通过对电机的控制,从而完成平台的直行、转弯、中心转向等动作。仿真结果表明这种轮式平台有良好的转向性能,搭建的电机模型能够实现相应的功能,电机的控制策略也是可行的。本研究对平台的实物研制及实验具有重要意义。  相似文献   

10.
基于RecurDyn的多体动力学仿真   总被引:2,自引:0,他引:2  
产品开发工程师经常会遇到各种运动机构的动力学分析问题,有些情况过于复杂和特殊,特别是一些链式输送机构的动力学仿真问题,整个系统在高速的运动中涉及到的许多接触碰撞等受力情况会给系统的动力学求解带来极大的困难.RecurDyn是新一代的动力学分析软件,采用全新的运动方程理论和完全递归算法,非常适合于求解大规模复杂的多体系统动力学问题,尤其是复杂的多接触问题.本文对某一形式的链式输送机构借助RecurDyn软件进行了动力学仿真.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号