【摘要】 本文从系统级上研究了多机系统的算法可测试条件,提出了系统t-故障可测的各种充分、必要条件;进而提出用0-1线性规划的方法求解系统t-故障可检测的最小校验集,并给出了相应算法和计算实例.从而使多机系统中采用最少的校验算法实现系统t-故障可测,因而使系统的测试代价降到了最低.更多还原

【Abstract】 In this paper, we study the system-level algorithm-based fault tolerance and give the necessary and sufficient conditions for t-fault detectable in multiple processor systems. Then we give a way to minimize the check sets in systems by use of 0-1 linear programming. The detailed algorithm and example are given. Through these, we can lower the fault detection costs of systems.更多还原