收藏本站
《烟台大学学报(自然科学与工程版)》 1997年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

ISO/OSI运输层协议的形式描述

孙瑞志  
【摘要】:通信协议的形式描述是协议实现、正确性验证和一致性测试的基础.本文用一种混合式模型对ISO/OSI的运输层协议进行了形式描述,为协议的实现打下基础
【作者单位】烟台大学计算机科学与工程系
【分类号】:TP393

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 徐永嘉;DBC数据库机原理及其形式描述[J];中国科学技术大学学报;1982年S1期
2 周巢尘;通信协议的设计[J];计算机学报;1983年05期
3 顾君忠;陆大绚;;形式语义学发展简介[J];计算机科学;1984年03期
4 王义和 ,高永慧;一个小C程序设计语言文法的形式描述[J];哈尔滨工业大学学报;1985年A3期
5 高强;孙绍明;;用NJTU模型描述CCITT七号信令系统[J];北京交通大学学报;1986年03期
6 胡建彰;;Videotex(可视图文)系统[J];电信科学;1987年08期
7 刘增基;徐展琦;;一种新的ISLN通信协议[J];通信技术;1987年04期
8 匡雷;聂涛;;通信协议分析的一种新方法[J];北京交通大学学报;1987年01期
9 李腊元;适于通信协议形式描述的一种混合模型[J];计算机学报;1988年05期
10 沈立涛;协议形式描述及验证的时态系统[J];计算机工程与设计;1988年01期
中国重要会议论文全文数据库 前10条
1 曲大健;边肇祺;;地震资料解释中不确定性问题的处理方法[A];1993年中国地球物理学会第九届学术年会论文集[C];1993年
2 赖晓玲;张先康;郑需要;;三维界面和三维速度的两步反演——唐山震区三维细结构研究[A];1997年中国地球物理学会第十三届学术年会论文集[C];1997年
3 赵丕锡;;交互式过程动画的研究[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
4 左宪章;杜恩祥;靳英卫;王瑾;;利用电话线传输的仓库远程值守与监测系统[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年
5 董砚秋;郭喜山;王甲乙;;从集散控制到整体信息——DCS的发展趋势[A];1996中国控制与决策学术年会论文集[C];1996年
6 夏志忠;;可编程序控制器与IBM-PC计算机之间的数据通讯[A];中国航海学会通信导航学术年会(1992)论文集[C];1992年
7 方文郁;;基于ATM通信平台的多媒体系统在船舶避碰决策中的应用[A];船舶通信与导航(1995)[C];1995年
8 邹谋炎;李芳;钟朝东;;无线宽带接入系统LMDS:系统设计和通信协议[A];中国电子学会第七届学术年会论文集[C];2001年
9 蒋建文;韩江洪;林勇;;CAN总线软件设计中的问题及解决办法[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
10 郝小健;萨殊利;张欣;;基于CAN总线的混合电动汽车研究[A];2002中国电动汽车研究与开发[C];2002年
中国重要报纸全文数据库 前10条
1 本报记者 刘英赫;革新IP组网模式[N];中国电子报;2000年
2 武安明;智能型压力变送器在工业自动化控制系统中的应用[N];中国机电日报;2000年
3 张宝慧;TCP/IP协议 电子商务技术支持之三[N];中国汽车报;2000年
4 徐骏;澄清WAP[N];中国计算机报;2000年
5 上海 黄亿钧;简析网络体系结构[N];电脑报;2001年
6 周正凯;小型办公网络的组建(上)(待续)[N];中国电脑教育报;2001年
7 ;Cisco存储路由器支持网络通信协议[N];中国计算机报;2001年
8 信息产业部通信计量中心 谢毅;现代光通信测试技术发展动态[N];通信产业报;2001年
9 李霞;新的网络通信协议有望得到政府支持[N];中国经营报;2001年
10 何高胜;网络通信协议的选择[N];中国电脑教育报;2002年
中国博士学位论文全文数据库 前10条
1 唐渊;大规模集群系统的性能评价与通信优化研究[D];中国科学院研究生院(软件研究所);2004年
2 陶桂宝;基于DNC软插件技术集成化生产管理系统研究与实践[D];重庆大学;2003年
3 杨早;以无线接入点为中心的WLAN主动控制策略研究[D];华东师范大学;2004年
4 肖攸安;网络信息安全中的椭圆曲线公钥密码体系的研究[D];武汉理工大学;2003年
5 梁昌镛;杆状病毒与哺乳动物细胞相互作用的研究[D];中国科学院研究生院(武汉病毒研究所);2005年
6 徐晓飞;基于软硬件协同的机群互连系统通信协议的研究[D];西北工业大学;2004年
7 周乐荣;电力无缝通信中远动通信、网元与网络模型[D];华南理工大学;2004年
8 伍少成;Agent的强化学习与通信技术研究及应用[D];华南理工大学;2006年
9 胡明昌;共享虚拟存储机群高速互连网络研究[D];中国科学院研究生院(计算技术研究所);2004年
10 黄传动;通信协议的分布式测试方法研究和测试系统实现[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 梁波;远程测控系统开发及软件设计[D];电子科技大学;2001年
2 常衡生;水情自动测报系统设计与实现[D];西南交通大学;2002年
3 徐世昌;微机控制的无线粮仓监控系统[D];大连理工大学;2002年
4 林世究;基于GPS、GIS技术车辆监控管理系统的研究与设计[D];武汉理工大学;2002年
5 田立国;HART协议在液压系统中的应用研究[D];兰州理工大学;2003年
6 王建平;PDA线务通通信协议的研究与实现[D];西北工业大学;2003年
7 白晓波;低压电力载波自动抄表系统软件的设计及其可靠性研究[D];辽宁工程技术大学;2004年
8 曹清;PDA系统通信协议研究与实现[D];西北工业大学;2004年
9 蔺京敏;基于P87C591单片机的CAN总线应用层协议的研究[D];河北工业大学;2004年
10 刘瑛;FTU-馈线终端装置的研究和设计[D];南京理工大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026