转眼就是自己在国外过的第二个春节了，不像国内，这边的春节平平淡淡，没什么气氛，即使有很多留学生，但大家小聚之后也都各自回家，给远在大洋彼岸的家人朋友拜年。因为有了一次国外过年的经验，算有点习惯了，不会有太多期待。昨天中午和晚上都出去吃返了，都是自助，中午和几个认识的一起，晚上和系里的其他中国学生。由于吃了太多，而且两餐之间只间隔四个小时，到早上凌晨三点睡觉时，肚子依然撑着。大过节的容易暴饮暴食啊，还好只在过节时这样，要是每天如此，估计得圆一大圈。
Read more…
对Unix (or Linux)一窍不通，在同学的推荐下买了apue 2nd edition，看了几章了。今天想试试书上提供的源代码，首先解压源代码，得到目录apue.2e，打开此目录，按照readme里提供的方法，先将文件Make.defines.linux里的WKDIR改为你的源代码存放路径，默认是WKDIR=/home/var/apue.2e，修改完后，在目录apue.2e下执行make命令，出错。我的系统是Ubuntu 9.10，linux内核好像是2.6.30的。编译出错的原因应该是兼容性的问题，错误显示threadctl/getenv1.c下ARG_MAX未定义。ARG_MAX是在头文件limits.h中定义的，但该文件位于目录/usr/include/linux/下，而getenv1.c的include语句是“#include <limits.h>”，这将在usr/include/下查找文件limits.h，但include目录下的文件limits.h并没有定义ARG_MAX。因此将include语句改为“#include <linux/limits.h>”就行了。除了getenv1.c，还需修改同一目录下的getenv3.c的头文件声明部分，将“#include <limits.h>”改为“#include <linux/limits.h>”。修改保存后，在apue.2e目录下执行make，显示了两个warning，问题出在文件/threads/badexit2.c的两个函数里：printfoo和thr_fn2，我没理会这两个warning，这样源代码算是编译完成了。另外一个问题，网上不少文章说要改apue.2e/std/目录下的linux.mk文件，将nawk改为awk，这只需要在你的linux内核版本较老时才需要，nawk是新的awk，内核版本低的不支持nawk。如果内核版本较高，不需要修改。我在改和不改的情况下都试了一次，结果都一样。
Read more…
来美之后，比较少有饭局，不像国内，有事没事都能找些朋友下饭馆，喝点酒。留学生们都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。
之前在台式机上装了双系统，电脑自带的是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…
天净沙 为代课教师叹息
–运城风雨沧桑
乡村，陋室，童丫，
清贫，低酬，寒家，
辛劳，病残，白发，
一纸令下，抱憾怆然还家！
注:本文从网络搜集而来
转载自：河蟹娱乐
一
婚期将到，国内兄弟，有钱公寓，没钱蜗居。
望长城内外，大厦高楼；
工地上下，人浪涛涛，早起晚睡，达旦通宵。
丈母娘说，买个房子才达标。
需钞票！看人山人海，一房难搞！
楼价如此虚高，
引无数英雄竞折腰。
昔秦皇汉武，见此摇头；
唐宗宋祖，更是没招！
一代天娇，成吉思汗，只好住在蒙古包。
盼今朝，数天价楼盘，早日崩倒？
最新评论