可達標識集（set of reachable markings）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：可達標識集
- 外文名：set of reachable markings
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一個佩特里網Σ的可達標識集是指從初始標識可達的全體標識的集合。
出處
《計算機科學技術名詞 》第三版。
可達標識集
相關詞條
- 可達標識集
可達標識集（set of reachable markings）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義一個佩特里網Σ的可達標識集是指從初始標識可達的全體標識的集合。1出處《計算機科學技術名詞...
- 可達標識圖
可達標識圖（reachable marking graph）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 一個佩特里網Σ的可達標識圖是以Σ的可達標識集為結點集的一個有向圖。若從標識M發生變遷t得到標識M′，則從結點M向結點M′引一條有向邊並旁標以“t”。出處 《計算機科學技術名詞 》第三版。
- 可達標識
可達標識是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 設 M是佩特里網Σ的一個標識，M自身及M的後繼標識都是從M可達的標識；若M′是M的一個可達標識，則M′的後繼標識也是M 的可達標識。出處 《計算機科學技術名詞 》第三版。公布時間 2018年，經全國科學技術名詞審定委員會審定發布。
- 可達性信息
在圖論中，可達性是指在圖中從一個頂點到另一個頂點的容易程度。在計算機網路中，可達性信息是指一個路由器到下一個路由器或IP的距離（跳數），或者是指路由是不可達或源點抑制。可以從可達性信息中知道網路狀況，目的網路路由是否繁忙等信息。簡介 可達性信息簡單來說是指一個路由器到目的網路的路由是否可達以及...
- 可達性樹
可達性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 若把無界佩特里網的可覆蓋性樹的構造算法套用於有界佩特里網Σ,所得到的樹結構中的各個結點的標註中不會出現無界量符號 ω ，而且Σ的每個可達標識都會出現在樹的某個結點標註中，這個樹結構就稱為Σ的可達性樹。出處 《計算機科學技術名詞...
- 步可達性
步可達性 步可達性（reachability by step）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 在一個佩特里網中，若從標識 M經過一個步序列發生得到標識M′，就說M′是從M 步可達的。出處 《計算機科學技術名詞 》第三版。
- URI(標識、定位任何資源的字元串)
其功用，僅是作為對於某些URI因包含某種指示著網路可達性的協定而作為地址存在的提醒而已。基於URI的眾多標準，例如資源描述框架等，已經清楚地表明，資源標識本無需指出通過網際網路獲得資源副本的方法，亦無須指出資源是否基於網路。在2006年2月，RFC 4395用了15頁詳細闡述了《關於新的URI方案的指導方針和登記程式》在...
- 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 結構...
- 馬爾可夫鏈
。由定義，可達與連通可以是間接的，即不必在單個時間步完成。連通是一組等價關係，因此可以構建等價類（equivalence classes），在馬爾可夫鏈中，包含儘可能多狀態的等價類被稱為連通類（communicating class）。2. 閉合集（closed set）與吸收態（absorbing state）給定狀態空間的一個子集，若馬爾可夫鏈進入該子集後...
- 防偽技術(學術名詞)
濕敏防偽標識的主要特徵：1、便於識別。在濕敏防偽標識上用無色水性液體塗抹，整版會立刻顯現出豐富多彩的信息，同時在紫光燈及紅外燈下可以看到發光的信息。2、無人仿製。由於技術及製造工藝是華德獨有，所以未來幾年無人能夠仿製。3、可隱形多重防偽。該技術既不但有濕度、光度的防偽措施，還可以填加語言碼、電碼...
- 基於結構分析的自動製造系統最佳化活性Petri網控制器設計
從而避免現有研究中需要遍歷整個可達狀態空間的狀態爆炸問題；其次，研究基於直接信標控制的行為最大許可活性Petri網控制器的設計方法以及基於結構分析技術的行為最大許可活性控制器的存在性問題，其存在條件表示為信標及其資源的初始標識關係.最後,綜合考慮合法非法可達標識空間的凸/非凸,不可控(觀)變遷,不可測庫所...
- 泰達圖書館
形象標識 泰達圖書館形象標識的構思來源於“書”、“網路”、“年輪”、“階梯”的創想，是對原泰達圖書館和檔案館標誌的歸納、提煉和改進。標誌由三部分組成，上下兩個方塊分別代表著圖書館和檔案館，中間的“S”形採用“SHU”和“SERVICE”的首字母進行變化，分別代表著“書、數字、服務”的內涵，“S”連線了...
- 標籤印刷
首先，燙金工藝分為冷燙和熱燙。冷燙原理主要是利用壓力和特殊膠水使電化鋁與基材的結合，整個過程無需加熱，也不需要燙金版以及墊版技術，同時窄幅輪轉機相對造價高昂且操作複雜的熱燙機而言，經濟便利。其最高燙印速度可達每分鐘120米。但是，冷燙工藝起步較晚，且受到燙印過程中電化鋁消耗量較大，燙後電化鋁光澤...
- 徐州捷運
列車全長約120米,車體最寬處約2.88米,車輛頂面距軌頂面高度約3.8米,全車總重量為185.5噸,最大載客量高達2146人。列車最高運行速度可達80千米/小時 [26]。 運行系統 截至2018年6月,徐州捷運1號線使用的牽引系統由株洲中車時代電氣股份有限公司提供 [27]。 乘坐導引 播報 編輯 導引標識...
- 酒標(酒瓶上的標籤)
酒標是酒的標誌、標識，是為了便於識別、傳遞信息、促銷產品而使用的。酒標是一種智慧財產權，是一種無形資產，是酒廠走向現代，擴大商品對外貿易和國際交往不可缺少的標記。它的設計、印刷和使用，已成為衡量一個國家或地區釀酒業經營管理水平高低的標誌。因而有人說：酒標就是酒的名片、酒的身份證。它和郵票、紙幣、...
- 警報級別
預警信號的級別依據氣象災害可能造成的危害程度、緊急程度和發展態勢一般劃分為四級：Ⅳ級（一般）、Ⅲ級（較重）、Ⅱ級（嚴重）、Ⅰ級（特別嚴重），依次用藍色、黃色、橙色和紅色表示，同時以中英文標識。氣象災害預警信號及防禦指南。補充：隨著時代發展，氣象預警的級彆氣象災害預警信號種類由原來的3種增加到10種，...
- 瀋陽臨空旅遊開發區
標識 2011年初，瀋陽臨空旅遊區管委會公開徵集並確定了形象標識，其作品主題明確、創意獨特、圖案清晰、識別性強、有較強的視覺感染力、富有美感和視覺衝擊力，充分展示出臨空作為旅遊目的地的自由、開放、好客、環保的主題。從整體上看，該標識主體，是渾厚端正的瀋陽臨空旅遊開發區九個大字及其漢語拼音和英文名稱。從...
- 玳瑁(爬行綱海龜科動物)
因此雕塑有“海龜男孩”(Turtle Boy)的愛稱。這座雕像就如哥本哈根的美人魚雕像和布魯塞爾的小於連銅像一樣，已經成為伍斯特市的標誌性象徵。當地還舉行以雕像命名的音樂競賽“海龜男孩音樂獎”(The Turtle Boy Music Award)，同時一些與雕像有關的兒童故事也被創作出來。
- 書目資料庫
第一，書目資料庫的出現和發展有其情報政策背景。在當代，信息被公認為是財富和實力的象徵，控制和處理信息的能力被認為是一個國家科技發展水平、社會進步程度和國際地位的標誌。世界各國特別是已開發國家都把信息作為一種戰略武器，控制信息成為國家的基本政策，也成為民間產業的關心重點。這是書目資料庫發展的情報政策背景...
- 貴金屬(貴重的金屬)
①18K金首飾的金含量不低於750‰，可標識為18K或G18K、G750、Au750、金18K、金750。密度為：16.15（g/cm³）。②足金首飾的金含量不低於990‰，可標識為足金或G990、Au990、金990，因2016年5月開始取消千足金標識，含量達到999‰的，標識為足金-999、足金 999、足金：999。③此外市面上（特別在國外）還...
- 安迪爾甜瓜
安迪爾甜瓜，新疆維吾爾自治區和田地區民豐縣特產，全國農產品地理標誌。安迪爾鄉自1998年開始種植至今，安迪爾甜瓜已有近30年歷史。安迪爾甜瓜外形呈橢圓，有香氣、最大可達10—11千克，平均5—5.5千克左右。果皮青色或黃色，有凹凸不平的網紋，這些網紋就像是永遠走不完的迷宮，切開瓜後可見金黃色或桔紅色果肉，...
- nesc
這是危險的，因為 TinyOS 中所有的長指令 (舉例來說. 傳送包)是非中斷的; 他們的完成由一個事件( 傳送完成)標誌。 通過敘述接口，一個組件不能調用傳送指令除非它提供 sendDone 事件的實現。通常指令向下調用，比如， 從套用組件到那些比較靠近硬體的調用,而事件則向上調用。特定的原始事件與硬體中斷是關聯的 (...
- 打標機
由電磁線圈驅動合金打標針，在工作表面形成深淺不一的凹坑，從而形成標識信息。點針打標技術：高速、高性價比的打標技術 點針打標所有標識（文本、數字、LOGO、二維碼等）由一系列點組成，每個點都是由打標針撞擊打標表面形成。可控的電流脈衝通過電磁線圈產生磁場產生衝擊力，硬質合金或鑲嵌工業鑽石的打標針在磁場作用下...
- iBeacon
iBeacon的數據主要由四種資訊構成，分別是UUID（通用唯一標識符）、Major、Minor、Measured Power。UUID是規定為ISO/IEC11578:1996標準的128位標識符。Major和Minor由iBeacon發布者自行設定，都是16位的標識符。比如，連鎖店可以在Major中寫入區域資訊，可在Minor中寫入個別店鋪的ID等。另外，在家電中嵌入iBeacon功能時...
- 世爵
所以1915年，推出了公司標識，即由一個水平的飛機螺旋槳穿越鐫刻公司座右銘的輻輪。之所以現 在的LOGO車輪加上一副螺旋槳，主要是因為有製造飛機的這樣一段歷史，因為畢竟飛機上所使用的這些性能如果能夠合理運用到現 在的一些汽車製造當中，尤其是空氣動力學跑車製造當中是非常重要的。它的含義，體現了企業的箴言“...
- 彰武花生
彰武花生，遼寧省阜新市彰武縣特產，全國農產品地理標誌。產品介紹 彰武縣種植花生歷史由來已久，資源優勢明顯。彰武縣多半土地為沙質土壤，適合於花生種植，白沙、唐油、阜花等優勢品種在該縣已種植多年，質量上乘，具備出口創匯能力。自2010年彰武縣把花生確定為發展的主導產業以來，經過兩年努力，產業發展迅速，初具...
- 邊界網關協定
邊界網關協定（BGP）是運行於 TCP 上的一種自治系統的路由協定。 BGP 是唯一一個用來處理像網際網路大小的網路的協定，也是唯一能夠妥善處理好不相關路由域間的多路連線的協定。 BGP 構建在 EGP 的經驗之上。 BGP 系統的主要功能是和其他的 BGP 系統交換網路可達信息。網路可達信息包括列出的自治系統（AS）的信息。...
- picasa
在最新版本3.6中，Picasa 會掃描圖片集中的所有照片，標識有頭像的照片，並將具有相似頭像的照片整理在一起。通過點擊照片下的"添加名稱"標籤並鍵入此人的名稱，可以輕鬆將名稱標籤一次添加到多張照片中。在標記一些圖片後，您只需點擊一下即可創建頭像拼貼，此外您可以輕鬆找到具有兩個相同人物的所有圖片，或將名稱...
- 深圳偉業達標籤有限公司
公司目前擁有國際先進的全自動化生產設備，標籤日產量可達2千萬張，生產領域包括各類不乾膠標籤、不乾膠貼紙、條形碼標籤、條碼紙、一維碼標籤、二維碼標籤、電子秤紙、標價簽、捲筒標籤紙、自動貼標機專用標籤、條碼印表機專用標籤、打孔標籤（針式印表機標籤）、箭頭標籤、警告標籤、貨架標籤、包裝盒貼紙、外箱標籤、...
