基于Petri网的并行设计建模和分析

机械产品并行设计过程具有多因素、离散、动态和并发等特点,尤其是并发性,它影响设计结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力,以及图形表示的直观性,建立并行设计问题的Petri网模型,并对模型的动态、并发问题进行了分析。     

一类资源共享系统的Petri网最优活性控制

在资源共享系统中,竞争系统的有限资源会导致系统死锁等不希望事件的发生,文中利用辅助弧,通过引入资源回路概念来描述系统中的这一竞争过程,揭示了一类资源共享系统的资源竞争过程本质特点,阐述了资源回路与系统死锁之间的相互关系,给出了系统在Petri网模型下死锁存在的必要条件.提出了一种避免系统死锁的最优Petri网控制器设计方法,其方法在设计和计算上是有效的,几何上是直观的.     

Petri网理论在防空系统中的应用

战争由于它的离散性和同步并发性，应用传统的仿真方法很难得到令人满意的结果，Petri网能够描述异(同)步并发现象，能直接明了的揭示时间之间的演化逻辑关系。本给出了Petri网的定义方法和Petri网的分析方法，对一个防空C^3I系统进行了系统建模，很好的解决了战争系统的仿真模型问题。     

基于Petri网的加工中心系统建模与仿真

介绍Petri网的基本理论，利用它对某车间加工中心系统生产过程建立模型，反应整个系统的加工动态特性，用ARENA7．0语言进行仿真研究，分析系统资源配置的合理性、高效性，提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。     

舰艇指控系统的有色Petri网模型

提出了一种包含外部环境成分的舰艇指控系统分析模型,它能真实的反映战场态势。用有色Petri网(CPN)的层次结构对该模型进行了描述,获得了舰艇指控系统的CPN模型。讨论了该CPN模型中一个子页一传感器子模型的建立、组成、与主页的关系及模型的运行过程,结果可用于舰艇指控系统组织结构的设计与性能分析。     

基于Petri网的城市交叉口系统仿真分析

针对传统交叉口交通系统分析方法的不足,构建了一个广义随机Petri网的城市十字路口交通系统模型。该模型描述了城市交通的动态性和随机性,并依据仿真过程中的有关信息进行性能分析,以仿真结果论证了公交优先策略的合理性,提出使用Petri网作为模拟设计交叉口信号控制系统,改进高峰时段公交车通行率,解决了动态研究分析系统指标求解繁琐的问题,对城市交通管理、建设规划及发展提供了一定的理论参考。     

基于Petri网的自动HAZOP分析和故障诊断集成

在系统分析HAZOP(hazard and operability)研究流程的基础上，介绍了具有模糊色的Petri网故障诊断建模方法，该方法可以有效地表示模糊信息．为构建基于知识库的专家系统，提出了一种有效集成HAZOP分析与故障诊断的知识库结构；基于具有模糊色的Petri网建模方法，提出了一种面向在线HAZOP分析和在线故障诊断的知识表示方式，该方式奠定了自动HAZOP分析和故障诊断集成的技术基础．     

故障Petri网方法在惯性导航系统温控回路故障诊断中的应用

基于故障Petri网方法对惯性导航系统温控回路故障进行建模,并结合关联矩阵和状态方程对故障进行诊断推理,查找故障原因。实验证明,故障Petri网方法可以实时快速地对故障进行诊断,方法实用有效。     

Petri网系统建模与仿真实验课程教学探讨

目前高校开设的Petri网相关课程通常只关注Petri网基本概念和理论的讲解。哈尔滨工业大学开设的研究生课程"Petri网系统建模与仿真"则将课堂教学与实验教学密切结合、将理论学习与工程项目密切结合,从内容和方法两方面对该课程的实验教学进行了探讨,并提出了建议及应对问题的方法和措施。     

基于Petri网的PMS动态调度仿真

Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述，并根据最小下次事件时间推进原理，利用VisualC 建立了动态调度仿真系统。结果表明，面向对象方法具有表达直观和自然，可扩充性，实现容易和简便等优点。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

电力系统故障诊断的Petri网方法

以元件、保护和断路器为目标来构造关联数据库,利用矩阵方法来表示Petri网电力系统故障诊断模型,通过在一模型实例中的应用,证实了该方法快速、通用的特点,同时也指出了该方法的不足之处。     

基于商务Petri网的电子商务信誉度研究

针对电商交易中商家与电商平台之间的诚信问题,提出了一种商务Petri网理论。把Petri网与博弈论相结合,建立商务Petri网模型,分析商务Petri网模型中商家经营策略与电商平台不同监管措施之间的博弈关系,使用偏最小二乘法计算商家不同经营模式和电商平台监管模式下的信誉值。实验数据表明,电商平台监管和商家诚信经营时CR在2.5以上,EPC在95%以上|电商平台监管和商家欺诈经营时CR由0.2到0.02再到1.95,EPC从0.2降到0.01最后达到0.8。经过数据对比得出结论,商家选择诚信经营的效益永远大于欺诈经营效益,电商平台监管力度始终不能降低。     

基于模糊Petri网的FMS系统故障诊断研究

本文根据FMS故障诊断系统知识具有不确定性及模糊性的特点,提出利用模糊Petri网来描述FMS故障产生和传播过程的故障诊断模型.首先介绍了模糊Petri网(FPN)的定义及用模糊Petri网表示产生式规则的方法,然后通过应用实例说明模糊Petri网的推理算法,最后还提出了规则库的维护方法.     

基于Petri网的混杂控制方法在锅炉燃烧系统中的应用研究

锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型.     

计算机网络系统的风险管理

计算机网络系统的运行安全是计算机网络系统安全的重要环节，加强管理也是对计算机网络系统进行安全风险控制的重要手段，对人员的管理是风险控制的关键，对物理环境的管理是风险控制的基础。     

一卡通与校园网的融合及安全

通过对一卡通系统结构分析,并结合校园网的特点,提出了一卡通与校园网进行融合的关键技术与结构模型,进而构建以校园网为基础的一卡通数字化校园。     

基于Petri网的工作流过程建模与分析方法的研究

工作流管理是CSCW的一个重要方面 .本文介绍了工作流过程的基本知识 ,给出了一种基于Petri网的建模方法和基本定义 ,讨论了工作流过程结构和行为正确性的分析和验证 ,最后提出了过程定义的验证算法 .     

配有电动载物台倒置显微镜的操作

以IX-71型奥林帕斯倒置显微镜为例,介绍配有电动载物台的多功能显微镜的操作技术和Image-Pro Plus软件的应用。软件通过控制显微镜载物台方向自动切换,实现图像自动化采集、记录、拼接,并针对单幅图像中被染色的细胞进行计数、标识、参数统计,同时针对缝合后完整图像,即全孔图像中被染色的细胞进行系统处理,计数多个视野中蓝斑数目,得出所需总数及参数。介绍了显微镜的实时采集图像功能及图像拼接技术,不仅解决了科研实验中高倍镜下难以在一帧显微图像中获取样本全貌及针对蓝斑自动计数的问题,还为直观化的实践教学搭建了互动平台,体现了生物显微镜电子化的优越性。     

化学实验网上开放选课和成绩管理系统

教育的改革必然要求给学生更大的自主性、灵活性和自由度，让学生可以更好的安排个人的学习计划和发展方向，实验教学作为高等教育不可缺的一部分，其开放对学生学习有重大的影响。化学实验网上预约选课系统结构合理，操作性强，该系统也适用于其他类型的实验，为实验室开放奠定了良好的基础。