不完美排错SRGM研究

软件可靠性增长模型SRGM可对测试与运行阶段的可靠性进行度量、预测与保证。不完美排错SRGM能够更加准确地建模实际测试过程,获得了广泛研究。首先介绍了随机过程类模型中的NHPP基本概念与假设。接着,从三个阶段全面回顾了不完美排错研究历程。进一步,给出了若干典型的不完美排错SRGM的建模与累计故障检测函数的求解形式。最后将从排错的不完全性,引入新故障的角度建立的不完美排错模型：IID-SRGM与现有的模型进行比较,优于其它模型。     

软件可靠性模型研究

与硬件一样,软件可靠性也需要建立一些模型来对所设计的软件进行预计和评估.介绍了几种软件可靠性模型的特点,并结合工程实践,研究了工程中广泛应用的NHPP模型.     

一种考虑非故障停止的软件可靠性模型

经典的随机时间软件可靠性模型均是建立在连续失效间隔时间的基础上,忽略了非失效停止时间。文中根据最大信息原则,即尽可能大地利用可用信息的原则。将非失效停止时间考虑在建模的过程中并且引进或修改一些假设使条件更加符合实际情况,根据修改后的假设对原始的S—W模型进行重新建模,并对新建模型的预测结果通过仿真进行分析。     

基于排队论的软件可靠性增长模型

软件可靠性增长模型是软件可靠性评估的重要手段。基于排队论的软件可靠性增长模型研究起步比较晚,但因排队论在计算机系统性能评价等方面表现出的优异能力,使排队论在计算机科学研究领域得到了广泛的应用。对基于排队论的软件可靠性增长模型作了简要介绍。在分析了有关模型的基础上,指出了该领域研究中存在的一些问题,并对今后的研究方向提出了一些建议。     

软件增长测试中可靠性评估方案的研究

软件可靠性评估在软件测试中起着举足轻重的作用.本文研究了软件增长测试中可靠性评估的过程.给出了判断软件可靠性是否增长的方法,通过比较常用的M-O模型和J-M模型给出了如何选取合适的可靠性评估模型的方法,以及判断选择的拟合模型的准确性的方法,并根据选取的拟合评估模型估测出软件可靠性的一些参数,最终提出了一种新的软件增长测试中可靠性评估方案,用于指导软件可靠性测试的顺利进行.     

对固定故障覆盖率的再认识和VLSI功能测试的展望

在数字系统测试方法研究工作中,门级固定故障覆盖率已被沿用了几十年。本文综述近年来一些学者对此所作的分析。研究结果表明,单凭故障覆盖率,仍难以衡量测试工作的质量。用故障覆盖率来预料芯片测试筛选的失误率,带有明显的局限性。从实效出发看问题,以100％故障覆盖率为目标的结构测试花费代价很大,仍难以达到满意的结果。功能测试方法有逐渐走向成熟的趋势。     

一种改进的NHPP软件可靠性模型

软件可靠性模型是定量评估软件质量的重要手段,通过综合分析软件故障检测率及故障引入率建立改进的NHPP软件可靠性模型,并对可靠度进行分析,证明所提模型的有效性,最后通过对现有的数据进行分析,并与经典模型进行比较,证明所提模型的优良性。     

光缆测试流程和故障排除技巧

通过OTDR来进行光缆测试,处理光缆在敷设、接续中遇到的挤伤、断纤等故障,使得光缆线路衰耗值在要求的范围内,从而保证光信号的传输质量。     

基于改进故障模型的CAN总线调度分析

鉴于数据传输总线的诸多优点,建立总线式体制是现代导弹控制系统互联方式发展的必然趋势。CAN总线是一种设计优良的总线,但缺点在于其事件驱动型的协议导致无法建立CAN总线的可靠调度策略。Tindell给出的基于最小间隔故障模型的WCRT调度分析方法在强干扰环境中会导致乐观偏差,因此需要建立一种CAN总线在复杂环境中的更加准确的调度分析方法以指导可靠的系统设计。基于此目的,给出了一种基于广义泊松过程的改进故障模型,并在此基础上建立了CAN总线消息的调度分析。最后将该调度分析应用于导弹控制系统,并分析了对总线调度能力构成影响的因素。     

The nonhomogeneous Poisson process — A model for the reliability of complex repairable systems

