论文部分内容阅读
本文主要了基于通信有限状态机的协议形式化技术。
基于CFSM的协议形式化技术研究
【摘 要】
：
本文主要了基于通信有限状态机的协议形式化技术。
【机 构】
：
武汉交通科技大学
【出 处】
：
计算机工程与科学
【发表日期】
：
1998年3期
其他文献
目的：本实验以异丙肾诱发心肌缺血大鼠为模型，观察循经取穴对大鼠心肌组织蛋白激酶PKC、PKG蛋白表达与氯离子(CL-)通道CFTR、CLCa1调控基因表达的影响，探讨经穴效应循经特异性机
高考是一项高风险的选拔性考试,具有重大的影响。小说阅读是高考语文的重要内容之一。任何一项考试,试题是关键。从构成来看,试题都可分为“内容”和“形式”两个部分,如果将
目的：本研究从晚清民国与1978年后的鼓胀(西医诊断为：肝硬化腹水,下文中均简称为：鼓胀)文献入手来探讨西医介入后,两个时期医家在诊治鼓胀时的中医证治规律特点及治疗方法特色。
在高度重视孩子素质培养的当下,让孩子学习一两门甚至更多艺术,成为许多家庭的选择。但《半月谈》记者调查发现,一些机构抓住家长心理,组织了名目繁多的艺术类赛事,凡参赛都
小学数学课程内容包含＂数与代数＂、＂图形与几何＂、＂统计与概率＂和＂综合与实践＂四个部分。其中,前三者占据了大部分的课程内容,＂综合与实践＂好似那冰山一角,毫不起眼。但这一隅之地却是
作为流通的重要环节，供应链愈来愈受到企业管理者的重视，并在学术界引起了广泛讨论。如今，将博弈论运用于供应链问题的研究也日益普遍。在市场竞争日趋激烈，食用油产品价格频繁波
摘要：近些年全国快递市场迅速扩大,北京市快递物流行业的需求日益增加,北京市快递收入稳步提高,快递物流行业的高增长性对北京市的GDP拉动作用日趋显著。但是快递业的“爆仓”
笔者应用加味当归芍药散联合恩替卡韦治疗慢性乙型肝炎肝纤维化患者63例,疗效较好。报道如下。1一般资料128例患者均为台州市中医院2014年2月~2017年6月期间门诊收治病例。采
安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要.本文介绍了软件分级安全性的基本概念和贝叶斯模型,重点讨论了如何应用测试结