oral能考什么呢?

原创 2011年01月12日 15:52:00

后天是这门课的oral test,不知道能考什么呢?正门课程大部分的时间在讲Promela&SPIN和JML&Key,如果不是用笔编程的话还能考什么呢?谈谈你对propositional logic and first order logic的看法?口述 sequent calculus??抓狂……

 

 

 

后记:

 

写上一段之后的数小时之内,收到了原定毕业设计被放鸽子的消息,然后抓狂半小时,转移注意力半小时,疯狂找毕设n小时,终于定下心想起复习的时候离考试不到12小时了,经历着复习->发现问题->解决问题->深入复习->发现新问题->...的痛苦无限循环,考前3小时的时候甚至有打退堂鼓的念头。最终放弃了Dynamic logic部分的实例,集中向其他方向深入。

 

提前五分钟到了考场,加上上一个考试顺延了15分钟,我就在走廊上晃悠了20分钟,从不紧张晃悠到了很紧张……

 

Wolfgang和Richard一起考试,原来Richard从master开始就开始做KeY,一直做到PhD,PostDoc,基本就是KeY之父,当然理论高度上他还是受Wolfgang指导的,这个也能从考试过程中感受出来~~

 

第一个问题是关于命题逻辑的,Valid, satisifiable, unsatisfiable的概念以及验证方法,简单的掉渣……

第二个问题是Promela,真的是让我现场写程序啊,问题很简单,不过有点紧张所以搞出了一些低级错误,Wolfgang很nice的提醒了有点瑕疵,我自己发现然后改了过来……

第三个问题是关于LTL,自己边说着对的边写成错的,然后试图改正的时候又写成另外一种错法,估计老师们已经汗死了,因为后来他们讨论我分数的时候我在屋子外面听到他们乐得一塌糊涂,估计就是为了这个~~

第四个问题十关于FOL&Buchi. FOL真的让我重复KeY的工作,真的是用太多自动解答功能了,手写的时候乱其八糟的,因为时间关系没有做完就过了;Buchi只考了概念,非常佩服Wolfgang,他能从我的用词中了解我潜在了解的东西,然后循循善诱的让我说出来,Richard就不行,经常他问个问题我都不知道他在说什么,但是Wolfgang paraphrase一下我就顿悟了,这个就是高手和大师的区别吧,在面对一个傻瓜的时候……

第五个问题是关于JML,第一问invariant完全不记得了,第二问部分算法没有老师转的快,不过总算大概上是没有什么大问题

第六个问题是关于Dynamic logic,让我写一个对于一段程序的验证formula,我完全没有复习所以当时完全不打算抵抗,直接说我不会,但是Wolfgang很patient,说你随便写一个你会的就好~~于是我就随便写了一个上课在介绍定义时候的小例子,Richard让我解释了一下含义,然后让我解释program (un)define的意思,当时我已经考了60分钟了,被折磨的脑筋不转完全记不起来了(我到现在都不能理解我怎么能把一个我之前半年所有课都用的这个概念给忘记的)。这次轮到Richard终于小宇宙爆发,写了个While(true) {i++;}问我是defined还是undefined,我说当然是undefined,因为计算不会终止~~然后两个人很高兴得说对阿~~然后我们三个人就对着乐……真够二的我

 

两个人讨论成绩用了好长好长好长的时间啊,我又在走廊上晃悠,感觉就是表现的很silly~~最后说他们一直在争论能不能给我5(结果当然是不能,不然就不用争论了……)说虽然我的知识基础都有,但是考试中他们给了一些提示,而且有些Dynamic Logic和FOL部分的回答的确有待加强,所以就算是无限接近5的水平,但为了那些参加笔试不能接受提示的人公平起见,还是4 :(

 

虽然不开心只有四,但不得不承认,在考试过程中,两个老师的确帮我理顺了很多思路,很多知识虽然我都能够理解,但是没有他们的digging,我恐怕还是不太可能把它们发挥出来,说明我掌握的不够好,所以还是要认栽~~

 

 

开源|2017 CVPR(Oral Paper):多目标实时体态估测 项目开源

转自:http://mt.sohu.com/20170321/n484047638.shtml 本目录下的代码赢得了2016年MSCOCO关键点挑战赛以及2016年ECCV最佳演示奖,并发表在20...
  • huixingshao
  • huixingshao
  • 2017年03月22日 09:23
  • 1243

oralcle数据误更新还原操作

//查询被更新的表十分钟前的数据(未被更新前)EMR_CDA_STANDARD_NT  为表名; SYSDATE :系统时间;10:分钟数 SELECT * FROM EMR_CDA_STANDAR...
  • zhandingfeng
  • zhandingfeng
  • 2016年12月16日 15:29
  • 165

国际会议oral经验浅谈

第一次参加国际会议并做oral。 挺紧张,因为毕竟不是用母语进行。 在小木虫上看了很多东西(大家可以借鉴下) 但我想告诉大家的是 不管你ppt做的多么炫,多么多 最最重要的是你需要把你的算法...
  • DreamD1987
  • DreamD1987
  • 2012年09月22日 09:43
  • 2581

我能贡献什么呢

一个人如果只知道埋头苦干,如果老师强调自己的职权,那不论其职位有多高,也只能算是别人的“下属” 重视贡献,才能使管理者的注意力部位其本身的专场所限,不为其本身的技术所限,不为其本身的部门所限,才能看...
  • MrHelicopter
  • MrHelicopter
  • 2018年01月09日 00:32
  • 43

CVPR 2015 Oral概览 - 综述

本系列综述CVPR2015中3天共12个主题,而后介绍每篇Oral论文。介绍主要集中在“干了什么”,如果看得懂也简单说说“怎么干”。...
  • shenxiaolu1984
  • shenxiaolu1984
  • 2015年10月10日 15:54
  • 1500

怎样做好oral presentation?

这里所说的oral presentation指的是学术问题或课件的口头表述,昨天的博文末尾谈到了此点。我一直以为,学术成果的presentation技巧是科研方略的重要组成部分,其中的oral pre...
  • flyingworm_eley
  • flyingworm_eley
  • 2011年02月12日 20:57
  • 931

oralc UPDATE关联表的思路总结

多个表关联更新的问题总结,不错的东西,也是很经典的东西
  • cnham
  • cnham
  • 2010年06月17日 16:07
  • 1195

软考(一)-软考开始了

这篇博客其实算是迟到的;     因为软考已经开始了有一段时间了。     之前就有听过师哥师姐他们说到软考,很重要的一项考试,更是更重要的难得的学习机会!一定要好好把握。     这次软考开始前...
  • u010282984
  • u010282984
  • 2016年09月20日 16:41
  • 383

H5面试题---new操作符具体干了什么呢

new操作符具体干了什么呢? (1)创建一个空对象,并且 this 变量引用该对象,同时还继承了该函数的原型。 (2)属性和方法被加入到 this 引用的对象中。 (3)新创建的对象由 thi...
  • songchunmin_
  • songchunmin_
  • 2017年08月05日 23:40
  • 714

大部分艺术院校导演专业考试都分为初试和复试两个阶段

 大部分艺术院校导演专业考试都分为初试和复试两个阶段,如果考生很多,也可能有三试,但也基本是以下项目,只是考题内容有些变化罢了: 一、初试主要包括:自我介绍、自选朗诵、特长展示、回答考官提问 1、自我...
  • trix_lee
  • trix_lee
  • 2009年01月19日 13:32
  • 253
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:oral能考什么呢?
举报原因:
原因补充:

(最多只允许输入30个字)