闵应骅的博客分享 http://blog.sciencenet.cn/u/ymin 一位IEEE终身Fellow对信息科学及其发展的看法

博文

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

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

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

GMT+8, 2024-3-29 19:00

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部