摘要：针对基于有限排队系统的软件可靠性增长模型(SRGM)忽略软件交付与检测之间的时间延迟问题,提出双排队系统建模技术,构建一个引入故障检测等待延迟和排错等待延迟的SRGM。建模中考虑测试工作量函数(TEF)参与构成的复合型故障检测率(FDR)和不完美排错现象,在4个公开发表的失效数据集上与5个经典SRGM进行比较与分析,验证建立模型的拟合能力和预测能力。实验结果表明,建立的模型在软件可靠性评估和预测方面具有良好性能。

摘要：为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性”影响并将原始相对熵进行边界化处理和对称性设计,使测试执行过程更加充分和稳定。数值实验结果表明,在不降低可信性的前提下,该方法能有效解决测试用例生成过程过早收敛的问题、增强测试充分性判定的稳定性,对单元测试的测试用例生成策略的优化设计有一定的指导意义。

摘要：软件测试是提高软件可靠性、保证软件质量的重要手段,尤其在航天领域软件的研制过程中,软件测试更是起着至关重要的作用。但是,传统的软件测试方法在软件测试的某些方面还不尽人意,特别是对航天领域软件中涉及大量数值计算模块的测试更是力不从心。为此,提出软件测试的区间代数方法,能够很好地弥补传统测试方法在这方面的局限,发挥更好的作用。

摘要：针对现有轨道对地过渡电阻检测系统及方案存在检测复杂、可靠性低、耗时耗力等问题,基于传统的国际标准检测方法,根据地铁实际结构模式,提出一种基于无线传感网络的新式轨道对地过渡电阻检测系统的总体方案,所设计的新型检测系统便于检测人员准确快速检测轨道对地过渡电阻值,并通过触摸屏对主机接收到的数据以及计算的结果进行显示,具有良好的人机交互功能。

摘要：软件的可测试性的程度直接影响软件测试的质量、效率和充分性,进而影响软件的质量和可靠性。目前,嵌入式软件缺乏可测试性度量和评估的相关技术研究,无法为嵌入式软件可测试性的需求设计和过程改进提供依据。因此,文章首先从软件可测试性定义、应具备的特征出发,根据嵌入式软件的特点,提出一种嵌入式软件的可测试性度量模型和评估方法,并给出嵌入式软件可测试性评估的一个实例。

摘要：提出一种位移量可实时采集上报的拉绳式位移传感器的设计方案,主要用于山体滑坡、危岩、尾矿边坡的地表裂缝自动化监测,解决了人工监测和常规自动化监测的弊端。分析了传感器测量精度的各影响因素,如绕线机构的绕线摆角误差、传感器供电电压变化、传感器非线性输出,并提供了相应的精度控制方法,从而实现了传感器的高精度,使得位移数据更加精准,并拓宽了传感器的应用领域。

摘要：采用基于ToF①的激光探测器(间隙探测系统)可以对站台门与列车门狭缝之间特定平面上的异物进行检测。当列车门与站台门都关闭后,该间隙探测系统能够对列车门与站台门间狭缝平面进行扫描,并检测出狭缝间意外滞留的人员或者物体,并且在狭缝平面上可灵活设置预警区域,对预警区域内是否有物体遮挡进行判别。论文阐述了间隙探测系统的研发背景,并且详细介绍了其系统设计,希望能促进其推广使用,提高地铁运行的效率和安全性。

摘要：鉴于海上油田环境条件苛刻,现有原油脱水电源技术存在不足以及应用过程中存在的问题。文中提出一种采用两级架构、多单元串联组合设计模式,研制出一种频率、电压、脉冲连续可调的电源设备。它能实现不同含水率的油田采出液一站式分离,减少了破乳剂用量,降低了处理成本。目前已在渤海油田原油分离、老化油处理、酸化压裂返排液处理中成功应用。