形式化方法研究导师

❶ 胡凯教授的履历是什么

胡凯，男，1961年10月生，江西吉安人，汉族，中共党员，博士，南京大学地球科学与工程学院教授。1980年考入南京大学地质系。1984年、1987年先后获得南京大学学士、硕士学位。1987.9-1990.3攻读博士学位，1990.4—1991.11被国家教委选派留学澳大利亚联邦科学研究院(CSIRO)，1992年12月获南京大学与澳大利亚联合培养博士学位。1992年7月留校任助教。1993年10月晋升讲师、硕士生导师。 1995年3月晋升副教授。1998.11—1999.10在德国Tuebingen大学做访问学者。2001年4月晋升教授，2002年3月任博士生导师。1992.7—1994.7兼任地球科学系本科生政治辅导员。1994.9—2001.11任矿床地球化学教研室副主任、党支部书记。2001.12—2006.1任地球科学系系主任，兼任南京大学校务委员会委员、南京大学教学委员会委员、江苏省地质学会副理事长、《高校地质学报》和《石油勘探与开发》编委。(摘录网络)

❷ 陈海明的基本简介

职务： 副主任
职称： 中科院软件所研究员，博士生导师
所在部门： 计算机科学国家重点实验室
目前主要研究方向及简介
目前主要研究方向为软件设计方法和形式规约
研究方向简介：包括计算模型、软件设计方法和形式规约、编程语言。以提高软件开发的生产率、可靠性和易用性为目标，研究软件的需求、设计中需要的理论、方法和技术。目前，软件开发研究的重点趋向高层，即需求、设计阶段。对于复杂的软件系统，和对可靠性要求高的系统，尤其需要有基于系统化理论基础、特别是形式化方法的工具对需求、设计的支持。实际上，软件的质量在很大程度上决定于这一阶段的工作。这一阶段对于降低软件开发和维护代价有重要作用。而同时，这一阶段中也充满了具有挑战性的问题，还有许多问题有待研究。

❸ 请问华东理工研究生院信息学院搞双控的哪个老师比较NB啊

信息科学与工程学院2009年上岗硕士生导师研究方向介绍

（排列不分先后，请在志愿表中注明是否愿意调剂）

1、080402 测试计量技术及仪器专业导师研究方向介绍
导师姓名 研究方向
姚晓东 1）智能信息处理；2）嵌入式系统开发及其应用；3）模式识别
张建正 1）智能检测技术和系统；2）数字图象处理与模式识别技术在检测中的应用；3）嵌入式系统及应用
赵乐军 1）智能检测技术和系统；2）数字图象处理；3）信号检测与处理
阮建国 1）智能检测与控制；2）信号处理；3）微机应用；4） FPGA应用
常青 主要从事的研究领域有信息处理，模式识别与图像处理，包括图象匹配，图象分割，运动图像识别与处理，小目标检测，复杂背景下目标检测，基于形态学的目标检测等；博士期间研究方向为精确制导、导航与控制，主要研究精确制导技术，包括GPS定位和双星定位系统研究，低空突防中的地形匹配技术，下视景象匹配技术，复合多模制导技术，仿生技术在全方位成像制导中应用的探索研究等。发表学术论文十数篇，参与多项基金项目和相关课题研究
朱宏擎 1）图象处理；2）模式识别

2、081002 信号与信息处理专业导师研究方向介绍
导师姓名 研究方向
林家骏 1）智能控制及检测技术；2）信息安全；3）图形、图象处理；4）信息融合；5）传感网络与嵌入式系统
朱煜 1）数字图像处理；2）数字信号检测与处理
戴本祁 1）信号检测与信息处理；2）图像信号处理；3）电磁场数值计算
吴雪 1）网络图论与通信网系统优化设计；2）计算智能及智能信息处理；3）无线传感器网络；4）现代电路理论
赵乐军 1）智能检测技术和系统；2）数字图象处理；3）信号检测与处理
邵方明（校内跨专业） 优化理论应用性在信息领域的应用
陆中成 1）Electronic Technology Apllication； 2）Data Compress
姚晓东 1）智能信息处理；2）嵌入式系统开发及其应用；3）模式识别
朱宏擎 1）图象处理；2）模式识别
樊凌涛 1）短距无线通信网络；2）汽车电子技术
张雪芹 1）信息安全； 2）网络应用；3）模式识别

