网络协议辅助设计系统中可达性分析的设计与实现

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:babala_chen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。
其他文献
丁烯氟虫腈是大连瑞泽农药股份有限公司在N-取代苯基吡唑类化合物基础上通过结构修饰开发的低毒苯基吡唑类杀虫剂,结构新颖,作用方式独特,具有我国自主知识产权。制剂为5%丁
期刊
烫伤是小儿常见的意外伤害之一。日常生活中以热水烫伤多见,多发生于小儿四肢裸露部位,如头面部、四肢、臀部等,且多发生在〈5岁的小儿,〈3岁婴幼儿占50%以上。由于小儿自我保护意
今年31岁的周学民是朝阳市龙城区七道泉子镇东三家子村的普通农民.看似普通的他却有着现代人的思想魄力.不甘心像父辈一样做个靠天吃饭的农民。周学民一直希望有机会走出农村.脱
砂土的变形强度特性明显存在着应力路径效应,因此在砂土的弹塑性本构建模时硬化参数和函数的选取并不是一个简单的事情。针对砂土的这一特性,用密实砂土进行一系列多应力路径的
1.病毒性肠炎 急性传染病,发病急、流行快、传播广,死亡率高(80%~100%),对养貉业威胁极大。症状与犬瘟热有许多相似之处。
肝组织细针吸术的应用体会陕西省米脂县医院李旺林,杜巧利我科自1993年5月至1994年6月开展肝组织细针吸术13例。现将资料报告如下:对象及结果住院病人13例中,男9例,女4例。年龄31~56岁。B超检查均为肝癌
1.断根 断根可减少根系对水分、养分的吸收,促进其生殖生长。具体做法是:结合深耕改土,在树冠外沿垂直线下挖一条60~70厘米深、35~40厘米宽的环形沟,切断土壤下层的粗根,露晒4~5天,然后
郁金香属百合科多年生草本球根花卉,色彩艳丽、变化多端,以红、黄、紫色最受人们喜欢,被誉为花中皇后。郁金香适宜冬季温暖、湿润,夏季凉爽环境,喜阳光,耐半阴,耐寒,可耐-35℃低温。
[美容三红粥]红枣、红豆(赤豆)、红米(紫米)各适量熬粥。有补心血、健脾胃功能,经常食之不虚不燥,面色红润,皮肤细腻。适宜产后、病后体虚者。
通过岩石加载的室内试验方法,测试不同岩石破裂全过程的力学特征及其声发射特性,得到岩石破坏全过程力学特性——岩石的全应力-应变曲线、声发射事件累积数、声发射事件率等