形式化方法研究導師

❶ 胡凱教授的履歷是什麼

胡凱，男，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年入選「廣西優秀專家」。