北京->武汉

邪人说,上篇字数太少,好吧,我来接着扯淡。

昨日

4:30 PM,别过Buou,邪人,上公汽至西站。

7:10 PM,发车~ 武汉,我回来啦!

夜,眼睛困,脖子酸,身子冷。随意吃了些零食。

站着的时候,望着漆黑的窗外,脑子里梳理着北京的一幕一幕。老朋友,新朋友,实习,扯淡,聚餐,还有长久的聊天。这一个月堪称完美!无尽的新体念!我比燕姿幸福,相比于“完美的一月”,我有完美的夏天~ 调皮 

且把要感谢的人写下:
Wuhan:
小N,Miller,“白云”

按照人物出场顺序,Beijing:
叶子,Buou,王毅师兄,佘,LD,马导,TM,HR,fdx,ChJ,张师兄,知行2#811的兄弟们

黎明,醒来,睡去。再次看窗外时发现太阳已经升起了,红通通的并不刺眼。这让我想起了昨天早上看日出的情景,那长久的沉寂清新,那片刻的壮丽辉煌。

早上,走廊上开始松动起来,大约又是在郑州下了很多人吧。“郑州是个大站,上下车的旅客比较多,请携带好自己的随身物品,依次从后门下车,刚上车的乘客请往里走”=.=  在俺脑子里面,一直都把火车和公汽的用语融合在了一起滴,faint a faint~~~ 大笑 

大约6点,火车上上来俩非洲人,一个是炭黑的,一个是咖啡色的~。咖啡坐在我对面,显然,他对中国不是很熟悉,从他买方便面和矿泉水的过程就可以看出:没有说话,只是比划着,拿出钱来让售货员自己来挑。这个他可以应付,所以,我继续微笑沉默。

过了片刻,我想,他可能并不熟悉火车上哪里有水,看他张望的神态,终于开口了:“You can get hot water over there.”等他打水回来,我们便有一句没一句地聊了起来。很多没能听懂,但我说的他都能懂,除非我找不到单词来表达自己了……唉,学少了。

他来自非洲一个小国家(名字无法翻译……),27,very first time come to China for business,Speak English and French , Major in philosophy.

