利田小子

期末来了！CIS844虽然结课了，但project没有完工。按照要求，已经把系统通过O-MaSE走了一遍，建了一堆model，Daniel基本完成coding了，系统跑得比较顺，隔壁组还在举步维艰中。下周就得上交Final Report和并做程序演示。Final Report就由我和Arthi完成，程序演示交给Daniel了。Final Intermediate Report老师已经改了，有一些问题，周二的小组讨论已经总结出如何解决这些问题。我要做的任务就是完善所有的model，写justification和description，算是Design。Arthi写Introduction，Daniel写Running和Results。分工算是明确了，今晚把所有model查了一遍，并做了些必要的修改，明天写文档。剩下的就等着Demo（下周一或三）和final exam（12.16）。

下一个RPE Presentation是1月26日，还有不到两个月的时间，也得抓紧了。现在要做的包括给系统建立状态机，编写系统模拟的代码，运行分析模拟结果。等明天完成了844的文档，周末两天再对系统protocol稍作修改，回顾一下Uppaal的manual，得对如何建状态机有个清楚认识，不然下周不好跟老板交差。

最近一段时间，状态在恢复中。偶又重新开始背单词了，看Java，Distributed System，TCP/IP，还有paper。经历低谷之后，希望自己能重新站起，恢复斗志，虽然知道读PhD会牺牲很多，但既然我选了这条路，那就好好的走下去吧。