《軟體自動化中類比推理技術的研究》是依託復旦大學，由呂建國擔任項目負責人的青年科學基金項目。
《軟體自動化中類比推理技術的研究》是依託復旦大學，由呂建國擔任項目負責人的青年科學基金項目。項目摘要此項研究的主要結果是①我們提出了一個類比程式設計的理論體系，它結合了形式化軟體開發方法和比推理的特點，具有形式化程度高、...
《決策支持系統中類比推理方法的研究》是依託哈爾濱工業大學，由李一軍擔任項目負責人的面上項目。項目摘要 通過查閱國內外相關領域的大量文獻,進行了理論綜述,在領域前沿上對決策支持系統中的類比推理方法開展了深入研究,主要取得的科學研究成果有:1.建立了基於框架表示的類比知識結構,提出了框架與產生式規則的結合模式,...
[8]基於Agent的信件自動處理系統的實現. 《小型微型計算機系統》，Vol.21 No.11，2000.11。[9]一類遞歸邏輯程式的強構造學習. 《計算機研究與發展》，Vol.37 No.9，2000.9。[10]連續認知結構推理方法及其套用. 《軟體學報》，2002.4。[11]一個基於Agent的協作式學習系統. 《中國科學技術大學學報》，Vol.30...
《人工智慧技術》是2010年8月1日清華大學出版社出版的圖書，作者是曹承志。本書系統介紹了人工智慧技術的基本理論和套用技術。內容簡介 《人工智慧技術》全書共9章，主要內容包括：知識表示技術，知識推理技術，模糊邏輯技術，神經網路技術，遺傳算法，專家系統，機器學習，群集智慧型。《人工智慧技術》是作者在總結近年來...
第七章 模糊資料庫與模糊檢索技術 7.1動態模糊主動資料庫系統的設計方法初探 7.2面向對象資料庫中的模糊類層次建模 7.3基於語義貼近度的模糊數據依賴 7.4模糊資料庫中的數據表示與數據匹配 7.5模糊關係資料庫的更新處理研究 7.6模糊空值環境下的關係模型與關係操作 7.7軟體復用庫的模糊表示與查詢方法 第八章 ...
三、技術替代說 四、技術的增長 第四節 技術發展的組織模式 一、培根模式與斯密模式 二、兩種模式的有效結合 三、科學技術化與技術科學化 第五節 技術發展的內涵與影響因素 一、技術發展的內涵 二、技術發展的影響因素 第六節 技術發展預測的方法論 一、專家預測法 二、先導指標預測法 三、類比推理預測法 四、...
主要研究成果包括：（1）設計思維的認知層面：從設計思維的理論基礎、模型構建、外在表現和影響因素等方面分析和總結了設計思維理論研究現狀、技術和方法，為探索概念產生和概念表達的內在認知規律奠定基礎；結合設計過程及類比映射和推理進程的一般特徵，構建了基於類比推理的設計思維模式；分析了不同專業新手及專家的認知...
對適用原則進行研究以確立指導思想，探究民法法源以期有助法官發現和正確適用裁判依據，同時試圖通過對民法適用中法律推理、民法適用中的請求權基礎、民法適用中的解釋問題的研究，企望指導和規範法官如何通過恰當的適用作業手段，以正確適用民法裁判民事案件，但是，任何旨在使法官裁判活動規範化、客觀化、技術化的努力，都...
基於高速網路的虛擬環境套用系統”、“虛擬奧運博物館的研究”，科技奧運重點項目“虛擬奧運博物館建設”、科技部國家科技基礎條件平台建設項目“中國數字科技館-博覽館”、科技部九五重點攻關項目“逼真圖像的生成技術”，九五國防某預研項目，航空科學基金“類比推理部件的研究與實現”，教育部“現代遠程教育”重大工程...
31.容錯計算技術；32.計算機套用工程化；33.虛擬環境方面；34.IPv6協定的中間件和軟體套用；35.實與多媒體技術；36.微處理的開發套用研究：嵌入式設備（醫療設備（治癌儀、熱療儀等）、加密機（E1、DDN）等）的開發；研製類比推理部件（可作為獨立的類比問題求解系統，也可以嵌入其它人工智慧系統）。37.遠程教學；...
《職業能力傾向測驗（C類）》是針對事業單位自然科學類專業技術崗位公開招聘工作人員而設定的考試科目，主要測查與事業單位自然科學類專業技術崗位密切相關的、適合通過客觀化紙筆測驗方式進行考查的基本素質和能力要素，包括常識判斷、言語理解與表達、判斷推理、綜合分析等部分。題型介紹 ⑴常識判斷 主要測查應試人員應知...
趙沁平，男，漢族，1948年4月9日出生，山西介休人，中國共產黨黨員、北京航空航天大學計算機學院教授、博士生導師，教育部科技委主任、北京航空航天大學校學術委員會主任、中國仿真學會理事長、虛擬現實技術與系統國家重點實驗室主任、計算機軟體與虛擬現實領域專家、中國工程院院士、中國工程院信息與電子工程學部副主任。197...
多專家系統協同求解，除在此過程中實現並行特徵外，尚需開發具有實用意義的多專家系統協同問題求解的軟體環境。知識獲取、表達和專家系統技術 知識獲取、表達和利用技術專家系統技術是ICAD的基礎，其面向CAD套用的主要發展方向，可概括為：*機器學習模式的研究，旨在解決知識獲取、求精和結構化等問題。*推理技術的深化，要...
12.5.3 汽車自主駕駛系統的軟體結構與控制算法262 12.5.4 汽車自主駕駛系統的實驗結果262 12.6 本章小結263 習題12 263 第13章 智慧型控制系統264 13.1 智慧型控制的產生與發展264 13.1.1 自動控制的機遇與挑戰264 13.1.2 智慧型控制的發展和作用266 13.2 智慧型控制的定義、特點、一般結構與分類268 13...
《人工智慧及其套用（第4版）》是2010年清華大學出版社出版的圖書，作者是蔡自興、徐光祐。圖書簡介 此書主要介紹了，人工智慧的概況和不同學派的認知觀，研究人工智慧的知識表示方法和搜尋推理技術，探討不確定性推理的主要方法，闡述了計算智慧型的基本知識和人工智慧的主要套用領域，包括專家系統、機器學習、自動規劃、...
“過程概念設計”的提出是計算機輔助化學過程綜合與開發領域技術進步的一個重要標誌。然而，這種進步主要表現在知識的積累方面，而在計算機軟體方面，除在能量系統綜合外，似乎尚未取得突破性的進展。計算機化學至少可以從三個主要方面促進過程綜合與新流程的開發：①集中對化學過程的研究成果，形成資料庫和軟體包；②計算機...
著作《中醫理論範疇——建構中醫理論的基本範疇》，獲中華中醫藥學會科學技術獎（學術著作獎）三等獎。與周山先生等人合著的《中國傳統類比推理系統研究》著作獲中國邏輯學界最高獎項“金岳霖學術獎”三等獎。“中醫理論的概念、判斷與推理形式的理論研究及教學實踐”的研究成果，獲內蒙古自治區高等教育教學成果二等獎，...
1.3認知心理學的研究範式 1.3.1信息加工的方法 1.3.2聯結主義的方法 1.3.3進化論的方法 1.3.4生態學的方法 1.3.5一般要點 概要 複習題 第2章大腦：結構與功能概述 2.1大腦的結構 2.1.1後腦與中腦 2.1.2前腦 2.2功能定位 2.2.1官能心理學和顱相學 2.2.2失語症研究和其他映射技術 2.3功能...
法律推理中的知識建構：實踐話語中法律演變的三階模型 法律論證：一種社會學進路的闡釋 法律解釋中的詞典運用 文義解釋與目的解釋之關係探析 國家社科重大課題專欄 法律邏輯拓展研究（法律人工智慧）人工智慧與法律推理之展望 法律人工智慧視角下的辯方論證 類比推理在法律人工智慧中的套用 ——以指導性案例智慧型推送系統...
基於雲計算的海量數據挖掘” (No.61035003) 、“基於感知學習和語言認知的智慧型計算模型研究” (No.60435010) 、 “Web搜尋與挖掘的新理論與方法” (No.60933004)等的支持；國家863高技術項目“海量Web數據內容管理、分析挖掘技術與大型示範套用” (No.2012AA011003)、 “軟體自治癒與自恢復技術” (No.2007AA01...
科學地認識中醫，意指要從科學與技術兩層面看待認識中醫。從“主流科學”角度看，中醫是一門“前科學”，其體系內部的各理論模型之間，理論模型與現代各學科之間缺乏“通約性”或缺乏縱向的演繹推理聯繫，使得整個理論體系難以從內部的矛盾運動中產生質的躍遷。其合理的思想內含必將被整合於現代學科體系之中，成為未來...
16.發展性計算障礙--腦與認知科學研究的新成果及其對教育的啟示, 北京師範大學學報(社會科學版) ，2004年第3期。科研項目 參加了關於“現代知識女性的心理素質結構”課題研究；參加了國家攀登計畫項目“兒童腦高級功能開發與素質教育若干重要問題的研究”課題；參加了教育部科學技術重點項目“兒童數學障礙及其認知、腦...
2006年5月到2007年5月，在中國科學院心理研究所高級腦功能實驗室和四川大學華西醫院學習fMRI技術；2013年1月到2014年1月，前往美國常春藤名校賓夕法尼亞大學（University of Pennsylvania）心理學系Joe. Kable實驗室做訪問學者1年。研究方向 兒童認知發展、腦發育與腦可塑性及訓練(正常兒童與ASD兒童)、社會認知與決策...
D．工廠採用最新的切割技術 【答案】A。解析：根據題乾定義，“生魚片理論”給我們的啟示可以歸納為：產品必須在第一時間進入消費者的視野。A項將電子產品儘快推向市場正好切合題意。B、C、D三項的做法不符合第一時間進入消費者的視野的定義。故答案選A。3．類比推理——給出一對相關的詞，要求通過觀察分析，在...
內容包括專家系統的知識表達、獲取與推理以及專家系統的開發，神經網路的基本模型和神經網路專家系統，智慧型製造環境下的產品建模以及智慧型CAD系統的設計，智慧型化工藝設計CAPP系統中零件信息的描述、工藝知識的獲取與處理，製造過程中的智慧型監視、診斷與控制以及柔性裝配等製造技術的智慧型化與自動化等。內容簡介 《智慧型製造概論...
這篇論文在程式邏輯研究的歷史上，是繼麥卡錫（J．McCarthy，1971年圖靈獎獲得者）在1963年提出用遞歸函式作為程式的模型這一方法以後最重大的一個進展。麥卡錫倡導的方法對於一般程式，包括大型軟體確實是行之有效的，但它有一個不足，即對於許多以命令方式編寫的軟體，其中包括賦值語句，條件語句，用While實現循環的...
2002年，重慶市首批學術技術帶頭人（基礎心理學）學科A類期刊論文 （1） 陳安濤,李紅,馮廷勇,高雪梅,張仲明,李富洪,楊東. 分段設計條件下歸納推理的多樣性效應，中國科學C輯:生命科學,2005,35(3)：275~283（通訊作者）（2） 陳安濤, 李紅, 邱江, 羅躍嘉. 視覺分類的時間過程: 來自事件相關電位研究的電生理...
圖像判讀是指從圖像獲取信息的基本過程。即根據各專業的要求，運用判讀標誌和實踐經驗，或藉助於各種技術手段和方法對遙感圖像等進行研究，識別出所需要的地物或測算出某種數量指標的過程。根據判讀信息的特徵，可分為定性判讀和定量判讀;根據判讀的技術和方法，可分為目視判讀和自動化判讀;根據判讀內容，可分為一般判讀...
創新智慧型體系統的軟體工程方法研究………李德偉(31)ERP課程實踐教學考核模式研究……… 葉鳳雲(32)自媒體對高校思想政治教育溝通的影響及對策——談自媒體時代下的溝通“噪音”問題…蔡依璐(33)漢語思維定勢對西班牙語基礎階段翻譯的影響及對策………童亞星(35)大學生信息素質培養探究………鹹寧，余丹(37)書院制管理...
17.張向葵（第1位）：西方侵犯受害兒童早期經驗研究及其對幼教的啟示. 外國教育研究，2001，28（1）：50-54.16.張向葵（第1位）：圖式教學對閱讀理解能力、推理能力與自我效能感的影響.心理發展與教育，2000，16（2）：22-27.15.張向葵（第1位）：類比推理研究綜述.心理科學，2000，23（6）：725-728.14....
