Software Reliability Growth Model for Imperfect Debugging Process Considering Testing-Effort and Testing Coverage

Because of the inevitable debugging lag,imperfect debugging process is used to replace perfect debugging process in the analysis of software reliability growth model.Considering neither testing-effort nor testing coverage can describe software reliability for imperfect debugging completely,by hybridizing testing-effort with testing coverage under imperfect debugging,this paper proposes a new model named GMW-LO-ID.Under the assumption that the number of faults is proportional to the current number of detected faults,this model combines generalized modified Weibull(GMW)testing-effort function with logistic(LO)testing coverage function,and inherits GMW's amazing flexibility and LO's high fitting precision.Furthermore,the fitting accuracy and predictive power are verified by two series of experiments and we can draw a conclusion that our model fits the actual failure data better and predicts the software future behavior better than other ten traditional models,which only consider one or two points of testing-effort,testing coverage and imperfect debugging.

基于ABB机器人与Process Simulate间的虚实联调研究

无论高等院校的师生还是智能工厂的数字化工程师,在利用软件Process Simulate完成机器人工作站的虚实联调时往往会消耗大量的时间,结果还不理想,因为其用到的方法是传统的创建多个机器人子程序,或是创建一个机器人程序在程序中用到大量的等待信号去完成物理属性的机器人工作站与软件内机器人工作站的数字孪生同步运行,此方法能够实现物理属性的机器人工作站与软件内机器人工作站的同步运行即虚实联调,但是效率低同时对项目实施者要求也非常高,因此利用传统的方法完成机器人工作站的虚实联调会困难重重,效果还不理想。为了节省数字孪生项目中机器人工作站与软件间的虚实联调的完成时间和降低项目完成难度,作者通过在数字孪生实验室的大量实验研究,最终通过在真实机器人控制器中编写机器人程序读取机器人各轴位置数据,借助Profinet通讯完成机器人与PS软件间的实时位置数据交互,进而较快地完成虚实联调项目。通过与传统的方法做对比测试,作者创建的方法使项目完成的效率得到显著提高,同时降低了项目完成难度。基于以上对比测试,作者研究的方法在以后数字孪生项目中会得到很好地推广,并慢慢会取代传统的方法。

多功能雷达总体数据分析系统设计与实现

多功能一体化是雷达发展的必然趋势,随着功能的增加,多模式间切换频繁调度复杂,系统调试工作量呈指数增长,数据分析与管理的难度增大。为提高多功能雷达数据分析效率,辅助问题定位分析与系统状态检查,加快雷达研制进程,分析了总体数据分析在雷达研制和使用阶段的重要作用,研究了雷达总体数据分析软件的需求与系统设计,并通过Matlab进行实现。该软件可以分析雷达多环节数据,并以表格和图像的形式呈现分析结果。经过实验数据验证,该软件能够有效地提高分析效率,进行雷达状态判断和性能评估,快速发现与定位问题。

基于模板匹配的BPEL程序故障修复及优化技术

BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修复技术难以直接应用于BPEL程序.从变异分析角度出发,提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair.为了克服基于变异分析的故障修复技术计算开销高的缺点,从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略.开发一个BPEL故障修复支持工具,提高故障修复的自动化程度与效率.采用经验研究的方式,评估所提故障修复技术及优化策略的有效性.实验结果表明,所提故障修复方法能够成功修复约53%的BPEL程序故障;所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.

皮革废水处理工艺方案及其实践探究

本文主要介绍了皮革废水处理工艺路线、达标调试方案及其实践。通过对皮革加工过程中产生的废水进行分析,确定了废水中主要污染物的种类和浓度分布情况。在此基础上,结合实际情况,提出了综合处理皮革废水的工艺流程,并对其进行了优化调整。通过工艺达标调试,验证了该工艺流程的可行性和稳定性。同时,通过对三种主要皮革废水处理工艺进行对比分析,提出了推荐方案。调试结果表明,该方案可以有效地去除废水中的有机物、无机物、油脂、悬浮物等污染物,并达到了国家排放标准要求。

