基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

Randomized unit root processes for modelling and forecasting financial time series: Theory and applications

This paper considers the problems of statistically analysing the levels of financial time series rather than their differences, which are often equivalent to returns and which are traditionally analysed in econometric modelling. This focus on differences is a consequence of the inherent nonstationarity of the levels, and hence analysing the latter requires introducing an alternative framework for modelling nonstationary behaviour. We do this by considering randomized unit root processes, arguing that these can have a natural interpretation in the financial context. The paper thus develops methods for testing for randomized unit roots and for modelling such processes. It then applies these techniques to various financial time series, so as to ascertain their potential usefulness, particularly for forecasting.     

TD-SCDMA网络测试仪中SCCP协议解码及上层PDU获取方案

以TD-SCDMA网络测试仪的信令分析功能作为研究背景,介绍了,3G协议栈中信令连接控制协议的基本概念、功能以及消息结构,并且在此基础上探讨了信令连接控制部分（SCCP）协议的解码以及针对实际数据的组装 方法,目的是对网络测试仪中SCCP模块的软件实现提出解决方案。该协议位于协议栈的传输层,其分析思路和 方法对研究传输层的其他协议具有指导和推广意义。     

可重构视频阵列处理器测试平台设计与实现

针对可重构视频阵列处理器的设计要求及传统测试方法测试视频编解码系统时速度慢、精度低和可观测性不强的问题。开发了基于Qt的用户界面,设计实现了以现场可编程门阵列(Field programmable gate-array,FPGA)为核心的软硬件协同测试平台。在PC端实现以软件仿真为基础的数据传输与图像重现,在FPGA端实现以可重构视频阵列处理器为基础的视频编解码算法并行映射。实验结果表明,在工作频率为100 MHz时,FPGA与PC之间可正确传输数据并满足算法测试时不同测试用例的更换需求,具有较好的可观测性。     

便携式生命探测仪的研究

生命的无损检测技术是以人体特性为基础,通过研究电磁波束照射人体而反射信号的波形规律,了解人体受到微动所调制而使得回波信号的某些参数的变化特性,从而提取出人体生命参数。描述了以DSP＆FPGA为核心构造的人体信号的探测装置的研究。通过回波的频率和相位特性分析,确定了生命信号检测系统的最佳参数。在此基础上设计了一套便携式生命探测仪,硬件系统主要由DSP处理器、LCD图形显示器、雷达电磁波单元等组成。软件系统由信号处理算法模块、显示模块、信号发射与接收模块等构成。     

模糊测试技术研究

随着人们对软件安全问题关注度的不断提升,漏洞挖掘技术逐渐成为业内热点的研究内容.但传统的漏洞挖掘技术耗时长耗工大,更重要的是不能全面的探测出软件中的漏洞,因此一种简单高效的漏洞挖掘技术,即模糊测试技术,逐渐成为了研究者们关注的重点.本文首先重点介绍了模糊测试技术的相关理论知识及研究进展情况,并对比了传统漏洞挖掘技术与模糊测试技术进而说明模糊测试技术具有传统漏洞挖掘方法无可比拟的优势.之后,研究了目前模糊测试技术在各个领域内的应用情况,并比较了现有模糊测试工具的优缺点.最后列举出模糊测试技术的局限性,并阐述了模糊测试技术未来的发展方向.     

重载双波冲击试验机正波系统建模与仿真

为使冲击试验机的模拟试验过程尽可能的贴近于实际的水下爆炸环境,满足最新抗冲击标准的要求,同时把传统中型冲击试验机的最大测试能力从2,700kg提高到5,000kg,对双波冲击试验机中用于产生正波的液压驱动系统、波形发生系统和基础隔振系统分别构建了动力学模型。根据模型分别针对设备在冲击速度为5.0m/s、4.0m/s和3.3m/s测试条件进行了系统仿真。仿真结果表明,该系统可以产生与最新抗冲击标准BV043/85和MIL-S-901D相吻合的冲击加速度波形。     

基于小波的弹性弹丸膛内引信过载研究

对引信膛内过载的研究,通常采用膛内压力测试的方法,利用弹底压力转换求得引信膛内过载,该方法无法体现弹丸的弹性变形、环境噪声等因素,为了更精确地描述引信膛内的过载,改进膛内引信过载测试方法,在膛内压力测试的基础上建立弹性弹丸模型,将弹丸看作两端自由的均匀等截面弹性杆,用纵向弹性变形运动过载对弹丸纵向过载进行修正,将弹丸膛内过载转换为引信膛内过载.并运用小波理论,根据自行设计的引信膛内过载直接测试方法的测试结果,建立引信高频信号库,然后利用信号库中的高频信号对修正后的过载进行加噪,从而得到能够较为真实的描述引信膛内状态的过载曲线.将处理结果与直接测试结果进行对比表明,使用该方法进行引信过载测试与直接测试方法得到的数据基本吻合,在试验成本上该方法存在优势.     

模拟VLSI电路参数型故障的测试方法

为了提高模拟集成电路参数型故障的测试精度,以小波滤波器组实现的子带滤波为理论工具,研究了基于多故障特征提取的模拟集成电路测试方法.研究和对比了奥克塔夫(Octave)和金字塔两种小波分解结构下对Haar和Daubenchies两种小波在时域和频域中的故障分辨特性和诊断能力.对国际标准电路的实验表明:采用Octave结构时,在时域可完成故障检测,以相干函数在频域区分故障困难;而采用金字塔型结构时,在时域和频域皆易完成故障诊断:采用Daubenchies小波的效果优于Haar小波.     

存在部分连通断层的线性复合油藏井底压力动态研究

针对存在部分连通断层的线性复合油藏研究较少,用现有的试井解释模型对具有部分连通断层边界的油藏试井资料进行解释所得到的结果不理想的现状,本文引入界面表皮概念,将部分连通断层视为一个无限薄的表皮边界,建立了两区无限大线性复合油藏中存在部分连通断层的试井解释模型,并利用Fourier指数变换和Laplace变换等方法进行求解,绘制了井底压力响应特征曲线,并用实例对模型进行验证。分析表明,界面表皮越大,曲线上翘越多,当它足够大时,表现为封闭断层的特征;厚度比、流度比越大,曲线表现出定压边界的特征;导压系数比越小,Ⅱ区的储集能力越大,相应的压力及压力导数曲线位置越靠下。