 |
|
 |
|
|
|
重要声明！ 本博客已经迁移到www.zhaoxiangpeng.com， 欢迎大家访问新地址，谢谢
上周五上午毕业典礼，脱下被汗水浸透的学位服，下午就去单位报到了。今天周一，算是上班第一天。
不过，因为team的人都在美国，明天才回来，所以今天我还是处于没人管的状态；主要的成果是解决了抽屉没钥匙和电话不通的问题，以及在vista上安装了firefox 3。
虽然没人管，任务还是明确的：看书，Microsoft Windows Internals，4th edition。很厚啊……Vista下面有些调试工具不能用，比如windbg的内核调试模式，郁闷。Anyway，读书总是比读论文容易多了。
另外，我把博士论文（包括幻灯片）上传到了个人主页
去开TASE'08，在南京住了几天。 学术： 去开会的老板不多，几乎都是学生。遇到了好多认识的人，也认识了不少人。 会议的第一个关于probalistic model checking的tutorial非常不错。对各个paper的印象都不太深刻，根本的原因是这个会的覆盖面太广，六七个session中，只有两三个我比较熟悉，别的都不懂……Model-checking session中，NUS的CSP model checke
答辩完了！也许是因为这几天准备各种材料比较疲劳，答辩结束后，其实没有什么特别的感觉，晚上睡觉前习惯性的回忆幻灯片哪里还需要修改……然后忽然意识到不需要再想这个了。
在上班之前，这个月还可以做很多有意义的事。ICWS的文章还要改一下；最近都没有看Windows的书，不能再拖了；也要写一写程序，争取做个小项目；最后，还有几个小idea可以写论文的，再跟大家讨论一下吧。
btw，今天看到一个很有用的做presentation的技巧：
做幻灯片是一件头疼的事。而用latex做幻灯片是一件很头疼、很头疼、cdots、很头疼的事……总结和收集了一些经验如下：
beamer教程
有很多教程。对于初学者，最好先copy别人（比如师兄师姐的）模板用，或者直接看beamer的例子，C:CTeXtexmfdoclatexbeamerexamples。入门后，我觉得最好的提高教程是Ki-Joo Kim的
很久没时间写博客了，最近一直在忙，估计等到下个月就好一些了~
写博士论文是件很花时间的事。中文其实比英文更不好写；英文写的差一点大家可以原谅，不是native speaker嘛。中文就不行了……-_-
在北京春天强大的风沙攻势下，我的T43终于在今天熄火了，Fanerror。赶快去电脑城换了个风扇，世界终于清净了。之前开会的时候我都不好意思开机。嗯，以后就不用开着音乐写论文了。
我以前的老师、好朋友Paddy Krishnan教授在招PhD学生。对形式化方法有兴趣的同学可以联系他~Paddy人品很好，是非常nice的一个人。
Sun Microsystems Laboratories and Bond University,
Brisbane and Gold Coast, Australia
PhD Scholarship
Available to start on second semester 2008
Sun Microsystems Laboratories, Sun Labs, in collaboration
不知不觉就该回来了。还有3个月就毕业，要在这短短的时间内搞定论文，找好工作，压力很大。
在美国体验了一把资本主义生活，感受挺复杂的。跟国内比起来，算是半斤八两：这边风景很美，但伙食实在太差；房子确实很大，不过也够贵；物质极大丰富，但精神是相当的空虚。说起民主自由之类的，那其实是别人的事情，与华人关系不大。我可以列举无数条美国比中国好的地方，也可以列举无数条美国不如中国的地方。到底哪里更好？真的很难说。
mitbbs上的讨论有趣的很。中国有好事，很多人高兴；中国有坏事，也有很多人高兴。中国若是强大，那华人的身份有望提高，自然是高兴的；中国若是乱成一团，那身在海外的同胞
昨天在考虑一个问题：能否用LTL (Linear Temporal Logic)表示a*b*，(ab)*这两个正则表达式？前者还好写一点，但后者实在很复杂，在纸上写写画画，后来我自己都搞不清我写的公式是什么意思了。如果有个LTL表达式的解释器作测试会方便得多，但除了SPIN，手边找不到一个轻量级的工具，于是就自己写一个，选择Python是因为它支持lambda表达式，而且比较熟悉。
运行效果：
>>> F(
科学家们，例如天文研究者，要想协作科研的话，就需要共享大规模的数据，相当于做些分布式计算。这个数据的流动过程随着研究机构的增多可能越来越复杂，以至于需要独立出来专门管理，这就是scientific workflow的大概意思。scientific workflow貌似是一个新方向，讨论班上听别人讲了一篇，后来帮人审稿看到一篇，今天发现12月的Computer杂志上还登了一篇文章。
Computer杂志上这篇介绍scientific workflow的文章全是文字，几乎连个数字都没有，读完之后觉得有点空洞。这scientific workflow跟business workflow