生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网(TPN)模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

基于BP算法的模糊Petri网鱼雷故障诊断方法

模糊Petri网是故障诊断系统建模与分析的一种重要工具,但存在自学习困难的特点.该文将具有强大自学习能力和容错能力的神经网络与模糊Petri网相结合,并根据实际工程应用情况,提出最大路径法对模糊Petri网分层,避免了虚变迁和虚库所加入带来的模糊Petri网故障诊断模型复杂化问题,然后运用神经网络中的BP算法对模型参数进行学习,使模型具有了自学习和泛化能力.将其应用到某型鱼雷电子系统的故障诊断系统中,结果表明,该方法能够有效地提高模型故障诊断能力.     

Petri网模型的程序仿真

提出了Windows平台上Petri网模型的程序仿真方法--用Windows操作系统中的线程和线程同步对象实现Petri网模型的两个基本元素(状态和变迁)的算法,并用一个模型来验证该仿真方法的正确性.仿真结果表明,算法正确,方法可行.     

Petri网与字典法结合的闭塞系统的故障诊断方法

Petri网具有成熟的理论,广泛应用许多领域.采用Petri网与字典法相结合的策略,以便获得基于Petri网站间闭塞系统的故障诊断方法.给出了应用实例.与传统方法相比,该方法提高了效率和准确性,更适应在线故障检测.     

基于Petri网的单点信号优化感应控制

基于连续Petri网,建立交通流混合控制模型,通过分析离散化的交通信号控制混合Petri网模型,研究单交叉口交通信号感应控制问题.基于混合Petri网模型参数的分析,建立了各相位车辆总停留时间的计算方法;从库所标识与变迁使能程度间的复杂关系出发,研究了库所标识的变化规律;以车辆总停留时间最短为目标优化感应控制模型,仿真计算各相位绿灯时间.结果表明:基于混合Petri网的优化感应控制方法,4个相位的车辆平均延误显著缩短,可以较好地实现单点信号控制.     

基于Petri网的网络最小费用最大流算法

将Petri网方法应用于求解网络的最小费用最大流问题,提出费用Petri网的定义,设计费用Petri网的变迁使能规则并提出求解最小费用最大流问题的Petri网算法.与以往的算法不同,该算法通过对库所进行标号寻找变迁的触发序列,并在该序列上增流.最后举例说明算法的应用.     

基于Petri 网模型的铁路快捷货运产品可靠性评价

为准确评价及预测铁路快捷货运产品的可靠性,在全面分析铁路快捷货运产品可靠性影响因素的基础上,建立用于产品可靠性评价的故障树模型,并采用下行法求取故障树的最小割集;结合Petri 网建模方法与故障树基本理论,将产品故障树转化为 Petri 网仿真模型,并证明两者的等价性;利用Matlab 仿真软件进行基于关联矩阵的Petri 网模型求解,并以北京-上海间特快货物班列为例,得到该产品的可靠度及故障因素重要度排序.实证结果显示,应用Petri 网模型来求解产品可靠性评价问题,不仅能够有效提升求解过程的效率,而且准确易行.研究成果可以为提高铁路快捷货运产品可靠性和市场竞争力提供科学依据和必要支撑.     

运输网络最大流的Petri网图仿真算法

现代化的综合交通体系和智能交通系统要求必须首先解决运输需求分析和运输网络分析的技术问题。Petri网理论可以被引进到运输网络理论中 ,用来解决最基本也是应用最广泛的最大流问题。首先介绍了 Petri网与有向网络的 Petri网模型 ;然后 ,给出有向网络最大流的求最短路法 ;在此基础上 ,采用 Petri网论法和计算机图形仿真法相结合的方法 ,求解运输网络最大流。即用Petri网图仿真器把无向运输网络转化为有向运输网络 ,然后求有向运输网络 G的对偶网络 DG,再用 Petri网图仿真器将对偶网络 DG转换成 Petri图模型 ,并自动求得 DG最短路 (原网络 G的最小割容量 ) ,即运输网络最大流。该方法比现有方法更方便 ,速度更快 ,而且形象、直观 ,是更实用的方法和手段     

����ɫPetri����������ͨ�ŵ� �г� ����ϵͳ�IJ��ģ��

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，本文在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究.有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真.为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN /Tools工具软件来实现.通过建立一个墓于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台莫定了良好的基拙.     

基于Petri网的城市主干道交通信号协调优化

为研究城市主干道交通信号协调优化问题,建立了包括交叉口交通信号显示模块与信号相位转换模块的时延Petri网模型与基于变速度连续Petri网的交通流模型,设计了由监控、判别和通行相位选择3个子系统构成的交通信号控制系统,并给出了具体的控制步骤.根据连续Petri网中各参数间的关系,以车辆排队长度、上游路段车流速度和下游路段畅通度为输入变量,以相位优先指数为输出变量,确定下一通行相位,采用模糊Petri网确定当前相位的最佳绿灯时间,并进行了仿真计算.仿真结果表明:采用Petri网与模糊控制相结合的方法后,由西向东与由东向西方向车流的行程时间分别缩短了7.1％、7.6％,交叉口排队长度的改进率分别为11.9％、11.2％,4个相位的交叉口平均延误分别由9.7、10.3、11.8、13.2s下降到8.2、9.1、11.4、11.4s.可见,主干道信号协调优化方法可以较好地实现干线信号协调控制.     

A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

