可達標識是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
可達標識是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義設 M是佩特里網Σ的一個標識，M自身及M的後繼標識都是從M可達的標識；若M′是M的一個可達標識，則M′的後繼標識也是M 的可達標識。出處《計算機...
可達標識圖（reachable marking graph）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 一個佩特里網Σ的可達標識圖是以Σ的可達標識集為結點集的一個有向圖。若從標識M發生變遷t得到標識M′，則從結點M向結點M′引一條有向邊並旁標以“t”。出處 《計算機科學技術名詞 》第三版。
可達標識集 可達標識集（set of reachable markings）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 一個佩特里網Σ的可達標識集是指從初始標識可達的全體標識的集合。出處 《計算機科學技術名詞 》第三版。
可達性圖 可達性圖是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 將一個有界佩特里網Σ的可達性樹中標識向量相同的結點合併成一個，所得到的有向圖稱為Σ的可達性圖。出處 《計算機科學技術名詞 》第三版。公布時間 2018年，經全國科學技術名詞審定委員會審定發布。
可達性信息簡單來說是指一個路由器到目的網路的路由是否可達以及目的網路的路由器運行狀態等信息。可達性信息可以從一定程度上反應一個網路狀況，路由器可以根據可達性信息動態修改路由路徑。根據可達性信息，路由算法可以分為距離向量算法和連結狀態算法。路由 路由（routing）就是通過互聯的網路把信息從源地址傳輸到目的...
步可達性 步可達性（reachability by step）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 在一個佩特里網中，若從標識 M經過一個步序列發生得到標識M′，就說M′是從M 步可達的。出處 《計算機科學技術名詞 》第三版。
可達性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 若把無界佩特里網的可覆蓋性樹的構造算法套用於有界佩特里網Σ,所得到的樹結構中的各個結點的標註中不會出現無界量符號 ω ，而且Σ的每個可達標識都會出現在樹的某個結點標註中，這個樹結構就稱為Σ的可達性樹。出處 《計算機科學技術名詞...
點標識（點ID）在IEEE 1888：泛在綠色社區控制網路協定標準中被用來標識作為網路組件間特定數據流的訊息通道的節點。為了從全局對數據流進行標識，每個節點的點標識必須是全局唯一的。在泛在綠色社區控制網路中，每個節點採用URI作為自己的點標識，因為URI使得節點全局可達。
與此同時，IETF發布了RFC 3986，亦即完整的STD 66標準，標識著URI通用文法正式成官方網際網路協定。在2002年8月，RFC 3305指出，雖然術語“URL”仍被廣泛地用於日常用語之中，但其本身已幾乎被廢棄。其功用，僅是作為對於某些URI因包含某種指示著網路可達性的協定而作為地址存在的提醒而已。基於URI的眾多標準，例如...
作為標誌使用的標準色還應注意以下的幾點原則：標誌系統的設計並非單純地克隆標準色彩，還應注意輔助色的使用。特殊需要下，可採用一些中性色（如灰色）做主調，標準色做點綴，同樣可達嚴謹、清晰的效果。根據環境、背景色的需要採用適當的色彩，當標準色與環境相似時，以認知程度來選取較高反差的顏色搭配。總之，標識...
家態 家態（home state）是2018年公布的計算機科學技術名詞。定義 設 M是佩特里網Σ的一個可達標識，若對從M可達的任一個標識M′，M都從M′可達，那么就說M 是Σ中的一個家態。出處 《計算機科學技術名詞 》第三版。
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）給定狀態空間的一個子集，若馬爾可夫鏈進入該子集後...
可覆蓋性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 為了用有限形式來描述無界網系統的運行情況，引入了無界量符號ω，並設計了算法來構造一個有限樹（樹中的每個節點都用一個標識向量所標註），使得每個可達標識都可被樹中某節點的標識向量覆蓋，該有限樹就稱為這個無界佩特里網的可覆蓋性...
(2)利用SDD/DDD理論建立系統狀態空間分析的緊湊模型，首次提出了標識間向量覆蓋的概念，大大降低了所需要求解線性規劃問題的次數和約束個數。(3)提出了Elegant活性Petri網控制器設計的概念，即行為最大許可、結構極小、計算高效的控制器，展開基於區域理論的最佳死鎖控制策略研究。較早提出了合法可達標識空間非凸情況下...
操作環境 iPad Air 13英寸 （M2）對操作環境的要求如下：工作環境溫度：0°C 至 35°C（32°F 至 95°F）非工作溫度：‑20°C 至 45°C（‑4°F 至 113°F）相對濕度：非凝結狀態下 5% 至 95% 工作高度：測試最高可達 3000 米（10000 英尺）能效標識 整機配件 銷售信息 銷售價格 ...
操作環境 iPad Air 11英寸 （M2）對操作環境的要求如下：工作環境溫度：0°C 至 35°C（32°F 至 95°F）非工作溫度：‑20°C 至 45°C（‑4°F 至 113°F）相對濕度：非凝結狀態下 5% 至 95% 工作高度：測試最高可達 3000 米（10000 英尺）能效標識 整機配件 銷售信息 銷售價格 ...
狀態爆炸 狀態爆炸（state explosion）是2018年公布的計算機科學技術名詞。定義 對求解佩特里網的相關問題的算法複雜性偏高的一種形象說法。因為許多佩特里網的可達標識的個數可能隨網元的增加而指數階增長。
交通標線（Traffic Index Line）是指在道路的路面上用線條、箭頭、文字、立面標記、突起路標和輪廓標等向交通參與者傳遞引導、限制、警告等交通信息的標識。其作用是管制和引導交通，可以與標誌配合使用，也可單獨使用。高速公路、一、二級公路和城市快速路、主幹路應按標準規定設定反光交通標線，其他道路可根據需要按標準...
從而避免現有研究中需要遍歷整個可達狀態空間的狀態爆炸問題；其次，研究基於直接信標控制的行為最大許可活性Petri網控制器的設計方法以及基於結構分析技術的行為最大許可活性控制器的存在性問題，其存在條件表示為信標及其資源的初始標識關係.最後,綜合考慮合法非法可達標識空間的凸/非凸,不可控(觀)變遷,不可測庫所...
酒標是酒的標誌、標識，是為了便於識別、傳遞信息、促銷產品而使用的。酒標是一種智慧財產權，是一種無形資產，是酒廠走向現代，擴大商品對外貿易和國際交往不可缺少的標記。它的設計、印刷和使用，已成為衡量一個國家或地區釀酒業經營管理水平高低的標誌。因而有人說：酒標就是酒的名片、酒的身份證。它和郵票、紙幣、...
當通信對端也是DLSw2.0時，二者可以使用UDP報文探詢可達信息，僅在有數據傳輸需求時才建立TCP連線。DLSw1.0與2.0 1.0 問題 ●TCP連線的問題 DLSw1.0在配置本地對等體和遠端對等體以後，無論當時本地及遠端對等體是否有建立連線的需求，本地對等體都會立即嘗試與遠端對等體建立TCP連線（先建立兩條TCP連線，完成...
CAN的直接通信距離最遠可達10km（速率5kbps以下）；通信速率最高可達1Mbps(此時通信距離最長為40m)。 CAN上的節點數主要決定於匯流排驅動電路，目前可達110個；報文標識符可達2032種（CAN2.0A），而擴展標準（CAN2.0B）的報文標識符幾乎不受限制。CAN的數據鏈路層 CAN的數據鏈路層是其核心內容，其中邏輯鏈路控制(L...
燈標是目視航標的一種。各種發光航標的統稱。泛指晝夜均起助航作用的燈塔、燈樁、燈船和各種燈浮標等。如燈樁、燈浮標等，晝夜助航。還有一種以燈光助航的航標，如運河上使用的直道燈標、彎道燈標、照準燈標等只在夜間起作用。概念 燈標是裝有發光燈具和形象標誌，起助航作用的導航標誌。是航標的一種。為船舶...
三、認證標誌符合規定的兒童汽車安全座椅必須標明認證標籤，以表示兒童座椅符合ECE R44/04標準。認證標籤包括製造商的名稱，生產年份，國際認證標誌和兒童安全座椅適用的體重範圍。認證產品 Group 0+1組 守護者II 適用體重：0-18KG(出生-約4歲)不用調轉ISOFIX底座方向即可正反方向安裝座椅 ISOFIX的支撐腿，最大限度...
Logo標識：品牌文化 品牌精神：HECATE秉承“探索遊戲新競界”的精神，以玩家體驗為根本，用不斷的創新與專業，為遊戲玩家帶來具有超凡未來科技感與超強性能的電競外設產品。品牌大事記 2017年12月，HECATE系列首款耳機G4問世。上市後一躍成為頭戴式電競耳機類目爆款。2018年9月，HECATE漫步者電競正式成立，總部位於廣東...
提出了一種基於組合邏輯時間工作流網的靜態結構判定健壯性繼承的方法；（3）基於邏輯Petri網的邏輯表達式推理，給出了邏輯網元的組合運算方法和匹配模式；（4）提出了一種邏輯Petri網的向量匹配方法，降低了邏輯Petri網的性質分析複雜度；（5）研究了直接分析邏輯Petri網動態性質的分析技術，提出了一種基於標識可達圖...
預警信號的級別依據氣象災害可能造成的危害程度、緊急程度和發展態勢一般劃分為四級：Ⅳ級（一般）、Ⅲ級（較重）、Ⅱ級（嚴重）、Ⅰ級（特別嚴重），依次用藍色、黃色、橙色和紅色表示，同時以中英文標識。氣象災害預警信號及防禦指南。補充：隨著時代發展，氣象預警的級彆氣象災害預警信號種類由原來的3種增加到10種，...
芮城屯屯棗，山西省運城市芮城縣特產，全國農產品地理標誌。芮城屯屯棗產地芮城縣地處黃土高原，晝夜溫差較大。芮城屯屯棗果實短而寬，呈農村貯糧屯形，大小均勻，色澤發亮深紅色，肉厚柔韌，入口鬆軟。其含有豐富的維生素，單果重18克左右，特大果可達30克以上，乾棗含糖率達70%。2016年11月2日，原中華人民共和...
此舉開創了國內運營商與PC廠商大規模合作的先河，標誌著3G（TD-SCDMA）產業化發展取得重大進展。據了解， G3筆記本可在3G和2G網路中自由切換，客戶在3G網路覆蓋良好的區域無線上網時，速率可達2.8Mbps，切換到2G網路時，速率可達460kbps，這一設定無疑使還在猶豫的消費者吃了一顆定心丸。G3與3G的區別 G3不是代表...
