时态规划系统的图形化用户接口设计和实现，2012年武汉工程大学08智能的毕业设计之一。