利田小子

昨晚终于把程序改完了，模拟和验证都没有问题了。从考QE时用的Uppaal到现在的Spin，一路折腾，把系统程序写了好几遍。虽然过程有点让人郁闷，但也算有个好的结果，还锻炼了编程能力，把Uppaal和Spin都摸透了。写完程序之后，立马得开始写论文了，下周一截止，只有一周的时间，这周啥也不做，就写论文。今天和老板开会，讨论了论文的组织结构，以及要写些什么内容。其实倒不担心论文的内容，因为之前为了RPE，我已经写过一个final report，上面的东西可以直接用。需要做的就是组织好论文的结构，内容上得有所选择，毕竟篇幅有限。此外，论文一般都用LaTex写，但我不会LaTex，只能现学现卖了，LaTex有IEEE paper的模板，可以直接使用。老板说，要用LaTex还是Word，随我，他会帮我修改。老板说他LaTex用过很多此，比较熟悉，如果有问题，直接找他讨教。看来这个LaTex，我也得啃下来。

开完会，在系里呆了会，我的台式机快把我整死了，因为装了双系统，启动老是有问题，每次都在一个地方卡住，经常显示找不到启动设备。以前以为问题出在Intel的PXE Boot Agent身上，但后来发现，哪怕禁了它，启动问题依然存在。每次我都得反反复复开机好几次，也许某一次机子能进入系统引导界面，俨然成了概率事件，而我像是在抽签，抽到坏签居多。这么多次反复之后，哪怕能引导进Windos，也常常出现Windows启动时间超长的问题，估计都是引导程序给整的。能试的方法我都试了，能修改的我也修改了，什么BIOS，grub，grub2，easyBCD等等。最后我得出的结论是，我的台式机对Linux的支持性太差，当然不是说系统运行问题，而是系统启动问题。当引导程序里只有一个Windows 7系统时，启动就没问题，很顺利。但，只要加了Linux系统，不论用的是grub，grub2，还是easyBCD，系统就是无法顺利启动。最后忍无可忍，在成功登录Window 7之后，把Ubuntu从引导程序里去掉了。唉，refurbished的电脑果然有问题，或者是因为它们有问题才被退回，以后买refurbished的东西要小心了。昨晚熬夜到四点多，今天实在困，呆在实验室也看不进书，电脑还不好使，于是回家。一路上，发现很多花都开了，虽然不知道它们的名字，但不影响我欣赏它们，春天，真好。

昨天国内清明节，老妈和舅舅小姨他们给外公上坟。我只在外公过世时去过一次，之后都没去过。其实一直想去祭拜，但都没有机会。想想，外公和爷爷忙忙碌碌了一生，但福都没享过就过世了。虽然我一直在为他们争光，但他们都已经看不到了。能做好的就是珍惜眼前人，一定要让家里人过上好日子。我会找个时间，写两篇文章，祭奠我的爷爷和外公。