改进的部分可观Petri网系统在线故障诊断器设计

本文研究部分可观Petri网建模的离散事件系统的故障检测问题.针对现有的部分可观Petri网系统的在线故障诊断器存在故障诊断率较低的缺陷,本文提出了整数线性规划与广义互斥约束集成的部分可观Petri网系统在线故障诊断改进算法.假定部分可观Petri网系统的结构与初始标识为已知,故障被建模为不可观变迁.首先,算法需要观测接收事件序列,求解部分可观Petri网的整数线性规划问题,算法对系统的故障进行初步诊断.初步诊断为不确定诊断的情形,采用广义互斥约束的方法进行诊断.最后,通过离散事件系统实例分析,采用本文的算法,故障诊断率显著提高,验证了算法的有效性.     

分布无人机自动检测与故障诊断系统设计

本文根据分布式无人机系统的特点,详细论述了分布式无人机自动检测与故障诊断系统的设计原理及软硬件实现方法.本文研制的分布式无人机自动检测与故障诊断系统由故障诊断单元(地面控制站)、故障检测单元(储运发射车)、无人机飞控计算机组成.本文重点研究了故障诊断专家系统的设计.验证性测试表明,该系统性能稳定可靠,达到了设计要求.     

无人机飞行控制软件的自修复技术研究

软件产品的质量是设计出来的,并不是测试出来的。本文归纳了无人机飞行控制软件自修复技术的具体研究内容,提出了基于经典过程控制理论与新的软件分层体系结构相结合的无人机飞行控制软件自修复技术研究的解决方法。     

部分可控Petri网分布式死锁监控器设计

研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。     

马氏田口系统的量子行为二进制粒子群特征选择优化方法

针对标准二进制粒子群用于马氏田口系统的特征选择优化时,存在迭代速度慢,容易陷入局部最优解等不足,提出一种改进的基于量子行为二进制粒子群的马氏田口系统变量选择优化方法。首先,为了规避可能存在的复共线性特性对距离度量结果的影响,本研究采用Gram-Schmidt正交化法计算马氏距离值,对系统进行标准化处理,对各属性向量进行正交化后计算各类别的马氏距离集合,通过ROC曲线确定系统分类的最佳阈值点,定义误分类率概念和被选择变量占比最小作为变量筛选标准,构建多目标的混合规划模型。运用改进的量子行为粒子群算法求解优化组合,为适应二值化的变量优化问题,算法基于概率对粒子进行二进制编码,求取目标函数的适应值,并完成粒子群的优化迭代过程。采用优化的变量组合,构建精简的马氏田口系统,建立度量预测模型,完成精确判别的任务。最后,以胎心分娩力造影术测量的胎儿健康诊断为例,对标准二进制粒子群算法和二进制量子粒子群优化算法进行对比验证,实验结果表明,本文方法可以有效地提升粒子的迭代速度和寻优精度,优化后的马氏田口系统的预测准确率明显提高。     

机载液压油源系统非马尔科夫随机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的形式,最终显示预处...     

面向大规模定制生产的产品设计

DFMC是能够满足顾客需求，快速响应市场，提高产品质量、降低成本的有效设计方法，DFMC代表着新的产品设计模式。这里详细介绍了DFMC的主要设计方法，结合实践，给出了DFMC的工作过程。     

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

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