查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一个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。
之前在台式机上装了双系统，电脑自带的是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，可以不为考试烦恼了，专心跟着老板混。
今天给老妈打电话，她在小姨婆家里。先和老妈扯了点家常，之后小姨婆接过电话，首先说了一下她对老哥结婚酒席的评价，很不错，亲戚们都到齐了，非常难得。接着她说她有个亲戚在美国，她姑姑的女儿吧（没记错的话），已经五十多岁了，在芝加哥，该叫她阿姨。这位阿姨上次回国探亲，小姨婆和她聊天时，提到了我，她想邀我节假日去她家那过节。美国这有几个老乡，加拿大那有一个同村的，至于亲戚，未曾想过。一阵激动啊，不知道自己在这还有亲戚。等互通地址和联系方式之后，有机会就去那看看。去过一次Chicago，但那时不知道有亲戚在那。下次再去时，就有地方落脚了，难得啊，异国他乡。
RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做系统的模拟，Uppaal这工具功能实在让人憋屈，很多东西都无法实现。模型，函数等都弄好了，但运行不起来，说是有syntax error，但用Uppaal自带的Syntax Check功能根本就无法找出错误的地方。没有办法，现在的打算是，把所有函数和自动机模型重新翻查一遍，看能不能找到问题。看过一些用Uppaal做模拟工具的paper，和他们的系统相比，我们的系统要复杂的多，如果用Java，C之类的语言实现，应该不难，但我们挑了Uppaal，没办法，来不及换了，只能尽可能地去实现，系统该简化的就简化，直到能模拟出结果。和老板开会了，预计是无法在1月26日前完成模拟，除了模拟，还有report和ppt，这些也都还没准备。明天就给committee member发邮件，看能不能推迟一到两周。希望这周之内能把模拟的问题解决，下周写报告和ppt。
老歌的婚礼录了像，通过QQ传了两天，我才收到所有的视频。视频主要有三部分，一是从漳平到我家一路上跟着婚车拍的，二是老哥和嫂子向各桌宾客敬酒分烟分糖，三是爸妈想所有宾客敬酒。这次一共摆了三十多桌，亲戚朋友来的很齐，热闹非凡。通过视频能见到家人，亲戚，还有家里的角角落落，多多少少地缓解了思乡之苦，哈哈。真想回家过个年啊。
老哥昨日大婚（农历十二月初二），可惜作弟弟的我没能回去祝贺，多少有点可惜。只能在大洋彼岸，祝他和嫂子白头偕老，百年好合。身处异国他乡，没办法，身不由己。今年已经错过好几场婚礼了，接下去的几年，依然会这样，错过不该错过的。而且，好几年都无法在家过年。有得必有失，无可奈何，只好踏踏实实的在这边过日子，早日完成学业。
最新评论