一种基于GIS和Petri网的城市火灾扑救调度决策方法

在加色Petri网模型的基础上,利用GIS对空间信息的分析能力,通过设计建立着色标识及其发射规则,发展了一种新的城市火灾扑救调度决策方法.与前人工作相比,在确定火灾等级和消防力量需求时,能够更充分考虑火场环境信息;通过引入对实时交通流的分析,能同时给出最优调度路径的决策结果.对火灾案例的分析表明,该方法给出的决策方案更为全面合理.     

基于Petri网的虚拟科研建立过程模型

 将Petri网理论引入科研领域,提出了用Petri网对动态、并发的科研过程进行描述.用Petri网描述的虚拟科研过程清晰、全面,为上层领导进行决策提供一种简洁、直观的决策分析工具.     

城市管网信息系统的设计与建立

通过对地理信息系统的介绍 ,从GIS的角度出发 ,提出了建立GIS城市管网信息系统的必要性 ,并对城市管网信息系统的设计原则、系统设计的功能、系统建立的配置 ,以及系统的应用等方面进行了分析和探讨 ,为城市管理部门、城市规划部门建立科学的、完善的、快捷的城市管网的管理手段 ,为用户提供所需管网的、一体化的空间及属性数据起到了积极的作用     

FMS运行控制软件调试环境排错功能的实现

FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。     

原子核内的夸克分布——Ⅲ 双π态的分布函数

本文讨论了双π态的形成,它的分布函数,以及它对原子结构函数的贡献。结果表明双π态对原子核结构函数的贡献是不能忽略的。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

工作流网在MIS系统过程建模中的应用与研究

JDBC是SUN公司提供的一种支持基本SQL功能的通用的应用程序接口(ApplicationProgrammingInterface),它可以在Java语言中方便地建立与数据库的链接.     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

计算机支持协同工作中混合式应用程序共享模型分析

提出了一种计算机支持协同工作（CSCW）应用程序共享机制模型－混合式应用程序共享机制模型，解决了分布、异构协同工作环境中集中和复制式应用程序共享在网络流量和分布异构支持方面难以兼得的问题。在应用共享的统一协调控制下，混合式共享机制允许集中和复制式共享机制共存于同一共亨过程中。利用着色Petri技术，建立了混合式应用程序共享机制的分层模型，并对各部分的运行机制进行了分析。分析结果表明，该模型能够有效地描述共享过程中的动态行为，便于系统的分析、验证。     

无刷直流电机DSP逻辑控制程序的Petri网设计方法

提出一种无刷直流(BLDC)电机数字信号处理(DSP)逻辑控制程序的Petri网设计方法.首先,建立霍尔传感器和电机旋转方向的Petri网模型;其次,利用功率管(MOSFET)二二切换规则,设计功率管通断的变迁,获得电机的逻辑控制Petri网模型,并根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并利用换相逻辑逐个验证;最后,借助Petri网变迁的激发规则,设计无刷直流电机DSP逻辑控制程序,并对文中方法进行实验验证.结果表明:文中方法能够保证控制程序的正确性和可靠性,可以有效地简化无刷直流电机DSP逻辑控制程序的调试过程.