后面一路上聊的比较有意思,旁人也开始感兴趣,让我来当翻译。嘿嘿,竟然发现说英语不是很吃力,想当年读小学的时候,说普通话我都觉得费力:(

他们的目的地是广州,但这个车到湛江,并不是很方便。乘务员过来让我跟他们说:建议他们在武汉下,从武汉到深圳的直达车多。他们同意了。

唉,可怜他们不会中文,那我们帮帮忙吧~ 下火车,硬哥帮咖啡抬包,我就在前面“探”路,分别问了汽车,飞机,火车的时间价格。炭黑仿佛很上道,最终有主见地决定坐飞机。而且,他拒绝在那些售票点买票,要直接到机场再买,手续费就省了!Orz,厉害!然后找到出租,司机不是很厚道,一个道路费说要额外的15块,炭黑听了立马从车里面下来,拿了行李便走,大半天我才明白,他说那只要10块,不是15块,司机“Bu Hao”……我彻底无语了。去趟机场大概可以挣几个钱,司机忙下来打圆场,要我帮忙解释那个钱是必须的,是合法的,我也懒得说了,让他自己比划去吧!看着发生的一切,咖啡有点蒙,呵呵,新来的!半天,终于比划成10块了,上车~

车站告别了他们,我直接回学校。这才注意到武汉的热!

相比于4毛,武汉2元的公交让我一下有点不适应了……

在主校区门口竟然碰到钢渣了,也是刚从家回来。HAND&HUG~ 一起坐校车到韵苑。

回来,光哥请我吃饺子~~So Nice Of Him! 洗去疲惫之后吃着饺子,爽!

2点,实习考研的都走了,我和光哥随意聊了聊,不知不觉,我躺在散了一地的报纸上睡着了。

五点多醒来,一切开始适应。IC卡用不了,从舅舅那里弄了个网络电话帐号,给家里打了个电话,得知妹妹的通知下来了,被襄樊的一家专科护理录取,有书读,中!然后又给Bobo说了声到了。

至此,北京,武汉,划了条线。

漫漫旅途

开始厌烦这漫漫的旅途。

曾记一年前初次踏上火车时的兴奋,对异乡情调的好奇(上海北京)。水乡的柔情,平原的飘渺,那一切是如此动人。

一年后,那种感觉荡然无存。去行无票,站至河北,回行虽有票,和同学交替而坐,漫漫长夜,熬熬熬!

去年的夜,透过窗户看远方的街灯,我想象着街道的整齐和现代;今年的夜,纵是望去,我已无心。也许是不愿承认心境的变化,心中暗暗安慰自己,去年的夜,那是江南,今年的夜,这是华北。江南,空中蕴着的是水气;平原大漠,天上飘着的是尘土。

物是人是心已非,心中掠过一丝凉意,有些害怕。因为害怕,我努力为自己编造理由。

为何如此不愿承认自己心境的变化呢?是因为潜意识里认为原来的自己才是原始本真的?改变就意味着妥协变质?好一个天真烂漫的想法!好一个自我感觉良好的家伙!

对一件事,能够一口咬定地下结论的人,只有两种可能:博学,无知。

我还是有些无知吧,因为我确定过去的我不是博学,坚持的只是那些没有经过思考和检验的原始想法。原始的东西,很好,但也需要现实的检验。

那些残存于记忆中的模糊影像左右着我们,无形地控制着我们的判断标准。然而,现在的故事,怎能和历史重叠?孰好,孰坏?记忆啊,我该如何面对那未知的精彩?

心非,一定坏?不然吧。那封了尘的心,包容了美丽,但也绝对包容了错误。给自己一个改正错误的机会,何乐不为?

列车带走了记忆,驶向未来。剩下我徘徊,重新思考。

 

 

 

是写总结的时候了

涉及以下几个方面:

1. 我对ICT的印象,已经我所实见的ICT,以及我所认识到的保研相关问题

2. 北京的朋友们,不仅仅是感谢!

3. 对北京武汉的新看法

4. 对生活的新感悟。从fdx和刚认识的cj那里学习领悟到不少东西,他们才是生活的强者

5. 何必是

6. 一些新鲜事。比如走路,看书,约会(算么?不确定),放肆和努力。

除了总结,当然还得要有后面两个月的计划。在火车上也许会写一些,其余的,武汉动笔吧。一周之内全部发布~

End

实习结束,不日回湖北。

昨天的日志:

同样拥挤的公交,同样凉爽的天气,同样的实习心情。一早过去就跟马老师打招呼,说要回家了,奠定了这天的基调。

实习结束的时候需要导师填写一张评估表格,早已经准备好了,一并交给了他,然后我开始整理前些日子的程序文档,一一归并分类作好记录。马老师非常认真地阅读完表格前面的几页实习说明书,写好了评语,很细致地问我需要盖什么章子。这个学校要求的肯定不是很严格,我就说什么方便盖就盖什么吧。马老师打了几个电话询问后让我去吴秘书那里盖了体系结构国家重点实验室的章。填写日期的时候,他怕实习时间不够规定的4周,还很仔细地算了下该写什么结束日期,一看日历正好,7.11–8.10。

官方的东西都搞好了,上午我继续整理文档,同时把后来简化版的内容更新到文档中。

下午,基本没什么事情了,我就闲溜白云。老师也在Term,不时起身转一转。总感觉他好象有些什么要跟我说,好吧,我来init.

这些天来没有很直接地问他关于保送的问题,即使是立秋那天他突然跟我说保送生的事情,那时我也没说到我的意向,只是问了些关乎大家的问题。今年的计划保送范围要比去年大,他总觉得这对于考生来说十分不公平(在他这里毕业的几乎都是考进来的,而且,他认为有些保来的也不一定怎么样。理由:你成绩好,实际上是靠时间投入换取的。学习上的时间投入多了,实践方面的投入自然减少。而且,大学考试,考的内容是个人就能会)。既然快要走了,是时候直接问一下了,他没有给我很直接的答案,却告诉了很多怎样往院里面透资料的问题,尽在不言中。

一个下午,我们都在很随意地聊天。我给他介绍校内,介绍华工CS的实践环节如何之不错;他给我讲Terminal的基本概念,XManager的用法,讲曙光和他当年的调试经历。还聊了很多关于研究生的事,华工来这边的表现得都很不错,他说。而且我还得知坐我斜对面的一个gg竟然也是华工的,还是黄冈老乡!

他还告诉我,系统结构这边从就业来看不如楼下的搞网络和搞搜索的,出去之后唯一特别点的就是会Linux点。这里出去的大多要改行,因为,中国每年根本不需要那么多搞系统结构的,同时外企也不会让中国人进入很核心的部门,导致这个领域就业并不是很乐观。象网络和搜索,出路就要广的多。

最后一天,还是象往常一样到6点下班,只是这次,交回了门卡。走的时候,送了一个小玩具给老师,道一声9月再见,再和师兄们别过,背上书包,走出智能中心,走出ict大楼。

想到再也不能随意出入了,那分刚来时的距离感再次出现。

晚上到北航见了哥,几个他的同学,还有他的老师,又喝了一瓶多,困。

在ICT积累下的单词

interleaving n.[计]交叉,交错
abstraction n. 提取
reasoning n. 推理, 评理, 论证 adj. 推理的
to this end prep.为此目的,为此
mitigate v. 减轻
refinement n. 精致, (言谈, 举止等的)文雅, 精巧
syntactically adv. [语]依照句法地, 在语句构成上
tuple n. 元组
twofold adj. 两部分的, 双重的 adv. 两部分地, 双重地
depict vt. 描述, 描写
refine vt. 精炼, 精制, 使文雅高尚
compilation n. 编辑
akin adj. 同族的, 类似的  akin to vt.与…类似  [反义词] alien
on-the-fly 【信】在传输过程中;【设】高速旋转,飞击 [EXP]My wife is always on the fly. 我妻子总是忙忙碌碌。
i.e. adv. 也就是
dual adj. 双的, 二重的, 双重
temporal adj. 时间的, 当时的, 暂时的, 现世的, 世俗的  n. 世间万物, 教会财产
unary adj. [数]一元的  [EXP] unary operator 单目运算符
rendezvous n. 集合点 v. 在指定地点集合
elaborate adj. 精心制作的, 详细阐述的, 精细 vt. 精心制作, 详细阐述 v. 详细描述
arbitrary adj. 任意的, 武断的, 独裁的, 专断的
proposition n. 主张, 建议, 陈述, 命题
deviated n.偏科的
aberration n. 失常
robust 精力充沛的
algebra n. 代数学
fairness n. 公平, 正直, 美好, 明亮, 清晰, 适当, 顺利性

ICT第二十一天

上午做了演示,原计划一个小时就可以完成,实际时间一小时四十分。马导师问了不少问题,提出了很多重要的指导和建议,这些建议可以让我当前的工作更具有理论意义,很爽的一件事情。

下午看了些文档,但不是很深入,后来干脆就去和马老师聊天了,GoogleBaidu,MSJava,肆意乱谈,后来他还给我看他当年写的java程序,可惜java不争气,没有配置好环境,恁是跑不起来。后面还聊了保送的问题,他突然给我看所里2008年保送招生计划表,体会很深地说,考的学生都不怎样,保的质量要好得多。

今天是立秋,北方有长秋膘的说法。晚上,马导竟然请我去吃北京火锅,涮羊肉。这北京火锅的做法果然不一样!武汉的火锅属于川锅,底锅是做好了的,这里的底锅是—–白开水!Orz!自己下料,等水开,然后在放羊肉,等肉吃的差不多了,锅里面有了些油之后才可以放白菜之类的小东西。否则,开水煮白菜,就太faint了。

羊肉经过这么一涮,竟然没了那怪异的味道,很鲜呢!

喝酒,吃肉。嗯~ 干杯!

吃饱了,喝了一瓶。

1个小时候,脑子恢复了正常。然而事实证明,还是不够清醒:
回来的时候在公汽上发呆了,结果,坐过站了……等我意识到的时候,车门已关,离站好多米 耍酷 

明天、后天,把理论工作做好,完善报告文档。

另外,明天去见见北京的一个哥哥,晚上吧。

周六,去见一个mm,还没见过~

灌水完毕!

 

演示

效果很不错。某些问题~~~haha

下面是进一步工作的指导:
1. Spin背后的理论支持。概念性的必须了解。

2. 完善Spin的介绍:并发性、随机性、同步机制。

3. 证明该验证程序可以处理实际系统中的下列情况:
    a. 主机方发送方和接收方同时存在的情况
    b. 多个主机相互通信的情况

4. 认真考虑实际模型的阻塞原因,对照真实系统。

我什么时候能回家??????????????????????????????????

ICT第二十天

在昨天日志的2、3、5条的指导下,将A、B、C三类机制都编写为阻塞单消息的版本,经过一些细微的改动,三个程序都能跑起来了,并且都有比较好的结果。这些结果个人认为足够说明协议的正确性。

比较令人振奋的是,今天在调试B类程序的时候发现,总有一段代码不可达(unreachable code),首先我以为是我编写的程序的问题,后来仔细分析协议发现,是协议说明书错误!这是一个比较大的协议BUG,竟然被Spin找出来了!这让我对Spin信心大增!

发现错误后,马上跟师兄沟通,他告诉我,那的确是一个错误…… ORZ,原来已经被发现了,但是文档没有被更新。嘿嘿,他是人力看出来的,我这是机器跑出来的,不错不错~~

我选择了明天10:00~11:00给大家(也许就是老师一个人,也许还有两外两个师兄)讲解,需要把他们当作什么也不懂的对象,小心仔细地“忽悠”~

到现在为止,做了7-8个小时的调试和幻灯片制作,终于好了!

现在回顾下前面十几天干些啥:上上周基本明白了Promela,用大约5-7天的时间完成了所有代码。上周,写技术文档,用了4天。写文档过程中发现,所做的验证完全不达标,重新审视Spin和代码,到现在为止,调试、思考、写出基本符合要求的版本,用了4-5天。时间竟然是这样被打发的!

 

—————————-

Lonely Planet, Lonely City. Where am I?

 

Direction

14:36 2007-8-5 Sunday.

Delete the code on "out-of-order" simulation.

Then the hash factor increased from 2.34 to 221.245, which is a greate improvement!
221.245 indicates an average coverage of all the possible paths above 99.9%.

This experiment show a way to improve the hash factor. Out-Of-Order(OOO)simulation takes so many states that we must think up an idea to simplify the simulation. However, we also should try to keep the functions provided by the current simulation code.

The next step’s target in brief is to reduce states, keep functions.

ICT第十七天

报告写完了,却发现,验证工作并没有做好。B,C类虽然写对了,但是其状态空间无比硕大,Spin无法完全覆盖之。

上午没去,睡觉。下午一直在工作,晚上做到9:35才下楼,匆忙找了点吃的,赶上了末班车。

我必须重头再来了。

明天,没安排,我还是去实验室罢。