3、081100 控制科学与工程一级学科导师研究方向介绍
导师姓名 研究方向
顾幸生 1）复杂工业过程建模、控制与优化；2）控制理论与应用；3）系统工程；4）生产计划与调度;5)工业过程故障检测与故障诊断
王行愚 1）脑电信息处理与脑控技术；2）控制理论与应用；3）智能控制；4）网络控制和系统工程等
俞金寿 1）工业过程模型化与控制；2）计算机优化控制；3）先进控制技术；4）控制理论及应用
黄道 1）计算机在过程工业中的应用；2）综合自动化的理论与应用；3）系统工程
钱锋 1）复杂工业过程建模与控制；2）工业过程先进控制；3）智能控制理论与应用；4）化工过程系统工程；5）流程工业过程模拟与优化操作
侍洪波 1）流程工业过程模型化与先进控制技术；2） 综合自动化系统的理论和方法；3） 工业过程工况监控与故障诊断
刘爱伦 1）过程模型化、优化与计算机控制；2）软测量技术与先进控制；3）故障诊断与容错控制
刘士荣(兼) 1）工业过程模型化，控制与优化；2）智能机器人与智能系统；3）模糊系统与神经网络
黄河清 综合自动化的理论与应用.具体研究方向为：先进控制、制造执行系统（MES）、计算机集成制造系统（CIMS）、企业资源计划（ERP）和专家系统等
李绍军 1）过程系统工程；2）复杂过程的建模、优化与控制；3）工业过程计算机应用技术
牛玉刚 近期研究兴趣包括：网络化控制系统，网络拥塞控制，随机系统的控制与滤波，滑模控制，机器人路径规划等
刘漫丹 1）生产过程建模、控制及优化 2）生物特征识别
郭丙君 先进控制技术
万衡 1）电气自动化与EDA 2）电力电子与电力传动
颜学峰 1）石油化工过程智能建模、控制与优化；2）过程系统工程；3）高维复杂模式的分析与处理；4）计算机技术、智能计算技术及其应用
王振雷 1）智能控制理论与应用；2）工业过程建模与优化；3）系统工程
张克进(兼) 工业过程模型化、控制与优化
李振光(兼) 工业过程模型化、控制与优化
彭亦功 1. Prediction on Supply and Demand for Energy System 2. Instrial Ecological System 3. Process Control, Dynamic Optimization 4. Distributed Control System 5. Wireless Sensor Technique 6. Intelligent Sensing
罗健旭 1）过程控制；2）智能控制；3）数据挖掘
徐余法(兼) 电气设备故障诊断，电机智能控制
焦斌(兼) 自动控制、电力电子应用
王建华(兼) 研究领域与研究方向为：先进控制、故障诊断、计算机控制系统和集散控制系统等。在上述领域与研究方向上，有多年的研究与开发经验。
杜文莉 主要从事石化过程建模、先进控制、与优化的理论与应用技术研究，研究计算智能与优化算法、神经网络、模糊逻辑和专家系统等智能理论方法与技术以及在石油化工生产过程建模、控制、优化中的应用。
叶西宁 控制理论及其应用、信息融合、测控仪表
黎冰 最优化方法，控制理论与应用，自动控制系统的设计与研究
张凌波 控制理论，生产计划与调度
刘军(兼) 电机智能控制、电力电子技术
薛安克(兼) 先进控制、鲁棒控制、信息融合、生产过程优化调度、企业综合自动化、特种机器人等。
张建华 1）复杂系统的建模、分析、优化与控制；2）智能系统与智能控制；3）自适应与智能信号处理；4）智能化模式识别与数据挖掘
凌志浩 1）现场总线与控制网络；2）嵌入式系统应用；3）检测技术与仪表智能化；4）无线传感器网络
林家骏 1）智能控制及检测技术；2）信息安全；3）图形、图象处理；4）信息融合；5）传感网络与嵌入式系统
孙自强 1）智能仪表及控制装置；2）智能检测及传感器技术；3）自动控制理论及工程应用
王慧锋 1）智能仪表及控制装置；2）智能检测及传感器技术；3）嵌入式系统应用
王华忠 1）智能仪表及控制装置；2）智能检测及传感器技术；3）嵌入式系统应用
范铠(兼) 1）现场总线与控制网络；2）嵌入式系统应用；3）智能仪表；4）过程检测
周政新(兼) 智能监测与故障诊断
邹俊忠 1）人工智能与模式识别应用；2）脑电波信号处理与人性化护理机器人研究; 3）医疗电子与康复运动控制系统研究;4）机器人建模与高精度、高性能运动控制器开发；5）电动汽车电机驱动与控制系统开发；6）纺织机械电控系统开发；7）工业装备高精度变频伺服系统开发。
王如彬 1)认知神经动力学与仿脑计算模型；2）神经控制论与神经信息处理；3）随机振动与随机动力学
高大启 1）模式识别；2）智能系统；3）知识工程
陈智高（校内跨专业） 1）信息管理与信息系统；2）知识管理与知识系统；3）技术管理与企业孵化器；4）企业信息化
田华(兼) 系统科学与系统工程、自动化科学、复杂大系统科学、分布式人工智能、计算机科学等。近20年，以大型复杂系统综合集成计算模型为其最具原创性的基本领域，将大型复杂系统综合集成的计算模型应用于分层递阶智能控制系统、智能机器人控制系统、知识基控制及智能控制、企业全范围的系统集成及跨企业间的系统集成、以及近年来在国际上开创性地将其大型复杂系统综合集成的计算模型应用于计算机系统的自律控制和自组织管理控制。
陈国初(兼) 工业过程模型化、控制与优化
祁荣宾 1）智能计算，多目标优化；2） 混沌系统的控制、同步和优化；3） 多智能体系统理论与应用；4） 复杂网络理论及应用
吴胜昔 1）系统仿真；2）设备监控；3）数据协调；4）流程工业综合自动化
徐震浩 1）生产计划和调度； 2）优化算法 ；3）图像处理与识别
王学武 1）过程控制；2）智能控制3）软测量技术；4）现场总线技术
曹萃文 1）工业过程模型化、控制与优化；2）连续工业生产计划与调度技术
孙京诰 主要从事故障诊断、智能控制、优化方法及应用、聚合反应控制等领域方向的研究与实践。
王致杰（兼） 1）大型机电设备的故障诊断与容错控制策略研究；2）基于模糊理论、神经网络的工业过程智能控制策略研究；3）基于网络的企业信息集成监控系统； 4）太阳能发电系统
杨富文 网络化控制，鲁棒控制，迭代学习控制，工业控制，故障诊断和信息处理。
杨益群（兼） 1）工业过程控制的大时滞系统控制理论与应用；2）线性系统优化控制；3)非线性控制系统；4)工业计算机控制系统与开发应用
钟伟民 主要从事机器学习、群智能优化算法和复杂化工生产过程的建模与优化研究。
注：姓名后加上（兼）为外聘导师
4、081202 计算机软件与理论专业导师研究方向介绍
导师姓名 研究方向
虞慧群 软件工程、可信计算与安全、形式化方法及应用
邵志清 1）网络计算及应用；2） 新型软件设计技术；3）软件工程和软件自动化；4）软件方法学
宋国新 1）软件自动化；2）智能系统；3）知识工程
金登男 1）模式识别； 2）生物医学信号处理 ；3）图像处理
朱尚明 1）计算机网络理论及应用；2）多媒体通信；3）智能系统
郭卫斌 1）高性能计算；2）计算机应用；3）软件工程
杨根兴(兼) 1）软件工程；2）智能系统与知识工程；3）软件质量与测试
刘云翔(兼) 主要从事人工智能、计算机软件与理论、信息融合等领域的研究工作，在模糊集合理论及应用，粗糙集合理论及应用，智能决策支持系统，数据融合系统测试技术，智能仪器研制与开发方面取得了系列重要成果。
张欢欢 目前主要进行如下几个方面的研究： 1）形式化方法与验证技术，主要是硬件电路的正确性验证； 2）面向信息服务领域的智能代理技术
郑红 web服务,形式化方法,分布式计算
过弋 1）智能信息处理；2） 知识发现；3） Web服务架构设计；4） 语义网络技术；5） 本体技术应用研究
王占全 1）数据库；2）空间数据库；3）空间数据挖掘
顾春华 1）计算机网络及应用；2）电子商务及其安全性；3）软件工程
阮彤 1）软件工程 ；2）内容管理/中间件技术； 3）智能导航； 4）P2P计算
付相君 1）产品数据库（PDM）；2）人工智能；3）软件工程方面的研究
注：姓名后加上（兼）为外聘导师
5、081203 计算机应用技术专业导师研究方向介绍
导师姓名 研究方向
高大启 1）模式识别；2）智能系统；3）知识工程
虞慧群 软件工程、可信计算与安全、形式化方法及应用
邵志清 1）网络计算及应用；2） 新型软件设计技术；3）软件工程和软件自动化；4）软件方法学
宋国新 1）软件自动化；2）智能系统；3）知识工程
林家骏 1）智能控制及检测技术；2）信息安全；3）图形、图象处理；4）信息融合；5）传感网络与嵌入式系统
黄建华 网络与信息安全
党齐民 1）信息工程；2）电子商务
谢晓玲 1）信息工程；2）构件技术；3）多媒体技术应用；4）图形技术
顾春华 1）计算机网络及应用；2）电子商务及其安全性;3）软件工程
刘东林 人工智能
丁玉章（兼） 商业自动化、电子商务与现代物流
蔡笠（兼） 商业自动化
刘江 数据库技术与应用,软件开发技术与应用
程华 信息安全、网络行为学、流量工程
阮彤 1）软件工程；2）内容管理/中间件技术；3）智能导航；4）P2P计算
冯翔 自然演化算法，人工智能，并行分布计算。 具体为：基于力的自然演化算法，及其在网络、多传感器信息融合、超级并行计算机等方面的应用。
李建华 计算机辅助设计，包括MEMS CAD、产品建模、CNC、CAM等；计算机图形学；图象处理；信息检索等
李洪林（校内跨专业） 1）计算生物学和药物分子设计相关算法及程序设计； 2）药物信息学研究； 3）Drug-Target网络研究； 4）药物及靶标相关数据库建设；5）优化算法及并行计算； 6）化学信息学及生物信息学
注：姓名后加上（兼）为外聘导师

