论文部分内容阅读
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。
网络协议辅助设计系统中可达性分析的设计与实现
【摘 要】
：
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,
【机 构】
：
西北大学计算机科学系,西北大学计算机科学系西安710068,西安710068,西安710068
【出 处】
：
微电子学与计算机
【发表日期】
：
1992年10期
【基金项目】
：
陕西省教育委员会科研基金
其他文献
烫伤是小儿常见的意外伤害之一。日常生活中以热水烫伤多见，多发生于小儿四肢裸露部位，如头面部、四肢、臀部等，且多发生在〈5岁的小儿，〈3岁婴幼儿占50％以上。由于小儿自我保护意
今年31岁的周学民是朝阳市龙城区七道泉子镇东三家子村的普通农民．看似普通的他却有着现代人的思想魄力．不甘心像父辈一样做个靠天吃饭的农民。周学民一直希望有机会走出农村．脱
砂土的变形强度特性明显存在着应力路径效应，因此在砂土的弹塑性本构建模时硬化参数和函数的选取并不是一个简单的事情。针对砂土的这一特性，用密实砂土进行一系列多应力路径的
肝组织细针吸术的应用体会陕西省米脂县医院李旺林，杜巧利我科自１９９３年５月至１９９４年６月开展肝组织细针吸术１３例。现将资料报告如下：对象及结果住院病人１３例中，男９例，女４例。年龄３１～５６岁。Ｂ超检查均为肝癌
1．断根 断根可减少根系对水分、养分的吸收，促进其生殖生长。具体做法是：结合深耕改土，在树冠外沿垂直线下挖一条60～70厘米深、35～40厘米宽的环形沟，切断土壤下层的粗根，露晒4～5天，然后
郁金香属百合科多年生草本球根花卉，色彩艳丽、变化多端，以红、黄、紫色最受人们喜欢，被誉为花中皇后。郁金香适宜冬季温暖、湿润，夏季凉爽环境，喜阳光，耐半阴，耐寒，可耐-35℃低温。
通过岩石加载的室内试验方法,测试不同岩石破裂全过程的力学特征及其声发射特性,得到岩石破坏全过程力学特性——岩石的全应力-应变曲线、声发射事件累积数、声发射事件率等