论文部分内容阅读
首先介绍将BGP4＋的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4＋的Petri网模型直接进行可执行测试序列的自动生成,同时给出生成算法。
基于Petri-All-P-Uses的BGP4＋可执行测试序列生成
【摘 要】
：
首先介绍将BGP4＋的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4＋的Petri网模型直接进行可
【机 构】
：
内蒙古财经学院计算机信息管理系
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2011年3期
其他文献
石油企业是国民经济的支柱产业,具有高投入、高能耗、高成本、高风险的特点。全面预算管理自从上个世纪20年代其在众多大型工商企业中得到了广泛应用。本文基于石油企业成本
我国维吾尔族传统医药是维吾尔民族传统医学与传统文化交融的知识结晶,具有鲜明的民族特色和地域特色。然而,由于各种因素,对其医药与传统文化的知识产权重视程度不够,直接导
会议
随着经济社会的快速发展,我国大气环境质量日益恶化。之前,由于传统监测制度、配套体制的不完善以及经费和人力的有限,各种污染物没有得到有效监控。当前,日益复杂的大气环境
<正>本文主要研究风机变频改造技术在火电厂的应用,分析了风机能耗组成与变频节能原理,并以某火电厂风机机组变频改造工程实际为例,对变频风机在火电厂中的应用进行了讨论。
<正>军人犯罪行为是军人犯罪心理因素外化的结果,分析军人犯罪的心理特征,研究相应的对策,可以有效地预防军人犯罪。军人犯罪的心理因素纷繁复杂,但归纳起来主要是以下几种典
阐述了工程总承包模式的基本理论和发展情况,并根据我国现阶段建筑市场的特点,从业主管理的角度,重点分析了总承包模式的应用环境,提出了总承包项目发包范围的确定方法,分析
通过对．NET平台和组件技术的介绍和对选课系统的相关问题的分析．着重阐述基于B／S模式下的．NET组件开发的一般方法．并在此基础上完成选课管理系统的功能描述和组件设计。
基于沿海地区与陆域腹地旅游相互作用与协同发展的视角,运用泰尔指数、标准差、变异系数、相对发展率等方法,探讨山东省滨海旅游与陆域旅游经济发展时空差异及演化特征。研究
《梦溪笔谈》是沈括用笔记体杂谈的形式,不仅记载了其多年从事科学研究考察的成果,还记述了当时的社会见闻和逸闻故事,语料丰富,词汇众多,是宋代笔记的集大成者,具有非常高的
目的:探讨早期跟骨牵引延期经胫骨前方皮质入路植骨内固定治疗SchatzkerⅤ、Ⅵ型复杂胫骨平台骨折的临床治疗效果。方法:2004年5月~2012年1月间31例复杂胫骨平台骨折患者,根