❹ 怎样做研究生——如何选题和选导师，如何考虑研究中的情感因素

一、论文做论文将占据研究生生活的大部分时间，主要是去做研究，包括选题，这比实际的写作耗时更多。硕士论文的目的是为做博士论文练兵。博士水平的研究如果没有准备好的话，是很难进行的。硕士论文最本质的要求是展示自己的掌握程度：你已经完全理解了本领域最新进展，并具备相应的操作水平。并不需要你对本领域的最新知识有所拓展，也不要求发表你的论文。但我们实验室的论文总是比较大气的，因此很多硕士论文实际上都对本领域的发展做出了显着的贡献，大约有一半都出版了，这并不一定是好事情，很多人精力都集中于硕士的工作，所以我们也有这样的名声：硕士论文的质量往往比博士论文高。这有悖于硕士工作本来是为博士研究做准备的原有目的。论文的另外一个因素是所做研究要对领域有所贡献，至少需要两年，这使得研究生学习时间之长令人难以忍受。现在或许你感受不到匆忙，但当你已经在实验室呆了七年后，你肯定迫不及待地想逃出去。硕士从入学到毕业平均时间是两年半，如果某个硕士生的题目过于庞大，可将之分解，一部分来做硕士论文，另一部分给博士生作博士论文。想要了解硕士论文研究是什么样的，读几本最新的硕士论文。记住比较好的论文是那些出版的或者成为技术报告的，因为这标志着该论文被认为是扩展了领域的最新知识——换句话说，他们的论文远远超出了硕士论文的水平。还要读一些通过的但是没有出版的论文。博士论文必须对最新知识有所拓展，博士论文的研究必须具备可出版的质量。选题是论文工作中最重要最困难的部分：好的论文题目不仅能够表达个人观点，而且可与同行交流。选择题目必须是自己愿意倾注热情的，其远景是你愿意作为一个科学家的理由，是你最为关注的目标。或许你想造一台可与之交谈的计算机，或许你想把人类从计算机的愚蠢使用中拯救出来，或许你想展示万物都是统一的，或许你想在太空发现新生命。远景观点总是比较大的，你的论文并不能实现你的远景，但是可以朝着那个方向努力。做论文时，最困难的就是如何将问题缩减至可解决的水平，同时规模又足以做一篇论文。题目太大太虚了，你会发现需要不断的缩小题目的范围。选题是一个渐进的过程，会持续到你宣布论文已经完成那一刻为止。实际上，解决问题通常比精确地描述问题要容易得多。如果你的目标是一个五十年的工程，那么合理的十年工程是什么，一年的呢？如果目标的结构庞大，那么最核心的部件是什么？如何最大程度的了解核心部件？一个重要的因素是你可以忍受多大程度的风险。在最终的成功和风险之间需要权衡。好的论文选题要有一个中心部分，你确信肯定可以完成，并且你和你的导师都同意这已经满足毕业要求了。除此之外，论文中还有多种扩展，有失败的可能，但如果成功了，会增加论文的精彩程度。虽然不是每一个论文选题都符合这个模式，但值得一试。有些人觉得同时在多个项目中工作可以在选题的时候选择可以完成的那个，这确实降低了风险。另外一些人则愿意在做任何工作之前，选一个单独的题目。可能你只对某个领域感兴趣，这样你的选题范围就狭窄得多。有时候，你会发现系里的老师没有一个人能够指导你选择的领域，可能还会发现好像那个领域没什么很自然的选题，反而对别的领域有好想法。硕士选题比博士选题更难，因为硕士论文必须在你所知不多没有足够自信时就完成。博士选题需要考虑的一个因素是是否继续硕士阶段所研究的领域，可能拓展或者作为基础，或者干脆转到另外一个领域。待在同一个领域事情就简单了，可能只需要一到两年就毕业了，特别是如果在硕士阶段的工作中已经发现了适合做博士论文的题目。不足之处在于容易定型，改换领域则能增加知识的宽度。有的论文题目很新奇，有的则很普通。前者开创了新领域，探索了以前未曾研究过的现象，或者为很难描述的问题提供了有效的解决方法；后者则完美地解决了定义良好的问题。两种论文都是有价值的，选择哪一种论文，取决于个人风格。无论选什么样的题目，必须是前人未曾做过的。即使是同时有人做的工作，也不好。有很多东西可作，根本无需竞争。还有一种常见的情况，读了别人的论文后感觉很惊慌，好像它已经把你的问题解决了。这通常发生在确定论文题目过程中。实际上往往只是表面类似，因此将论文送给某个了解你的工作的高人看看，看他怎么说。另外，每个论文的“将来的工作”部分，是很好的论文题目来源。选好题后，你必须能够回答下列问题：论文的论点是什么？你想说明什么？你必须分别有一句、一段、五分钟的答案。如果你不知道自己在干什么，别人也不会严肃对待你的选题，更糟糕的是，你会陷在选题——再选题的圈子里而不能自拔。开始作论文研究后，一定要能够用简单的语言解释每一部分的理论和实现是如何为目标服务的。记住，一旦选好了题目，你必须与导师就论文完成的标准达成清晰的一致。如果你和他对论文具有不同的期望，最后你肯定死得很惨。必须定义好“完成”的测试标准，像一系列的能够证明你的理论和程序的例子，这是必须做的，即是你的导师并不这么要求。如果环境发生了根本的变化，测试也要随之改变。用实例检验是最简单的测试方式。做论文的过程中，有很多浪费时间的方式，要避免下列活动（除非确实跟论文相关）：语言表达的设计；用户接口或者图形接口上过分讲究；发明新的形式化方法；过分优化代码；创建工具；官僚作风。任何与你的论文不是很相关的工作要尽量减少。一种众所周知的“论文逃避”现象，就是你突然发现改正某个操作系统的BUG是非常吸引人也很重要的工作，此时你总是自觉不自觉的偏离了论文的工作。要记住自己应该做些什么（本文对于部分作者来说就属于论文逃避现象）。二、导师导师应该有两种类型，教学导师和论文导师，由于一些客观原因，我们科里的导师身兼两职，既是教学导师又是论文导师。教学导师的作用是作为系方代表，告诉你对你的正式要求是什么，如果你的进度慢了敦促你，批准你的课程计划等。如果一切顺利的话，你每年只需要见教学导师两次，在注册日那天。从另一方面讲，如果你遇到了困难，教学导师替你向系里反映或者提供指导。论文导师是监督你研究的人，选择论文导师是你读研期间最重要的选择，比选题都重要得多。有很多领域的技术方面或者研究过程中的非正式知识，只能从导师那里学到，在任何教科书上都找不到。导师与研究生的关系是非常个性化的，你的个人特点必须与导师的配合得很好，这样你们才能合作成功。不同的导师具有不同的风格。下面是一些需要值得考虑的因素（对四医大而言，基本上在录取时就确定了导师，下面亦可作为与导师交流及课题选择时的参考）：你需要多大程度的指导？有些导师会给你一个定义良好的适合做论文的问题，对解决方法进行解释，并告诉你如何开展工作。如果你陷在某个地方了，他们会告诉你如何开展下去。有些导师则属于甩手型，他们可能对你的选题毫无帮助，但是一旦你选好题目，他们对于引导你的思路具有非常大的作用。你需要考虑清楚自己适合独立工作还是需要指导。你需要多大程度的联系？有的导师要求每周与你见面，听取你工作进展的汇报。他们会告诉你应该读的论文，并给你实际的练习和项目做。而有些导师每学期与你的谈话不会超过两次。你能承受的压力有多大？有些导师施加的压力是很大的。听取导师意见的认真程度如何？大多数导师会相当正式地建议你的论文题目。有些导师是值得信赖的，他们给出的建议，如果按照执行，几乎肯定会做出一篇可接受的论文，如果不是令人兴奋的论文的话。有些导师则一下子抛出很多思路，大部分是不切实际的，但是有一些，或许会导致重大突破。如果选了这样的一位导师，你首先得把自己当作一个过滤器。导师提供了什么类型的研究组？有些教授会创造环境，把所有的学生聚集在一起，即使他们做的不是同一个项目。很多教授每周或者每两周与自己的学生们会面。这对你有用么？你能与教授的学生和睦相处么？有些学生发现他们更能与其他教研组的学生建立良好的工作关系。你想参与大的项目么？有些教授将大系统分解，每个学生负责一部分。这给了你与一组人讨论问题的机会。有些论文项目包含了多个研究领域，需要你与两个以上的教授建立密切的工作关系。虽然你正式的论文导师只有一位，但是有时候这并不反映实际情况。导师愿意指导其研究领域之外的论文题目么？你是否能与导师一起工作，比你做什么本身更重要。推理方面的教员指导过视觉方面的论文。但是有些教员只愿意指导自己研究兴趣领域内的论文，这对于那些欲获得终身职位的年轻教员来说尤其如此。导师愿意并且能够在会议上推荐你的工作吗？这是导师工作的一部分，对你将来工作意义重大。上述这些因素，不同学校的情况很不相同。研究生研一结束或研二学年开始阶段，必须找导师对你的论文进行指导，下面是一些诀窍。查阅实验室的研究总结，其中有一页左右的篇幅描述了每个教师以及很多研究生目前在做什么。如果你对某些教师的研究工作感兴趣，查阅其最近的论文。在第一学期，与尽可能多的教师交谈，去感受他们喜欢做什么，他们的研究和指导风格是什么。与预期导师的研究生交谈，要保证与导师的多个学生交流，因为每位导师在与不同的学生交流时有不同的工作方式和交流效果，不能被一个学生的看法所左右。很多教师所在研究组的会议对新同学都是公开的，这是非常好的了解导师工作方式的途径。不要由于交流不好，浪费时间在自己并不想做的项目上。不要完全依赖你的导师，要建立自己的网络，找一些能定期评审你的工作的人是很重要的，因为研究时很容易走火入魔。网络中的人可以包括自己实验室或者外单位的研究生和老师。实验室中有些同学只是名义上由导师指导，这对于那些独立性很强的人来说很好。除非你确保自己没有导师也行，且有牢靠的支持网络，否则就不要这么干。 三、情感因素研究是艰苦的工作，很容易对之失去兴趣。一个令人尴尬的事实是在本实验室读博的学生只有很少比例最后获得学位。有些人离开是因为可以在产业界赚到更多的钱，或者由于个人的原因；最主要的原因则是由于论文。本节的目标是解释这种情况发生的原因，并给出一些有益的建议。所有的研究都包含风险。如果你的项目不可能失败，那是开发，不是研究。面对项目失败时是多么艰难啊，很容易将你负责的项目失败解释为你自己的失败，虽然，这实际上也证明了你有勇气向困难挑战。在人工智能领域很少有人总是一直成功，一年年地出论文。实际上，失败是经常的。你会发现他们经常是同时做几个项目，只有一些是成功的。最终成功的项目也许反复失败过多次，经历过很多由于方法错误的失败之后，才取得最终的成功。在你以后的工作生涯中，会经历很多失败。但是每一个失败的项目都代表了你的工作，很多思想，思考方式，甚至编写的代码，在若干年后你发现可用于另外一个完全不同的项目。这种效果只有在你积累了相当程度的失败之后才会显现出来。因此要有最初的失败后才会成功的信念。研究所花费的实际时间往往比计划的要多得多，一个小技巧是给每个子任务分配三倍于预期的时间（有些人加了一句：“……，即使考虑了这条原则”）。成功的关键在于使得研究成为你日常生活的一部分。很多突破和灵感都发生在你散步时。如果无时无刻地都潜意识的思考研究，就会发现思如泉涌。成功的研究者，坚持的作用一般大于天资。“尝试”也是很重要的，就是区分浅薄和重要思路的能力。你会发现自己成功的比例是很随机的。有时候，一个星期就做完了以前需要三个月才能完成的工作，这是令人欣喜的，使得你更愿意在本领域工作下去。其他一些时候，你完全陷在那里，感觉什么也做不了，这种情况很难处理。你会觉得自己永远不会做出任何有价值的东西了，或者觉得自己不再具备研究者的素质了。这些感觉几乎肯定是错误的，你需要的是暂停一下，对糟糕的结果保持高度的容忍。通过定期设置中短期的目标，例如每周的或者每月的，你有很多工作要做。增加达到这些目标的可能性有两种方法，你可以把目标记在笔记本中，并告诉另外一个人。你可以与某个朋友商定交换每周的目标并看谁最终实现了自己的目标，或者告诉你的导师。有时你会完全陷在那里，类似于写作过程的思路阻塞，这有很多可能的原因，却并无一定的解决方法。如果范围过于宽泛，可尝试去解决流程中的子问题。有时候对你研究能力的怀疑会消磨掉你所有的热情而使得你一事无成。要牢记研究能力是学习而得的技能，而不是天生的。如果发现自己陷入严重的困境，一个多星期都毫无进展，尝试每天只工作一小时。几天后，你可能就会发现一切又回到了正轨。害怕失败会使得研究工作更加困难。如果发现自己无法完成工作，问问自己是否是由于在逃避用实验检验自己的思路。发现自己最近几个月的工作完全是白费的这种可能，会阻止你进一步开展工作。没有办法避免这种情况，只要认识到失败和浪费也是研究过程的一部分。看看Alan Lakien的书《How to Get Control of Your Time and Your Life》，其中包含很多能使你进入充满创造力的状态的无价方法。在数学中，如果你证明了某个定理，你就确实做了某些事情；如果该定理别人都证不出来，那么你的工作是令人兴奋的。但不同的实践者、子领域和学校会强调不同的标准。这样的一个后果就是你不可能令所有的人都满意。另外一个后果就是你无法确定自己是否取得了进展，这会让你觉得很不安全。对你工作的评价从“我所见过最伟大的”到“空虚，多余，不明所以”不一而足，这都是很正常的，根据别人的反馈修订自己的工作。有几种方法有助于克服研究过程中的不安全感。被承认的感觉：包括毕业论文的接受，发表论文等。更重要的是，与尽可能多的人交流你的思路，并听取反馈。首先，他们能贡献有用的思路；其次，肯定有一些人会喜欢你的工作，这会使你感觉不错。由于评价进展的标准是如此不确定，如果不与其他的研究者充分的交流，很容易盲目。特别当你感觉不太好时，应该就你的工作进行交流。此时，很容易看不到自己的贡献，总是想：“如果我能做，肯定是微不足道的。我的所有思想都太明显了”。实际上，当你回头看时，这些虽然对你是很明显的，对别人却并不一定是明显的。将你的工作解释给很多门外汉听，你会发现对你来说平淡无奇的东西原来那么难！获得反馈和支持是非常重要的。一项对诺贝尔获奖者进行的关于怀疑自己问题（在你研究的过程中，你一直觉得自己是在做震惊世界的工作吗？）的调查表明：获奖者们一致回答他们经常怀疑自己工作的价值和正确性，都经历过觉得自己的工作是无关的、太明显了或者是错误的时期。任何科学过程中常见和重要的部分就是经常严格的评价，很多时候不能确定工作的价值也是科学过程不可避免的一部分。有些研究者发现与别人协作比单打独斗工作效果更好。很多来到实验室的学生都是以前所在学校最厉害的人。到了这里后，会发现很多更聪明的人，这对于很多一年级学生的自尊形成了打击。但周围都是聪明人也有一个好处：在你把自己不怎么样的（但自己又没有觉察到）想法发表之前就被其他人给打倒在地了。更现实的讲，现实世界中可没有这么多聪明人，因此到外面找一份顾问的工作有利于保持心理平衡。首先，有人会为你的才能付费，这说明你确实有些东西。其次，你发现他们确实太需要你的帮助了，工作带来了满足感。反之，实验室的每一个学生都是从四百多个申请者挑选出来的，因此我们很多学生都很自大，很容易认为只有我才能解决这个问题。这并没什么错，而且有助于推进领域的发展。潜在的问题是你会发现所有的问题都比你想象的要复杂得多，研究花的时间比原先计划的多得多，完全依靠自己还做不了。这些都使得我们中的很多人陷入了严重的自信危机。你必须面对一个事实：你所做的只能对某个子领域的一小部分有所贡献，你的论文也不可能解决一个重大的问题。这需要激烈的自我重新评价，充满了痛苦，有时候需要一年左右的时间才能完成。但这一切都是值得的，不自视过高有助于以一种游戏的精神去作研究。人们能够忍受研究的痛苦至少有两个情感原因。一个是驱动：对问题的热情。你做该研究是因为离开它就没法活了，很多伟大的工作都是这样做出来的，虽然这样也有油尽灯枯的可能。另外一个原因是好的研究是充满乐趣的。在大部分时间里，研究是令人痛苦的，但是如果问题恰好适合你，你可以玩一样的解决它，享受整个过程。二者并非不可兼容，但需要有一个权衡。要想了解研究是怎么样的，遭到怀疑的时候应该如何安慰自己，读一些当代人的自传会有些作用。Gregory Bateson的 Advice to a Young Scientist，Freeman Dyson的Disturbing the Universe, Richard Feynmann的Surely You Are Joking, Feynmann和George Hardy的A Mathematician's Apology，以及Jim Watson的The Double Helix。当你完成了一个项目——例如论文——一两个月后，你可能会觉得这一切是那么不值。这种后冲效果是由于长时间被压抑在该问题上，而且觉得本可以做得更好。总是这样的，别太认真。等再过了一两年，回头看看，你会觉得：嘿，真棒！多棒的工作！

