基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于随机Petri网的流通加工系统建模研究

流通加工系统是一个动态离散系统,影响该系统的因素多具有并发性、异步性及随机性的特点,所以定性和定量分析流通加工系统较为复杂.以三华农副产品加工基地农副产品的一次流通加工为研究背景,利用随机Petri网构建了反映该企业流通加工系统的实际组成及运行状态的随机Petri网模型,并对该模型进行了定性分析和定量分析.其中,定性分析是根据连续时间的随机Petri网同构于连续时间马尔科夫链的特点对模型的活性、可达性、有界性等进行了分析;定量分析是利用带有模糊参数的随机Petri网求解出库所繁忙的概率、系统变迁的利用率、系统平均延时时间及流入系统的标记流速.根据所得数据分析可知:应进一步优化加工环节,流入系统的标记流速还应加快.     

基于Petri网的建筑市场监管工作流模型

由于建筑市场监管工作的复杂性,基于Petri网建模技术,建立了一套应用于建筑市场监管工作流的Petri网模型.首先对建筑市场监管工作过程中的各个业务环节进行Petri网建模,然后把各个业务环节的Petri网模型整合在一起构成一个完整的建筑市场监管工作流Petri网模型.该模型将建筑市场的项目从报建开始到竣工备案的各个业务环节有效地整合在一起.基于该模型,利用C#语言,结合SQL2008数据库技术,构造了一套建筑市场监管信息系统,并在河南省建筑市场监管中成功推广应用.     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

多级保障系统的广义随机Petri网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于有色Petri网的车身网络诊断系统建模方法

文章针对车身网络诊断系统的特点,将有色Petri网和诊断系统的流程相结合,建立故障诊断的有色Petri网模型;利用有色Petri网作为工具,描述诊断仪与ECU通信之间的逻辑关系;以诊断中的Flash下载为例,建立了有色Petri网的诊断模型.仿真分析结果验证了模型的正确性和有效性,且模型有助于提高车身网络诊断系统软件的...     

基于GIS和RS的三明市荆东生态工业区土地开发生态适宜度和景观结构分析

土地开发生态适宜度分析是生态工业区规划的重要基础．基于GIS和RS技术，通过水土保持与地质安全、工程建设适宜度分析、建设用地适宜度、自然生态服务功能评价对三明市荆东生态工业区土地开发生态适宜度进行了综合分析．分析表明，现状土地自然禀赋条件较好的用地面积比例为34．95％，需经较大规模工程改造可用于城市建设用地的比例约49．3％；位于地质灾害潜在风险高易、中易发生区的不适宜进行建设用地面积约为15．6％．在土地开发适宜度分析的基础上，从景观生态学的角度，对不同的规划方案进行了比较分析．     

生态工业园网络建设--以长春市经济技术开发区为例

以长春市经济技术开发区(CETDZ)为例,根据循环经济理念,探讨了第一代工业区的生态工业网络建设问题。文章首先分析了长春市经济技术开发区的工业资源环境负荷,以及构建生态工业的优势和劣势。提出了建设生态工业园的一般性原则,探讨了CETDZ的生态工业循环经济模式,并在此基础上对系统建群种的特征分别进行了分析。运用系统集成手段,对园区的物质、能量、水资源进行优化,构建了全区的生态工业循环经济模型。最后提出了开发区生态工业实施策略,包括产业结构、企业结构的调整。     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

重庆市生态工业园区的构建理论及必要性分析

介绍了生态工业园区的构建理论及发展模式,并针对重庆部分工业园区环境污染严重、能源结构和产业布局不合理等问题,提出了发展重庆生态工业园区应推行企业清洁生产和环境管理体系认证;加强生态工业园区的规划、建设和管理;加快调整优化工业结构,走新型工业化的路子等措施。     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

跨域生态产业链构建中的演化博弈分析

随着经济发展中资源、环境问题的日益凸显,跨域生态产业链的构建是践行绿色发展理念、实现经济高质量发展的必由之路。首先根据主导力量的转换,将跨域生态产业链的演化过程分为三个阶段：企业生态转型期、生态产业园发展期、跨域生态产业链构建期,并构建了主体之间的关系模型;然后建立三阶段的演化博弈模型,通过分析总结最优均衡点,剖析跨域生态产业链演化的影响因素。结果显示：各主体参与跨域生态产业链构建后的收益增加越多,成本增加越少,越有利于跨域生态产业链的构建;社会公众对绿色发展的追求对跨域生态产业链的构建具有明显的推动作用;政府征收的环境税和污染罚款能够加速跨域生态产业链的构建,而补贴只在生态产业园发展期表现出促进作用。     

走向有生命的建筑、景观和规划——以贵阳市为例探寻喀斯特山区生态城市的景观建设模式

在简述国内外生态城市发展特点、趋势的基础上,针对贵州喀斯特山区特点,探讨了生态城市的生态景观建设的原则,以贵阳市为例提出了喀斯特山区城市生态景观建设（布局）的五种主要模式：生态社区、生态产业园、生态景观园、生态防护园和生态廊道,分析了贵阳市生态景观空间的拓展方向,并提出了相应的对策措施。     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

基于Petri网的民事诉讼流程建模及评价

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。     

基于AHP-FCE的氯碱化工生态工业园综合评价

循环经济是氯碱化工生态工业园实现可持续发展的一种重要的实践途径,如何判断其循环经济发展所处的阶段和辨别其发展中存在的主要问题是该类园区亟待解决的难题。从经济、物质减量与循环、污染控制、生态环境和园区管理五个方面选取评价指标,采用层次分析法与模糊综合评价法相结合的方法对氯碱化工生态工业园的循环经济进行综合评价,为企业、园区制定循环经济发展决策提供科学依据。最后,以某氯碱化工生态工业园为例,证实了研究的有效性。