RPE开始了
从暑假一直拖到上周，终于把RPE request form填完上交了，committee member也都确定下来了，Dr.Gurdip Singh，Dr. Torben Amtoft，和Dr. Daniel Andresen，他们也是我的PhD committee member，除了那个外系的老师。老板说，RPE是系里的考试，按规定不用通知外系的老师。这样也好，光是系里的三个老师，要从他们的schedule找到共同的空余时间都不容易（跑了n次，确定了n次），再加个外系的老师，估计找不到共同的free time的。以下是从PhD Guideline里截取的RPE里要做的事：
The student will start this process by choosing an area in consultation with the Major Professor. The first presentation should include a literature survey of the area and potential problems in the area. At the end of the first presentation, the supervisory committee will assign a specific problem to be explored. The second presentation should present the progress made towards addressing this problem. The third presentation must be accompanied with a 15-page written report containing literature survey, a description of the problem addressed, the technical approach used to solve the problem and the results. At the end of the first and second presentations, the student will be provided feedback on his/her progress and expectations for the next presentation. After the final presentation, the student’s work will be judged as “Pass” or “Fail” by the RPE committee. Positive votes from a majority of the RPE committee will constitute a “Pass”. The Chair of the RPE committee will record the committee decision on the preliminary ballot.
我做的方向是“Highway Collision Warning System based on Wireless Sensor Networks”。三个presentation的时间分别是10月1日，11月10日和1月26日。因为我提前一学期开始RPE，所以时间很充裕，不受“one-semester long”的限制。从暑假到现在，一直在看这方面的论文，同时建自己的系统，草拟协议。目前为止，系统的协议基本搭建起来了，是否可行还不知，得模拟实现后才知道，如果有问题，到时再修改。模拟的工具用的是Uppaal，而不是原先想用的Spin。Uppaal和Spin很像，都是模型检查（Model Checking）工具，但Uppaal支持消息的时间设置，还有broadcast等，Spin不支持这些。Uppaal基于timed automata，它的查询语言源自CTL（Computation Tree Logic）。自动机理论我在CIS770课上学过，CTL不了解，前几天看了几个CTL简介的PPT，大概了解了一下。目前的任务就是学Uppaal编程，然后把我的协议写成Uppaal代码的形式，估计会很庞大。（PS: Uppaal和Spin都是不错的模型检查工具，等有时间再写个有关它们的文章。）
10.1就开始第一个Presentation了，还有十天的时间准备，第一次presentation主要做背景介绍，得翻翻看过的论文，写个report和PPT，周一得像老板咨询一下。10.1国庆啊，没有假期了。50周年时的阅兵没看到，这次一定得补上，这次时差算是帮上了忙，和Presentation的时间不冲突。最近比较颓，作息依旧很乱，唉，都不知道自己怎么了，有点摸不着头脑。