❺ 最近北航胡凯教授很火，请问他的研究方向是什么

数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。
分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。
形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。
近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软着等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。

❻ 北京大学计算机科学与技术考研

081201 计算机系统结构
081202 计算机软件与理论
081203 计算机应用技术
081220 计算机科学与技术（智能科学与技术）

计算机软件与理论
1、软件工程与软件工程环境（导师：杨芙清，邵维忠，王立福，梅宏，孙家肃，陈钟，张世琨）
2、软件工业化生产技术（软件复用与软件构件技术）（导师：杨芙清，梅宏，邵维忠，张世琨）
3、系统软件（导师：杨芙清 沈昌祥 孙家肃）
4、面向对象方法与技术（导师：邵维忠）
5、网络软件与特征交互（导师：李大维，梅宏）
6、软件方法学（导师：王立福）
7、程序理解技术与逆向工程（导师：孙家肃）
8、网络与信息安全（导师：沈昌祥，陈钟，王立福）
9、面向领域的软件工程环境（导师：陈钟，张世琨）
10、人机交互与虚拟现实（导师：汪国平）
11、图形图像与网络多媒体技术（导师：汪国平）
12、面向Web的数据库技术（导师：杨冬青）
13、数据仓库、联机分析处理、数据挖掘（导师：杨冬青）
14、数字图书馆等典型应用领域中的数据库技术（导师：杨冬青）
15、计算语言学（导师：俞士汶）
16、信息检索与提取（导师：俞士汶）
17、术语学与术语标准化（导师：俞士汶）
18、机器翻译的理论与技术（导师：俞士汶）
19、算法的设计与分析（导师：屈婉玲）
20、软件形式化方法（导师：王捍贫）

