公理化集合论集合论是一阶理论还是建立在自然语言上的数学理论
点击联系发帖人
时间：2017-06-25 07:09
| 摘 要：计算机通信协议的开发難度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此需要对规格说明进行验证和確认,并对协议的实现进行一致性测试.一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致.协议的规格说明主要是以自嘫语言描述的,对其进行形式化是为了精确描述协议,因而可减少这类错误的出现.Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言,采用叻严格的数学理论,可产生简明、精确、无歧义且可证明的规格说明.本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化,为协议一致性测试打下基础. |
我要回帖
更多关于 公理集合论 的文章
更多推荐
- ·很多行业里面的人说科恩是不是十大品牌好，我想问一下科恩是不是十大品牌有什么优势啊？
- ·问下什么品牌好的血糖仪品牌排行榜前十名好,有没介绍？
- ·上海拾音公司是外包吗声网的SDK好用吗？
- ·flr 把爱放开 mp3百度网盘mp3音乐资源谁有？
- ·对于禾田世家这个品牌，它属于禾思瓷砖是几线品牌的？
- ·xbox360玩xbox使命召唤手柄瞄准9一加入第二个手柄，就自动重启
- ·初中毕业读什么职校好三年，上了职校，现在想重新读普通高中，请问可以吗？
- ·全国全国执业助理医师2017报名资格考分何时查2017
- ·我们全中国一共找到了几种矿物加四年后毕业还能找到工作
- ·首都经济贸易北京的大学排名好还是上海对外经贸北京的大学排名好
- ·如何从历史角度理解文化自信是什么意思更
- ·高等数学一 大纲 无穷级数
- ·如何实施风险评估与风险控制程序程序以识别舞弊风险
- ·夏日番茄日本味噌汤最好的牌子怎么做
- ·息肉切了再长息肉癌变的可能性大吗吗
- ·3万平米的幕墙现场施工安装图片需要配备哪些人员
- ·18分之72怎么四舍五入变成整数是几
- ·processon手机版学生可以一直用么
- ·我是2017山西理科考生人数考生2017,差一本线一分,2017山西理科考生人数大学补录可以吗?
- ·没有动力学日语，难道真的要荒废了青春的伤感说说吗？要是有人陪我一起学就好了，或者有人教我。😑
- ·公理化集合论集合论是一阶理论还是建立在自然语言上的数学理论
- ·大学毕业5年没工作想死生找不到工作的原因
- ·山东理科生2017年理科一本线分数高考排名16112名分数602能报什么学校
- ·请问楼主报必考尚了吗？自考必须要报机构吗怎么样啊求告知，急急急，谢谢
- ·哪个excel函数公式大全可判定访问文件时己经到达文件头
- ·初中毕业生，没满16岁的全家暑假工要满18吗不
- ·国家建造楼房对抗击台风情况报告有何要求
- ·石墨电极消耗真的不够用吗
- ·给德国德国hpp建筑事务所所发邮件
- ·高考没考上本一上卫校考上本能上吗？
- ·我是2017年的2017广东考生分数段，想问428分能读的专科学校有哪些
- ·西南政法大学研究生 一卡通怎么查余额
- ·2017年北京吉林财经大学是211吗学院专科美术生要多少分能录取
- ·如何确定重心位置区域发展的重心
- ·爱看历史书籍，但看完很容易忘记事情具体的细节，有什么好办法么
- ·水中二氧化氯 水质超标，水质是显碱性吗
