可達標識圖（reachable marking graph）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：可達標識圖
- 外文名：reachable marking graph
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一個佩特里網Σ的可達標識圖是以Σ的可達標識集為結點集的一個有向圖。若從標識M發生變遷t得到標識M′，則從結點M向結點M′引一條有向邊並旁標以“t”。
出處
《計算機科學技術名詞 》第三版。
可達標識圖
相關詞條
- 可達標識圖
可達標識圖（reachable marking graph）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義一個佩特里網Σ的可達標識圖是以Σ的可達標識集為結點集的一個有向圖。若從標識M發生變遷t得到標...
- 可達標識
可達標識是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 設 M是佩特里網Σ的一個標識，M自身及M的後繼標識都是從M可達的標識；若M′是M的一個可達標識，則M′的後繼標識也是M 的可達標識。出處 《計算機科學技術名詞 》第三版。公布時間 2018年，經全國科學技術名詞審定委員會審定發布。
- 可達性圖
可達性圖 可達性圖是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 將一個有界佩特里網Σ的可達性樹中標識向量相同的結點合併成一個，所得到的有向圖稱為Σ的可達性圖。出處 《計算機科學技術名詞 》第三版。公布時間 2018年，經全國科學技術名詞審定委員會審定發布。
- 可達標識集
可達標識集 可達標識集（set of reachable markings）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 一個佩特里網Σ的可達標識集是指從初始標識可達的全體標識的集合。出處 《計算機科學技術名詞 》第三版。
- 可達性信息
在圖論中，可達性是指在圖中從一個頂點到另一個頂點的容易程度。在計算機網路中，可達性信息是指一個路由器到下一個路由器或IP的距離（跳數），或者是指路由是不可達或源點抑制。可以從可達性信息中知道網路狀況，目的網路路由是否繁忙等信息。簡介 可達性信息簡單來說是指一個路由器到目的網路的路由是否可達以及...
- URI(標識、定位任何資源的字元串)
與此同時，IETF發布了RFC 3986，亦即完整的STD 66標準，標識著URI通用文法正式成官方網際網路協定。在2002年8月，RFC 3305指出，雖然術語“URL”仍被廣泛地用於日常用語之中，但其本身已幾乎被廢棄。其功用，僅是作為對於某些URI因包含某種指示著網路可達性的協定而作為地址存在的提醒而已。基於URI的眾多標準，例如...
- 標識系統設計(指跟企業有關的VI基本要素設計)
作為標誌使用的標準色還應注意以下的幾點原則：標誌系統的設計並非單純地克隆標準色彩，還應注意輔助色的使用。特殊需要下，可採用一些中性色（如灰色）做主調，標準色做點綴，同樣可達嚴謹、清晰的效果。根據環境、背景色的需要採用適當的色彩，當標準色與環境相似時，以認知程度來選取較高反差的顏色搭配。總之，標識...
- 警報級別
預警信號的級別依據氣象災害可能造成的危害程度、緊急程度和發展態勢一般劃分為四級：Ⅳ級（一般）、Ⅲ級（較重）、Ⅱ級（嚴重）、Ⅰ級（特別嚴重），依次用藍色、黃色、橙色和紅色表示，同時以中英文標識。氣象災害預警信號及防禦指南。補充：隨著時代發展，氣象預警的級彆氣象災害預警信號種類由原來的3種增加到10種，...
- 預警級別顏色
這些圖示正式的名稱為氣象預警信號。預警信號的級別依據氣象災害可能造成的危害程度、緊急程度和發展態勢一般劃分為四級：Ⅳ級（一般）、Ⅲ級（較重）、Ⅱ級（嚴重）、Ⅰ級（特別嚴重），依次用藍色、黃色、橙色和紅色表示，同時以中英文標識。藍色預警 暴雪藍色預警信號：12小時內降雪量將達4毫米以上，或者已達4毫米...
- Petri網導論
3.1 可達標識圖與可覆蓋性樹 3.2 關聯矩陣與狀態方程 3.3 變遷發生序列與Petri網語言 3.4 Petri網進程 思考與練習(3)參考文獻(3)第4章 Petri網的結構性質 4.1 結構有界性和守恆性 4.2 可重複性和協調性 4.3 S-不變數和T-不變數 4.4 可重複向量 4.5 死鎖與陷阱 4.6 結構公平性 4.7 結構...
- 馬爾可夫鏈
1. 可達（accessible）與連通（communicate）馬爾可夫鏈的演變可以按圖（graph）結構，表示為轉移圖（transition graph），圖中的每條邊都被賦予一個轉移機率。通過轉移圖可引入“可達”和“連通”的概念：若對馬爾可夫鏈中的狀態 有： ，即採樣路徑上的所有轉移機率不為0，則狀態 是狀態 的可達狀態，在轉移圖...
- 道路交通標線
交通標線（Traffic Index Line）是指在道路的路面上用線條、箭頭、文字、立面標記、突起路標和輪廓標等向交通參與者傳遞引導、限制、警告等交通信息的標識。其作用是管制和引導交通，可以與標誌配合使用，也可單獨使用。高速公路、一、二級公路和城市快速路、主幹路應按標準規定設定反光交通標線，其他道路可根據需要按標準...
- 四聚乙醛
因春、秋雨季是蝸牛活動盛期，為施藥關鍵時期，可在秧苗播種或移植後，每畝用6%顆粒劑500克，均勻撒施，或拌細砂撒施，使福壽螺、蝸牛、蛞蝓易於接觸藥劑，可達保苗效果。可濕性粉劑——水稻：在插秧後一天內使用本品，噴灑於稻田，水層宜在3-4厘米，保持3-7天。蔬菜、棉花、菸草用量同上，要均勻噴灑，使蛞蝓、...
- 中車株洲電力機車研究所有限公司
標識詳解 logo詳解如有圖：公司高管 丁榮軍 執行董事、總經理、黨委副書記 教授級高級工程師 院士 鄧恢金 黨委書記、副總經理 高級工程師 楊首一 黨委副書記、紀委書記、工會主席高級工程師 劉連根 副總經理 教授級高級工程師 賀文成 副總經理、財務總監 高級會計師 馮江華 副總經理 教授級高級工程師 曾鴻平 副總經理...
- DLSW
DLSw有兩種版本：DLSw1.0和DLSw2.0。基於RFC 1795實現的DLSw為DLSw1.0版本；為了提高產品可維護性，減少網路開銷，系統基於RFC 2166實現了DLSw2.0版本。DLSw2.0中增加了支持以組播及單播方式傳送UDP探詢報文的功能。當通信對端也是DLSw2.0時，二者可以使用UDP報文探詢可達信息，僅在有數據傳輸需求時才建立TCP連線...
- 布加迪威龍(布加迪旗下的一款車型)
座艙後部儲物箱蓋上繪製有布加迪Type 18“Black Bess”車型並鑲嵌金色EB標識。布加迪Black Bess傳奇限量版搭載的是一台8.0升W16發動機，最大功率1200馬力，峰值扭矩1500牛·米。匹配的是7速雙離合變速箱，該車的0-100km/h加速時間僅為2.6秒，極速可達408.84km/h。第六款 布加迪以創始人Ettore Bugatti來命名第...
- Micro SD卡
在SD卡3.0規範中，SD卡的理論最大容量可達2TB，理論最大讀寫速度可達104MB/s（在最新的4.10規範中，理論最大讀寫速度已提高到312MB/s），而且Micro SD卡是SD類型中尺寸第二小的一種SD卡，尺寸為15mm*11mm*1mm，如果能把SD卡的這些優勢套用於自動化測試系統中，例如存儲診斷測試數據、衛星載荷數據和飛彈掛...
- 邊界網關協定
BGP 系統的主要功能是和其他的 BGP 系統交換網路可達信息。網路可達信息包括列出的自治系統（AS）的信息。這些信息有效地構造了 AS 互聯的拓撲圖並由此清除了路由環路，同時在 AS 級別上可實施策略決策。釋義 （BGP/BGP4：Border Gateway Protocol，邊界網關協定）BGP-4 提供了一套新的機制以支持無類域間路由。這些...
- CAN匯流排協定
CAN的直接通信距離最遠可達10km（速率5kbps以下）；通信速率最高可達1Mbps(此時通信距離最長為40m)。 CAN上的節點數主要決定於匯流排驅動電路，目前可達110個；報文標識符可達2032種（CAN2.0A），而擴展標準（CAN2.0B）的報文標識符幾乎不受限制。CAN的數據鏈路層 CAN的數據鏈路層是其核心內容，其中邏輯鏈路控制(L...
- 賓利歐陸
歐陸GT是賓利汽車在加入大眾集團以來設計和製造的首款新車型，搭載W12發動機，最高時速可達200英里/時。此後又推出了 SUPERSPORTS 等版本。第三代歐陸GT 2017年8月29日，賓利汽車正式公布了旗下歐陸GT的第三代車型的全部細節，新車擁有比前作更加突出的輪廓，同時較前代整體減重80kg；新車將在2017年9 月12日至24...
- 籌碼(娛樂場所專用品)
電話電碼防偽標識是由雷射防偽技術和電話電碼防偽技術相結合製作而成,通過查詢統一的中心資料庫可以核對真偽。核微孔防偽標識由雷射防偽技術和核微孔防偽技術組成,僅用一隻水筆便可分辨真偽。基因防偽是在標識背膠中加入基因因子,通過專用儀器進行檢測。常用的是雷射彩虹模壓全息圖文防偽技術,它是套用雷射彩虹全息圖製版技術...
- 柯坪恰瑪古
柯坪恰瑪古， 新疆維吾爾自治區阿克蘇地區柯坪縣特產，全國農產品地理標誌。柯坪縣阿恰勒鄉屬大陸性暖溫帶乾旱氣候，四季分明，日照充足，熱量豐富，大於0℃的積溫4756.10℃，無霜期長平均213天，適宜復播恰瑪古的生長。柯坪恰瑪古其特殊的生長環境和種植技術，所以其個體直徑為5~7厘米。塊根肉質，球形，扁圓形或長橢圓形...
- 酒標(酒瓶上的標籤)
酒標是酒的標誌、標識，是為了便於識別、傳遞信息、促銷產品而使用的。酒標是一種智慧財產權，是一種無形資產，是酒廠走向現代，擴大商品對外貿易和國際交往不可缺少的標記。它的設計、印刷和使用，已成為衡量一個國家或地區釀酒業經營管理水平高低的標誌。因而有人說：酒標就是酒的名片、酒的身份證。它和郵票、紙幣、...
- 朝鮮海峽(地理名稱)
亞洲一些海域冠某國名（只有阿拉伯海是冠民族名），是國際地理標識（不是某國主權名稱），方便國際人們對號入座地記憶海域的大致位置：日本海、朝鮮海峽、東中國海（不等於中國東海）、菲律賓海（有沿岸多國的領海而且大部分為國際公海）、南海、泰國灣、孟加拉灣、印度洋、阿拉伯海（周圍有西非、西亞阿拉伯半島、及南亞...
- 歐米茄(瑞士鐘錶品牌)
1932年，在洛杉磯奧運會中，歐米茄首次擔任官方計時廠商；自此之後，歐米茄一直為全球頂尖賽事提供計時設備的支持。同年推出歐米茄首款潛水錶——Marine海洋腕錶，可拆除式雙層表殼是該腕錶的標誌性設計。1936年，OMEGA於Kew-Teddington天文台的所有檢驗項目均締造世界精準紀錄。1948年，推出首款歐米茄海馬系列腕錶。同年，...
- 網路服務接入點
網路服務接入點，即OSI模型中網路層的地址，用來標識一個抽象的網路服務訪問點，描述OSI模型的網路地址結構，是用來實現開放式系統互聯（OSI）網路層定址的兩種分級地址之一（另一種是網路實體標題）。定義 網路服務接入點是網路層和傳輸層之間的邏輯點，網路服務從這裡轉交到傳輸層；這個點的位置由NSAP地址識別到OSI...
- 標緻(法國標緻雪鐵龍集團旗下汽車品牌)
2021年2月25日，標緻推出了全新標識，是其品牌歷史上第11次更新Logo。品牌介紹 東風標緻屬神龍汽車有限公司旗下品牌。2002年10月，東風汽車公司與法國PSA集團（標緻雪鐵龍集團）簽訂擴大合作的合資契約，兩大集團強強聯手，全面展開將標緻品牌引入中國的新藍圖，東風標緻由此誕生。 自成立以來，秉承“美感、可靠、活力、...
- 飛豬
2023年6月30日，飛豬與Agoda（安可達）擴大合作，將在海外酒店供應鏈、數字行銷、住宿創新等領域合作。2025年3月5日，飛豬“AI行程助手”上線。3月10日訊息，飛豬發起“2025年出境旅遊目的地商家成長計畫”，首站落地馬來西亞。飛豬在2024年雙十一“全球旅行節”中實現了高質量的增長，成交額同比去年雙位數增長，交易...
- ECE R44/04
三、認證標誌符合規定的兒童汽車安全座椅必須標明認證標籤，以表示兒童座椅符合ECE R44/04標準。認證標籤包括製造商的名稱，生產年份，國際認證標誌和兒童安全座椅適用的體重範圍。認證產品 Group 0+1組 守護者II 適用體重：0-18KG(出生-約4歲)不用調轉ISOFIX底座方向即可正反方向安裝座椅 ISOFIX的支撐腿，最大限度...
- 小靈貓
壽命可達15年。小靈貓的 毛皮和靈貓香的使用價值，導致嚴重的人為獵殺；森林的砍伐導致嚴重的生境喪失和破碎化，致使小靈貓種群嚴重隔離，數量迅速下降，現為國家一級保護野生動物。中國全面調查靈貓科動物的現狀並制定保護對策和行動計畫，加強對資源利用的合理性和可持續性的管理；嚴格禁用氰化鉀及爆炸物捕獵各種食肉...