计算机系统结构
21、计算机网络与分布式系统（导师：李晓明 代亚非）
22、网格与P2P计算（导师：李晓明 代亚非）
23、搜索引擎与网上信息挖掘（导师：李晓明）
24、系统芯片(System-on-chip)及软硬件协同设计（导师：程旭）
25、指令级并行处理及微处理器结构（导师：程旭，王克义）
26、系统芯片（SOC）设计方法学（导师：从京生，程旭）
27、软硬件协同设计（导师：从京生）

计算机应用
28、数字视频信息处理（导师：郭宗明）
29、Internet与信息安全（导师：王选）
30、网络与数据库技术应用（导师：肖建国）
31、彩色图像处理（导师：肖建国）
32、多媒体信息处理与网络计算（图形、图像、视频信息在计算机中的表达传输和处理）（导师：周秉锋）
33、数字图像半色调的理论和方法（导师：周秉锋）
34、文字与图形图像信息处理（导师：汤帜）
35、数字版权保护技术（导师：汤帜）

初试范围：
计算机软件与理论、计算机应用技术专业：
1）英语；
2）政治；
3）计算机数学基础（包括高等数学、离散数学）
参考书：
高等数学（第五版），上、下册，同济大学应用数学系编，高等教育出版社，2002年7月（范围：一元微积分，无穷级数。上册：除了第7章和加*号的部分外的所有章节；下册：第11章的第1到第5节）
离散数学教程，耿素云、屈婉玲、王捍贫编着，北京大学出版社，2002（范围：集合论与图论，代数结构；第1到第5章，第7到第19章）

