论文部分内容阅读
本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FSM的有关改进形式技术;最后给出了有关结论。
基于FSM的通信协议形式描述与验证技术
【摘 要】
：
本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的
【机 构】
：
武汉水运工程学院
【出 处】
：
系统工程与电子技术
【发表日期】
：
1990年9期
其他文献
胆道闭锁(biliary atresia,BA)是新生儿时期导致黄疸极为严重的一种疾病。在我国此病并不少见,发病率在出生存活的新生儿中约占1/8000~1/15000,以胆管进行性破坏和肝纤维化为
中国古代音乐史分为三大阶段 :先秦“礼乐时代”,汉唐“交融时代”及宋以后的“庶民时代”。其中“交融时代”是中国古代音乐发展史上最为辉煌壮观、气势磅礴的时代 ,给予中
目的了解2002年-2016年15年间某医院妇科手术疾病及术式的构成变迁趋势。方法资料来自某医院病案管理系统,检索并调用2002年1月至2016年12月接受妇科手术的患者的病案首页资
孔子、孟子的仁学并没有实质的差异,尽管孟子"仁、义"并举,提出"仁政",但精神脉络仍属于儒家一贯以来的仁义观,政治观。所以,本文认为孟子的仁学相对于孔子的仁学是继承大于
目的观察黄芪当归汤辨证加减治疗小儿咳嗽的临床疗效。方法将102例咳嗽患儿按随机数字表法分为对照组和观察组,每组51例。对照组采用小儿肺咳颗粒治疗,观察组采用黄芪当归汤
在井冈山革命根据地初创时期,何长工不远万里不负毛泽东的重托,历尽千难万险寻找到南昌起义部队的下落,为实现朱、毛胜利会师立下了大功;为改造王佐的绿林军,他又孤身入虎穴,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
从1999年春至今本市拉法、漂河、乌林、新农等乡镇的马匹相继发生以高热、贫血、黄疸、迅速消瘦为主要症状的一种疾病,用退热药及抗生素、黄色素治疗无效,经市兽医总站化验室
多年来,由于我国行政事业单位是政府行使公共职能的窗口,其日常运行、支出都由财政预算资金保障,经济业务相对企业简单,因而在日常工作注重社会公共职能的先行使,而忽视单位
在转炉上料系统中增设石灰筛选工艺，实现筛选石灰的功能。对比改造前后的浊环水水质指标，浊环水中钙离子和碱度大幅下降，除尘效果改善。回收的细颗粒石灰送LF精炼炉使用，大大降低