<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>利田小子 &#187; RPE</title>
	<atom:link href="http://www.zhuhuang.com/tag/rpe/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.zhuhuang.com</link>
	<description>胸有凌云志，无高不可攀</description>
	<lastBuildDate>Thu, 29 Jul 2010 02:32:27 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0.1</generator>
		<item>
		<title>历时半年，RPE终于搞定，成为phd candidate了</title>
		<link>http://www.zhuhuang.com/2010/02/phd-candidate/</link>
		<comments>http://www.zhuhuang.com/2010/02/phd-candidate/#comments</comments>
		<pubDate>Wed, 24 Feb 2010 04:46:49 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[Candidate]]></category>
		<category><![CDATA[RPE]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1914</guid>
		<description><![CDATA[从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，2009.11.10第二个，2010.02.23第三个。第三个原定于1.26号做的，但种种原因，拖到现在。期间，一方面自己有点不自觉，凡事能拖则拖，不到deadline绝不干活，另一方面，老板太忙，没什么时间管我，这也助长了自己的惰性。但，不管怎样，总算给RPE划上句号了。今天的presentation做的还不错，不紧张，自我感觉良好，这次对时间把握得比较好，和第一次一样，上次内容太多，超时了。老板昨天叮嘱我，要控制好时间，40分钟之内要讲完。昨晚自己熟悉了一下，什么该讲，什么不该讲，都搞得比较清楚。昨晚的准备还是挺有效的，今天基本按照昨晚想好的路线走。RPE过了，成了phd candidate，也算轻松了，剩下的日子就是平平淡淡的做research了。希望自己能够自觉，毕竟phd是为自己读的，不出点东西对不起自己，对不起在这上面耗掉的时间，还有我可怜的青春年华。还有件让人欣慰的事，老板给我涨工资了，暗自高兴。 您可能感兴趣的文章RPE Presentation II周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...RPE Presentation归来准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...RPE Presentation I on Oct. 1st星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...PhD进展晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...]]></description>
			<content:encoded><![CDATA[<p>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，2009.11.10第二个，2010.02.23第三个。第三个原定于1.26号做的，但种种原因，拖到现在。期间，一方面自己有点不自觉，凡事能拖则拖，不到deadline绝不干活，另一方面，老板太忙，没什么时间管我，这也助长了自己的惰性。但，不管怎样，总算给RPE划上句号了。今天的presentation做的还不错，不紧张，自我感觉良好，这次对时间把握得比较好，和第一次一样，上次内容太多，超时了。老板昨天叮嘱我，要控制好时间，40分钟之内要讲完。昨晚自己熟悉了一下，什么该讲，什么不该讲，都搞得比较清楚。昨晚的准备还是挺有效的，今天基本按照昨晚想好的路线走。RPE过了，成了phd candidate，也算轻松了，剩下的日子就是平平淡淡的做research了。希望自己能够自觉，毕竟phd是为自己读的，不出点东西对不起自己，对不起在这上面耗掉的时间，还有我可怜的青春年华。还有件让人欣慰的事，老板给我涨工资了，暗自高兴。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2009/11/rpe-presentation-ii/" title="RPE Presentation II">RPE Presentation II</a><br /><small>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...</small></li><li><a href="http://www.zhuhuang.com/2009/10/rpe-presentation-1/" title="RPE Presentation归来">RPE Presentation归来</a><br /><small>准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...</small></li><li><a href="http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/" title="RPE Presentation I on Oct. 1st">RPE Presentation I on Oct. 1st</a><br /><small>星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2009/08/phd_progress/" title="PhD进展">PhD进展</a><br /><small>晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2010/02/phd-candidate/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>程序调出来了</title>
		<link>http://www.zhuhuang.com/2010/01/program-debugging/</link>
		<comments>http://www.zhuhuang.com/2010/01/program-debugging/#comments</comments>
		<pubDate>Thu, 28 Jan 2010 06:56:40 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>
		<category><![CDATA[UPPAAL]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1874</guid>
		<description><![CDATA[查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一个exception，提示range error，好像是数值的范围问题，但没有指出在哪出的错。Uppaal没提供调试工具，我也不知错在哪，通查了一遍程序，没找到可能的出错点。这样耗着也不是办法，最后我新建了一个系统，将原系统一块一块分割出来，分别调试。最开始测试了Timer自动机，模拟timeout的，同时测试了消息的插入和删除，车辆位置关系确定，不变式判断等函数，并在自动机上调用，发现了一些问题，改过之后就能模拟了。Timer自动机和原系统的差不多是一样的，另外一个自动机则是后来新建的，没什么移植性可言。第二次尝试，只添加了三个自动机，一个Timer，一个Message，一个Trigger Vehicle，和相应的定义声明，在没有syntax error的情况下，进行模拟，出现了range error的exception，看来问题可能就在这三个自动机里。于是一个一个测试，先测Timer，这个Timer和我已经测过的就在自动机参数上有所区别，原来的Timer定义了一个整型值，并通过值传递的方式传给Timer，新加的Timer定义的是const整型值，用引用传递（带const），觉得应该不会有什么问题。但测试结果并非如此，提示有syntax error，依旧没指出在哪。为了简单，就把该整型值设成普通的，而不是const，及完全按测过的Timer自动机进行修改，进行模拟，可以了。于是把原系统的三个Timer自动机都改了一下，check syntax，没问题，试着simulation，居然成功了，再没有什么exception和syntax error。虽然比较偶然，但能出结果还是很高兴的，跑去跟老板说了一下。至今还没搞清楚为什么这些参数会导致那个exception，不过无所谓了，现在要的是结果，因为赶着做presentation。剩下的事就稍微好办些了，在原系统基础上进行修改，一是完善一下系统的功能，二是确定要要验证的东西，并在系统里实现。因为做presentation时，不能光给个系统实现，之所以做这个系统实现是有目的的，就是要验证我的系统在给定or假设的环境下能够work，所以我得prove。至于怎么prove，今天在给老板看模拟过程时讨论了一下，有了个idea，就先按着做吧。打算后周做Presentation，下周老板没空，这周把程序弄完，下周写report和ppt。 您可能感兴趣的文章RPE进展RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...Uppaal ProgrammingRPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...放弃Uppaal，改投Spin周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...]]></description>
			<content:encoded><![CDATA[<p>查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一个exception，提示range error，好像是数值的范围问题，但没有指出在哪出的错。Uppaal没提供调试工具，我也不知错在哪，通查了一遍程序，没找到可能的出错点。这样耗着也不是办法，最后我新建了一个系统，将原系统一块一块分割出来，分别调试。最开始测试了Timer自动机，模拟timeout的，同时测试了消息的插入和删除，车辆位置关系确定，不变式判断等函数，并在自动机上调用，发现了一些问题，改过之后就能模拟了。Timer自动机和原系统的差不多是一样的，另外一个自动机则是后来新建的，没什么移植性可言。第二次尝试，只添加了三个自动机，一个Timer，一个Message，一个Trigger Vehicle，和相应的定义声明，在没有syntax error的情况下，进行模拟，出现了range error的exception，看来问题可能就在这三个自动机里。于是一个一个测试，先测Timer，这个Timer和我已经测过的就在自动机参数上有所区别，原来的Timer定义了一个整型值，并通过值传递的方式传给Timer，新加的Timer定义的是const整型值，用引用传递（带const），觉得应该不会有什么问题。但测试结果并非如此，提示有syntax error，依旧没指出在哪。为了简单，就把该整型值设成普通的，而不是const，及完全按测过的Timer自动机进行修改，进行模拟，可以了。于是把原系统的三个Timer自动机都改了一下，check syntax，没问题，试着simulation，居然成功了，再没有什么exception和syntax error。虽然比较偶然，但能出结果还是很高兴的，跑去跟老板说了一下。至今还没搞清楚为什么这些参数会导致那个exception，不过无所谓了，现在要的是结果，因为赶着做presentation。剩下的事就稍微好办些了，在原系统基础上进行修改，一是完善一下系统的功能，二是确定要要验证的东西，并在系统里实现。因为做presentation时，不能光给个系统实现，之所以做这个系统实现是有目的的，就是要验证我的系统在给定or假设的环境下能够work，所以我得prove。至于怎么prove，今天在给老板看模拟过程时讨论了一下，有了个idea，就先按着做吧。打算后周做Presentation，下周老板没空，这周把程序弄完，下周写report和ppt。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/01/rpe-progress/" title="RPE进展">RPE进展</a><br /><small>RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...</small></li><li><a href="http://www.zhuhuang.com/2010/01/uppaal-programming/" title="Uppaal Programming">Uppaal Programming</a><br /><small>RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2010/03/transfer-from-uppaal-to-spin/" title="放弃Uppaal，改投Spin">放弃Uppaal，改投Spin</a><br /><small>周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...</small></li><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2010/01/program-debugging/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>RPE进展</title>
		<link>http://www.zhuhuang.com/2010/01/rpe-progress/</link>
		<comments>http://www.zhuhuang.com/2010/01/rpe-progress/#comments</comments>
		<pubDate>Fri, 22 Jan 2010 03:22:52 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>
		<category><![CDATA[UPPAAL]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1848</guid>
		<description><![CDATA[RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做系统的模拟，Uppaal这工具功能实在让人憋屈，很多东西都无法实现。模型，函数等都弄好了，但运行不起来，说是有syntax error，但用Uppaal自带的Syntax Check功能根本就无法找出错误的地方。没有办法，现在的打算是，把所有函数和自动机模型重新翻查一遍，看能不能找到问题。看过一些用Uppaal做模拟工具的paper，和他们的系统相比，我们的系统要复杂的多，如果用Java，C之类的语言实现，应该不难，但我们挑了Uppaal，没办法，来不及换了，只能尽可能地去实现，系统该简化的就简化，直到能模拟出结果。和老板开会了，预计是无法在1月26日前完成模拟，除了模拟，还有report和ppt，这些也都还没准备。明天就给committee member发邮件，看能不能推迟一到两周。希望这周之内能把模拟的问题解决，下周写报告和ppt。 您可能感兴趣的文章程序调出来了查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...Uppaal ProgrammingRPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...放弃Uppaal，改投Spin周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...]]></description>
			<content:encoded><![CDATA[<p>RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做系统的模拟，Uppaal这工具功能实在让人憋屈，很多东西都无法实现。模型，函数等都弄好了，但运行不起来，说是有syntax error，但用Uppaal自带的Syntax Check功能根本就无法找出错误的地方。没有办法，现在的打算是，把所有函数和自动机模型重新翻查一遍，看能不能找到问题。看过一些用Uppaal做模拟工具的paper，和他们的系统相比，我们的系统要复杂的多，如果用Java，C之类的语言实现，应该不难，但我们挑了Uppaal，没办法，来不及换了，只能尽可能地去实现，系统该简化的就简化，直到能模拟出结果。和老板开会了，预计是无法在1月26日前完成模拟，除了模拟，还有report和ppt，这些也都还没准备。明天就给committee member发邮件，看能不能推迟一到两周。希望这周之内能把模拟的问题解决，下周写报告和ppt。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/01/program-debugging/" title="程序调出来了">程序调出来了</a><br /><small>查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...</small></li><li><a href="http://www.zhuhuang.com/2010/01/uppaal-programming/" title="Uppaal Programming">Uppaal Programming</a><br /><small>RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2010/03/transfer-from-uppaal-to-spin/" title="放弃Uppaal，改投Spin">放弃Uppaal，改投Spin</a><br /><small>周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...</small></li><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2010/01/rpe-progress/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Uppaal Programming</title>
		<link>http://www.zhuhuang.com/2010/01/uppaal-programming/</link>
		<comments>http://www.zhuhuang.com/2010/01/uppaal-programming/#comments</comments>
		<pubDate>Tue, 12 Jan 2010 02:16:16 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>
		<category><![CDATA[UPPAAL]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1822</guid>
		<description><![CDATA[RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙着编程，看Uppaal已有些时日了，也看过一些编程的例子（都是很简单模拟），但没有在上面写过程序。Uppaal使用的语言有点像C语言，但Uppaal的功能不是很强，它的编程语言也有不少限制。对于要模拟的系统，我已经把它的伪代码写完了。根据Uppaal的情况，已经搞清如何把系统移植到Uppaal上，需要建多少自动机，自动机之间如何协调等，并且在草稿纸上根据构思好的函数和变量等构建好了这些自动机。这些天的工作，就是编程，按着脑子里的系统模型和画好的自动机在Uppaal上实现。刚开始使用Uppaal编程，免不了一些问题，但都解决了，一切还算顺利。时间有点紧，希望能提前十天完成任务（还有五天时间），这样才有足够的时间写report，准备PPT。 您可能感兴趣的文章程序调出来了查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...RPE进展RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...放弃Uppaal，改投Spin周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...]]></description>
			<content:encoded><![CDATA[<p>RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙着编程，看Uppaal已有些时日了，也看过一些编程的例子（都是很简单模拟），但没有在上面写过程序。Uppaal使用的语言有点像C语言，但Uppaal的功能不是很强，它的编程语言也有不少限制。对于要模拟的系统，我已经把它的伪代码写完了。根据Uppaal的情况，已经搞清如何把系统移植到Uppaal上，需要建多少自动机，自动机之间如何协调等，并且在草稿纸上根据构思好的函数和变量等构建好了这些自动机。这些天的工作，就是编程，按着脑子里的系统模型和画好的自动机在Uppaal上实现。刚开始使用Uppaal编程，免不了一些问题，但都解决了，一切还算顺利。时间有点紧，希望能提前十天完成任务（还有五天时间），这样才有足够的时间写report，准备PPT。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/01/program-debugging/" title="程序调出来了">程序调出来了</a><br /><small>查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...</small></li><li><a href="http://www.zhuhuang.com/2010/01/rpe-progress/" title="RPE进展">RPE进展</a><br /><small>RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2010/03/transfer-from-uppaal-to-spin/" title="放弃Uppaal，改投Spin">放弃Uppaal，改投Spin</a><br /><small>周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...</small></li><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2010/01/uppaal-programming/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>RPE Presentation II</title>
		<link>http://www.zhuhuang.com/2009/11/rpe-presentation-ii/</link>
		<comments>http://www.zhuhuang.com/2009/11/rpe-presentation-ii/#comments</comments>
		<pubDate>Sun, 15 Nov 2009 01:55:41 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>
		<category><![CDATA[博士]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1560</guid>
		<description><![CDATA[周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多东西），而且讲得有点深入，老师们有点不耐烦了，让我直接跳到Conclusion，估计他们都急着回家。问的问题，在我看来，不是我期待的，做的方向不同，隔行如隔山。我想，这RPE，估计也只是走走形式。前两个Presentation，主要还是靠嘴巴说，最后一个就得拿出点东西来了，要做实现。老板没有太高要求，我只需要实现一部分，因为我们选定的实现工具，Uppaal，貌似不大能实现我做的系统，但我又花了时间进去，再学新的工具，如NS2， TinyOS，时间不够，于是老板就让我挑能实现的，实现一小部分。最后一个Presentation在一月底，下学期，有两个多月的时间，得着手弄一弄了。这段时间，突然觉得，如果博士期间一直搞这些东西，毕业之后，前途不行。搞计算机的，编程不能丢，所以有时间，自己还得把编程学精了，还得拓展下自己的知识面，计算机博大精深啊。 您可能感兴趣的文章历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...RPE Presentation归来准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...RPE Presentation I on Oct. 1st星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...PhD进展晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...]]></description>
			<content:encoded><![CDATA[<p>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多东西），而且讲得有点深入，老师们有点不耐烦了，让我直接跳到Conclusion，估计他们都急着回家。问的问题，在我看来，不是我期待的，做的方向不同，隔行如隔山。我想，这RPE，估计也只是走走形式。前两个Presentation，主要还是靠嘴巴说，最后一个就得拿出点东西来了，要做实现。老板没有太高要求，我只需要实现一部分，因为我们选定的实现工具，Uppaal，貌似不大能实现我做的系统，但我又花了时间进去，再学新的工具，如NS2， TinyOS，时间不够，于是老板就让我挑能实现的，实现一小部分。最后一个Presentation在一月底，下学期，有两个多月的时间，得着手弄一弄了。这段时间，突然觉得，如果博士期间一直搞这些东西，毕业之后，前途不行。搞计算机的，编程不能丢，所以有时间，自己还得把编程学精了，还得拓展下自己的知识面，计算机博大精深啊。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2009/10/rpe-presentation-1/" title="RPE Presentation归来">RPE Presentation归来</a><br /><small>准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...</small></li><li><a href="http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/" title="RPE Presentation I on Oct. 1st">RPE Presentation I on Oct. 1st</a><br /><small>星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2009/08/phd_progress/" title="PhD进展">PhD进展</a><br /><small>晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/11/rpe-presentation-ii/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>忙里偷闲</title>
		<link>http://www.zhuhuang.com/2009/11/manglitouxian/</link>
		<comments>http://www.zhuhuang.com/2009/11/manglitouxian/#comments</comments>
		<pubDate>Tue, 10 Nov 2009 08:11:02 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1553</guid>
		<description><![CDATA[上周忙，这周也会忙。上周死赶活赶，总算把term paper在deadline之前发了出去，写的马马虎虎。之后的role model比较简单，只画了个图，加一点注释，然后把我的solution发给其他组员，一印度女，一美国男。美国男基本上把project的代码写好了，所以我和那印度女商定，paper work都我们来做。上次的project作业是我整理提交的，因为周末要赶着做PPT，为这周二的presentation做准备，估计我没时间弄了，我就问印度女这次她能不能做一下整理并提交role model， 她说OK。周末两天，用OpenOffice Presentation准备“PPT”，画图，编公式，写协议，折腾了两天，在周日凌晨时完成初稿，发给老板。周一和老板meeting，我问老板要不要修改一下，老板说seems good to him，不用改，只有个别细节让我在presentation时解释一下，另外就是内容太多了（我已经省了很多内容了，只囊括了主要的），让我挑几个例子讲讲就行，其他的一语带过。meeting完之后，看了会周五的homework，貌似不简单，不过现在没时间想这个，presentation搞完后再写。现在周二凌晨，下午四点的presentation，还没把slide再过一遍，不过应该没问题，slide上面的东西我还是很熟的。睡个觉，起床后再过一遍吧，把条理理清楚，然后上台“丢人现眼”去。 您可能感兴趣的文章历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...程序调出来了查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...RPE进展RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...Uppaal ProgrammingRPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...RPE Presentation II周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...]]></description>
			<content:encoded><![CDATA[<p>上周忙，这周也会忙。上周死赶活赶，总算把term paper在deadline之前发了出去，写的马马虎虎。之后的role model比较简单，只画了个图，加一点注释，然后把我的solution发给其他组员，一印度女，一美国男。美国男基本上把project的代码写好了，所以我和那印度女商定，paper work都我们来做。上次的project作业是我整理提交的，因为周末要赶着做PPT，为这周二的presentation做准备，估计我没时间弄了，我就问印度女这次她能不能做一下整理并提交role model， 她说OK。周末两天，用OpenOffice Presentation准备“PPT”，画图，编公式，写协议，折腾了两天，在周日凌晨时完成初稿，发给老板。周一和老板meeting，我问老板要不要修改一下，老板说seems good to him，不用改，只有个别细节让我在presentation时解释一下，另外就是内容太多了（我已经省了很多内容了，只囊括了主要的），让我挑几个例子讲讲就行，其他的一语带过。meeting完之后，看了会周五的homework，貌似不简单，不过现在没时间想这个，presentation搞完后再写。现在周二凌晨，下午四点的presentation，还没把slide再过一遍，不过应该没问题，slide上面的东西我还是很熟的。睡个觉，起床后再过一遍吧，把条理理清楚，然后上台“丢人现眼”去。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2010/01/program-debugging/" title="程序调出来了">程序调出来了</a><br /><small>查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...</small></li><li><a href="http://www.zhuhuang.com/2010/01/rpe-progress/" title="RPE进展">RPE进展</a><br /><small>RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...</small></li><li><a href="http://www.zhuhuang.com/2010/01/uppaal-programming/" title="Uppaal Programming">Uppaal Programming</a><br /><small>RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...</small></li><li><a href="http://www.zhuhuang.com/2009/11/rpe-presentation-ii/" title="RPE Presentation II">RPE Presentation II</a><br /><small>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/11/manglitouxian/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>RPE Presentation归来</title>
		<link>http://www.zhuhuang.com/2009/10/rpe-presentation-1/</link>
		<comments>http://www.zhuhuang.com/2009/10/rpe-presentation-1/#comments</comments>
		<pubDate>Fri, 02 Oct 2009 02:51:15 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1164</guid>
		<description><![CDATA[准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免有点吃亏，加上有点紧张，都不知道自己说啥了，幸好及时调整，说的马马虎虎，老师们应该听明白了吧。我不断地看底下，老师们没啥表情，不知道什么意思。本来打了一份草稿的，但没时间看，直接盯着PPT乱扯一通，想到啥说啥，再说，拿个草稿念，底下的人估计会有意见的。老师们没提多少问题，中间有个老师提了个问题，我听清楚了，但不明白什么意思，我按我的理解解释了一通，他说没有回答到他的问题，还好老板出马，帮我解释了一下，同时和我说了那老师到底要问什么。除了这个，其他还算挺顺利的，没有纠缠，没有刁难，问题不多，不像在南邮做毕设时被两个博士（及个别博导）刁难，不问我做的东西，直接嘲笑我一通，说那样的课题也能申优，那也是我辛辛苦苦做的（当然最后拿了个良）。 Presentation开始前，刚好在电梯里碰到老板，我说我很nervous，老板说，没事的，这presentation比较informal，不用紧张。我还问要不要准备cookie和drink，因为在我印象中，每次我去听seminar，presentation，貌似都有吃的喝的。老板笑了笑，不用那么麻烦了。唉，算了，即使需要准备，我也没时间去弄这个了。讲完之后，老师们都没问题。按规定，他们得指定一个课题让我研究，但他们好像没啥idea，老板问他们，或者就按我现在做的做下去，他们说OK。貌似他们对我做的其中一个东西感兴趣，Invariant。这个其实就是物理公式，我要把物理课上学的运动理论，匀加速，匀加速的东东加到我的系统里，用来预测车之间的相互运动。看来这个得好好做了，不然就丢脸了，尽量搞得复杂点，起码在气势上占据一定高度。下个Presentation在11月10号，我生日的前一天，这中间有段时间，可以缓缓了。CIS844这门课最近一段作业比较多，有homework，有project，得好好弄了。 昨晚看了国庆阅兵，可能一个人窝在宿舍看，没啥气氛，自己没怎么激动。很多人去Union的小礼堂看了，那里人多，听说气氛很浓，难怪一个一个把校内状态改了，受刺激了。10.3号中秋节，这边没有中国店，买不到月饼。买得到也不买，贵，估计也难吃，好久没吃月饼了。明晚这边的华人教会会举办中秋联欢，有月饼。想去的，但明天晚上有个作业要交，还没开始写，如果明天白天能写完，就去，写不完就不去了，托人帮我捎个月饼回来。每逢佳节倍思亲，何况现在是秋天，更想家了。 忙就是好，什么都不用想，不用管那么多。 您可能感兴趣的文章历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...RPE Presentation II周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...RPE Presentation I on Oct. 1st星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...PhD进展晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...]]></description>
			<content:encoded><![CDATA[<p>准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免有点吃亏，加上有点紧张，都不知道自己说啥了，幸好及时调整，说的马马虎虎，老师们应该听明白了吧。我不断地看底下，老师们没啥表情，不知道什么意思。本来打了一份草稿的，但没时间看，直接盯着PPT乱扯一通，想到啥说啥，再说，拿个草稿念，底下的人估计会有意见的。老师们没提多少问题，中间有个老师提了个问题，我听清楚了，但不明白什么意思，我按我的理解解释了一通，他说没有回答到他的问题，还好老板出马，帮我解释了一下，同时和我说了那老师到底要问什么。除了这个，其他还算挺顺利的，没有纠缠，没有刁难，问题不多，不像在南邮做毕设时被两个博士（及个别博导）刁难，不问我做的东西，直接嘲笑我一通，说那样的课题也能申优，那也是我辛辛苦苦做的（当然最后拿了个良）。<br />
<span id="more-1164"></span><br />
Presentation开始前，刚好在电梯里碰到老板，我说我很nervous，老板说，没事的，这presentation比较informal，不用紧张。我还问要不要准备cookie和drink，因为在我印象中，每次我去听seminar，presentation，貌似都有吃的喝的。老板笑了笑，不用那么麻烦了。唉，算了，即使需要准备，我也没时间去弄这个了。讲完之后，老师们都没问题。按规定，他们得指定一个课题让我研究，但他们好像没啥idea，老板问他们，或者就按我现在做的做下去，他们说OK。貌似他们对我做的其中一个东西感兴趣，Invariant。这个其实就是物理公式，我要把物理课上学的运动理论，匀加速，匀加速的东东加到我的系统里，用来预测车之间的相互运动。看来这个得好好做了，不然就丢脸了，尽量搞得复杂点，起码在气势上占据一定高度。下个Presentation在11月10号，我生日的前一天，这中间有段时间，可以缓缓了。CIS844这门课最近一段作业比较多，有homework，有project，得好好弄了。</p>
<p>昨晚看了国庆阅兵，可能一个人窝在宿舍看，没啥气氛，自己没怎么激动。很多人去Union的小礼堂看了，那里人多，听说气氛很浓，难怪一个一个把校内状态改了，受刺激了。10.3号中秋节，这边没有中国店，买不到月饼。买得到也不买，贵，估计也难吃，好久没吃月饼了。明晚这边的华人教会会举办中秋联欢，有月饼。想去的，但明天晚上有个作业要交，还没开始写，如果明天白天能写完，就去，写不完就不去了，托人帮我捎个月饼回来。每逢佳节倍思亲，何况现在是秋天，更想家了。</p>
<p>忙就是好，什么都不用想，不用管那么多。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2009/11/rpe-presentation-ii/" title="RPE Presentation II">RPE Presentation II</a><br /><small>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...</small></li><li><a href="http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/" title="RPE Presentation I on Oct. 1st">RPE Presentation I on Oct. 1st</a><br /><small>星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2009/08/phd_progress/" title="PhD进展">PhD进展</a><br /><small>晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/10/rpe-presentation-1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>RPE Presentation I on Oct. 1st</title>
		<link>http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/</link>
		<comments>http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/#comments</comments>
		<pubDate>Tue, 29 Sep 2009 20:38:18 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=1147</guid>
		<description><![CDATA[星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（Presentation I）了。Presentation的主题是Highway Vehicle Collision Warning System Based on Wireless Sensor Networks，这可是俺一个暑假研究的成果，一定得好好表现。托了好几天才把PPT做好，基本算是定稿了。剩下两天时间，得多看看，熟悉一下，免到台上结巴了。第一次作英文的presentation，心里没底，在台上哑火的可能性极高。老板问我要不要在周三来次预演，我想算了，越搞越紧张，顺其自然吧。这两天除了准备presentation，还要写作业，周五要交，还没开始看。10.1是俺们祖国建国60周年的大日子啊，10年前错过了50周年的阅兵，这一次一定不能错过了。这次，多亏了时差帮忙（终于发现它的好处了），不然我又要错过阅兵了。国内10.1早上阅兵，这边是9.30晚上，所以不出意外，一定坐在电脑前观看，希望网上能有直播。看看阅兵，壮壮士气，第二天的Presentation旗开得胜，哈哈。 您可能感兴趣的文章历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...RPE Presentation II周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...RPE Presentation归来准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...PhD进展晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...]]></description>
			<content:encoded><![CDATA[<p>星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（Presentation I）了。Presentation的主题是Highway Vehicle Collision Warning System Based on Wireless Sensor Networks，这可是俺一个暑假研究的成果，一定得好好表现。托了好几天才把PPT做好，基本算是定稿了。剩下两天时间，得多看看，熟悉一下，免到台上结巴了。第一次作英文的presentation，心里没底，在台上哑火的可能性极高。老板问我要不要在周三来次预演，我想算了，越搞越紧张，顺其自然吧。这两天除了准备presentation，还要写作业，周五要交，还没开始看。10.1是俺们祖国建国60周年的大日子啊，10年前错过了50周年的阅兵，这一次一定不能错过了。这次，多亏了时差帮忙（终于发现它的好处了），不然我又要错过阅兵了。国内10.1早上阅兵，这边是9.30晚上，所以不出意外，一定坐在电脑前观看，希望网上能有直播。看看阅兵，壮壮士气，第二天的Presentation旗开得胜，哈哈。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2009/11/rpe-presentation-ii/" title="RPE Presentation II">RPE Presentation II</a><br /><small>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...</small></li><li><a href="http://www.zhuhuang.com/2009/10/rpe-presentation-1/" title="RPE Presentation归来">RPE Presentation归来</a><br /><small>准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li><li><a href="http://www.zhuhuang.com/2009/08/phd_progress/" title="PhD进展">PhD进展</a><br /><small>晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>RPE开始了</title>
		<link>http://www.zhuhuang.com/2009/09/rpe_begins/</link>
		<comments>http://www.zhuhuang.com/2009/09/rpe_begins/#comments</comments>
		<pubDate>Sun, 20 Sep 2009 21:00:59 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[RPE]]></category>
		<category><![CDATA[SPIN]]></category>
		<category><![CDATA[UPPAAL]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=879</guid>
		<description><![CDATA[从暑假一直拖到上周，终于把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 [...]]]></description>
			<content:encoded><![CDATA[<p>从暑假一直拖到上周，终于把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里要做的事：<br />
<span id="more-879"></span></p>
<blockquote><p>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.</p></blockquote>
<p>我做的方向是“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都是不错的模型检查工具，等有时间再写个有关它们的文章。）</p>
<p>10.1就开始第一个Presentation了，还有十天的时间准备，第一次presentation主要做背景介绍，得翻翻看过的论文，写个report和PPT，周一得像老板咨询一下。10.1国庆啊，没有假期了。50周年时的阅兵没看到，这次一定得补上，这次时差算是帮上了忙，和Presentation的时间不冲突。最近比较颓，作息依旧很乱，唉，都不知道自己怎么了，有点摸不着头脑。</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/03/transfer-from-uppaal-to-spin/" title="放弃Uppaal，改投Spin">放弃Uppaal，改投Spin</a><br /><small>周五时基本上把程序改到最小了，系统能砍的我都看了，变量能不用的我都删了，能做的我都做了，但不是所有的...</small></li><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2010/01/program-debugging/" title="程序调出来了">程序调出来了</a><br /><small>查了一遍原来写的系统模拟代码，在代码和自动机上做了写必要的修改，没什么大的问题。但到模拟时，出现了一...</small></li><li><a href="http://www.zhuhuang.com/2010/01/rpe-progress/" title="RPE进展">RPE进展</a><br /><small>RPE还剩最后一个presentation，原定于1月26日做的，但目前来看，恐怕得推迟了。最近在做...</small></li><li><a href="http://www.zhuhuang.com/2010/01/uppaal-programming/" title="Uppaal Programming">Uppaal Programming</a><br /><small>RPE最后一个Presentation就在月底，1月26日，到时我提交系统的模拟结果。最近一段时间忙...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/09/rpe_begins/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>PhD进展</title>
		<link>http://www.zhuhuang.com/2009/08/phd_progress/</link>
		<comments>http://www.zhuhuang.com/2009/08/phd_progress/#comments</comments>
		<pubDate>Sun, 23 Aug 2009 03:57:37 +0000</pubDate>
		<dc:creator>nanyo</dc:creator>
				<category><![CDATA[博士五年]]></category>
		<category><![CDATA[Breadth Exam]]></category>
		<category><![CDATA[RPE]]></category>

		<guid isPermaLink="false">http://www.zhuhuang.com/?p=601</guid>
		<description><![CDATA[晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早点毕业，系里定的是五年，如果四年能读完就好了，在奔三之前毕业，搞定工作。设想比较诱人，但计划赶不上变化，不付出一番努力，谈何容易。想拿到PhD学位，得满足四方面的要求。 一是Program of Study，PhD要求修满至少90个学时的课程，其中包括30个学时的硕士课程，24~30个学时的博士课程，30~36个研究学时。目前为止我才修了六门课，18个学时，都是硕士课程，都是七字头的课程。这学期选了三门，如果按每学期三门课，9个学时来算，那得五年才能修满90个学时，有点慢。如果想早点毕业的话，那得在某些学期修四到五门课程，值得考虑一下。 二是Breadth Exam。BE要求在规定的六个学科里，要么考试，要么选课（本科课程或研究生课程）。考试只有Pass和Fail，选课的话，本科的课程要求A以上，研究生课程要求B+以上。这六个学科包括操作系统、数据库系统、算法分析、形式语言、程序语言、软件工程。这个要求我已经完成了。第一学期时我考了操作系统和数据库系统，全过了，同时修了算法分析和软件工程，都拿了A。第二学期修了形式语言和程序语言，一门A，一门B+。 三是Preliminary Exam，系里称为RPE， Research Proficiency Exam。只有过了Breadth Exam，才能参加RPE。老板让我这学期把RPE过了，值得一试。RPE要求在一个学期内完成，包括三个pubic presentation和一个written report。这个考试比较麻烦，首先是自己和老板商量，定下要做哪方面的内容，做第一个presentation，然后RPE委员会（自己找老师）会指定一个具体的问题让你研究。第二个presentation要求陈述对指定问题的研究进展。最后一个representation要求描述你已解决的问题，使用的方法以及实验结果，同时得交一份written report。确实有点罗嗦，希望自己能在这学期把它拿下。 四是Dissertation Research，就是俗称的毕设了。过了BE和RPE，不出意外，就是PhD candidate了。之后的任务就是选一个问题，开展研究，如果想做出一个好的毕设，估计得花不少时间。具体的要求很多，也很烦，直接跳过不看了。 废话不多说，既然选择了，那就坚定地走下去。最后，用汪国真的一首诗勉励自己： 我不去想是否能够成功 既然选择了远方 便只顾风雨兼程 我不去想能否赢得爱情 既然钟情于玫瑰 就勇敢地吐露真诚 我不去想身后会不会袭来寒风冷雨 既然目标是地平线 留给世界的只能是背影 我不去想未来是平坦还是泥泞 只要热爱生命 一切，都在意料之中 您可能感兴趣的文章历时半年，RPE终于搞定，成为phd candidate了从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...RPE Presentation II周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...RPE Presentation归来准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...RPE Presentation I on Oct. 1st星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...RPE开始了从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...]]></description>
			<content:encoded><![CDATA[<p>晚上闲着没事时看了下系里的PhD Guidelines，了解一下已完成的和未完成的任务。一直想着要早点毕业，系里定的是五年，如果四年能读完就好了，在奔三之前毕业，搞定工作。设想比较诱人，但计划赶不上变化，不付出一番努力，谈何容易。想拿到PhD学位，得满足四方面的要求。</p>
<p>一是Program of Study，PhD要求修满至少90个学时的课程，其中包括30个学时的硕士课程，24~30个学时的博士课程，30~36个研究学时。目前为止我才修了六门课，18个学时，都是硕士课程，都是七字头的课程。这学期选了三门，如果按每学期三门课，9个学时来算，那得五年才能修满90个学时，有点慢。如果想早点毕业的话，那得在某些学期修四到五门课程，值得考虑一下。<br />
<span id="more-601"></span><br />
二是Breadth Exam。BE要求在规定的六个学科里，要么考试，要么选课（本科课程或研究生课程）。考试只有Pass和Fail，选课的话，本科的课程要求A以上，研究生课程要求B+以上。这六个学科包括操作系统、数据库系统、算法分析、形式语言、程序语言、软件工程。这个要求我已经完成了。第一学期时我考了操作系统和数据库系统，全过了，同时修了算法分析和软件工程，都拿了A。第二学期修了形式语言和程序语言，一门A，一门B+。</p>
<p>三是Preliminary Exam，系里称为RPE， Research Proficiency Exam。只有过了Breadth Exam，才能参加RPE。老板让我这学期把RPE过了，值得一试。RPE要求在一个学期内完成，包括三个pubic presentation和一个written report。这个考试比较麻烦，首先是自己和老板商量，定下要做哪方面的内容，做第一个presentation，然后RPE委员会（自己找老师）会指定一个具体的问题让你研究。第二个presentation要求陈述对指定问题的研究进展。最后一个representation要求描述你已解决的问题，使用的方法以及实验结果，同时得交一份written report。确实有点罗嗦，希望自己能在这学期把它拿下。</p>
<p>四是Dissertation Research，就是俗称的毕设了。过了BE和RPE，不出意外，就是PhD candidate了。之后的任务就是选一个问题，开展研究，如果想做出一个好的毕设，估计得花不少时间。具体的要求很多，也很烦，直接跳过不看了。</p>
<p>废话不多说，既然选择了，那就坚定地走下去。最后，用汪国真的一首诗勉励自己：</p>
<p>我不去想是否能够成功<br />
既然选择了远方<br />
便只顾风雨兼程</p>
<p>我不去想能否赢得爱情<br />
既然钟情于玫瑰<br />
就勇敢地吐露真诚</p>
<p>我不去想身后会不会袭来寒风冷雨<br />
既然目标是地平线<br />
留给世界的只能是背影</p>
<p>我不去想未来是平坦还是泥泞<br />
只要热爱生命<br />
一切，都在意料之中</p>
<h3  class="related_post_title">您可能感兴趣的文章</h3><ul class="related_post"><li><a href="http://www.zhuhuang.com/2010/02/phd-candidate/" title="历时半年，RPE终于搞定，成为phd candidate了">历时半年，RPE终于搞定，成为phd candidate了</a><br /><small>从上学期开始，RPE的三个presentation我拖到今天才做完。2009.10.1第一个，200...</small></li><li><a href="http://www.zhuhuang.com/2009/11/rpe-presentation-ii/" title="RPE Presentation II">RPE Presentation II</a><br /><small>周二下午完成了RPE的第二个Presentation。比较戏剧，因为要说的内容太多（虽然我已省去很多...</small></li><li><a href="http://www.zhuhuang.com/2009/10/rpe-presentation-1/" title="RPE Presentation归来">RPE Presentation归来</a><br /><small>准备了，要讲的东西也是自己做过的，比较熟悉，但无奈，第一次做英语presentation，表达上难免...</small></li><li><a href="http://www.zhuhuang.com/2009/09/oct_1st_rpe_1/" title="RPE Presentation I on Oct. 1st">RPE Presentation I on Oct. 1st</a><br /><small>星期四（10月1日）就要开始博士预备考试（PhD Preliminary Exam）的第一次陈述（P...</small></li><li><a href="http://www.zhuhuang.com/2009/09/rpe_begins/" title="RPE开始了">RPE开始了</a><br /><small>从暑假一直拖到上周，终于把RPE request form填完上交了，committee membe...</small></li></ul>]]></content:encoded>
			<wfw:commentRss>http://www.zhuhuang.com/2009/08/phd_progress/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>