4）计算机软件基础（包括数据结构、操作系统）
参考书：
许卓群、杨冬青、唐世渭、张铭，《数据结构》，高等教育出版社，2004年7月。
张铭、刘晓丹译, 《数据结构与算法分析——C++第二版》，电子工业出版社，2002年。
陈向群、杨芙清编着，《操作系统教程》（第1章至第9章），北京大学出版社，2005。

复试（笔试内容）：
1）计算机网络
参考书：Andrew S. Tanunbaum，熊桂喜译，《计算机网络》A.S.T（译版 影印版）， 清华出版社，1998。
2）数据库概论
参考书：Abraham Silberschatz 等着，杨冬青、唐世渭等译，《数据库系统概念》（第1至9章，第15章，第18章），机械工业出版社，2003。
3）软件工程
参考书：王立福、麻志毅、张世琨，《软件工程》（第二版），北京大学出版社，2002。
4）数理逻辑与组合数学
参考书：离散数学教程，耿素云、屈婉玲、王捍贫编着，北京大学出版社，2002(第20到第23章，第26到第27章)。
5）计算机图形学
计算机图形学，倪明田，北大出版社，1999年出版。

计算机体系结构专业：
1）英语；
2）政治；
3）计算机数学基础（包括高等数学、离散数学）
参考书：
高等数学（第五版），上、下册，同济大学应用数学系编，高等教育出版社，2002年7月（范围：一元微积分，无穷级数。上册：除了第7章和加*号的部分外的所有章节；下册：第11章的第1到第5节）。
离散数学教程，耿素云、屈婉玲、王捍贫编着，北京大学出版社，2002（范围：集合论与图论，代数结构；第1到第5章，第7到第19章）。
4）计算机综合考试（内容：计算机组成与系统结构）
参考书：
David A. Patterson and John L. Hennessy，《 Computer Organization & Design: the Hardware/Software Interface 》（2nd edition），机械工业出版社（影印），1998。
V.P.Nelson，《Digital Logic Circuit Analysis & Design》（影印版），清华大学出版社，1997。
复试（笔试内容）：
数字逻辑、微机原理、汇编语言程序设计
参考书：《微型计算机基本原理与应用》，王克义等，北京大学出版社，1997。

