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

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

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

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

TiO2光催化反应活性研究进展

纳米TiO2是一种高效节能的光催化功能材料,本文对TiO2光催化技术研究现状及反应机理进行了综述。重点介绍了纳米TiO2晶型、粒子尺寸、表面贵金属沉积、金属离子掺杂、半导体的复合、表面羟基等因素对TiO2光催化活性的影响,并分析了纳米TiO2光催化技术所面临的问题。     

复合材料散斑干涉检测中的音频激振加载系统研究

论述了自行研制的宽音频扫描激振加载系统。利用该加载系统的数字错位散斑干涉检测技术对复合材料人工缺陷样件进行了检测验证。实验结果表明该加载系统激振效果明显,具有快速、连续、非接触等优点,适合于飞机复合材料外场原位加载检测。     

盐水法、微板法和微柱凝胶法检测O型血清中抗-A,抗-B效价的比较研究

比较用盐水法、微板法和微柱凝胶法检测O型血清抗-A,抗-B效价的可靠性及可操作性,选择一种检测大批量标本的可靠方法。使用盐水法、微板法和微柱凝胶法对同一组30例标本进行检测和比较。结果三种方法检测结果没有一致性,盐水法敏感性最低,微柱凝胶法敏感性最高,微板法的检测结果较为稳定。说明微板法适合进行大批量标本的抗体效价检测。     

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

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

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, conformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of workflows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test.     

超声波检测技术研究进展

超声检测技术是无损检测领域中的一种非常重要的方法。本文简单介绍了超声检测的方法、基本原理及其应用领域。对非接触超声检测方法进行了比较,对当前超声无损检测技术的应用进行了总结,展望了今后的发展趋势与前景。     

Bayesian Assessment of Dynamic Quantile Forecasts

Bayesian methods for assessing the accuracy of dynamic financial value‐at‐risk (VaR) forecasts have not been considered in the literature. Such methods are proposed in this paper. Specifically, Bayes factor analogues of popular frequentist tests for independence of violations from, and for correct coverage of a time series of, dynamic quantile forecasts are developed. To evaluate the relevant marginal likelihoods, analytic integration methods are utilized when possible; otherwise multivariate adaptive quadrature methods are employed to estimate the required quantities. The usual Bayesian interval estimate for a proportion is also examined in this context. The size and power properties of the proposed methods are examined via a simulation study, illustrating favourable comparisons both overall and with their frequentist counterparts. An empirical study employs the proposed methods, in comparison with standard tests, to assess the adequacy of a range of forecasting models for VaR in several financial market data series. Copyright © 2016 John Wiley & Sons, Ltd.     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.