EFSM模型协议一致性测试序列自动生成研究.pdf

踌贡却童火警硕士研究生学位论文筮鲞让篡扭型堂皇拉丕一让篡扭堂院业:师:邙坚密级:保密期限:学姓专导号名:院:年
日翌:型型巨丝孟复丝宝也呈葜恋妒独创性虼葱滦声明本人声明所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标注和致谢中所罗列的内容以外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得北京邮电大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。申请学位论文与资料若有不实之处,本人承担一切相关责任。关于论文使用授权的说明学位论文作者完全了解北京邮电大学有关保留和使用学位论文的规定,即:研究生在校攻读学位期间论文工作的知识产权单位属北京邮电大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许学位论文被查阅和借阅;学校可以公布学位论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。C艿难宦畚脑诮饷芎笞袷卮斯娑非保密论文注释:本学位论文不属于保密范围,适用本授权书。本人签名:导师签名:日期:⒐
业余无线电空间电台通信协议设计与实现摘要生时,电力线路,通信线路和其它设施都会遭到破坏,此时通信对于抢险救灾来说起着非常重要的作用。另外业余无线电运动是一项技术性较强的运动,它综合了电子、外语、计算机,甚至天文、地理、地区文化等诸多知识,同时又有极强的趣味性,尤其是对于青少年,可培养他们的动手、动脑能力,确定一个好的人生目标,长大后成为对自己的业余无线电空间电台显得格外重要。为了能够给业余无线电爱好者提供短信转发服务,并且与现有的地面设备保持兼容,,。现这~课题展开。,然后介绍了系统总体结构的设计以及系统需求分析,,并对接口驱动的设计与实现方法以及协议的一致性测试进行了描述,最后还简要介绍了系统待改进的地方。业余无线电运动作为一项趣味性的科普运动,在科技教育方面以及在抢险救灾方面起到不可忽视的作用。当地震、水灾等自然灾害发国家有用的人才。为了更好地发展业余无线电运动,并与接轨,研制作为嵌入式系统通信软件必需具有实时性、可靠性、低功耗等特点。所以合理的运用设备有限的资源,选择合适的实时操作系统并有效的本文围绕业余无线电空间电台软件系统中通信协议的设计与实上,按照协议工程的思想和方法,。、帧结构、关键词:
琭..,,琫,甌,—,,..北京邮电人学硕:貉芯可宦畚甀
.北京邮咳搜Ч薎:研究生学位论文