1 / 14

2012 年迎新报告

2012 年迎新报告. 报告人：信贤卫 Email: xinxw@ios.ac.cn. 报告内容. 自我介绍 科研学习 经验体会 总结. 自我介绍. 姓名：信贤卫 爱好：足球、羽毛球、乒乓球 研究方向：模型检测、模拟器、具体反例的生成。. 科研学习. 过去一段时间的研究工作 模型检测 CTAV 工具 UPPAAL 工具 Simulator 的实现. 科研学习. 模型检测. 科研学习. 模型检测 这个是大家特别是南边的实验室的同学都会不小心走进去的胡同。. 科研学习. Simulator 模拟模型检测过程的一个工具

jelani-moore
Download Presentation

2012 年迎新报告

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 2012年迎新报告 报告人：信贤卫 Email: xinxw@ios.ac.cn

  2. 报告内容 • 自我介绍 • 科研学习 • 经验体会 • 总结

  3. 自我介绍 • 姓名：信贤卫 • 爱好：足球、羽毛球、乒乓球 • 研究方向：模型检测、模拟器、具体反例的生成。

  4. 科研学习 • 过去一段时间的研究工作 • 模型检测 • CTAV工具 • UPPAAL工具 • Simulator的实现

  5. 科研学习 • 模型检测

  6. 科研学习 • 模型检测 • 这个是大家特别是南边的实验室的同学都会不小心走进去的胡同。

  7. 科研学习 • Simulator • 模拟模型检测过程的一个工具 • 模拟具体反例运行的具体过程

  8. 科研学习

  9. 科研学习 • 不断重复上面的动作就动态描述了模型检测某条路径的执行过程。 • 针对UPPAAL描述的模型基本都能在Simulator上动态显示其运行。

  10. 经验体会 • 学习： • 培养自己的学习习惯 • 独立解决问题的能力 • 抓紧时间 • 培养出自己的未来职业的特点。

  11. 生活 • 实验室的春游秋游最好都参加，挺好玩的 • 每周一的羽毛球活动是非常不错的运动健身休闲的好去处 • 不准备读博的研究生最好可以找时间实习。

  12. 总结 研一的上半期是比较轻松的 研一的下半期是研究生阶段最幸福的时光 研二，开始比较忙 研三，是可预见的特别忙。。。

More Related