论文部分内容阅读
可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。
动态死锁分析与检测
【摘 要】
：
可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。
【机 构】
：
广西工学院计算中心
【出 处】
：
广西工学院学报
【发表日期】
：
1998年1期
其他文献
【正】 一个星期天的下午,我关上房门,准备写点东西,忽听到“笃、笃、笃”的敲门声。开门一看,原来是多时未见的老胡。他是个有30年经验的老校对。寒暄一番之后,话题就转到书
目的研究纳洛酮治疗脑血管疾病的临床效果。方法选取我院在2012年6月-2014年3月收治的62例脑血管疾病患者按照治疗方法将其分为两组（各31例）,观察组在常规脑血管疾病治疗法基础
自19世纪以来,数学的呈现方式日趋形式化.定义、定理、证明、推论等均以简洁而抽象的方式陈述.《高等数学》呈现的数学过程,是一种严密的学术形态,呈现出来的是冰冷的美丽.大
创设适合高中生心理需要和认知规律的问题情境必然能有助于学生化学兴趣的培养和激发,有助于学生思维的启发和调动,使学生的化学学习更加灵活而高效.
目的 探讨锁定加压钢板与逆行髓内钉治疗股骨远端骨折患者的临床疗效。方法 选择2010年9月~2013年9月我院骨科收治的64例股骨远端骨折患者作为研究对象,应用随机双盲法将其分
本文探讨了狭义相对论的时空变换所要满足的条件，并给出了一定条件下两惯性系之间的变换式和相对论效应。
高中数学是高中课程的重要组成部分,高中数学内容具有较强的抽象性,学生学习会有一定的难度,需要学生将抽象内容进行充分理解.而兴趣是学生进行探究学习的主要动力之一,因此,
目的探讨黄连提取液膀胱灌注治疗间质性膀胱炎的效果。方法选择56例患者，按照随机数字表法分为两组，各28例，观察组实施0．5％利多卡因麻醉后，导尿管逆行注入黄连提取液120ml至膀胱，对
【正】 全国优秀少年儿童读物评选授奖大会于5月26日下午,在北京首都剧场隆重举行。出席大会的有许德珩、康克清、邓力群、朱穆之、林默涵和著名儿童文学作家高士其、严文井
用固体超强酸ＴｉＯ２／ＳＯ＾２－４催化合成脂肪醇马来酸单酯缩水甘油酯，以等摩尔反应物于５０℃反应３０分钟，可使单酯转化率达到８５．３％。