❼ 吴立军的简介

电子科技大学计算机科学与工程学院教授，博士生导师. 主要研究领域为人工智能和信息安全。
近年来，在网络与信息安全、人工智能和形式化方法等领域做了深入的研究，发表了一序列高水平论文，提出了一序列理论和方法，并开发了相应的工具。
在国际国内重要刊物和会议上发表高水平论文50多篇，被SCI/EI/ISTP收录40多篇，其中以第一作者在《IEEE Transactions on Software Engineering》(TSE)和影响因子3.0 以上期刊发表论文4篇以上；主持和参与973项目、863项目、国家自然科学基金及重点项目、博士后科研基金项目等各类项目30余项.
注：TSE是CCF A类顶级期刊，月刊,每期4-5篇论文,全年约50篇,中国大陆从2006-2015年10年总共只有15篇。
学习科研简历：
硕士研究生 华中理工大学博士研究生 中山大学计算机软件与理论专业；博士后 国防科技大学计算机学院；访问学者 澳大利亚昆斯兰大学(2012.12-2013.12)和Griffith大学(2010.10-2011.01)。
主要学术贡献：
1 在软件安全验证方面，取得了开创性的成果
软件模型检测一般返回单个反例，其存在两个主要缺点：信息不足及大大延长软件调试周期。我们对此进行改进，提出了大规模系统所有反例的搜索方法。尽管搜索的是所有反例，但其算法复杂度和性能仍然整体优于现有模型检测单反例搜索的最佳方法。
2基于动态内存管理等新技术，提出了大规模系统模型检测的高效外存算法(IOEMC),解决了大规模系统模型检测内存不足和效率不高的问题。该算法比目前最好外存算法快2倍左右。
3改进了卡纳基.梅隆大学图灵奖获得者Clarke教授等研发的着名模型检测工具SMV，使SMV的功能从时态逻辑扩展到时态认知逻辑。该成果得到利物普大学着名教授Michael Fisher等的肯定，Michael Fisher教授是形式化方法领域的元老级科学家。他们多次在state of the art中介绍这个成果。

