论文部分内容阅读
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法.
基于SDL语言的移动Ad-hoc网路由协议的设计和验证
【摘 要】
：
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证
【机 构】
：
中国科学技术大学研究生院,中国电子设备系统工程公司研究所
【出 处】
：
计算机科学
【发表日期】
：
2004年3期
其他文献
介绍了金鸡岩洗选厂工艺流程。通过对原煤性质的分析,说明入洗煤质极度恶化,为煤泥水处理带来困难。通过对煤泥水处理药剂的实验室及工业试验研究,确定了适合煤质现状的药剂
随着搜索引擎的广泛使用,由此而引起的网络机器人(Web Robot)对于Web站点的访问所产生的影响必须引起重视.该文分析了网络机器人的访问行为特点,提出了一个基于访问内容类型
阐述了邯郸洗选厂四粒级选煤工艺的流程,说明流程具有选煤工艺精细化、控制技术数字化、技术装备国际化、先进技术集成化、组织生产简单化等特点。通过对无压三产品重介工艺
分析了影响成庄矿选煤厂生产效率的因素,提出实现选煤厂高效生产的关键在于从系统流量的最大化入手,找出限制系统流量的关键设备并进行改造。依据网络最大流理论,通过对选煤
阐述了孟南庄选煤厂的工艺流程及工艺特点。针对选煤厂存在的主要问题，从煤泥水沉降、干扰床床层稳定、底流管堵塞、精煤带矸4个方面提出了相应的技改措施。实践证明，技改后明
针对兖州煤业股份有限公司济三选煤厂煤泥水难以沉降问题,进行了煤泥性质和煤泥絮凝沉降的试验研究,得出了煤泥水沉降规律。煤泥性质研究表明：选煤厂一段浓缩浓缩效果不理想,
分析了国投新集公司第二选煤厂主要煤样的煤质特性。从工艺流程、优缺点和经济效益3个方面对重介分选和跳汰分选进行了对比分析。结果表明重介分选具有易操作、自动化程度高
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识.本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的
Tandem repeat在基因组成和进化中起到非常重要的作用,查找和分析Tandem repeat已经成为当前生物信息学的一个前沿领域和研究焦点.目前在这一研究领域存在多类解决方法,主要
基于演化思想探讨了Peano空间填充曲线的非递归生成算法及其推广.通过基本元素的确定、变换和组合三个步骤完成曲线的绘制.算法简单、快速,而且有一定的通用性.