基于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中的测试用例生成方法具有更高的效率.     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

蚁群算法中参数设置对超声回波估计性能的影响

摘要针对超声回波参数估计问题存在着耗机时长,估计结果严重依赖于初始值的缺点,本文将蚁群算法应用到超声回波参数估计中,结合超声回波的非线性高斯模型,提出了基于蚁群算法的超声回波参数估计算法,并就蚁群算法在超声回波估计中参数的优化组合设置进行了分析研究通过数值仿真,在信噪比为10dB条件下计算了蚁群算法中各参数的不同取值对估计结果的不同影响,包括计算时间、估计精度和算法稳定性,得出了算法中各参数的组合优化设置,给出了最优参数下的超声回波参数估计结果,并通过与其他算法的比较验证了蚁群算法在超声回波参数估计问题中的有效性．该研究有助于提高超声回波估计的精度和算法的稳定性,缩短蚁群算法的计算时问,以达到优化算法性能的目的．     

基于小波变换模极大值的橡胶薄层厚度超声检测

为解决同一薄层界面处的各次反射回波在时域上不可分离导致无法测厚的问题,提出利用小波变换模极大值对橡胶薄层超声回波信号奇异点进行检测的方法.信号奇异点构成模极大值曲线,极大值曲线产生周期性,相邻的极大值曲线对应入射时基体/橡胶界面和反射时橡胶/基体界面回波信号的到达时间,其差值为超声波在橡胶薄层中传播时间的2倍,取其平均值,计算出橡胶薄层的厚度.仿真结果表明,该方法的相对误差均在10%以内.经实例验证该方法是可行的.     

自平衡法试验上段桩荷载-位移曲线的解析拟合算法

针对自平衡法试验数据的分析处理,假定桩侧土荷载传递函数符合三折线模型,考虑桩身重力作用的影响,推导出上段桩荷载-位移曲线的解析算式,并给出了由自平衡法试验数据确定桩 土参数的方法.通过2根桩的实测数据初步验证了文中解法的适用性,为由自平衡法试验数据推算桩侧摩阻力和桩身参数、常规顶压桩的荷载-位移曲线提供了一种理论手段.
     

节段拼装预应力UHPC-RC组合箱梁受弯性能试验

为充分发挥超高性能混凝土（UHPC）和普通钢筋混凝土（RC）材料在箱梁桥应用中的力学性能,开展了节段拼装预应力UHPC-RC组合箱梁的静载试验,研究其受力过程、破坏形态和裂缝开展情况。结果表明：组合箱梁经历了弹性变形、裂缝开展和结构破坏三个不同受力阶段;裂缝首先由梁跨中节段接缝张开逐步发展至顶板翼缘,梁底板和腹板均未见明显裂缝,开裂的受拉区应力主要由预应力筋承担,最大裂缝宽度随荷载增加分阶段线性增大,试验梁最终以RC顶板混凝土压溃破坏而失效;受力过程中,UHPC U型梁和RC顶板能够保持良好的协同工作;组合箱梁存在一定的剪力滞效应。