基于真假设比例广义推断的多重检验方法

研究了多重假设检验方法的改进问题,基于真假设所占比例的广义推断,利用其广义置信上限对现有的多重假设检验方法进行改进.该方法更好地利用了水平,在功效上有很大提升.采用广义推断方法,即使在假设个数比较小时,也能对真假设所占比例做出较好推断.模拟结果表明,该方法显著提高了传统方法的功效.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

浅谈建筑材料的检测及其影响因素

工程质量是永恒的主题。建材检测是建筑工程质量保证体系中的一个重要环节,是确保建筑工程质量的先决条件。文章在此主要分析常用建材质量检测方法、常用建材检测项目、建筑材料检测取样、建材检测的影响因素及数据处理,以供参考。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

数学分析中的不动点问题

讨论了数学分析中的几个不动点问题,给出了它们在数学分析中的某些应用.     

有限自动机积的初(末)态试验序列、UIO序列和同步序列

主要对积运算后有限自动机的初(末)态试验序列、U IO序列和同步序列进行了讨论,给出了积运算后的有限自动机与积运算前有限自动机的初(末)态试验序列、U IO序列和同步序列的联系,并给出了极小有限自动机的初态试验序列与U IO序列间的联系。     

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

针对可重构视频阵列处理器的设计要求及传统测试方法测试视频编解码系统时速度慢、精度低和可观测性不强的问题。开发了基于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相吻合的冲击加速度波形。     

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

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