资源描述：
《脉冲探地雷达发射电路设计与实验》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、脉冲探地雷达发射电路设计与实验1、相关定义1.1、Petri网的基本定义Petri网由三元组组成,一个特定的系统可以表示为:N=(S,T;F)。Petir是研究有向图的一种图论模型,当一个系统要组成一个有向网的充分必要条件是:SnT=;FCSxTUTxS;dom(F)Ucod(F)=SUT在以上的定义中:dom(F)={x
2、y(x,y)GF};cod(F)={y
3、x(x,y)GF};其分别为F的定义域以及值域。S以及T被称之为N的库所集和变迁集,13新疆大学硕士研究生学位论文在库所集中包含状态元素8
4、以及变化的元素T个系统模型中的流关系_—,F为整。在一个特定的系统模型中X=SUT被称之为N的元素集。Petri网主要是由库所集和变迁集两种不同的元素集合组成,而流关系则是有这两种基本的元素集合构造的,因此必须用分号将变迁集和流关系分隔幵来。由于状态元素以及变迁集分别表示两种不同类型的元素,因此其交集为空,而其并集不为空则说明在一个系统网中有且至少存在一个元素。在一个特定的系统图中其库所代表了系统的部分或者全部资源,而流关系则说明了系统资源的流向,因此一个孤立的库所是不参与任何资源变迁的且系统是不允
5、许存在孤立元素存在的即不存在孤立的丁元_素。3.1.2.1基本网系统Petri网在最早期的使用中其模型是符合Keco及WeI的一种网系统,在随后的发展及完善中Petri网更多的是指网以及网系统在内的系统模型,这种使用方法在80年代中期人们才明确的将其区分幵来。在Petri网诞生到被人广泛使用的过程中,Petri网被赋予了三种不同的含义:(1)一种满足N=(S,T;F)的有向网,(2)符合一切有向网的特征但其容量函数Keco且其WEI,(3)有向网为基础而发展起来的整个学科。在以上三种不同Petir网
6、含义中主要是按照其系统模型网图的容量函数、权函数的多少以及Petri网的适用范围方面来进行划分的。当容量函数以及权函数有且其值均为1时,表明其状态元素只有两种不同的状态即为:”有令牌”和”无令牌”,在逻辑上可以表示为布尔变量”真”与”不真”两种状态,当且仅当状态元素这个条件满足某种触发状态且构成条件关联的变迁即被称之为事件。在常用的网论中常常将事件划分为条件事件和事件集合,两种范围其分别用B和E来表示。当某一系统网中存在条件和事件两种因素时这种网被称之为基本网或者EN_系统;在一个网系统中,当容量函
7、数为无穷,权函数为1时这样的网系统被称为P/T网/T网也是传统上的Pt—,这种P—etri网;随着Peri网的发展以及不断的完善,14新疆大学硕士研究生学位论文科研的需求以及适用范围的日益扩大,传统Petri网的界定已经不能够显示出其独特的优越性,因此诞生了另外一种系统即P/T系统与传统P一,这种系统etri网的最大区别是K和W均为任意函数。在Petri网中通常会用到K以及W,其中K表示在一个图中容纳系统资源的能力,而相应的K(S)也是一种资源描述了图中S类空间资源的容纳能力,W(s,t)和W(t,
8、s)通常是指一种变迁,当系统资源充足足以维持这种变迁时系统就会根据流关系的指示方向发生变迁,当容量函数为无穷时,系统的变迁就不会受牵制即不会发生资源的短缺而导致的系统冲撞。而相应的基本网系统是指既有容量函数又有状态元素和变迁元素的集合。3.1.2.2库所/变迁系统库所/变迁系统通常又称为P/T系统在P/e[M。>。能够满足最小集合条件的系统有很多,例如在一个由所有标识所组成的集合中,系统的变迁集合可以包含M。以及由M。满足变迁条件而经过有限次的变迁而达到的那些标识即在P/T系统中若存在若干个并行可达
9、的标_识时,可以将并行步可达到的标识看作系统的其中一个结点满足变迁条件而产生的变迁顺序到达下一个结点的变迁结果,因此系统在可达的标识中也包含并行可达的标识即[M。>。15新疆大学硕士研究生学位论文系统可达标识集是对系统在满足变迁条件并按照流关系的指示方向产生相关的变迁而产生的集合。在一个P/T系统中当存在一个常数K则说一,使其M1.2、VRML编程概念(1)VRMLScript的基本特征VRMLScript在VRML场景操作能力上的优点:a、支持Script节点的URL域支持的协议;支持VRML节点
10、的分布式应用。b、直接处理EventIn事件:由于VRMLScript是脚本语言,且是直接解释执行的,并非编译后方能运行,因而便于对其运行过程进行分析。VRMLScript事件处理过程和步骤分析如下:EventIn函数与参数传递b、initialize()方法当事件值传入后,initialize()方法首先被运行,完成对脚本和系统的初始化工作。EventOut(2)PROTO节点的面向对象编程信息工程大学工程硕士学位论文第20页一个PROTO定义描述一个新节点,新节点
