离散事件系统的受控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．     

离散事件系统的控Petri网模型中的冲突控制

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法。该方法首先把冲突问题转化为禁止状态问题。然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制，文中还给出了求解控制的有效算法。     

最少拍无波纹计算机控制系统的一种综合方法

大部分文献对最少拍计算机控制系统的综合都作了一些假定，因而使综合方法不够完整准确．笔者对闭环脉冲传递函数Φ（Ｚ）的综合方法、问题的提出、分析及解决、系数求取等方面作了一定的完善，从而使Φ（Ζ）的综合更加完整准确，而且直观、简炼．最后，还就最少拍系统对各种典型输入适应性差的问题进行分析讨论，并进一步地提出了一些具体的解决方法．     

趋于实用化的海事安全综合评估方法

分析了目前国际海事安全评价体系中存在的问题,指出了在海事安全评价领域导入综合评估的必要性和可行性．剖析了综合评估方法的技术特征,论述了在海事安全评价中如何具体应用综合评估方法进行安全评价,并对国际上有关海事安全综合评估的研究现状和应用现状进行了综合分析,对其实际应用过程中尚存的问题及其未来发展进行了探讨．     

本征函数法应用于矩形区域上稳定场问题

文章结合叠加原理，应用本征函数法研究矩形区域上稳定场问题．这种方法综合了传统方法的优点，扩大了应用范围，改善了特解法的不足．本征函数法成为求解稳定场问题的普遍方法．     

高校教师职务考核的模糊综合评价

运用模糊综合评价法在所选定的评价准则下，建立了高校教师职务考核的数学模型．该方法能把定性问题转化为定量分析，适用于多目标多准则的系统综合评价．     

Fuzzy合成的失效及其纠正方法

对模糊综合评判经常出现的失效问题进行了分类研究，并给出了纠正的方法．     

综合评价指标体系和评价方法

综合评价指标体系建立及评价方法的选择是综合评价工作的中心环节。在前人研究成果基础上，提出了一套较为完整、实用的指标体系的建立方法，并提出了评价方法的选择原则．指出了当前综合评价工作中尚待研究的问题。     

主成分分析法在地区企业经济效益评价中的应用

在多指标综合评价中,主成分分析方法是一种较为客观的综合评价方法．利用这种方法对企业的经济效益指标进行综合评价,不仅能综合反映各企业经济效益强弱的各项信息,而且可以确定各指标的客观权重．由此避免了决策者在多指标综合评价中遇到的需要确定指标权重的问题．应用主成分分析方法,以2001年中国各地区全部国有及规模以上非国有工业企业主要经济效益指标为基础数据,对各地区工业企业经济效益进行综合评价．评价结果与各地区企业的实际情况基本吻合．     

智能化的边坡稳定性分析方法

应用智能科学理论和控制论的思想，提出了露天矿边坡稳定性分析的智能模型，讨论了一种新的知识表示方法和实现边坡稳定性分析的问题求解新机制．新的知识表示方法是集框架，规则，神经网络，数学模型于一体的面向对象和综合集成的方法．用逻辑推理、模式识别、模型计算综合集成的方法进行了边坡稳定性分析．运用该模型对实际边坡进行了破坏模式识别，识别结果与实际相吻合．     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

Petri网在保护系统安全性分析中的应用

介绍了用Petri网描述获取一授予系统的PTGS模型的方法,并利用PTGS模型探讨保护系统中访问权利泄漏或被窃取的问题。利用PTG-路径、“桥”、“岛屿”等概念形式地解决了该问题,虽然已经有人利用有向图的TGS模型解决过这一问题,但是利用Petri网技术研究该问题是一种新方法,而且更加直观,同时本文也对用Petri网模型研究信息安全问题做了有益探索。     

任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。     

基于ES-PN模型的电力系统故障诊断

提出了一种基于Petri网理论和专家系统的电力系统故障诊断方法,详细阐述了基于引出线诊断模型和鉴别故障元件的方法,包括故障元件和其保护的关联度。通过对保护的方向性、区域性以及关联度的分析,增加了模型的拓扑适应能力。这种方法克服了专家系统难于用数学方法描述的缺点,增强了Petri网在该问题上的推理能力,利用Petri网建立数学模型,提高了故障诊断速度。诊断结果表明,该方法能够大大减少响应时间,并且比之前的方法更能适应电网配置的变化。     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．