论文部分内容阅读
传统的随机Petri网定量分析都是针对顺序行为的,而并发描述却是Petri网引以为骄傲的内容,这就形成Petri网擅长描述并发,却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Petri网定量分析方法,旨在改进传统的分析方法,使Petri网真正成为并发系统建模与分析的有力工具。
随机Petri网同步并发行为的定量分析方法
【摘 要】
：
传统的随机Petri网定量分析都是针对顺序行为的,而并发描述却是Petri网引以为骄傲的内容,这就形成Petri网擅长描述并发,却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Petri网定量分析方法,旨在改进传统的分析方法,使Petri网真正成为并发系统建模与分析的有力工具。
【出 处】
：
通信学报
【发表日期】
：
1995年01期
其他文献
光纤光栅及全光纤光子集成系统专题研讨会纪要光纤光栅及全光纤光子集成系统专题研讨会，在国家自然科学基金委的大力支持和指导下，在全国各大院校及科学院所的热情关怀下，经南开大学的筹备，于１９９５年３月９至１１日在南开大学顺利召开。会议上有１０名代表先后就国...
期刊
审计署农业审计司近年在对国家机关进行经常性审计时,在延伸审计方面做了不少工作,积累了一些经验。 1.对财务主管部门进行延伸。财务主管部门历来都是审计的重点。它掌握资金多,有些问题往往通过拨款或往来款项转移到下属单位,审计本级
期刊
问有两家公司因联建工程发生经济纠纷而诉到人民法院,法院后即委托某审 计事务所对双方联建工程基建财务支出 情况进行审计查证,并根据审计事务所提交的审计报告作出了判决。判决后,其中一方当事人不服,要求审计事务所向其提供审计报告,并要求审计机关对已被人民法院认定的查证材料进行复审,纠正审计事务所的查证报告。请
期刊
建立公务员制度是1989年由人事部负责开始在部分省、自治区、直辖市、计划单列市和国务院6个部门进行试点的,审计署是试点单位之一。试点工作主要抓了对主任科员以下非领导职务人员的公开招考、对现有干部进行了系统的培训,国家统一命题并组织过渡考试,按公务员过渡回避的规定,对部分有亲属关系人员进行了回避,结合“三定”工作进行了职位分类,按公务员的要求对各级各类干部进行年度考核等工作。1993年《国家公务员暂
期刊
在专项检查中,北京市丰台区审计局通过听企业情况介绍,查看现场,核对明细帐、总帐、报表等,发现某乡镇企业有偿转让场地收入漏交流转税146万元。企业负责人以联营开发、专项资金、区领导知道为由,拒不接受审计处理意见。
期刊
最近,在机构改革中与工商行政管理部门合并的贵南、同德、兴海县和龙羊峡行委的审计部门将在近期内单独设立,并在州审计局增设外资运用审计科。 在机构改革中,海南州的贵南、同德、兴海三县及龙羊峡行委由于科级机构数的限制,将审计机关和工商行政管理部门合并,有的成立经济监督局,有的成立工商审计局,给审计监督的执法带来了一些困难。鉴于此,省厅李万柳厅长在海南检查农发基金项目审计的准备情况时,就县级审计机关如何履
期刊
一、德国对体育经费的管理 德国体育经费来源渠道很多,但不管来源渠道如何,德国政府都有相应的管理制度。 首先,德国对政府投入到体育上的资金管理十分严格。德国政府每年对体育的投入大约是2.2亿马克,主要用于对竞技体育的支持。作为各级政府投入到体育上的经费虽然只是全部经费的一部分,但德国政府对这部分资金从拨款到基层单位对经费的具体使用上都有一套管理和审计监督制度。
期刊
本文在分析自动脉冲数字测相基本原理的基础之上，推出了不仅与测距频率有关，而且还与填充脉冲频率及低频测相频率有关的新的频率改正公式，并给出新的频率改正公式与传统频率改正公式之间等同的条件，即有锁相环路（或频率跟踪电路）的正常工作来保证。
期刊
巩义市审计局,一个令人钦佩的集体。 1993年挂上了省级文明单位匾牌;1994年又被授予“全省审计机关先进集体”、“全国审计机关先进集体”的光荣称号。 思路清晰 措施得力 巩义市审计局的经验之一就是围绕党的路线、方针、政策和审计署的工作部署,及时地、高标准地制定每一个时期的工作规划,制定完善一整套切实可行的规章制度。做到学有标兵,干有目标,行有准
期刊
<正>国家财政历来是世界各国政府干预经济,影响社会经济活动,调节各方面经济利益关系,平衡社会总需求与总供给矛盾的最基本的手段,特别是当代西方各国对其现代市场经济进行宏观调控的重要手段。财政审计是国家审计的重要领域之一,并且是国家审计其它领域工作的基础。随着现代政府功能的不断扩大,政府活动的日益增加,以及现代财政预决算理论与实践的发展变化,政府财政审计的重要性亦扫益增加,财政审计的范闺与内容也相应地发生着很大的变化。研究外国政府财政审计的范围与主要内容,对
期刊