网络版过程数据采集与分析软件的研究和应用

为提高变频器产品调试和故障监控分析能力,提出了网络版过程数据采集与分析软件设计方案,论述了软件系统的组成以及实现方式,提出了多线程、虚拟内存、绘图类库、高速光纤同步等技术手段用以解决系统运行技术难题。此软件系统经过现场应用表明,系统运行稳定,具有低成本、多通道传输、低采样周期、高数据精度、图形功能丰富、可扩展性强等特点。

开发工具SWD仿真环境设计

针对如何快速仿真复现芯片SWD接口板级调试问题,本文提出了基于UVM技术的开发工具SWD仿真环境设计。通过对仿真环境的结构设计、组件、目录、文件列表、仿真环境搭建进行详细描述,并对仿真环境的使用方法和项目应用进行说明,展现了SWD仿真环境的功能和设计细节。本仿真环境基于芯片SWD仿真环境进行了二次开发及功能扩展,实现了调试流程功能Task的模块化设计,仿真Case设计简单,有利于SWD板级问题相关调试流程的搭建复现,并提供了丰富的问题定位方法,极大提升SWD接口验证效率。

智轨电车网络控制系统调试方法设计与应用

本文设计智轨电车网络控制系统调试方法并应用于宜宾T4线项目。线上工作对子系统变化点识别及协议梳理,完成初版程序及配置文件发布。线下调试首先网络控制系统通信调试,然后对子系统功能调试及问题排查,最后进行故障清单和事件记录梳理。实践表明该方法条理清晰,能快速定位排查现场问题,可为今后调试任务优化提供借鉴。

实验室工程施工过程控制重点分析

施工过程控制和调试验收是实验室工程施工阶段的控制重点,开工前应做好各专业工程施工界面划分和施工工序规划。在实验室各专业工程中,通风空调工程会直接影响实验室使用功能的实现和运行安全,因此,施工阶段应格外重视通风空调工程的施工质量和系统调试工作。

城市污水处理厂A^(2)/O工艺调试运行实例分析

江苏某污水厂实际进水NH3-N值高于设计值。运营以来,由于部分曝气设施老化,好氧池实际泥龄短,生存的硝化菌数量不能实现氨氮稳定达标的要求而导致实际出水水质不能稳定达标。通过提高好氧段实际水力停留时间、活性污泥的培养驯化、改进生化池缺氧段等技术措施,提高好氧池硝化能力,使NH3-N及主要水质指标达到城镇污水处理厂污染物排放标准(GB18918-2002)一级A标准。因为污水处理厂工艺流程复杂就必须不断地进行调试分析,本文是以改污水处理厂为研究对象进行调试研究,并根据调试中遇到的问题提出解决措施和注意事项。

翼子板表面质量缺陷影响因素及控制方法研究

通过对翼子板造型特征、冲压工艺、模具结构及加工调试研合等方面进行剖析,依据CAE钣金成形分析软件,从成形过程中坯料的流动及应力分布等方面研究了翼子板月亮弯部位缺陷成形机理,并针对性提出了优化制件造型、提升冲压工艺、改善模具结构及现场调试研合等控制方法。经生产验证,翼子板月亮弯位置表面缺陷得到优化,翼子板表面质量达到汽车外覆盖件质量要求,为汽车覆盖件实际生产中产生的表面畸变缺陷的改善提供参考。

装备批产全过程管控体系建设与应用研究

文章介绍了装备制造企业当前装备批产管理的状况以及存在的问题,提出了构建装备批产全过程管控体系的思路,利用数字化、信息化等手段推进装备批生产过程信息化,建设了装备批产计划管理、实物管理、数据管理与知识管理系统,在企业批产集成调试部门内运行与应用,促进了传统批产管理模式向批产全过程管理模式转变,实现批产计划与实物的精细化管理、批产数据与知识价值的充分应用,推动了装备批生产任务优质高效完成。

地埋式污水处理厂MBR工艺调试及运行研究

