基于时间事件模型的实时系统仿真与时序分析

提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证本模型与方法的有效性与实用性

实时嵌入式系统的竞态条件及其分析方法研究

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果

基于克隆选择算法的面向程序路径测试数据生成方法

面向程序路径的测试数据自动生成技术是软件测试自动化的关键技术之一。文中结合程序分支函数叠加法和克隆选择算法的全局搜索性,提出一种基于克隆选择算法的面向程序路径测试数据生成方法。希望能够借助克隆选择算法具有多样性、记忆性、可实现快速全局优化搜索的优点,设计一种新的面向程序路径的测试数据自动生成方法。对算法的原理和实现做了详细描述,并将其与传统的基于遗传算法、模拟退火算法来实现软件测试数据自动生成方法进行实验对比,证实了该方法能较快地生成指定路径的测试数据

基于超级块支配图插装的软件测试工具设计与实现

通过超级块支配图来分析软件测试探针的合理插装位置,可有效地减少插装探针数量,降低代码插装对程序的影响。基于超级块支配图的代码插装原理,设计一种针对C语言的软件自动测试工具(SAT),介绍了该工具中词法语法分析器、静态分析器、代码插装器等主要功能模块的具体实现方案,同时对SAT的插装性能进行了分析

一种基于宿主机/目标机架构的追踪/重演方法

实时嵌入式系统固有的不确定性使得系统运行具有不可重现性,从而造成系统调试与测试时故障可能无法重现。提出一种基于宿主机/目标机架构的追踪/重演方法来解决实时嵌入式系统运行的不可重现性问题。该方法通过插装探针来追踪系统的任务调度、任务间通信同步以及I/O操作等信息,并自动将系统的执行信息保存到宿主机端,然后通过任务控制模块来控制系统中的任务按照原有的先后顺序来执行,从而实现实时嵌入式系统执行情况的正确回放。目前,该方法已在ML505开发板和uC/OS-II操作系统上进行实现,并已成功应用到IC图像拍摄系统中。通过实验分析表明,该方法能够以较小的时间和空间开销实现实时嵌入式系统运行情况的追踪和重演

基于ICE与HTTP Tunnel技术的NAT/FW穿越方案

在现代网络中,越来越多的主机被部署在NAT和防火墙(FW)之后,这就要求VoIP、P2P等通信软件必须具备穿越NAT/FW的能力,才能实现端到端的数据传输。现有的STUN、TURN、ICE等方案虽然可以穿越大部分NAT/FW,但对有端口或协议限制的防火墙却无能为力。本文提出了将ICE和HTTP Tunnel技术相结合的穿越方案,设计并实现了可跨平台运行的HTTP Tunnel模块来配合ICE进行穿越。实验证明,在防火墙只开放80端口这种苛刻的条件下,该HTTP Tunnel模块也能够成功穿越大部分防火墙,实现数据流的稳定传输

滤光片型近红外仪器模型传递的研究

　模型传递问题是近红外光谱分析技术中解决数据通用性的关键问题。文章以玉米籽粒近红外光谱 图(检测其中水分含量) 为例, 考察了模型传递的问题。使用斜率截距算法, 直接校正法和目标因子分析等算 法, 在5 台滤光片型近红外仪器上实现了模型传递, 并比较了各种方法的模型传递效果。研究表明, 直接校 正法的模型传递效果最好, 4 台从仪器的平均传递差异度为7101 %。文章还研究了标准样品数量对模型传 递效果的影响。作为转换集的标准样品数目越多, 模型传递效果越好, 一般有20 个标准样品就能达到稳定 的效果。当转换集小于20 时, 直接校正法的传递效果急剧下降, 而标准样品数量对斜率截距法和目标因子 分析法的影响不明显。国家“863”计划项目(2006AA01Z129) 资

High Aspect Ratio (L/D) Riser Viv Prediction Using Wake Oscillator Model

A two-dimensional (2-D) vortex-induced vibration (VIV) prediction model for high aspect ratio (LID) riser subjected to uniform and sheared flow is studied in this paper. The nonlinear structure equations are considered. The near wake dynamics describing the fluctuating nature of vortex shedding is modeled using classical van der Pol equation. A new approach was applied to calibrate the empirical parameters in the wake oscillator model. Compared the predicted results with the experimental data and computational fluid dynamic (CFD) results. Good agreements are observed. It can be concluded that the present model can be used as simple computational tool in predicting some aspects of VIV of long flexible structures. (C) 2008 Elsevier Ltd. All rights reserved

Influence of ocean bottom reflection on ray chaotic behaviors in underwater acoustics

本文探讨非线性声速分布、内波扰动、和海底反射对哈密顿抛物射线方程动力学行为的影响。运用POInCArE映象、lyAPunOV指数等非线性动力学方法对射线系统行为进行描述。结果显示水声射线在不发生海底反射的情况下,内波对声速扰动的增强将导致正的lyAPunOV指数,使射线产生不规则的混沌运动并扩大射线系统的混沌区域。然而海底反射显著影响了声速分布、内波扰动和射线运动的非线性相互作用。海底深度的减小使声射线系统的混沌区域扩大,然而过小的深度减弱了声速分布和射线的非线性相互作用,使混沌区域缩小。因此,我们可以得出海底反射对于水声射线的混沌动力学行为有重要影响的结论。The influence of ocean bottom reflection on ray chaotic behaviors is investigated in the parabolic ray system that includes nonlinear sound-speed profile,internal waves,and ocean bottom reflection.Nonlinear dynamic methods including Poincare map and Lyapunov exponent are employed to describe the ray dynamic behaviors.The results show that the sound speed perturbation caused by internal waves may result in ray chaos and create larger chaotic regions.Ocean bottom reflection significantly influences nonlinear interactions among sound speed distribution,internal wave perturbation,and ray propagation.A decrease of ocean depth may broaden the chaotic ray regions,however, an excessively decrease of depth would decrease nonlinear interactions and thus chaotic regions of the ray system.We conclude that ocean bottom reflection plays an important role in affecting ray nonlinear behaviors in underwater acoustics