- 博客(13)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 验证BCL可靠性协议C version1.0[Incomplete]
/** PROMELA Validation Model* 协议层验证** 验证BCL可靠性协议C version1.0** Yuhuang* 2007-7-29*//** 本版本特点：采用集合点来通信,允许CHK、RTT、ACK、DATA丢包，实现了队列自动重发。* 加入了对传输介质的模拟。介质可以丢包，导致包失序。* 加入了对传输介质中存在延迟阻塞的模拟。包可以失序。*
2007-07-30 20:57:00
1634
原创 Promela BCL-6 B4.0 Protocol [Incomplete]
/** PROMELA Validation Model* 协议层验证** 验证BCL可靠性协议B version4.0** Yuhuang* 2007-7-27*//** 本版本特点：采用集合点来通信,允许CHK、RTT、ACK、DATA丢包，实现了队列自动重发。* 加入了对传输介质的模拟。介质可以丢包，导致包失序。* 加入了对传输介质中存在延迟阻塞的模拟。包可以失序。*
2007-07-27 19:56:00
1519
原创 Promela BCL-6 A Protocol
/** PROMELA Validation Model* 协议层验证** 验证BCL可靠性协议A version5.0** Yuhuang* 2007-7-26*//** 本版本特点：采用集合点来通信,允许ACK、DATA丢包，实现了队列自动重发。* 加入了对传输介质的模拟。介质可以丢包，导致包失序。** 未完全模拟的问题：ACK、DATA失序问题*//************** 数
2007-07-26 19:05:00
1296
原创 中科院实习（8）
转移到人大的朋友这边来了，又是一个新环境，早上自然又醒的很早了。这里没有农大凉快，不过比起武汉的温度，我已经很感恩了！昨天跟HeY，TM，逛过一下午动物园之后双脚是完全不行了，到了哪里都只有一个念头：坐一下吧……但她们两位却仿佛没有什么事儿一样 >.7：40就到所里了，大约是十多天来最早的一次。疯了2整天，上午不是很收心，效率不高。中午某敏来信邀去K歌，虽然是工作日，但考虑到老师放假 了，
2007-07-26 08:12:00
1260
原创 中科院实习（9）
昨天，今天，我确认我处在一个灰色地带。QQ签名修改为：Milestone: Mechanism A Verified.Proofed Correct!现在看来，简直就是扯淡！Milestone实为Scratch.昨天的工作仅仅是叫开个头，表示：现在开始着手做验证了。现在发现，用Spin建模并没有想象中简单，看过的一些例子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型
2007-07-26 08:12:00
1693
原创 中科院实习（7）
今天是到北京的第八天。昨夜，风雨大作。今天傍晚，蓝天白云，西边万里祥光，东边泛着青色辉泽。真可谓天朗气清。这清爽的日子里，走出大楼，心情就会无比的轻松。这样的日子，怎能如此浪费呢？周末啊~我在呼唤！生活，需要工作，更需要休息和自在；工作，是为了自由！上午深入学习MAGIC原理，老实说，那些理论证明实在不能完全看明白，只能估计个大概。下午，把报告文档完成了。Word的功能真是AMAZING！
2007-07-26 08:09:00
1313
原创 中科院实习（6）
显然，我不笨！MAGIC文档十分之不丰富，很多东西都考自己摸索。上午，灵感迸发，连续总结、领悟出两个要点，纠正了前两天的错误猜测，更新了ppt文档。兴奋之余，打了两个响指*_*,哇咔咔~既然不笨，下午就开始看MAGIC的原理性ACM文档了，里面讲得比较详细，一面向下看，一面印证着我以前的一些猜测，行云流水的感觉！技术细节就不在这里写啦，等到明天，写到阶段总结的技术文档里面。唉，不由担心起实
2007-07-26 08:08:00
1483
原创 中科院实习（5）
先说早上的一个马路偶见：过北四环马路，一男一女，互不相识，车流从左到右，男靠左，在女之后。此男意欲速过马路，正向前，突然减速，曲线变道，转向女士右边....一个微妙地动作，却看到了人性真实的猥琐面!叹息~照例和老师打过招呼，开终端。同时在纸上写下今日计划： Magic的输入文件的特点（.spec）、语法规则 功能概述文档 自己编写一个测试 更深一个层
2007-07-26 08:07:00
1300
原创 中科院实习（4）
今天周日，本准备继续休息，发出去的短信却一直没有回应，于是休息计划取消，背上电脑去了计算所。大楼里竟然是空空荡荡，没有开灯，零星听见敲击键盘的声音，保洁工在整理清洁。组里的人都没来，难得自由清净。这样的环境让我觉得没有压力，可以随意地做着事情，不用跟时间赛跑，感觉真好！放假了，桶里的水也连带没有了。摇啊摇，却摇不出一滴泪，faint……既然清闲，那就做些清闲的事吧。前天Magic还没有
2007-07-26 08:03:00
1620
原创 中科院实习（3）
依然8:00到达实验室，依然是马老师早早到了，和他聊了几句，关于我住哪里的问题，另外还送了我几颗荔枝.....在草稿纸上粗略写了今天的计划 CPP+XSpin+ABP测试 MIPS汇编 Get An Overview of the Refactored Linux Code and Get the General Idea.今天要确定下后面到底做什么
2007-07-26 08:02:00
1466
1
原创 中科院实习（2）
早上7点起床，困……8点整到达实验室，除了马老师,基本没人。道了声早便开始工作了。今天还是承接昨天的工作，以老师的博士论文为切入点来学习通信协议正确性的证明。Google到了几份论文，发现以学习Promela语言和Spin工具为切入点应该会比较有头绪。很幸运地找到了一篇名为《SPIN Beginners Tutorial》的入门教程，简明清晰，十分适合入门。于是下面一天的事情都是围绕这个
2007-07-26 08:01:00
3167
2
原创 中科院实习（1） -- 第一印象
日志生成时间 20:19 2007-7-11实习单位：中国科学院计算技术研究所智能中心操作系统组导师：马老师上午8:00到达ict大楼，开始了实习的第一天。我被分配到马老师旁边的位子上，这下我就可以随时和他交流了,Hoho~ 稍后，我们到会议室聊了会儿，主要是确认了我的实习时间，然后仔细介绍了他当前想做或正在做的几个项目：·龙芯原型机的初始化代码重构·SMP机虚拟多操作系统
2007-07-26 08:00:00
2811
转载 面向对象的存储设备
本周举行的存储网络世界大会上显露的一个趋势值得我们注意，那就是一种端到端的存储技术将会取代有十年以上历史的SCSI块存储技术。希捷（Seagate）、Emulex和IBM共同进行了OSD（Object-Based Storage Devices，面向对象的存储设备）联合技术演示。面向对象的存储（Object-Based Storage）对现有SCSI命令集加以扩展，从而把更多的功能和智能从
2007-07-08 22:33:00
4294
同义词词林（扩展版）
2010-05-18
FASS简介-抗锯齿原理
2009-01-18
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人