膜生物反应器(MBR)工艺流程短,集成度与自动化程度高,产水水质良好,产水消毒后可直接回用,占地空间小,其广泛应用在地埋式污水处理厂的建设中。本文以兰州市盐场污水处理厂扩建工程为例,分析MBR工艺设计,总结地埋式污水处理厂MBR工艺调试经验。调试运行数据显示,出水化学需氧量(COD_(Cr))、五日生化需氧量(BOD_(5))、氨氮(NH_(3)-N)、总氮(TN)、总磷(TP)的平均值分别为24.00 mg/L、6.00 mg/L、1.53 mg/L、9.40 mg/L、0.16 mg/L,均显著优于《城镇污水处理厂污染物排放标准》(GB 18918—2002)的一级A标准,污水处理厂可稳定、可靠地运行。

关于纵梁腹面翘曲问题的研究

针对车身纵梁钣金件焊接面产生翘曲的原因,通过对冲压工艺方案和现场模具调试进行分析,归纳并制定了相应的解决方案,最终消除了翘曲缺陷,为后续模具设计和模具调试提供了借鉴与参考。

轮胎成型机精度对轮胎品质的影响

轮胎生产工序分为半制品工序、成型工序、硫化工序、检测工序。轮胎品质检测包含径向力波动一次谐波RFV1H、侧向力波动一次谐波LFV1H、锥度CON、静不平衡量SB、动不平衡量DB等。轮胎成型机的设计、安装调试精度对轮胎品质至关重要,本文讨论了轮胎成型机的设计精度、安装调试精度,介绍成型机精度对轮胎品质的影响。

某酒企污水处理厂工艺调试浅析

本文以某酱香型酒企污水处理厂为对象,在技改方案设定的污水处理工艺和设计进出水水质要求下,对6、7轮次酿酒废水的处理工艺进行调试,实现污水处理厂的稳定运行和污水达标排放。在此基础上,分析和总结出COD、氨氮、总氮及总磷的调试控制参数及要求,为酱香型酒企6、7轮次酿酒废水处理调试和运行提供工艺参数参考。

城轨列车数字化调试技术应用研究

在轨道交通行业,完成组装的地铁车辆在出厂前必须经过调试,调试就是对地铁车辆各项技术指标进行功能符合性试验,调试作业数据量庞大,过程复杂,单纯依靠人工测试很难提高调试的效率。为更好地解决这些问题,需要引进数字化调试技术。文章介绍一款面向调试厂房以调试业务为基础的数字化调试平台,该平台具备调试任务管理、调试数据采集、过程质量管理等功能,可实现城轨列车调试工序的规范化、透明化以及质量管理的可追溯性等。

寺河选煤厂末煤洗选系统能力提升的优化实践

寺河选煤厂将末煤干法脱粉工艺改为先干法脱粉再湿法脱泥的工艺,把不可避免进入系统的煤泥提前从系统中分开,避免这部分煤泥进入重介分选系统,降低末煤重介分选系统介质回收系统的压力,降低分选过程的介质消耗,经过调试,末煤洗选系统小时生产能力可提高178~183 t。

巨型水电站调速系统的快速调试技术

巨型水电站调速系统调试是机组启动前的关键节点,是整个水轮发电机组现场安装计划的直线工期。调速系统的调试质量直接影响机组首次启动、过速、涉网试验及试运行等后续工作的开展。为保障调速系统能够迅速、高效地投入正常使用,本文在保证质量的前提下,总结了快速调试技术,以期为后续类似工程提供参考和启发。

浅谈白车身顶盖激光钎焊产品工艺设计及焊接缺陷调试方法

结合白车身顶盖激光钎焊在东风本田汽车有限公司的工业化实际应用,探讨了顶盖激光钎焊产品工艺设计及焊接缺陷调试方法,重点介绍了顶盖激光钎焊产品结构设计、零部件尺寸精度控制、顶盖激光钎焊生产线工艺规划和平面布置、焊接缺陷调试方法,以及激光钎焊人工检查及返修工艺。通过全面地介绍顶盖激光钎焊产品工艺设计和缺陷调试方法,为后续新车型顶盖激光钎焊产品设计和工艺规划提供技术参考。