穩定模型語義（stable model semantics）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：穩定模型語義
- 外文名：stable model semantics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
用來定義帶“失敗即否定”規則的邏輯程式的一種聲明語義。
出處
《計算機科學技術名詞 》第三版。
穩定模型語義（stable model semantics）是2018年公布的計算機科學技術名詞。
穩定模型語義（stable model semantics）是2018年公布的計算機科學技術名詞。定義用來定義帶“失敗即否定”規則的邏輯程式的一種聲明語義。出處《計算機科學技術名詞 》第三版。1...
提高服務可用、可靠及性能等方面的穩定性是當前移動服務計算中急待解決的挑戰性問題。本項目以前期研究成果- - 移動計算中服務不確定性模型為基礎，針對該模型對服務動態語義表達和驗證的不足，結合移動計算環境下服務狀態變遷和互動行為的特點，拓展直覺類型論，使其能兼顧服務互動行為描述和動態語義驗證兩方面的效能，...
研究形式語言與其解釋(模型)之間的關係，也就是形式語言的語法與語義之間的關係。數理邏輯的主要分支之一。模型論把形式語言中的公式、句子、理論(句子集)和模型當作數學對象，引進了近世代數中的一些概念、方法，從而模型論的一些結果和方法也被用到數學之中。因此，模型論的一些基本方法，如構造模型的常量方法，圖像...
《多級壓氣機失速穩定性模型與先進擴穩方法研究》是依託北京航空航天大學，由孫大坤擔任項目負責人的面上項目。項目摘要 壓氣機流動穩定性問題嚴重製約了高推重比航空發動機的設計和使用，而現有理論大都針對單級壓氣機展開，由於理論模型不能包含充分的穩定性影響因素，而數值模擬受限於現有計算能力，均無法有效應對亟需...
《圖像局部紋理的穩定場模型及算法研究》是依託杭州電子科技大學，由葉學義擔任項目負責人的青年科學基金項目。項目摘要 圖像紋理是圖像的核心信息，而圖像局部紋理的缺失一直都是圖像分析、理解、識別，以及圖像合成、重建等研究方向的難點問題。本項目提出將數學物理的穩定場理論引入圖像處理領域，將圖像中紋理的形成看作...
語義程式模型（semantic procedural model）亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上．結合計算機編程原理而形成，認為一個詞的意義是通過一系列程式操作來確定的，這些程式操作是人類認知系統中基本的心理操作。確定詞的意義時，一個程式常需要調用其他程式，如上述程式中的“動物”這個詞本身，就...
本項目以城市興趣點、道路網和建築物為研究對象，提出多源地理空間數據的多層次空間-語義模式挖掘方法，研究顧及空間-語義模式的跨尺度要素穩健匹配方法，發展保持空間-語義模式的一致性最佳化整合模型，實現多源地理空間數據的幾何、語義與空間關係一體化表達。本項目研究成果可有效提高地理空間數據的現勢性和完備性，為智...
《基於業務模型穩定性度量的軟體構件獲取與最佳化設計》是依託哈爾濱工業大學，由戰德臣擔任項目負責人的面上項目。項目摘要 如何挖掘與利用業務模型中豐富的語義信息並據此構造軟構件，並通過構件復用期間的持續最佳化改進，提高構件的復用性能以儘可能降低復用成本，進而改善複雜套用系統的構造和重構的效率，是當前基於構件的...
不穩定子結構是指圖中的一類特定的子圖或者頂點子集，其內部結構關係的變化頻度或程度在整個動態圖中是最為劇烈的。挖掘不穩定子結構在社會各個領域（如社交網路、智慧型交通）都有著十分重要的套用。然而，目前針對這一問題的研究還處於空白階段，機遇和挑戰並存。本項目將從不穩定子結構語義模型、動態圖基本操作算法和...
同時以語義的形式保存測點所對應的隱式信息，將數據獲取環節與CAD模型重建環節之間的信息傳遞由點雲數據拓寬為語義信息；在CAD模型重環節，系統首先對語義信息進行解析，獲得測點的坐標信息與對應的語義，然後開展基於語義的CAD模型重建，在充分理解測點語義的基礎上簡化重建過程，提高CAD模型重建的準確性、穩定性與可靠...
對此本課題組提出基於免疫功能正常的成年小鼠，聯合採用水動力轉染技術與噬菌體整合酶系統，建立HBV全基因組小鼠體內長期穩定表達模型，作為經典轉基因技術的補充或替代，用於研究HBV對機體免疫功能的影響、致肝細胞損傷的機制以及免疫治療藥物的評價。也是探索一種以成年小鼠為基礎的，建立目的基因體內表達模型動物實驗體系的...
《基於隨機過程的時滯神經網路模型的穩定性研究》是依託中南大學，由劉心歌擔任項目負責人的面上項目。項目摘要 針對更一般的激勵函式，基於函式的凸性分析，提出新的時滯分割方法，引入鬆弛矩陣來反映時滯神經網路中神經元的狀態在不同時刻之間的相互關係，建立新的時滯相關的穩定性條件，利用隨機穩定性分析中的比較方法，...
在高維數據分析中，人們通常採用變數選擇方法選擇出“最好”的模型，然後依賴於該模型得到最終的預測或者統計推斷。然而，變數選擇過程有著不同程度的不確定性，這種不確定性會造成模型解釋的不可靠性和預測的不穩定性（即，數據的微小變化可能使我們選擇出差別很大的模型，進而得到的預測值也差別很大）。本項目研究高維...
目前大多數研究基於對圖像基本幾何基元的幾何分析，缺乏對語義信息的利用，因此穩定性不強、套用領域受限。本項目借鑑人腦並行分級處理以及反饋機制，擬研究反饋型級聯連線模型框架對SFM 和圖像分割、區域類別標記、物體識別等語義子模組進行整合，通過框架的反饋級在線上制突破傳統將各子問題割裂分析的做法，實現語義輸出SFM ...
《貨幣穩定：理論模型與實證研究》是2013年5月人民出版社出版的圖書，作者是孫音。內容簡介 《貨幣穩定：理論模型與實證研究》試圖從貨幣對內穩定與對外穩定兩個方面闡述貨幣穩定相關的理論與實證研究。具體而言，除導言外，《貨幣穩定：理論模型與實證研究》正文將分四章展開論述。第二章回顧貨幣穩定的理論基礎，包括最...
在基於非單調語義的系統中，這樣的知識可以很方便的進行表達，例如基於穩定模型語義的邏輯程式以及基於非單調因果理論的行動語言C+。行動語言是一種描述行動的改變和轉移的正式語言，其語義主要通過語言對應的轉移系統來定義。傳統上的轉移系統通過一系列狀態和轉移來定義。一個轉移，通過行動將一個狀態和在這個狀態執行某...
10.7.2 失敗否定式和穩定模型語義 272 10.7.3 界限和預設邏輯 273 10.8 真值維護系統 275 10.9 小結 276 參考文獻與歷史的注釋 276 習題 281 第四部分 規劃 第 11章 規劃 289 11.1 規劃問題 289 11.1.1 規劃問題語言 290 11.1.2 表達能力和延伸 291 11.1.3 例：航空貨物運輸...
基於穩定模型的軟體多樣性與安全初探 該文簡要闡述了軟體多樣性與安全性的關係後，基於STABLE MODEL是邏輯程式的語義模型的觀點，從軟體與邏輯程式設計的關聯出發，提出了用邏輯程式設計實現軟體多樣性的方法。論文首先介紹了邏輯程式中穩定模型的形成、定義、演算方法，通過邏輯程式與穩定模型之間存在的多對一的映射關係，...
語義記憶模型主要是層次網路理論和激活擴散網路，這兩個理論從過去到如今仍然是大多數語義記憶研究與實驗的基礎。後來有人提出了一種吸引者網路的語義記憶聯想模型，這種模型是特徵羅列模型的升級版；還有人提出了感覺功能理論，概念結構理論和具體範圍假設，這些理論模型都可以用於理解語義記憶的各種現象。另外，將語義記憶...