今天，不想做什么，虽然有活，天气难得的好，出着大太阳，气温十几度的样子。吃完午饭后，呆在屋里，想着要干嘛，突然间想到外面走走，但不知道去哪。但，想来没有目标并无重要，享受的是过程。于是，带上mp3，相机，手机，骑着自行车，沿着公路一直骑行。骑了好几个mile，也不知道自己到哪，但心情很舒畅，使劲地踩着自行车，任凭风吹着自己，期待着能碰到农场啥的，但沿着自行车道走，两边的除了房子，没有其他东西，也许，农场，还在很远的地方。骑到某处了，看着前面又是一个大的上坡，而且边上没有期待的样子，原路折返。很难得出来瞎转，在这么好的天气里，还是自己一个人。也许，以后会多出来转转，感受一下大农村的气息。
周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的system properties都能验证出来，还是一个属性验证时会出现out of memory的错误。能验证出来的属性对验证系统的正确性没有什么帮助，比如证明某属性是否可能存在时（即Uppaal的Possibly属性，E<>p），我们要求的是“肯定的”，比如Invariantly属性（A[]p），Potentially always属性（E[]p），和Eventually属性（A<>p）”，而不是“可能的”。此外，Uppaal的这些属性验证似乎也达不到我们想要的效果，他们的验证方法和我们预想的不大一样。我想，也许，可能，我们的系统不适合在Uppaal上模拟。看过一些别人用Uppaal做验证的paper之后，发现我们的model的确过于复杂，而且数量太多。普通的paper最多只用了两三个，但模拟中，我们用了至少9个automata。
Read more…
从校内看到晓玲同学转载的一篇文章，详细描述了南邮的几个突出特点。以前看过，但昨天再看一遍，依然能让自己感慨万分。有点怀念仙林，怀念在那度过的三年时光，怀念那些各奔四方的同学。文章的作者和我一届，04级，所以此文对我来说，有着很多的共鸣之处。转载此文，聊表怀念。
————————————华丽的分割线————————————
RPE做完后，这段时间老板没有给我新的活，而且看样子好像不会继续做RPE时做的东西，这样有点可惜，毕竟整了大半年，总不能没有什么产出就放弃了。老板政务缠身，学术方面已经不再那么热衷了，这可以从他从不和我提发paper的事看出。倒是我自己，一直想着什么时候能发我的第一篇论文，目前还是鸭蛋，这学期一过，来美也算两年了，一年TA，一年RA，一篇paper都没有，说出去有点丢人。来美读了两年PhD的而没有发paper的人，应该没有多少，我不想成为其中一员。咱不是大牛，但不能因此放弃努力，该争取的还是要去争取。
Read more…
前几天整理邮箱时，发现系统管理员Seth发的一封关于MSDNAA的邮件，发于2/2/2010。因为系里发的邮件太多，而且大部分是关于seminar，或者转发graduate school的邮件，所以我不大看系里发的邮件，经常忽略它们。看了一下这封邮件的内容，说是系里购买了MSDNAA，CIS的学生可以用帐号登录MSDNAA的网站，免费下载软件。比较好奇，就用提供的帐号和密码登录了，发现不少Microsoft的软件和操作系统，Visio Professional，Access，Visual Studio 2008 Professional，Vista Business，Windows 7 Professional等等，而且都可以免费下载的，这对用多了盗版或者免费软件的我来说，不得不说是个惊喜。
MSDNAA，即MSDN Academic Alliance，是微软针对广大院校推出的一个旨在让学校和学生以最简单最省钱的方式获得微软最新开发的软件和操作系统的项目。而我们系购买的是MSDNAA和E-Academy公司合作推出的ELMS (e-academy License Management System)。只要用系统管理员分配给你的帐号和密码，就可以登录网站，下载或者购买提供的软件。下载一般都是免费的，购买指的是购买软件的CD/DVD，需要付一点钱，但跟软件的价格比起来，也便宜非常多。
这几天我下载了Visio Professional 2007， Visual Studio 2008 Professional，Windows 7 Professional。可惜的是，他们不提供Office，得到店里买，唉，这个可是最迫切需要的。还有其他一些软件，但我应该用不上，先下一些需要的。下载速度不快，而且不稳定，这三个软件我换了好几天才下载完。昨天把Win7安到我的desktop上了，速度是挺快的。说起来也够折腾，desktop原配的是Vista Home Premium，很烂，经常死机。后来换成Vista Business，性能提高了一些，死机状况也比较少出现。但为了体验一下Windows 7，只好把Vista Business牺牲了。Windows 7都发行好久了，苦于没有copy可下，网上的基本都是盗版，哪怕系列号暂时能用，过一段估计也会被发现的。不用盗版，在国内是不可想象的。来这之后，因为害怕使用盗版给自己带来麻烦，收敛了很多，尽量用正版。现在我手上有好多正版的操作系统，Windows XP，Vista 和Windows 7。XP估计是用不上了，有点过时了。我买了XP正版盘，结果却把它安在了别人的系统上。Vista是从系里得到了，装了两次，删了两次，系列号依然有效。Windows 7就是通过MSDNAA获得的，应该能用上一段时间。
从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，2009.11.10第二个，2010.02.23第三个。第三个原定于1.26号做的，但种种原因，拖到现在。期间，一方面自己有点不自觉，凡事能拖则拖，不到deadline绝不干活，另一方面，老板太忙，没什么时间管我，这也助长了自己的惰性。但，不管怎样，总算给RPE划上句号了。今天的presentation做的还不错，不紧张，自我感觉良好，这次对时间把握得比较好，和第一次一样，上次内容太多，超时了。老板昨天叮嘱我，要控制好时间，40分钟之内要讲完。昨晚自己熟悉了一下，什么该讲，什么不该讲，都搞得比较清楚。昨晚的准备还是挺有效的，今天基本按照昨晚想好的路线走。RPE过了，成了phd candidate，也算轻松了，剩下的日子就是平平淡淡的做research了。希望自己能够自觉，毕竟phd是为自己读的，不出点东西对不起自己，对不起在这上面耗掉的时间，还有我可怜的青春年华。还有件让人欣慰的事，老板给我涨工资了，暗自高兴。
最新评论