結構化操作語義（structural operational semantics）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：結構化操作語義
- 外文名：structural operational semantics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
由計算機科學家普洛特金（Plotkin）提出的一種操作語義形式，其特點是按程式語言的語法結構來定義語義。
出處
《計算機科學技術名詞 》第三版。
結構化操作語義
相關詞條
- 結構化操作語義
結構化操作語義（structural operational semantics）是2018年公布的計算機科學技術名詞。定義由計算機科學家普洛特金（Plotkin）提出的一種操作語義形式，其特點是按程式語言的語法結構來定...
- 程式設計語言語義
操作語義一般指結構化操作語義(SOS)，又稱“小步語義” ，其顯著特徵是：在程式運行過程中，程式短語不斷地被替換成所計算的值。這種狀態轉換可用相應的公理和推導規則來描述。SOS 已被廣泛用於程式分析和形式化驗證等領域 。與 SOS 對應的另一種操作語義為自然語義, 亦稱“大步語義” ,它較 SOS 隱藏了更多執行...
- 基於結構化學習的語義角色標註方法研究
語言是一套有結構的符號系統，結構的特點幾乎體現在自然語言處理的各個方面。本項目研究基於結構化學習的語義角色標註方法。將在語義角色標註領域展開結構化機器學習算法的研究。具體地，將研究如何利用傳統語言學知識，準確地把握作為語義角色標註問題輸出的謂詞論元結構，充分地挖掘論元之間存在的關係，並把這種關係抽象到...
- 計算系統的形式語義
第6章並發和分散式程式的形式語義 6.1概述 6.2分散式程式設計語言CSP 6.3CSP的結構化操作語義 6.4CSP的流語義 6.5TCSP和失敗語義 6.6並行程式的公理語義 6.7CSP的公理語義 6.8通信系統演算(CCS)6.9CCS的操作語義 6.10同步樹和通信樹 6.11雙模擬和行為等價性 6.12SCCS和集合推導語義 6.13CCS的偏序...
- 得到和搜尋結構化語義知識的方法及對應裝置
《得到和搜尋結構化語義知識的方法及對應裝置》提供了一種得到和搜尋結構化語義知識的方法及對應裝置，從已有語料中抽取出實體類型E的實體e；從搜尋日誌中獲取所有包含E的搜尋項(query)，從query中E之前出現的實詞抽取候選需求限定詞dₘ，構成候選需求限定詞集合{dₘ}；從大規模語料庫中抽取出包含屬於E的e且包含...
- 語義(函式)
語義是對數據符號的解釋，而語法則是對於這些符號之間的組織規則和結構關係的定義。對於信息集成領域來說，數據往往是通過模式（對於模式不存在或者隱含的非結構化和半結構化數據，往往需要在集成前定義出它們的模式）來組織的，數據的訪問也是通過作用於模式來獲得的，這時語義就是指模式元素（例如類、屬性、約束等等）...
- 結構化程式理論
結構化程式理論也稱為伯姆-賈可皮尼理論或Böhm-Jacopini理論，是一項程式語言研究的結果，說明只要一種程式語言可以依三個方式組合其子程式及調整控制流程，每個可計算函式都可以用此種程式語言來表示。控制流程 三個調整控制流程的方式為 運行一個子程式，然後運行下一個（順序）依照布爾變數的結果，決定運行二段子...
- 查詢語言語義學
程式設計語言的語法是規定程式組成方法的一些規則，稱為具體語法 ，但在定義程式的語義時，必須首先識別給定的程式，分析程式的語法結構。因此，在形式語義中使用一種討論程式分解的語法規則，這種語法稱作抽象語法。不同的程式設計語言往往使用不同的記號和表示方式。形式語義提供的方法適用於一切程式設計語言，故抽象語法...
- 基於句法結構和語義信息的指代消解研究
本項目在中心理論的指導下，從句法和語義兩個層面重點解決目前困擾指代消解研究的三個關鍵問題：一是如何獲取和利用有效的結構化句法信息；二是如何更好地利用語義信息；三是如何在單文檔指代消解研究的基礎上進行跨文檔指代消解的研究。本項目首先提出了基於中心理論的動態指代解析樹，利用樹核函式直接計算動態樹之間的...
- 非結構化對等網路語義計算模型與方法
主要研究內容包括：(1)建立基本的語義原語集和操作，通過語義代數和語義演算刻畫語義計算模型的表示能力，研究不同數據模型動態語義互動、轉換、匹配和集成的基本原理。(2)基於語義計算模型構建非結構化對等網路資源組織模型，有效地組織關係數據、XML和RDF數據，保證操作正確性。(3)基於語義計算模型提供語義豐富的查詢能力...
- 結構化數據
結構化數據，簡單來說就是資料庫。結合到典型場景中更容易理解，比如企業ERP、財務系統；醫療HIS資料庫；教育一卡通；政府行政審批；其他核心資料庫等。基本包括高速存儲套用需求、數據備份需求、數據共享需求以及數據容災需求。基本介紹 結構化數據也稱作行數據，是由二維表結構來邏輯表達和實現的數據，嚴格地遵循數據格式...
- 科技論文的語義模式研究
《科技論文的語義模式研究》是依託吉林大學，由徐昊擔任項目負責人的青年科學基金項目。項目摘要 科技論文的讀寫模式，直接影響著科研人員對於知識理解、共享和重用的效果與效率。本項目擬針對當前科技論文非結構化知識表示、匱乏語義信息、缺少語義描述等問題，以論文的語義結構和語義關聯為研究對象，對於科技論文的語義模式...
- 計算機組成:結構化方法(原書第6版)
本書採用結構化方法來介紹計算機系統，書的內容完全建立在“計算機是由層次結構組成的，每層完成規定的功能”這一概念之上。作者對本版進行了徹底的更新，以反映當今最重要的計算機技術以及計算機組成和體系結構方面的最新進展。書中詳細討論了數字邏輯層、微體系結構層、指令系統層、操作系統層和彙編語言層，並涵蓋了...
- 結構化電子病歷國標解讀
（C）數據組：由若干數據元構成，作為一個數據集合體，參與臨床業務活動記錄的表達，具有臨床語義完整性、可重用性特點。數據組可以表現為嵌套結構，即較大的數據組可包含較小的子數據組。如：症狀、用藥、手術、文檔標識等。 （D）數據元：位於電子病歷數據結構的最底層，是信息模型中可以通過定義、標識、表示和允...
- 程式語言理論
1981年，Gordon Plotkin發表了關於結構化操作語義的論文。1988年，吉爾斯·卡恩（Gilles Kahn）發表了關於自然語義學的論文。由Alan Kay領導的Xerox PARC的科學家團隊開發了Smalltalk，這是一種以其創新開發環境而聞名的面向對象語言。出現了過程計算，例如Robin Milner的通信系統微積分，以及C. A. R. Hoare的通信順序...
- CCS(連線服務)
CCS的語義由結構化操作語義方法給出，下面列出幾條典型的語義規則。P→Q表示進程P可執行動作a而演變為Q。從關於並行運算元|的規則可以看出，由兩個進程並行複合而成的進程可以做每個分進程所能做的動作（PAR1）和（PAR2），但當兩個分進程同時執行一對互補的動作時，則發生通信，產生τ動作（COM）。這種通信方式稱...