Generally the reliability of complex repairable systems is characterized by time dependent rate of occurence of failures. The corresponding mathematical model is the nonhomogeneous Poisson process. This paper comprises mathematical properties of the nonhomogeneous Poisson process, some frequently used types of failure intensity functions, and some results and aspects of statistical inference. The given models are applicable to the reliability of complex repairable systems, software systems, and to the reliability growth problemacy.     

数字电视解调芯片的可测试性设计与优化

介绍了VLSI芯片的测试技术及故障模型,针对一款数字电视接收系统解调芯片,从设计中不同的阶段分析了集成电路的可测试性设计及其优化,解决了由于集成大量存储器引起的测试覆盖率低的问题,完成了该芯片满足时序要求的可测试性设计及优化过程,达到了流片要求.     

泊松点距离约束下无人机辅助地面应急网络覆盖性能研究

在用户数量激增的应急通信场景下,为保证地面用户的通信质量,提出了基于距离约束的用户自适应接入方案.首先采用泊松点距离约束策略(Poisson Point under Distance Constraint,PPDC)对无人机(Unmanned Aerial Vehicle,UAV)的位置进行建模,避免无人机区域重叠带来的干扰问题.其次,引入基站负载传输协议(Base Station Load Transfer Protocol,BSLTP),当接入基站的用户数量超过给定阈值时,超载用户由无人机提供服务.此外,分别分析了地面基站和无人机的覆盖性能,得到了系统整体覆盖概率,并研究了无人机高度、覆盖半径、激增用户密度对网络覆盖性能的影响.最后,通过仿真验证了理论结果的正确性,且所提部署方案能够有效提升网络覆盖性能.     

软件定义网络容错控制平面的最小覆盖布局方法

容错控制平面通过将多个控制器部署在不同的网络设备上进而增强网络的可靠性,但是大量的控制器部署带来了巨大的布局成本,严重地限制了容错控制平面在实际网络中的部署与应用。为了解决上述问题,该文首先构造了容错控制平面的最小覆盖布局模型,然后设计了一种基于局部搜索策略的启发式控制器布局算法,避免搜索结果陷入局部最优解。在不同规模网络中的仿真结果表明,相对于其他算法,所提算法可以在保证网络容错需求的同时,降低网络中部署控制器的数量。

     

关于软件可靠性Halstead模型的改进

1970年以来，近百个软件可靠性模型被建立起来，大部分模型是基于测试数据来建立的，用一定测试时间或数据范围内错误发生的概率来度量软件可靠性，希望用一种概率统计表达式来揭示错误发生的规律。很少有模型将可靠性度量与可靠性因素一开发者，开发工具，软件复杂度联系起来，Halstead模型是唯一将软件复杂性与软件错误数联系起来的模型，但是没有考虑其它两个可靠性因素，文章将这些因素考虑进来以后对Halstead模型进行了一定改进，得出一个面向用户的软件可靠性模型。     

电子产品研制阶段可靠性增长试验研究

结合工程实际经验,深入讨论了可靠性增长过程及实现途径,在保持试验条件和改进过程不变的条件下,实施了对具体型号电子产品的可靠性增长试验,达到了预期的可靠性增长目标,并且利用可靠性增长试验的数学模型(AMSAA模型)来评估产品的可靠性增长,对开展可靠性增长与可靠性增长试验工作具有重要的实际意义.     

电子产品研制阶段可靠性增长试验研究

在现代电子系统设备和可靠性增长工作的推动下,可靠性技术和工程实践得到了深入发展。结合工程实际经验,深入讨论了可靠性增长过程及实现途径。在保持试验条件和改进过程不变的条件下,实施了对具体型号电子产品的可靠性增长试验,达到了预期的可靠性增长目标,并且利用可靠性增长试验的数学模型(AMSAA模型)来评估产品的可靠性增长,对开展可靠性增长与可靠性增长试验工作具有重要的实际意义。     

Estimating Basic Characteristics of Arrival Processes in Telecommunication Networks by Empirical Data

Considering the realistic teletraffic analysis in advanced telecommunication networks, the estimation of basic characteristics of arrival processes by empirical data is an important subject of current research. Using independent observations of the interarrival times between events and the mean numbers of events in intervals of fixed length, we propose methods to estimate the intensity of a nonhomogeneous arrival stream, particularly a Poisson process, and the renewal function of a renewal process. We formulate the estimation task as stochastically ill-posed problem and apply procedures for the stabilization of the estimates.