机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别

本文研究了基于Petri网的机载液压油源系统的建模与时间参数识别问题。机载液压油源系统的正常行为执行时间服从正态分布和异常行为执行时间服从指数分布时间,Petri网模型处理确定行为,不能处理随机行为。随机Petri网(Stochastic Petri Nets ,SPN)模型与确定-随机Petri网(Deterministic Stochastic Petri Nets ,DSPN)模型处理执行时间属于指数分布的行为,不能处理执行时间属于正态分布的行为,本文提出用正态-随机Petri网(Normal-Stochastic Petri Nets, NSPN)模型对机载液压油源系统建模,正态-随机Petri网模型有正态分布的变迁与指数分布的变迁。本文提出正态-随机Petri网模型的正态参数 与指数分布参数 的识别算法,其中 为正态分布的名义值, 为正态分布的标准差, 为指数分布的指数参数值。本文建立了机载液压油源系统的NSPN模型,应用本文参数估测算法对变迁时间参数进行识别,仿真计算结果表明,计算的变迁时间参数与系统实际运行时间参数一致,证明了该方法的有效性。     

基于条件值的C/C++预处理测试算法

传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的.为降低时间复杂度,提出一种快速符号执行算法.源代码通过词法分析器得到顶处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处...     

基于模型检测的软件测试技术

提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。     

人工神经网络在三次设计中的应用研究

三次设计或称“田口方法（TaguchiMethods）”、“稳健设计（RubustDesign）”、“鲁棒设计”，三次设计是以统计的方法定量地分析各种参数组合与质量特性之间的关系，从而求出最佳参数组合。它同时将设计参数与计算效益结合起来，寻求成本较低且质量特性又合理的容差范围，从而避免“质量过剩”。三次设计的核心为参数设计，主要采用基于田口正交表的试验设计法和响应面法，其数据处理方法都比较繁琐，特别是田口试验设计法，要求设计者具有较高的概率统计知识，这就制约了该方法的推广。现重点分析田口试验设计的方法，应用人工神经网络…     

压电式振动给料机的技术反求

本文介绍了应用反求工程的理论和方法,对压电陶瓷振动给料机进行实物反求的过程。通过对反求出的产品试验,证明压电式振动给料机具有显著的降噪节能优势。     

基于模型的飞行控制软件测试用例的生成

采用虚拟原型技术Statemate工具,应用功能图建立飞行控制器的“自顶向下”的功能层次模型,应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能的正确性。在此基础上产生数据可靠、一致性好的实际飞行控制软件的测试用例,避免了人为产生测试用例的随意性与多样性。基于软件虚拟原型技术的软件验证与测试技术特别适合测试那些没有按此方法开发出来的嵌入式软件。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。本文构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以求方程根的c程序为例进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果。性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间,以及运行次数。     

无人机飞控软件抗干扰设计

在无人机飞控系统中,抗干扰性能是系统可靠性的重要指标.结合自身实践,本文首先介绍了干扰可能对软件运行造成的影响,然后提出了若干行之有效的软件抗干扰措施.本文重点研究了无人机飞控软件的自诊断和自修复技术.飞行实践证明,所采取的这些抗干扰措施行之有效,基本达到了设计要求.     

有色Petri网在并行测试建模中的应用

并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术.传统的串行测试方法和串行任务调度方法日益体现出了它的局限性.文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petfi网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用...