协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

数据挖掘在图像信息隐写分析中的应用

提出数据挖掘在图像信息隐写分析中的应用。首先计算原始图像和隐写图像在通用图像质量指标下的失真测度,然后利用数据挖掘技术建立一个预测模型,完成失真测度到已知隐写概率的映射,模型的输出即为预测隐写概率。实验结果表明,使用该方法得到的预测隐写概率和已知隐写概率的相关度,当使用训练样本时达到0.951以上,使用测试样本时达到0.943以上,达到了很好的预测效果。     

活性粉末混凝土200(RPC200)的配制试验研究

进行了活性粉末混凝土(RPC)的配制试验,通过5批试件分别探讨砂灰比、石英粉、硅灰、水胶比和钢纤维等因素单值变化时对RPC流动度以及抗折强度、抗压强度的影响.研究表明:在常规制作工艺条件下,配制出抗压强度和抗折强度分别为145.6 MPa和26.68MPa的无纤维RPC;当钢纤维含量为6%时,RPC的抗压强度和抗折强度分别达到了201.3MPa和73.67 MPa.     

基于支持向量机的装备故障诊断专家系统

针对现代化复杂武器装备故障诊断问题,结合支持向量机和专家系统的各自特点,提出了基于支持向量机的武器装备故障诊断专家系统整体结构和诊断模型.将支持向量机嵌入专家系统中,实现知识自动获取和快速逻辑推理,专家系统完成知识库管理与维护、符号推理诊断以及相关解释等工作,充分发挥支持向量机和专家系统两者的优势,提高了系统的综合诊断性能.     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。     

基于USB接口的虚拟装备技术

基于通用串行总线(USB)这一新的接口技术,对虚拟装备中的人机交互技术进行研究。确定了交互系统的总体构成,设计了能满足实际需求的USB硬件设备,并以具体实装部件为例,设计了相应的外部信号调理电路,开发了具有即插即用、软件下载等功能的配套驱动程序及通信所需的固件程序,对设计方案进行了验证。     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

DFT的Z变换算法

文中讨论了用Z变换计算DFT的方法。对于N=2~t的DFT,本算法所需的加法及乘法量分别为:(?),与Cooley-Tukey基-2算法比较,乘法量与加法量均减少25%,文中还讨论了本算法在微机上的实现,给出流程图。在运算时间上,本算法与通用FFT算法程序进行比较:节省时间30%。     

基于进化算法的多无人机协同航路规划

以突防航路时域协同指数、空域协同指数、突防时长指数和受威胁指数为规划目标,以最小直线航路段长度、可飞空域、续航能力和进入任务航路方向为约束,构建了多无人机协同突防航路规划模型。结合模型特点,利用合作型协同进化遗传算法对该模型进行求解。     

新型优化同心筒自力发射流场机理与降温效果

针对同心筒自力发射结构优化与热环境改善的问题,基于雷诺平均方程及轴对称N-S方程,依托弹性变形和网格再生成方法结合的动网格技术,对3种不同结构形式同心筒发射装置的二维轴对称流场进行了非定常数值计算,得到了不同结构条件下动态的流场机理及导弹热环境特性。计算结果显示:导流器方案能实现燃气流迅速顺利排导;筒底收缩段设计能有效遮挡反溅燃气流;筒口导流板结构较好抑制了内筒的"倒吸效应",确保导弹和内筒的热安全;揭示了优化同心筒的流场结构与降温机理,可为相关研究提供参考。