ＩｎｔｒｏｄｕｃｔｉｏｎＰｅｔｒｉｎｅｔ（ＰＮ）ｉｓａｍｏｄｅｌｉｎｇｍｅｔｈｏｄｕｓｉｎｇｎｅｔｇｒａｐｈｓ．Ｕｓｕａｌｌｙ,Ｐｅｔｒｉｎｅｔｉｓｕｓｅｄｔｏｍｏｄｅｌａｎｄａｎａｌｙｚｅｄｉｓｃｒｅｔｅｅｖｅｎｔｓｙｓｔｅｍｓ（ＤＥＳ）,ｓｕｃｈａｓｃｏｍｍｕｎｉｃａｔｉｏｎ,ｍａｎｕｆａｃｔｕｒｉｎｇｓｙｓｔｅｍｓａｎｄｓｏｏｎ．Ｃｕｒｒｅｎｔｌｙ,ｓｏｍｅｗｏｒｋ［１,２］ｉｓｂａｓｅｄｏｎａｃｏｍ－ｂｉｎａｔｉｏｎｏｆＰｅｔｒｉｎｅｔｓａｎｄａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ…     

业务模型驱动的应急物流本体知识表示及应用

为解决应急物流智能协作面临的异构信息融合与知识管理难题,以有效知识应用为目标,利用业务模型与本体模型对组成构件上的相关性进行映射,并根据系统控制与实体行为约束所需的业务推理规则,设计了3种模块之间的关系与四阶段转换步骤,形成了业务模型驱动的本体表示方法.以该方法为基础,结合应急物流领域需求,建立了由概念集合、概念属性、语义约束、推理规则等要素组成的应急物流本体模型.通过应急配送路径选择案例,自动推理得到可替代邻近点以完成配送路径求解.结果表明,应急物流本体模型及其应用实现了异构信息的本体融合,消除了以关键词匹配为基础的常规检索失效现象,满足了最小路径算法的执行条件,为应急物流决策模型及算法应用提供了知识层面的支持.      

����������ij�������ģ��CFCM�о�

车辆跟驰模型中的驾驶行为是一个复杂的推理、决策、执行过程，在知识表达和推理机制上存在模糊性和随机性。针对当前车辆跟驰模型研究存在的不足，引入云模型理论，确定了跟驰模型中的决策变量及概念判断子集，设计了模型参数标定的实验方法，在实验数据的基础上，计算了相关参数的隶属云特征值，总结了基于行为规则的车辆跟驰云推理机制，构造了车辆跟驰云模型CFCM(Car Following Cloud Model)。     

Additive—Multiplicative Fuzzy Neural Network and Its Performance

Introduction　　Kosko[1] hasprovedthatanadditivefuzzysystemcanapproximateanycontinuousfunctiononacompactdomaintoarbitraryaccuracy .AspointedbyWang[2 ] ,amultiplicativefuzzysystem ,whichisconstructedbyusingGaussianmembershipfunctionandcentroiddefuzzificati…     

故障诊断专家系统应用研究

提出了直流斩波电路故障诊断专家系统的理论根据及设计方法。知识库设计为多元故障树，诊断数据来源于对被诊断对象的测试与知识推理，依据特征向量实现故障定位。采用功能级故障诊断模型比依据网络理论建立的数学模型更为简便。     

用于两种模型的综合推理方法

本文论述了将适于诊断型专家系统使用的最小集合覆盖模型推理方法用于分类模型的原理,并 对最小集合覆盖模型进行了理论完善和算法实现。模型所需的数据利用分类摸型中的产生式规 则产生。最后,通过两个现象子集间的贴近度计算求得结论的可信度。      

三维方位关系的定性描述与定性推理

结合定性推理、空间推理与人工智能产生的定性空间推理,已成为人工智能的1个研究热点,是空间关系的重要组成部分,为空间方位关系空间分析、辅助决策等提供了基础。因此,空间方位关系的形式化描述与定性推理非常重要。本文用单纯形数据模型描述三维空间实体,通过研究单纯形间的方向关系研究空间实体间的方向关系。提出采用三元组描述了两空间对象间的三维方位关系,并对该描述方法的定性推理作了详细研究。三维方位关系分为单方位关系与多方位关系,重点研究了单方位关系定性推理,在此基础上分析了多方位关系定性推理与单方位关系定性推理方法的联系,将多方位关系定性推理转化为对多个单方位关系定性的推理。     

桥梁智能CAD系统中的类比技术研究

首先分析了工程设计的实现,然后以工程设计过程的理论模型－规划控制下的二阶段设计模型为理论依据,讨论了桥梁数据结构的设计方法,并制定了相应的类比推理模型。     

Case-Based Reasoning Topological Complexity Calculation of Design for Components

Directly calculating the topological and geometric complexity from the STEP (standard for the exchange of product model data, ISO 10303) file is a huge task. So, a case-based reasoning approach is presented, which is based on the similarity between the new component and the old one, to calculate the topological and geometric complexity of new components. In order to index, retrieve in historical component database, a new way of component representation is brought forth. And then an algorithm is given to extract topological graph from its STEP files. A mathematical model, which describes how to compare the similarity, is discussed. Finally, an example is given to show the result.     

基于SDSS的高速公路养护管理系统结构

现有高速公路养护管理系统仅仅是简单的决策支持系统,以模型来驱动决策,决策的智能化程度不高,因此为了提高公路养护决策的能力和智能化水平,提出了基于SDSS的高速公路养护管理系统,结合智能决策支持系统和商业智能技术,在决策过程中以模型、知识、数据共同驱动决策。综合决策支持系统由数据仓库、联机分析处理、数据挖掘、模型库、知识库和数据库组成,其中数据仓库能够实现对决策主题数据的存储和综合;联机分析处理可以实现多维数据分析;数据挖掘可以挖掘数据库和数据仓库中的知识;模型库可以实现多个广义模型的组合辅助决策;数据库可以为辅助决策提供数据;专家系统可以利用知识推理进行定性分析。它们有机集成的综合决策支持系统将相互补充和依赖,能发挥各自的辅助决策优势,实现更有效的辅助决策。