基于Petri网模型的系统仿真验证方法

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。     

面向普适计算的分布式模糊推理Petri网建模及仿真

普适计算环境通常采用集中式推理机制,加重了推理服务器和网络通信的负担,并且未充分利用终端计算能力。分布式模糊推理Petri网模型对模糊推理Petri网模型FRPN进行改进,采用层次结构,表征推理服务器和终端的推理任务执行;通过引入负载度和负载增长率的概念,在模糊推理过程中监控节点资源占用,弥补了集中式推理的不足。仿真实验表明,该模型较之FRPN模型可显著降低系统负载,是一种有效的分布式推理的规约方法。     

基于模糊有色Petri网的不确定性学习和推理方法

模糊Petri网模型可以用于模糊推理,但在Petri网中不得不用独立子网表示所有类型的过程,即使这些过程具有相同的行为,这导致整个Petri网变得很大.文中提出基于模糊有色Petri网的不确定性推理方法和基于遗传算法的学习过程.在减少网络规模,计算时间和克服解释网络困难的同时,它能保持等量的信息,提供结构化的表示,使知识库中的规则之间的关系易于表示.     

基于CPN的排队网模型分析方法

提出一种新的排队网模型分析方法,将排队网络按照一定的规则转化为层次着色Petri网,利用着色Petri网的分析工具CPN-TOOLS在模型中加入Monitor监视器监视网络状态,在仿真过程中收集状态数据进行性能评价.这种方法在分析过程中不会对系统结构进行限制,可以对系统的任何方面进行评价,具有很大的灵活性;层次化模型不限制网络规模,不涉及状态空间问题可以更好的用来求解大规模的排队网络.     

基于多色Petri网的产品开发过程建模

为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出了一种基于多色Petri网(PolyPN)的产品开发过程建模方法.将多色图理论的着色思想融入Petri网中,形成了多色Petri网;结合产品开发ProA递阶分解,给出了构建产品开发多色Petri网过程模型的层次化方法;在此基础上,以汽车油泵单项阀测试器的开发为例进行了建模和仿真分析.     

基于PETRI网递阶监控器的间歇过程故障诊断

基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断.针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性.     

交换机过载控制机理Petri网模型的仿真求解方法

通过建立数字交换机过载控制机理的广义随机Petri网模型并基于马氏理论求解,可以有效地分析系统的控制特性,但这种方法对于变迁时延为非负指数分布就比较困难.鉴于此,本文提出用仿真方法求解,利用GPSS仿真对两种常用过载控制机理的广义随机Petri网模型进行了分析,找出了GPSS框图与Petri网模型之间的对应关系,得出了系统性能的仿真分析结果,与理论分析结果相对照,结论是一致的.     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

基于模糊Petri网的空战战术决策研究

空战过程中由于空战态势的不确定性,战术决策也应作为一个动态的不确定性决策问题进行研究。针对该不确定性动态决策过程,在分析超视距空战战术决策的基础上,综合利用模糊逻辑理论与Petri网理论的优点,构建了超视距空战机动战术的模糊推理规则,提出了超视距空战战术决策的Petri网模型,并对该模型进行了仿真分析。此模型的仿真结果表明该模型能够提高决策的自动化和智能化程度,这是一种快速、实用、直观的方法。     

卫星军事应用系统支援常规导弹作战Petri网建模

针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型.该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件.最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁.此结果证明了模型的正确性.     

基于IFTBN的不确定性时间推理方法

针对模糊贝叶斯网络模型对复杂不确定性时间信息描述和推理方面的局限性,给出了直觉模糊贝叶斯网络的定义,并将直觉模糊时序逻辑理论与贝叶斯网络推理相融合,构建了直觉模糊时间贝叶斯网络(intuitionistic fuzzy time Bayesian network, IFTBN)模型,提出了基于IFTBN的不确定性时间推理算法,较好地解决了态势估计中不确定性时间推理精度不高的问题,提高了军事态势评估系统形成正确战场感知的作战效能。最后通过典型实例验证了该时间推理方法的有效性和优越性。     

复杂系统的模糊故障诊断方法研究

复杂系统的故障具有模糊性与精确性的复杂特性,精确的推理方法难以有效地对复杂特性的故障进行诊断。提出模糊产生式规则与Petri网推理技术相结合的故障诊断模型,以研究模糊故障的推理诊断方法。以某发射装置控制系统为研究对象,给出一个复杂特征故障的诊断实例。研究结果表明,模糊产生式规则Petri网模型方法可以有效地对复杂系统的模糊性与精确性双重特征的故障进行推理诊断。     

