【摘 要】
：
为了克服数值分析方法在流体随机Petri网模型检验中的缺点。根据形式化方法．本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法，同时介绍了流体随机Petr
【基金项目】
：
广西壮族自治区自然科学基金（0542049,0640032）资助
论文部分内容阅读
为了克服数值分析方法在流体随机Petri网模型检验中的缺点。根据形式化方法．本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法，同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法．并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法。在此基础上给出了流体随机Petri网的混杂自动机模型构造方法．实例分析表明，借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验．
其他文献
以石武客专西南下行联络线特大桥为例,介绍了连续梁桥施工监控的目的、内容和方法,论述了在施工监控中线形与应力监测的一些理论与方法,经工程实践验证作为大跨度连续梁桥的
为探讨γ-氨基丁酸(GABA)对低温胁迫下桃果实蔗糖代谢的影响,以湖景蜜露品种水蜜桃为试验试材,采用5 mmol·L-1外源GABA和100μmol·L-1 GABA-T抑制剂(VGB)处理桃果
在初中美术教学中,小组合作学习能够充分满足当代学生追求自由,崇尚民主的心理意愿,激发学生对于美术学习的兴趣,并发挥学生的主观能动性。但是目前国内有关美术合作教学模式
目的：研究不同护理方法对经皮肺穿刺置管介入治疗慢性肺脓肿疗效影响。方法：将46例慢性肺脓肿病人分为A、B两组。A组：先抽脓、灌洗，后经引流管注药并封管；B组：先抽脓、灌洗，后注药，并
为探究更有利于保留蜂花粉原有营养和风味的杀菌方法,本研究分别用辐照、超高压和高压静电场3种非热杀菌技术处理蜂花粉,并测定营养及风味的指标。结果表明,7 kGy辐照、500 M
根据原木端面图像的获得方式及其特性,改进了方向链码的轮廓跟踪技术,提出了从图像中心点开始竖直往下扫描获取跟踪起始点,并在约束条件下自动寻找端面图像目标轮廓的算法,此算法大大提高了原木端面图像的轮廓跟踪效率.原木端面为类圆形图像,根据获得的目标轮廓的链码序列和边界点的坐标信息,提出了确定原木端面图像目标轮廓的圆心及最短径等一系列检尺参数的方法.
神华神东煤炭集团公司保德煤矿（简称保德煤矿）位于山西省保德县，随着瓦斯涌出量的逐年增加，原有刘家堰瓦斯抽放泵站不能满足矿井通风要求，通过对煤层瓦斯基础参数和瓦斯涌出量的分
数据是数字城市构建的"血液"。本文基于笔者多年从事数字城市的相关工作经验,以城市基础地理信息数据库设计与构建为研究对象,论文首先探讨了城市基础地理信息数据的类型,而后分析了城市地理信息数据库的内容,进而探讨了城市基础地理信息数据库的逻辑设计思路和数据库的详细设计思路,最后给出了城市地理信息的存储管理方法,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。
近年来,随着我国教学事业的变革,使得教学模式也发生了相应的变化,当下我国广播电视节目的前景不容乐观,为了从根本上改变广播行业存在的不足,相关学校应当改变目前广播专业