相關詞條
-
抽象解釋[形式化驗證方法的一種]
抽象解釋(Abstract Interpretation)是形式化驗證方法(Formal Verification)的一種,其餘的兩種分別為定理證明(T...
-
信息技術[用於管理和處理信息所採用各種技術總稱]
信息技術（Information Technology，縮寫IT），是主要用於管理和處理信息所採用的各種技術的總稱。它主要是套用計算機科學和通信技術來設...
基本含義 套用範圍 技術分類 社會功能 發展趨勢 -
自然語言處理理論與實戰
《自然語言處理理論與實戰》是電子工業出版社於2018年7月出版的圖書，作者唐聃等。本書主要介紹相關學科基礎知識和自然語言處理理論及案例。適用於計算機、軟...
主要內容 作者介紹 作品目錄 -
基於詞聯接的自然語言處理技術及其套用研究
《基於詞聯接的自然語言處理技術及其套用研究》，作者李良炎 ，由學林出版社 發行於2007年9月1日出版。本研究提出並初步構件了基於詞聯接的NLP技術，並...
內容提要 作者簡介 目錄 -
自然語言處理技術基礎
第一部分介紹基於規則的自然語言處理技術，分別從語法和語義兩個層面入手。 第二部分介紹基於統計的自然語言處理技術，包括辭彙層的一些統計語言模型以及在句法層...
內容介紹 -
安徽大學計算智慧型與信號處理教育部重點實驗室
安徽大學計算智慧型與信號處理教育部重點實驗室（Key Laboratory of Intelligent Computing & Signal Proce...
-
形式程式測試
簡介形式程式測試是指在程式測試中採用形式化方法。形式程式測試可以從形式...。形式程式測試是建立在嚴格數學基礎上，比一般程式測試更科學，更嚴謹。形式化...的泛化和特化關係，再運用格代數理論進行研究的分析方法。軟體形式化方法是指...
簡介 形式化方法 程式測試 -
計算機安全學——安全的藝術與科學
系統的構建與評估的理論與技術，包括安全保障原理、形式化驗證和可信系統評估... 形式化方法 20.1 形式化驗證技術 20.2 形式化規範 20.3 早期的形式化驗證技術 20.4 常用的驗證系統 20.5...
基本信息 編輯推薦 內容簡介 目錄 前言 -
邏輯學語言
邏輯學的發展本文從自然語言、半形式化語言和形式化語言的特徵看邏輯學...語言文字都是一種有窮語言 。半形式化語言半形式化語言的主要特徵: 半形式化語言的種類很多，我們以數學語言為例來分析半形式化語言所具有的主要特徵...
邏輯學的發展 結 論 -
計算機思維
“計算”了。計算機的程式語言是一種高度形式化的語言，這種語言與它要處理的對象是嚴格分離的。而計算機語言所要處理的對象，僅僅是數據。即使我們稱現在的計算機能夠處理“圖象”和“聲音”，它也是把這些圖象和聲音變成了數據之後...
思維介紹 局限 邏輯分析