模糊定性建模与仿真集成实现

定性推理是使用定性模型 ,推理演绎物理系统以获取有用信息的技术 ,在系统诊断、功能行为仿真、产品设计与分析等领域得以广泛应用 .其面对的主要挑战是定性模型构造比较困难 ,仿真效率不高 ,得到有效解的仿真过程代价较大 .本文就此进行了研究 :利用模型片断库和面向对象的方法实现图形化建模环境 ,使得建模过程直观且易操作 ;采用模型定性仿真技术 ,拓展了传统定性仿真算法 ,提高了仿真效率 .文章最后给出软件实现和实例验证 .     

基于T-S模型的非线性系统离散时间滑模控制

基于T-S模糊模型,讨论了一类非线性离散时间系统的控制问题。采用T-S模糊模型来描述非线性系统的动态模型,再将非线性系统的全局T-S模糊模型转化为线性不确定系统的模型。这样复杂的非线性系统的稳定问题就转化为线性不确定系统的鲁棒镇定问题。采用离散时间滑模控制方法实现线性不确定系统的鲁棒镇定。利用用线性矩阵不等式技术设计稳定的滑动模面,以降低非匹配不确定对系统的影响。给出了线性矩阵不等式形式的稳定滑动模面存在的充分条件。此外还给出了滑模控制律的设计方法。所给设计方法可保证系统鲁棒镇定,并且在滑动模面附近的抖振可明显减弱。最后,给出了truck-trailer的仿真算例,证明了所给方法的可行性和有效性。     

基于证据理论的群决策层次评价方法研究

运用证据理论对具有不确定信息的多属性群决策层次评价问题提出了一种新的解决方法。首先对专家的模糊评判语言作出了定量描述 ,对专家评判中由于主观认识的局限性使评判具有不准确性的问题进行了研究 ,构造了一种新的表示专家不确定意见的信任度方法 ,解决了在这种表示下的群体意见和多个指标的层次综合问题。算例表明 ,该方法评估结果客观、合理 ,对群决策层次评估问题很有效     

基于IFSTR的抽象化空间推理方法

针对现有空间推理方法难以有效处理复杂不确定空间拓扑信息的缺陷,在分析空间实体直觉模糊划分的基础上,构造了直觉模糊九交矩阵模型,用直觉模糊空间关系向量定量描述各实体间的空间拓扑关系,并提出了一种基于此的抽象化空间推理方法,提高了空间推理的准确性,较好地解决了战场评估的时效性问题。最后通过实例验证了该方法的有效性和优越性。     

模糊控制技术在自动着舰控制系统中的应用

纵向引导控制律是舰载飞机自动着舰控制系统的核心。舰载飞机着舰环境存在极大的随机性,舰尾流和航母运动不断变化,传统PID纵向引导控制器因其控制器参数固定不变而缺乏灵活性和精确性。在传统的舰载飞机自动着舰PID控制器中引入模糊控制模块,构造模糊PID控制器,并依据飞行控制工程专家的经验构建模糊规则,可实现根据系统状况对控制器的参数进行在线最优调节。与传统PID控制器相比,可极大地提高舰载飞机着舰飞行轨迹精度,也一定程度改善了着舰飞行控制系统的鲁棒性。以F/A-18A为例进行自动着舰飞行仿真,结果表明应用模糊控制技术可以减小着舰误差,提高着舰品质。     

基于相关矩阵与概率模型的故障模糊诊断

针对复杂系统故障快速模糊诊断问题,提出了一种基于相关矩阵和概率模型的故障模糊诊断方法。通过建立故障测试相关矩阵,在概率空间中获取故障判据,并考察非理想测试条件下故障出现某种征兆的概率值,继而利用概率最值原则推理故障、利用最小模原则进行故障筛选以降低虚警,实现了对复杂系统故障的高效便捷诊断。以阿波罗飞船发射前测试数据为对象对该方法进行了验证。实验结果表明,该方法具有足够的诊断精度,以及较低的运算复杂度,并且支持图形化快速诊断、便于现场应急使用。     

基于直觉模糊推理与系统动力学的产品生命周期成本控制模型

基于产品生命周期成本(LCC)系统的复杂动态结构,利用系统动力学建立LCC控制模型.将直觉模糊推理技术嵌入成本模型中,用于刻画成本动因间的复杂模糊关系,解决了历史数据不足、人为判断模糊等问题.以广州某厂所生产的某型号液压泵为例,通过实证模拟证明该模型能更有效地实现对产品LCC的控制,具有较大的应用价值和较强的适用性.