论文部分内容阅读
利用Petri网可以处理并发事件和进行并行处理的优点，结合Petri网的相关理论．对单重循环语句及多重循环语句用Petri网进行表述，通过Petri网的描述更利于分析循环语句的并行性．对单重循环的先赋值后引用和先引用后赋值的并行性的特点进行详细的分析．
基于Petri网分析循环语句的并行性
【摘 要】
：
利用Petri网可以处理并发事件和进行并行处理的优点，结合Petri网的相关理论．对单重循环语句及多重循环语句用Petri网进行表述，通过Petri网的描述更利于分析循环语句的并行性．对单
【机 构】
：
大连海事大学信息科学技术学院
【出 处】
：
辽宁师范大学学报：自然科学版
【发表日期】
：
2008年3期
其他文献
<正> 1 概述 大肠杆菌病是由致病性大肠杆菌引起的急性或慢性传染病,其血清型极多,菌体抗原(O)141个,荚膜抗原(K)80个,鞭毛抗原(H)49个,禽类中最常见的血清型是O_1,O_2和O_(7
2005年，疫病检测中心收到来自商品肉鸡的求诊病料共计330户，分别通过HI试验，ELISA试验和细菌分离鉴定试验，进行了ND、IB、IBD和大肠杆菌病的检测定性，本文对送检结果进行整理，从送
以苯甲酸为原料,通过多步反应合成了1种新型双偶氮化合物3,5-二-（4-羟基苯基偶氮）苯甲酸乙酯.利用IR1、HNMR、UV-vis进行结构表征.该化合物（1.2×10^-5mol.L^-1四氢呋喃溶液
主要研究四阶三点边值问题,首次应用两对上下解的方法,在假设f（t,u,v,w）满足Nagumo条件下,应用Leray-Schauder度理论,获得了四阶三点边值问题三解的存在性,在以往有关文献中,涉
病毒性心肌炎(VMC)患者早期的临床表现、体征及实验室检查结果均缺乏特异性,因而确诊相当困难,国际上尚无统一的标准.VMC的过度诊断难以避免,但因漏诊导致的失治误治,临床上
【美味品尝】今天,马小跳带了泡泡糖到学校吃。下课的时候,他明明看见路曼曼走在前面,才把泡泡糖塞（sāi）进嘴里,可是还是被路曼曼发现了。她猛地一转身,用手指着马小跳的鼻子：＂
<正>目的:建立小鼠糖尿病性白内障模型,明确晶状体上皮细胞转分化在糖尿病囊下型白内障发生中的作用。方法:采取成年C57/B6 7-8w龄雄性小鼠,连续6d腹腔注射STZ(40mg/Kg/d),同
会议
中国古代哲学家认为:不仅要认识,即“知”,尤其应当实践,即“行”,只有把“知”和“行”统一起来,才能称得上“善”。在小学“道德与法治”教学中,既要注重理论认知又要注重
目的观察靶控输注异丙酚全凭静脉麻醉诱导及术中血流动力学变化、术后苏醒时间及相应的效应室浓度,以指导临床合理用药. 方法 15例择期行腹腔镜胆囊切除术患者采用靶控输注异
在无催化剂的条件下,采用不同物系进行了苯乙烯氧化反应制得苯甲酸的研究.考察了物系种类、H2O2用量、反应温度、反应时间、反应物的加入方式等因素对该反应的影响.结果表明：