为了测试美国, 香港, 中国大陆三地警察的实力, 联合国将三只兔子放在三个森林中, 看
三地警察谁先找出兔子.
第一个森林前是美国警察, 他们先花整整半天时间开会制定作战计划, 严格分工, 然后派
特种部队快速进入森林进行地毯式搜索, 结果开会耽搁了时间, 兔子跑了, 任务失败!
然后轮到香港警察, 他们派了一百多号人和几十辆警车在森林外一字排开, 由带头人用喇
叭喊话:"兔子,兔子,你已经被包围了, 快出来投降......" 半天过去了, 没动静. 飞虎队
进入森林, 搜索一遍, 没结果, 任务失败!
最后是中国警察, 只有四个, 先打了一天麻将, 黄昏时一人拿一警棍进入森林,没五分钟,
听到森林里传来一阵动物的惨叫, 中国警察一人抽着一根烟有说有笑的出来, 后面拖着一
只鼻青脸肿的熊, 熊奄奄一息的说到:"不要再打了, 我就是兔子......."
无事，吃喝玩乐而已。
请北京的同学吃了顿，还是湘菜，聊表心意吧，感谢大家一直以来的帮助啦~
我又喝了两小杯啤酒，青岛，不上头。
WCG（World Cyber Games）中国赛区决赛在人大举行，上午看了魔兽，下午看了几场反恐~nice！
明天不玩了，实验室见~
晚上重看《爱情呼叫转移》，看到结尾带着耳机睡着了，睡神来了，什么也不管了，日记便也耽误了。现在补偿起来吧。
昨天是个更nice的day，一切简直太顺利了。用一整上午的时间，实现了初级的B类协议，跟A类差不多，还缺少阻塞环境的模拟。感觉实现阻塞的模拟是刻不容缓了，下午便开始向阻塞模拟开刀，也是顺利实现!
文档中有好几个地方都是很不明确的，不知道是没有考虑到呢，还是略去不写了。正好，张师兄来实验室了，便把存在的几个疑问一一请教，打通了思路。而且，在请教讨论过程中，还spark出了一个解决乱续模拟的方案！
用了大约2个小时的时间完成了基本的阻塞模拟代码，一些小bug，不多久便都调过了。后面又用了2个小时结合自动生成的Chart Sequence做微调，以保证下午拍脑袋拍出的代码是可用的。阻塞模块是个基础设施，整个ABC三类协议中都是需要的，所以要尽可能保证它不出错。
不知不觉摸到了很久，一看表, =.=|| ,竟然8点了，还没吃饭咧！赶紧地，写了点总结记录，打扫桌面战场，收工！8:20下楼，吃了俩馅饼，一碗绿豆粥，好吃！
来北京有段日子了，对于北京的物价已经习惯，5块钱的饭，貌似是十分节约了，Orz.
Stop！有人催着吃饭了.
Nice day！昨日的郁积随着一行行优美的代码和漂亮的图形而散发。
上午将A类协议的框架搭好了，基本可用，但尚未模拟出流水发送。
下午，通过观察XSpin生成的图形，发现了问题的所在，在原始代码中加入了流水发送的处理，便很好地实现了流水（Pipeline）。一些小Bug，花了点心思，也都一一解决了。
今天一共开发了4个版本，分别为A3,A4,A5,A6，特别地，在A6中加入了对传输介质的模拟，这样，整个模型由4部分组成：发送方进程，介质到接收方进程，接收方进程，介质到发送方进程。这种模型为后面A7的开发提供了极大的便利。
在A6中还有一个东西没有模拟出来：乱序发送。而利用两个介质进程可以很方便地模拟这一切！
明天下午实现这个吧，上午先把B类协议的v1做出来。
总之，今天很顺利。晚上，心情很high，突然想好好走走。
城市的喧哗，有一半来自于这无穷无尽的车流。就让我暂时告别这些吧，我想好好走走，好好感受下这天天擦肩而过的中关村。
发了一封短信，开始出发，不紧不慢。很自然地走着看着想着唱着–走着这繁华的大街，看着这想着车来人往霓虹灯光，想着某个人某些事，唱着燕姿的小曲。这样的闲暇，让人远离尘嚣。却不知，尘嚣之外，还有很多迷惘很多烦恼。
因为从ict到ruc只有一个拐角，所以不会迷路，全程45分钟。
昨天，今天，我确认我处在一个灰色地带。
QQ签名修改为：Milestone: Mechanism A Verified.Proofed Correct!
现在看来，简直就是扯淡！Milestone实为Scratch.
昨天的工作仅仅是叫开个头，表示：现在开始着手做验证了。
现在发现，用Spin建模并没有想象中简单，看过的一些例子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型，还是特别耗脑子的。
心中存了几个疑问，等了一上午也没看到研究生gg来，只能靠自己猜想，这是很难受的！天知道我那些所谓猜想错成了什么样子。
下午午睡醒来，发现马老师又来了，于是直接请教他算啦~这个协议是他一手拍脑袋设计的，第一作者，对问题的理解自然是最到位的了。
在他的讲解下，对协议中的流水线发送方式有了比较清晰的理解，可是，理解过后带来的是莫大的痛苦–建模难度大多了！！！
下午在纸上拍脑袋拍了好几个方案，但都过于复杂（或曰杂乱），一一否决。还有一些方案，Spin直接报错：解空间过大，内存溢出，无法完成搜索……
心中很乱，以致晚上和TaoTeng吃饭的时候心里还是十分不舒服，总感觉有什么堵着在，尽管TT那么有意思的表演 =.= 这个东西怎么就那么烦人呢？中邪了……
明天继续，现在脑袋中装这一个似乎可行的方案，回来的路上冒出来的。但愿可行！
周五前如果不能把这个搞定，这个周末我就哪里也不去了，不信你个邪！
喝了点点啤酒，晕了*&#$￥*%￥@#@*&*
———————————————
Just one glance, that’s everything I could wish for.
转移到人大的朋友这边来了，又是一个新环境，早上自然又醒的很早了。这里没有农大凉快，不过比起武汉的温度，我已经很感恩了！
昨天跟HeY，TM，逛过一下午动物园之后双脚是完全不行了，到了哪里都只有一个念头：坐一下吧……但她们两位却仿佛没有什么事儿一样 >.< 昨天晚上吹了一晚上的电扇，这貌似也是在北京第一次吹电扇了，早上出门的时候感觉有些微微的酸了。今天要注意。
7：40就到所里了，大约是十多天来最早的一次。疯了2整天，上午不是很收心，效率不高。中午某敏来信邀去K歌，虽然是工作日，但考虑到老师放假了，也没给我很严格的限制，同时晚上我打算返回实验室把下午的工作补回来，机会难得，欣然答应，还拉上了叶子。他很搞笑地告诉我说他请假的时候，他的组长竟然愣了一下，然后才勉强答应。
下午，Mer，叶子，TM，HeY，我一起到“13 Miles”唱歌，点心饮料免费供应，K了三个半小时，嗓子都有些哑了。很荣幸地欣赏了传说中的某人的“两只田鼠”，Hoho~
K歌才发现，燕姿的很多歌是好听不好唱的 🙁 哼起来简单，正儿八经地唱，却很有难度！
吃过晚饭，TM送HeY回武汉，我和叶子会ICT，Mer和我们同路，回北航。周末Crazy之尾声版结束。
回到实验室，我着实吓了一条：导师竟然来了！没有放假么？？？？
因为我现在心态比较放得开了，竟然能很自然地带着惊讶的语气问：“马老师，您不是不在北京啦么？”他也笑着回答：“我什么时候告诉你我不在北京啦?我来查岗咧~”然后我告诉了他上午有人打电话找他，就开始看文档了。
有件事情比较奇怪：那几本文档的顺序变了！《通信子系统》那本本应该在最上面的，结果现在放到了《文件系统》下面…… Ｏｒｚ
为了补偿下午的时间，晚上看的很投入，有了一些进度。预计三天之内可以把验证工作搞好。
马老师真够厉害，９：３０了还在实验室！作为组长，压力肯定很大吧？一方面要搞管理，一方面还要搞科研。十分佩服这样的人的～
－－－－－－－－－－－－－－
专业部分：
通信子系统的可靠性协议分为Ａ、Ｂ、Ｃ三类，各自有着各自的用途。
为了实现可靠性传输，都需要利用超时重传机制，同时附带还可能引入流量控制问题，重传方法选择问题等。
通信子系统包含了软件和硬件两个方面，单纯从协议验证角度看，只需要较好的了解软件部分即可，但若要有一个清晰的全局认识，则硬件部分同等重要。
由软件带动硬件，这是我当前的学习路线。
－－－－－－－－－－－－－－
如ｆｄｘ刚才感叹的，出门在外，还是小心点好。嗯，有理！
Brief for Today: Eat,Wait,Walk in the Zoo,and Eat Aagin.
Moved from CAU to RUC temporaly.
昨天，XSpin的错误轨迹跟踪方法掌握，开始接触到曙光5000通信子系统协议。和马老师讨论了关于电梯问题的求解模块问题，很受启发。
今天，玩的很High！
上午，8点起床。左边在纸上比划着电梯的算法问题，右边在想是不是还是去实验室溜达呢？今天肯定没人，那里清净。九点左右，电梯调度算法竟然被我比划得有点样子了！突然接到LD的短信，问今天去不去？一下有点懵，去哪？是下午的聚会么？问了才知道，原来是上次约的TM，HeY，YH，LD一起去吃新疆菜……全然……HOHO，什么也不用想了，向交大进军！
在一个N深N深的巷子里面，终于看到了传说了很多年的新疆菜馆。那么深，竟然还宾客如云！真是应了那句老话：酒香不怕巷子深！新疆菜的确很有特色，我猜测，这里的羊肉一定是极品吧，只可惜我对羊肉的味道不感冒。肉串的味道不算膻，吃了两根，但是羊肉，唉，我是在吃不动。传说TM很能吃肉，怎么也表现不佳了呢？后来还是绿色食品好啊，后来被干得干干净净！三个女生扬言每人5根肉串，结果……浪费人民的劳动果实呀！
吃完饭，和YD,ZY,SYL,Mer等人会和，原准备去K歌，结果YD建议去看电影~也是个不错的建议，话说某人我还没到“现代”电影院看过电影的说。
电影《男儿本色》，比较标准的警匪片，如果在电脑上看，也就一般般的感觉，在影院里，音响效果太好了！看着还是很过瘾的。难怪大家愿意花几十块钱去电影院咯。
晚上，接着吃！ 湘菜，太棒了！下次我还要吃~~~~~~
Reset Day，Rest Day，Nice Day，Day By Day~