博客@利田小子

来美之后，比较少有饭局，不像国内，有事没事都能找些朋友下饭馆，喝点酒。留学生们都hard working，平时没什么娱乐，圈子也小，认识的人不多，能够饭局的人几乎没有。年关已至，这时候如果在国内得有多爽，同学们都回来了，饭局不断。sigh，现在只能YY，这样的日子要持续好些年。

今天下午去Jardine Office，apartment transfer的appointment，下半年打算换公寓。公寓的分配昨天已经开始，我排在今天。到那发现二人间traditional的已经没了，不过总共也只有两套，那人说这两套早就被订了。二人间renovated的还有四五间，单人间traditional和renovated都有，考虑再三，挑了二人间的renovated，二楼的，房租每个月499刀，位置还行，离rec不是很远，做parking shuttle也方便。Renovated的客厅铺了地毯，打扫不方便，厨房是用电的，电费会多一些，但房租在可承受范围之内。现在得考虑找室友了，改天发邮件问问吧，希望找个生活习惯好一些的，讲卫生，其他的没啥要求。七月底搬进去，如果到时还找不到室友就得自己掏钱付所有的房租。

Anyway，房子定下来了，甚好。

Jardine的RSVP (Resident Space Virtual Preferencing)开始了，这名字听着有点奇怪，其实就是公寓的住宿问题，所以住在Jardine的人都必须说明下个学年是否还在Jardine住，是否要换宿舍，这样公寓管理方好安排。下个学年本打算自己出来住，一个人住一室一厅的公寓。但斟酌再三，考虑了一些可能出现的问题之后，还是住两室一厅的吧，但不会在现在所住的apartment继续住下去，要换个apartment，还有室友也换。这边房子公寓分成好几种，我只考虑traditional和renovated的，便宜，其他类型的公寓不是我消费得起的。traditional或renovated的两室一厅公寓的房租平摊下来之后，一个月两百五十左右。如果住一室一厅的，一个月要四百左右，差了一百五，数目不小啊，能省则省。已经填了transfer request form，首选traditional 双人公寓，希望能分到。目前还没有室友，到时再找吧。
Read more…

查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一个exception，提示range error，好像是数值的范围问题，但没有指出在哪出的错。Uppaal没提供调试工具，我也不知错在哪，通查了一遍程序，没找到可能的出错点。这样耗着也不是办法，最后我新建了一个系统，将原系统一块一块分割出来，分别调试。最开始测试了Timer自动机，模拟timeout的，同时测试了消息的插入和删除，车辆位置关系确定，不变式判断等函数，并在自动机上调用，发现了一些问题，改过之后就能模拟了。Timer自动机和原系统的差不多是一样的，另外一个自动机则是后来新建的，没什么移植性可言。第二次尝试，只添加了三个自动机，一个Timer，一个Message，一个Trigger Vehicle，和相应的定义声明，在没有syntax error的情况下，进行模拟，出现了range error的exception，看来问题可能就在这三个自动机里。于是一个一个测试，先测Timer，这个Timer和我已经测过的就在自动机参数上有所区别，原来的Timer定义了一个整型值，并通过值传递的方式传给Timer，新加的Timer定义的是const整型值，用引用传递（带const），觉得应该不会有什么问题。但测试结果并非如此，提示有syntax error，依旧没指出在哪。为了简单，就把该整型值设成普通的，而不是const，及完全按测过的Timer自动机进行修改，进行模拟，可以了。于是把原系统的三个Timer自动机都改了一下，check syntax，没问题，试着simulation，居然成功了，再没有什么exception和syntax error。虽然比较偶然，但能出结果还是很高兴的，跑去跟老板说了一下。至今还没搞清楚为什么这些参数会导致那个exception，不过无所谓了，现在要的是结果，因为赶着做presentation。剩下的事就稍微好办些了，在原系统基础上进行修改，一是完善一下系统的功能，二是确定要要验证的东西，并在系统里实现。因为做presentation时，不能光给个系统实现，之所以做这个系统实现是有目的的，就是要验证我的系统在给定or假设的环境下能够work，所以我得prove。至于怎么prove，今天在给老板看模拟过程时讨论了一下，有了个idea，就先按着做吧。打算后周做Presentation，下周老板没空，这周把程序弄完，下周写report和ppt。

Read more…

之前在台式机上装了双系统，电脑自带的是Vista Home Premium，而我装了Ubuntu 9.10。Ubuntu的Grub自动给电脑做好了引导程序，但默认的启动系统我选的是Ubuntu，不是Vista。后来发现，还是Vista用的多，但启动系统时一不留神就进来Ubuntu，得重启后再进Vista，如此折腾了多次。今天心血来潮，想把默认启动的系统改为Vista。Google了很多修改grub的文章，大多是针对Ubuntu 9.10之前的版本的，这些版本使用的是grub，而Ubuntu 9.10用的是Grub2。Grub2和Grub还是有些不同的，比如/boot/grub/文件夹下就找不到menu.lst。而网上的多数方法都是针对Grub。有关Grub2的修改的文章有一些，但大部分方法不对头，这些方法建议修改/boot/grub/grub.cfg的相关内容，如set default=”0″，来指定默认的启动系统。但这样治标不治本，更新grub之后，所作的修改都会失效。究其原因，可以看grub.cfg文件开头的一段描述：
Read more…

转载自：河蟹娱乐

一

婚期将到，国内兄弟，有钱公寓，没钱蜗居。
望长城内外，大厦高楼；
工地上下，人浪涛涛，早起晚睡，达旦通宵。
丈母娘说，买个房子才达标。
需钞票！看人山人海，一房难搞！
楼价如此虚高，
引无数英雄竞折腰。
昔秦皇汉武，见此摇头；
唐宗宋祖，更是没招！
一代天娇，成吉思汗，只好住在蒙古包。
盼今朝，数天价楼盘，早日崩倒？

Read more…

最近除了弄RPE的事，也花了不少之间在书上。先前写过一篇日志，提到了毕业之前想做的一些事，现在，我正在做着。第一本书，专八词汇。暑假回国时带来的，总共20个word list，已经背了13个了。当然，背过的不少都忘了。不管怎么样，先将20个list背过一遍，之后再倒回来背。第二本，Ivor Horton’s Beginning Java 2, JDK 5 Edition，中文版。这本书是大四时买的，一千来页。真正开始看这本书是来这之后，以前都是用到什么看什么，零零散散看了一些章节，现在想系统地对Java了解一番，所以决定通读全本。到现在为止看了四百多页，多数是在09年看的，10年得继续啃。第三本，Advanced Programming in UNIX Environment, 2nd Edition。这书是前一段时间才买的，学计算机的不会Linux不行啊。讨教了苏第同学之后，打算正儿八经的学一下Linux编程。他推荐这本书给我，看网上的review，评价都不错，于是入手，花了五十几刀。为了配套（借口啊），我还整了台电脑，装双系统，Vista & Ubuntu。不管怎么说，得学学Linux，之前玩过一小段时间，编过程，装过软件，学了一些东西，但没有坚持下来。现在明白，此时不学，更待何时。不想毕业之后，一问三不知，对不起PhD这三个字母。除了书之外，也读了一些paper，自己找的，瞎看。现在手头上有RPE压着，过了这个就好了，变成phd candidate，可以不为考试烦恼了，专心跟着老板混。