❽ 形式化方法的研究内容

形式化方法的一个重要研究内容是形式规约(Formal Specification,也称形式规范或形式化描述),它是对程序“做什么”(what to do)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。对形式规约通常要讨论其一 致性(自身无矛盾)和完备性(是否完全、无遗漏地刻画所要描述的对象)等性质。形式规约的方法主要可分为两类:一类是面向模型的方法也称为系统建模,该方 法通过构造系统的计算模型来刻画系统的不同行为特征；另一类是面向性质的方法也称为性质描述,该方法通过定义系统必须满足的一些性质来描述一个系统。不同 的形式规约方法要求不同的形式规约语言,即用于书写形式规约的语言(也称形式化描述语言),如代数语言OBJ、Clear、ASL、ACT One/Two等;进程代数语言CSP、CCS、π演算等；时序逻辑语言PLTL、CTL、XYZ/E、UNITY、TLA等；这些规约语言由于基于不同 的数学理论及规约方法，因而也千差万别，但它们有一个共同的特点,即每种规约语言均由基本成分和构造成分两部分构成。前者用来描述基本(原子)规约,后者 把基本部分组合成大规约。构造成分是形式规约研究和设计的重点，也是衡量规约语言优劣的主要依据。
形式验证形式化方法的另一重要研究内容是形式验证(Formal Verification)。形式验证与形式规约之间具有紧密的联系，形式验证就是验证已有的程序(系统)P，是否满足其规约(φ,ψ)的要求(即P (φ,ψ)),它也是形式化方法所要解决的核心问题。传统的验证方法包括模拟(simulation)和测试(testing)，它们都是通过实验的方法 对系统进行查错。模拟和测试分别在系统抽象模型和实际系统上进行,一般的方法是在系统的某点给予输入，观察在另一点的输出,这些方法花费很大，而且由于实 验所能涵盖的系统行为有限，很难找出所有潜在的错误。基于此，早期的形式验证主要研究如何使用数学方法，严格证明一个程序的正确性(即程序验证)。

❾ 形式化是什么意思

“形式化”是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构；再引入表达形式结构的符号语言，用符号与符号之间的联系表达命题或推理的形式结构。
形式化方法在古代就运用了，而在现代逻辑中又有了进一步的发展和完善。这种方法特别在数学、计算机科学、人工智能等领域得到广泛运用。它能精确地揭示各种逻辑规律，制定相应的逻辑规则，使各种理论体系更加严密。同时也能正确地训练思维、提高思维的抽象能力。
形式化方法是基于数学的特种技术，适合于证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。

❿ 吴尽昭的生平

吴尽昭副校长，党委常委，男，汉族，1965年10月生；中共党员，教授，北京交通大学、中科院成都计算所博士生导师；教育部高校教学指导委员会计算机科学与技术分委会委员、中国数学会计算机代数专业委员会委员、四川省专家评议委员会委员、广西计算机学会副理事长、广西政协理论研究会常务理事、国家自然科学奖励评审专家、科技部863及国际合作项目评审专家、教育部留学归国人员科研基金评审专家；1994年于中科院系统科学研究所获理学博士学位，1994年至1996年北京大学博士后，1996年北京大学副教授，1997至2005年德国Max-Planck计算机科学研究所和Mannheim大学计算机系副研究员，2001年起任中科院成都计算所研究员、博士生导师，IC形式验证工程中心主任，自2007年起任北京交通大学教授、博士生导师；2009年9月任广西民族大学副校长。长期从事高效能高可信计算与推理理论与工具的研究和开发，研究领域涉及符号计算、自动推理、形式化方法及其交叉、融合与应用；在国内外学术刊物和国际会议论文集上发表研究论文107篇，出版专着3部，获得软件着作权6项，申请专利3项；近年来承担国家自然科学基金、863、973子课题等国家、省部级科研项目10余项，至2010年指导毕业博士研究生15名；1997年获德国“马普学会奖学金”，2000年入选中科院“百人计划(国外引入杰出人才)”，2004年国家“新世纪百千万人才工程国家级人选”，2005年“四川省学术和技术带头人”，2006年获国务院政府特殊津贴，2010年入选“广西优秀专家”。