指挥控制系统信息处理容量模型

信息处理容量是指系统在目标信息处理的最大允许时延范围内所能同时处理的最大目标批数，它是衡量指挥控制信息处理能力的主要性能指标。该文以时间Ｐｅｔｒｉ网为建模工具，建立了一类典型的指挥控制系统信息处理容量模型，定量分析了信息处理容量与系统资源、系统各功能模块任务处理时间之间的关系，指出系统的瓶颈。     

ANALYSING METHOD FOR THE FORMULATING PROCESS OF ENTERPRISE MERGER AND ACQUISITION STRAGEGIES BASED PETRI NET

For the first time, this paper introduces Petri net theory to the domain of enterprise strategy management, puts forword a new way by using Petri net to analyse and describe the formulating process of enterprise merger and acquisition strategies, provides a clear and simple tool for supporting the management bureau of enterprise to make its merger and acquisition strategies.     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

基于广义随机Petri网的再制造供应链建模与性能分析

为分析再制造供应链的性能,采用了基于广义随机Petri网的建模分析方法,并根据广义随机Petri网与马尔可夫链的同构关系,将广义Petri网模型转化为等价的马尔可夫链模型.通过马尔可夫链及相关数学方法得出再制造供应链的主要性能指标.该方法不仅可以分析整个再制造供应链的性能,还能对各个环节的运作效率做定量分析,为再制造供应链回收再制造模式的选择提供了一个思路.     

基于Petri网的车辆交通实时调度研究

设计了一种交叉路口车辆交通实时调度策略,建立了交叉路口交通系统的受控着色PN模型,定义了单个方向上路口车辆的整体等待时间和平均等待时间,实时的根据两个方向上整体等待时间的差值和平均等待时间的差值实现红绿灯的切换。     

基于Petri网的交通信号控制系统

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。     

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.     

辛夷植物繁殖技术研究概况

辛夷植物不仅是用材和庭园绿化的优良树种,而且在医药、香料等方面用途也很广泛,开发前景非常乐观,因此应重视利用和保护辛夷植物.概述了近年来辛夷植物繁殖的研究进展.辛夷植物中,天目木兰、紫玉兰及望春玉兰等扦插已获成功;嫁接技术相对较为成熟;组织培养较为薄弱,只见紫玉兰有组培成功的报道.     

一种软件过程复用的价值模型分析方法

 为了使软件组织通过软件过程复用快速而高效地建立软件过程模型,提出了一种软件过程复用的价值模型分析方法,在建立软件过程复用价值Petri网模型的基础上通过对模型中软件过程的执行时间和价值的分析来为软件过程的复用提供价值评估指导和决策支持.