基于代理遗传优化的智能驾驶系统加速测试方法

提出了一种基于代理遗传优化的智能驾驶系统加速测试方法。首先,通过场景要素层次分析权值与优解区域特征改进参数采样模块中的拉丁超立方采样区间,实现了采样效率与优化效果的协同提升;其次,利用参数采样结果和重复度筛选机制增加遗传寻优模块的种群多样性,克服了传统遗传算法的局部收敛难题;然后,利用基于循环更新机制的代理筛选模块对场景测试结果进行预测,平衡了加速算法与代理模型应用之间的效率与精度矛盾;最后,搭建仿真平台在高维时序分解的前车变速场景下对待测智能驾驶系统进行加速测试与验证。结果表明,本文提出的方法可有效搜寻大量关键场景并提升测试效率。     

一种随机截尾恒加寿命试验的贝叶斯评估

针对传统计算方法的不足,讨论了一种贝叶斯加速失效模型族中应用最为广泛的Weibull恒定应力加速度寿命试验模型。针对寿命服从Weibull分布的产品,在参数的先验假设条件下,基于Gibbs抽样的马尔可夫链,运用蒙特.卡罗方法动态模拟出随机截尾恒加寿命试验中相关参数后验分布的马尔可夫链,给出随机截尾条件下模型参数的贝叶斯估计。利用BUGS软件包进行建模和仿真分析,证明了该模型在可靠性应用中的直观性与有效性。     

基于RMA的雷达数据处理任务可调度性判定

实时系统中任务的可调度性是系统正确的关键.单调速率调度算法RMA是任务调度的重要算法,通过对雷达数据处理任务的时间需求模型的分析,使用RMA对该任务进行了可调度性判定.在分析任务两种不同的实现方法及相应时间开销的基础上,给出了这两种实现方法在RMA下可调度性判定的充分必要条件.     

降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

国家标准、计量和检测技术体系建设取得重大进展

国家标准、计量和检测技术体系是我国科技基础条件平台建设与共享体系的重点,对完善实物资源、扩充信息资源、开展前沿和高端研究方面具有重要推动作用。本文对《国家中长期科学和技术发展规划纲要(2006—2020年)》中国家标准、计量和检测技术体系这一优先主题的任务部署、实施进展和成效以及许多领域专家的对策建议进行了综合报道。     

某矿业资源管理平台测试用例的设计研究

测试用例的设计过程对于软件测试的成败起着至关重要的作用。首先,介绍了测试用例及其复用技术等相关概念。其次,结合实际测试环境,针对某一矿业集团的资源管理平台(简称MT平台)完成了由制定测试计划、测试用例的选取、设计、执行、评审、缺陷分析与管理各个环节所构成的测试用例设计过程,并对实测模块进行测试用例设计复用。最后,从熟悉测试对象的行业背景、用户参与测试评审会议、准确定位缺陷信息三个方面对未来的测试工作提出了展望。     

Delay Trigger in the Application of Network Testing System

The researchers who study the local area network( LAN) eXtension for instrumentation( LXI) instrument are pursuing instrument’s high-precision synchronization. In the paper,three synchronization modes were discussed which were clock synchronization, trigger synchronization, and response synchronization. Synchronous process between LXI instruments was analyzed and each time factor affecting the synchronization accuracy was discussed. On the basis of the analysis,it can be found that delay trigger plays an important role in the network testing system’s synchronization. Delay trigger can produce an additional time interval to correct the difference of each LXI instrument’s response time. Then,a method to realize the delay trigger was introduced. Delay time can be adjustable according to the actual demand. Finally,synchronization accuracy of network testing system can reach nanoseconds.     

通信机线路自动测试系统的设计与实现

本文介绍了通信机线路自动测试系统的设计与实现过程,包括硬件和软件两方面的内容.硬件由IBM-PC或其兼容机作为控制和数据处理的主体,自行设计接口电路与测试箱.软件由Turbo Pascal语言和汇编语言编成,其中采用了自适应算法克服环境的影响.     

Poisson过程的可靠性增长模型(Ⅱ)——定时截尾试验的情况

基于定时截尾试验数据,本文用经典方法和Bayes方法,考虑了失效时间遵从Poisson过程的可修系统的可靠性增长问题,得到了各研制试验阶段参数的约束极大似然估计和最末阶段参数的经典限和Bayes限。     

程序到二级控制图转换工具的研制

二级控制图可很清楚地反映程序的模块间及模块内的逻辑控制关系,它是静态分析非常有用的辅助工具.本文详细描述了从COBOL程序到二级控制图的转换工具TTPCD(Tool for Transformation from Program in to Two LevelControl Diagram)实现原理、技术和功能,并指出该工具进一步发展的前景。