消解規則是2008年公布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名：消解規則
- 外文名： resolution rule
- 所屬學科：信息科學技術
- 公布年度： 2008年
公布時間,出處,
公布時間
2008年全國科學技術名詞審定委員會審定公布的海峽兩岸信息科學技術名詞。
出處
《海峽兩岸信息科學技術名詞》。
消解規則是2008年公布的海峽兩岸信息科學技術名詞。
消解規則是2008年公布的海峽兩岸信息科學技術名詞。 公布時間2008年全國科學技術名詞審定委員會審定公布的海峽兩岸信息科學技術名詞。出處《海峽兩岸信息科學技術名詞》。...
《一種基於數據包的移動數據同步衝突預處理與消解方法》包括以下步驟：步驟一，生成增量數據包，並通過數據同步服務上傳至移動套用伺服器；步驟二，通過數據同步衝突預處理，對涉及移動和同步的增量數據創建中間表；對沒有涉及移動和同步的增量數據，依據同步規則將數據回填至後端業務系統；步驟三，對中間表中的增量數據...
高壓消解罐：不鏽鋼外罐、聚四氟乙烯內杯構成。外罐也可以用哈氏合金。哈氏合金是鎳基合金的一種，它主要用於鐵基Cr-Ni或Cr-Ni-Mo不鏽鋼、非金屬材料等無法使用的強腐蝕性介質場合，已廣泛套用於石油化工、環保等諸多領域。高壓消解罐，耐腐蝕性更優，更好的滿足您苛刻的實驗要求。我們能助您應對最前沿的實驗分析...
本項目著重研究了針對生物醫學文獻全文，採用指代消解技術和遷移學習方法進行蛋白質互動關係抽取。內容主要包括：基於組合分類器的蛋白質名稱識別、整合多種有效方法的多階段蛋白質名稱標準化、組合機器學習和規則方法的指代消解、基於全文的蛋白質互動關係抽取、融合外部語義資源的組合核函式蛋白質互動關係抽取、基於遷移學...
第四節 《生存者》的生存規則：自然態的身體與文明化的身體 第四章 真人秀中的身體與資本：以美國全國廣播公司電視台《學徒》為例 第一節 《學徒》中的多元衝突模式 第二節 作為真人和符號的特朗普：成功者的定義 第三節 身體、資本與社會等級秩序：美國夢與美國式成功 第五章 真人秀的身體與身份...
即選擇最優希望的節點加以擴展，那么，搜尋效率將會大大提高。在許多情況下，能夠通過檢測來確定合理的順序。消解原理 消解是一種可用於一定的子句公式的重要推理規則。子句定義為由文字的析取組成的公式，當消解可以使用時，消解過程被套用於子母體子句對，以產生一個導出子句。
消解 （1）過硫酸鉀消解：向試樣中加4mL過硫酸鉀，將具塞刻度管的蓋塞緊後，用一小塊布和線將玻璃塞紮緊（或用其他方法固定），放在大燒杯中置於高壓蒸氣消毒器中加熱，待壓力達1.1kg/cm²，相應溫度為120℃時、保持30min後停止加熱。待壓力表讀數降至零後，取出放冷。然後用水稀釋至標線。註：如用硫酸...
三、同位階規則衝突解決規則相交叉的情形 （一）“新特別法優於舊一般法”規則 （二）“舊特別法與新一般法”規則的適用 四、“特別法v．一般法”衝突解決的特殊規則 （一）從重規則 （二）從輕規則 五、同位階規則衝突的消解技術 第五章 “原則v．原則”衝突的解決 一、“原則v．原則”衝突的本質 二、...
一般消解溫度都設在240度及240度以上，如果想快速消解可以適當提高溫度甚至可以用最大溫度進行消解。2、按圖1裝好定氮裝置，於水蒸氣發生器內裝水約2/3處加甲基紅指示劑數滴及數毫升硫酸，以保持水呈酸性，加入數粒玻璃珠以防暴沸，用調壓器控制，加熱煮沸水蒸氣發生瓶內的水。3、向接收瓶內加入10ml 2%硼酸...
第3章 可操作行為規則挖掘 73 3.1 問題定義 74 3.2 挖掘算法 81 3.2.1 MABR-1算法 81 3.2.2 MABR-2算法 84 3.3 模型驗證 91 3.4 討論 97 第4章 可操作行為規則挖掘技術的深入探討 99 4.1 消解規則衝突 100 4.1.1 規則衝突 100 4.1.2 衝突消解方法 101 4.1.3...
羅素和懷特海把他們的規則稱作“類型論”，但問題是這些規則後面根本沒有真正的理論，就像他們自己沮喪承認的那樣；對於為什麼某種集合被允許而其他的不被允許，除了說如果人們允許不可允許的集合，那么他的系統里將會發生非常糟糕的事情之外，沒有給出任何解釋。他們的形式系統是通過法令(fiat)達成一致的。“惡性循環”...
針對可消解的衝突類型，在衝突消解規則庫中都可以找到對應的衝突消解方法，這個方法可能不是唯一的，在條件滿足時儘可能採用最優的方法來消解衝突，這樣才可能找到衝突修正的最優解。衝突修正的方法 衝突修正的方法分為調整測控事件和調整測控資源兩大類，其中針對不同的實際情況採取不同的措施，通常採取的動作包括：移動...
衝突消解策略 在推理過程中，系統將根據當前所要搜尋的目標，對知識庫進行搜尋，尋找與事實匹配的規則(知識)。當找到的匹配規則不止一條時，需要根據某種策略從中選擇一條規則進行推理，這種策略被稱為衝突消解策略。常用的衝突消解策略有：優先度排序、規則條件詳細排序、匹配度排序和根據領域問題的特點排序等。1)優先...
3.4消解原理 3.4.1子句集的求取 3.4.2消解推理規則 3.4.3含有變數的消解式 3.4.4消解反演求解過程 3.5規則演繹系統 3.5.1規則正向演繹系統 3.5.2規則逆向演繹系統 3.5.3規則雙向演繹系統 3.6產生式系統 3.6.1產生式系統的組成 3.6.2產生式系統的推理 3.6.3產生式系統舉例 3.7非單調推理 ...
2.5 消解原理 2.5.1 子句集的求取 2.5.2 消解推理規則 2.5.3 含有變數的消解式 2.5.4 消解反演求解過程 2.6 規則演繹系統 2.6.1 規則正向演繹系統 2.6.2 規則逆向演繹系統 2.6.3 規則雙向演繹系統 2.7 產生式系統 2.7.1 產生式系統的組成 2.7.2 產生式系統的推理 2.7.3 產生式系統...
3.3 消解原理 3.3.1 化為子句集 3.3.2 消解推理規則 3.3.3 含有變數的消解式 3.3.4 消解反演求解過程 3.3.5 含狀態項的回答語句的求取 3.4 通用問題求解系統 3.4.1 通用問題求解原理 3.4.2 差別操作符表 3.5 小結 習題 第四章 高級求解技術 4.1 規則演繹系統 4.1.1 規則正向演繹系統 ...
此外還有環境音樂等，它們把音樂當作和現實事物沒有差別的東西，從而消解了“藝術高於生活”的等級觀念。典型作曲家如約翰·凱奇、施托克豪森等。第二種是多元混雜。不同風格的拼貼、無機組合，或者不守被模仿對象的規則的模仿，即“拙劣模仿”。如拉迪斯拉夫·庫普科維茲的《為我的自殺而作的輓歌》(1982)，是對蕭邦...
具體內容包括：(1)採用統一的策略描述框架禁止異構策略的表征形式，引入時態邏輯分析策略融合自動觸發規則，建立基於混合雲服務組合依賴的策略動態融合機制。(2)設計基於模型檢測的融合策略與組合服務策略的一致性驗證算法，並採用謂詞演算推理分析和評估不一致性消解方案的優先權和有效性。(3)提出基於最佳化設計的策略融合與...
4.1 消解原理 4.1.1 子句集的求取 4.1.2 消解推理規則 4.1.3 含有變數的消解式 4.1.4 消解反演求解過程 4.2 規則演繹系統 4.2.1 正向規則演繹系統 4.2.2 反向規則演繹系統 4.2.3 雙向規則演繹系統 4.3 產生式系統 4.3.1 產生式系統的結構 4.3.2 產生...
其測定原理為：在硫酸酸性介質中，以重鉻酸鉀為氧化劑，硫酸銀為催化劑，硫酸汞為氯離子的掩蔽劑，消解反應液硫酸酸度為9mol/L，加熱使消解反應液沸騰，148℃±2℃的沸點溫度為消解溫度。以水冷卻回流加熱反應反應2h，消解液自然冷卻後，加水稀釋至約140ml，以試亞鐵靈為指示劑，以硫酸亞鐵銨溶液滴定剩餘的重鉻酸鉀...
1.5 謂詞演算的推理規則與證明方法 1.5.1 自然推理 1.5.2 公理系統推理 1.5.3 公理系統K 1.5.4 K的合理性、一致性和完備性 1.6 自動定理證明與消解原理 1.6.1 概述 1.6.2 Herhrand理論 1.7 Robinson消解原理 1.7.1 命題邏輯中的消解原理 1.7.2 代換與合一算法 1.7.3 合一算法在謂詞...