語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列程式操作來確定的,這些程式操作是人類認知系統中基本的心理操作。
語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列程式操作來確定的,這些程式操作是人類認知系統中基本的心理操作。
語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列...
語義模型是在關係模型基礎上增加全新的數據構造器和數據處理原語,用來表達複雜的結構和豐富的語義的一類新的數據模型。 ...
語法和語義是定義一個程式設計語言所涉及的兩個重要側面:語法涉及程式文法結構,研究程式設計語言所允許的成分結構形式;而語義則涉及文法上正確的程式的含義,研究語言...
語義原型模型是指語義結構理論。羅施和肖本等人提出。認為使用類名詞時,人們頭腦中總伴有一個代表這類事物的範例典型即原型,並用這個原型來鑑別其他同類成員。原型與...
語義層次模型是由柯林斯和奎利恩(Collins & Quillian, 1969)提出來的,是語義記憶研究領域中最著名的理論。這個模型的基本思想是,語義記憶是由概念之間的相互聯繫形成...
該模型是知識表征中符號-網路模型的一種,認為語義記憶的基本單元是概念,每個概念具有一些特徵。有關概念按照邏輯的上下級關係組成一個具有層次的網路系統。該模型是...
《語義特徵建模技術》具有雄厚的實踐基礎。所論述的內容都經歷了學習、消化吸收、編制計算機程式、實例驗證、總結歸納和創新等階段。所有的插圖都是作者通過HUST—CAID...
程式理論是研究程式的語義性質和程式的設計及開發方法的理論。主要包括程式語義理論、數據類型理論、程式邏輯理論、程式驗證理論、並發程式設計理論和混合程式設計理論。...
某些指稱語義的著作把類型解釋為域理論意義上的域,因而可以被看作模型論的分支,導致了同類型論和範疇論的聯繫。在計算機科學內與抽象釋義、程式驗證和函式式編程有...
程式設計語言有3個方面的因素,即語法、語義和語用。語法表示程式的結構或形式,...6 主要語言 7 程式設計語言的選擇 8 數據模型 9 發展趨勢 程式...
基於語義的訪問控制模型是在社交網路中一種常用的訪問控制模型,它利用數據資源的語義信息能顯示資源之間的內在聯繫的特點,從而獲取到極為豐富的控制信息,依靠這些控制...
8 模型定義 9 套用示例 10 研究趨勢 語義網概念 編輯 語義網的概念是由萬維...當時人們甚至發明了以邏輯為基礎的程式設計語言Prolog。蒂姆·伯納斯-李在2006年...
《程式設計語言理論基礎》是2006年電子工業出版社出版的圖書,作者是(美)米切爾。本書提出了一個框架,用於分析程式設計語言的語法、操作和語義性質,該框架基於稱為...
本書介紹了指稱語義學、代數語義學、操作語義學與公理語義學的基本內容及其套用,並介紹了並發程式設計語言各流派的語義模型和新一代計算機計算模型的理論問題。...
語句分析分別構造程式的詞法模型與語法模型,它們對應於詞法分析與語法分析。由於這兩種分析不生成任何語義信息,所以它們生成的模型僅僅適用於原始碼的模式匹配。...
矢量空間模型是一個把文本檔案表示為標識符(比如索引)向量的代數模型。它套用於...S-Space Package,通過“統計語義”實現的的檢索程式集成。參考資料 1. G. Salton...
博弈語義是一種邏輯的語義,基於在博弈論概念上的真理或有效性的概念,後來博弈語義成為各種程式語言的完全抽象的語義模型。...
抽象數據類型(Abstract Data Type,ADT)是計算機科學中具有類似行為的特定類別的數據結構的數學模型;或者具有類似語義的一種或多種程式設計語言的數據類型。抽象數據...
本書內容所涵蓋的並行編程模型十分廣泛,並且配備大量套用和程式示例,可以使讀者...11.3.4 執行語義 162 11.3.5 CnC編程 163 11.3.6 未來工作 167 11.4...
奠定認知心理學基礎的著名模型有:初等領悟和記憶程式EPAM、記憶語義網路模型、人類聯想記憶模型HAM、通用認知模型 ACT、人類長期記憶通用模型MEMOD等。除了記憶模型之外...
面向對象數據模型是捕獲在面向對象程式設計中所支持的對象語義的邏輯數據模型,它是持久的和共享的對象集合,具有模擬整個解決方案的能力。面向對象數據模型把實體表示為...
特徵比較模型是針對語義記憶的模型,而HAM模型和Elinor模型則屬於將語義記憶和情景...1. ACT模型 [1] :涉及程式性知識的表征問題。2. HAM模型 [1] :全稱是...
二.語義過載關係模型表達數據和數據間關係的構造只有一種——表。例如,為了表達...關係模型中不支持其他類型的業務規則,這又意味著它們需要被構建到dbms或套用程式...
邏輯編程創建了描述一個問題里的世界的邏輯模型。邏輯編程的目標是對它的模型...參考資料 1. 劉富春. 關於邏輯程式不動點語義的討論 22 (2). 2005年6月. ...
(Common Warehouse Metamodel,CWM),它標準化了數據倉庫套用程式的生命周期(例如,...它是一種易於使用的形式化語言,其語義等同於一階邏輯,其目的是為了描述UML模型...
反應式編程編程模型和語義 編輯 各種模型和語義決定了反應式編程的範疇。 我們...在這樣的範例中,命令式程式在反應式數據結構上運行。這種設定類似於約束命令式...
該文簡要闡述了軟體多樣性與安全性的關係後,基於STABLE MODEL是邏輯程式的語義模型的觀點,從軟體與邏輯程式設計的關聯出發,提出了用邏輯程式設計實現軟體多樣性的方法...
計算機程式設計的研究主要分為程式設計技術和程式設計語言兩部分。在實驗基礎上,人們根據認知模型提出了程式設計的語法/語義模型。在這一模型中,人的知識被分成語法和...