科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
IEEE院士评估过程亲历记(100729)
闵应骅 2010-7-29 15:36
IEEE院士评估过程亲历记(100729) 闵应骅 按照IEEE Constitution,院士(Fellow)是IEEE各领域中某一个领域被认为在工程、科学和技术上对社会做出突出贡献的IEEE成员。他必须由董事会邀请。一位候选人先由一位高级会员以上人员提名,经至少5位院士推荐,交某一学会由院士组成的的院士评估委员会进行评 ...
个人分类: 学术导航|4969 次阅读|没有评论
信息化的实体系统(Cyber-Physical Systems)(100409)
热度 2 闵应骅 2010-4-9 09:48
信息化的实体系统(Cyber-Physical Systems)(100409) 闵应骅 2006年美国总统科技顾问委员会在报告中把Cyber-Physical Systems,CPS列为第一优先的研究课题。10月16-17日美国国家科学基金会办了一个研讨会,研究这一个新的热门研究方向。这个词至今没有一个合适的中文翻译。我这里基本上按意译,翻成&ldq ...
个人分类: 学术导航|7038 次阅读|12 个评论 热度 2
关于国际学术会议的大会特邀报告(100316)
热度 1 闵应骅 2010-3-16 09:21
关于国际学术会议的大会特邀报告(100316) 闵应骅 在国际学术会议上做大会特邀报告,是大会为了向参会人表明近期本领域的主要研究动向,也是报告人的荣誉,是大家对报告人工作和水平的肯定。所以,报科研成果的时候缺不了这一项,以表明该成果在国际、国内的巨大影响。基金委的课题总结中也特别列出这 ...
个人分类: 学术导航|13189 次阅读|5 个评论 热度 1
论文应该投什么样的国际学术会议?(100315)
闵应骅 2010-3-15 15:25
论文应该投什么样的国际学术会议?(100315) 闵应骅 许多青年学者关心论文应该投什么样的国际学术会议。许多学术团队已经与某些国际会议有较固定的联系,不存在这个问题。但对于新的领域、新的团队和个人,这必然是要考虑的问题。我们有的学者投文并没有想去参加会议,或者是想去也不一定去得了。在一 ...
个人分类: 学术导航|8679 次阅读|5 个评论
灾难管理(100205)
闵应骅 2010-2-5 16:09
灾难管理(100205) 闵应骅 社会越现代化,就越关心人。过去在战争中,不知道死了多少人,不管他/她是所谓敌还是友,反正他们都是人。而当时人们关心的是谁胜谁败、谁是高级军官。其实,不管是官,还是兵,他们都是人。今天,一次事故、一次地震、一次命案,哪管是死一个人 ...
个人分类: 学术导航|3132 次阅读|没有评论
从上海地铁事故想到的(100124)
热度 2 闵应骅 2010-1-24 17:34
从上海地铁事故想到的(100124) 闵应骅 据媒体报道,2009年12月22日清晨上海轨道交通一号线发生两列列车侧面冲撞事故。调查结果显示,事故缘于九年前的一个设计疏漏。在2001年一号线上海火车站改造项目的配线图修改时,因设计技术人员工作疏漏,N11-1438区段编码电路配线出错,使信号系统在N11-1438轨 ...
个人分类: 学术导航|3437 次阅读|2 个评论 热度 2
模型检验(结束语)(100101)
闵应骅 2010-1-1 15:24
模型检验(结束语)(100101) 闵应骅 学习完模型检验(model checking)三位创建者的文章以后,现在可以说几句结束语了。 科学大家就是科学大家。他们就模型检验28年来的发展,对历史、研究动机、已有成就及今后发展做了高度的概括和总结,指明了方向。但是,真要想做这方面的研究, ...
个人分类: 学术导航|3662 次阅读|没有评论
模型检验(5)(100101)
热度 2 闵应骅 2010-1-1 14:23
模型检验(5)(100101) 闵应骅 模型检验(model checking)自从1981年提出来以后,受到各种非议。至今28年过去了,才得到了学术界和工业界的广泛关注。这是很正常的。要求一个学术成果马上用于实际,很不现实。中国某些干部就这么急功近利。算法的设计验证包括三步:(1)需求规范;(2)建立可执行的 ...
个人分类: 学术导航|3079 次阅读|1 个评论 热度 2
模型检验(4)(091231)
闵应骅 2009-12-31 17:25
模型检验(4)(091231) 闵应骅 模型检验的成功之处在于它用自动搜索代替手动证明来解决验证的问题。模型检验包括三部分:1。基于命题时态逻辑的规范语言,2。表示被验证系统的编码状态机的方法,3。验证算法,对状态空间的智能搜索以确定规范是真还是假。如果规范没有被实现,模型检验能够给出反例。 ...
个人分类: 学术导航|5699 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-4-21 10:21

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部