可達性圖是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名:可達性圖可達性圖
- 外文名:reachability graph
- 所屬學科:計算機科學技術
- 公布年度 :2018年
- 審定機構:全國科學技術名詞審定委員會
可達性圖是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
可達性圖是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義將一個有界佩特里網Σ的可達性樹中標識向量相同的結點合併成一個,所得到的有向圖稱為Σ的可達性圖。出處《計算機科學技術名詞 》第三版。1公布時間20...
在圖論中,可達性是指在圖中從一個頂點到另一個頂點的容易程度。在無向圖中,可以通過識別圖的連線分量來確定所有頂點對之間的可達性。 常用算法為:Floyd-Warshall,Thorup,Kameda這三種算法。基本介紹 在圖論中,可達性是指從一個頂點到另一個頂點的容易程度。 如果存在一系列相鄰頂點,則頂點s 可以到達頂點t (...
在圖論中,可達性是指在圖中從一個頂點到另一個頂點的容易程度。在計算機網路中,可達性信息是指一個路由器到下一個路由器或IP的距離(跳數),或者是指路由是不可達或源點抑制。可以從可達性信息中知道網路狀況,目的網路路由是否繁忙等信息。簡介 可達性信息簡單來說是指一個路由器到目的網路的路由是否可達以及...
可達性設計是當產品發生故障進行維修時容易接近需維修部位的設計。可達性設計的要求“看得見”——視覺可達;夠得著——實體可達,比如身體的某一部位或藉助工具能夠接觸到維修部位,同時留有足夠的維修操作空間。合理設定維修視窗和維修通道是解決“看得見、夠得著”的重要途徑。可達性設計的原則 可達性設計的原則有:...
在定義可達性:換句話說,定義可達性的集合為 ,為 的前身,在控制流程圖(Control flow graph)中,包含所有在 區塊前的基本區塊。定義可達性出來的 ,為所有定義可達性自己前身減掉那些被 剃除掉的變數,再加上 產生的新的定義。我們定義通用的指令 及 如下:為所有賦值給 變數定義的集合,是一個獨立的標籤...
可達性指數 測度網路中可達性的簡便方法 基本內容 英文名稱:: accessibility index;測度網路中可達性的簡便方法 代表網路中任一結點或地點到其他結點或地點的距離的總和
可達性樹是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 若把無界佩特里網的可覆蓋性樹的構造算法套用於有界佩特里網Σ,所得到的樹結構中的各個結點的標註中不會出現無界量符號 ω ,而且Σ的每個可達標識都會出現在樹的某個結點標註中,這個樹結構就稱為Σ的可達性樹。出處 《計算機科學技術名詞...
《混雜系統可達性分析與控制設計及其套用》是依託北京工業大學,由陳陽舟擔任項目負責人的面上項目。項目摘要 研究混雜系統的可達性問題,包括可達性分析和基於可達性的控制設計。.可達性分析方面,提出幾種新的方法研究複雜連續動態模型(如非線性和高維數等)的可達性,包括:(1)對於非線性向量場提出幾種近似方法...
道路網可達性是指一定型式道路網在網路布局、運輸條件(交通方式)和土地使用影響下的通達程度。可達性一般用時間來表示,路網的可達性可用路網服務區域內各點(例如交通小區)間的加權平均交通時間來表達。路網可達性取決於路網密度、路網覆蓋度和路網與城市土地使用的協調。城市道路網應有一個最佳的路網密度,它...
路網可達性是城市小區或路網節點相互之間居民出行或車輛行駛平均時間的倒數。表示交通難易程度的一項技術指標,計算值愈大,則可達性愈好。簡介 路網可達性是一定型式道路網在網路布局、運輸條件(交通方式)和土地使用影響下的通達程度。可達性一般用時間來表示,路網的可達性可用路網服務區域內各點(例如交通小區)...
5.3.3長江三角洲76個縣、縣級市及城市市區空間可達性的評價 5.4城鎮節點的空間擴散 5.4.1城鎮節點無權重的空間擴散 5.4.2城鎮節點加權空間擴散 5.4.3基於均質路網的城鎮節點無權重的空間擴散 5.4.4基於均質路網的城鎮節點加權空間擴散 5.5城鎮節點的空間吸引範圍 5.5.1Voronoi圖的概念 5.5.2基於...
向後可達性 向後可達性(backward reachability)是2018年公布的計算機科學技術名詞。定義 在C/E系統中,假定一個事件既可以向前發生(與佩特里網原義相同),也可向後(向反方向)發生。向後可達性就是以向後發生為假定的可達性。出處 《計算機科學技術名詞 》第三版。
系統的可達性 系統的可達性(reachability of system)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
向前可達性 向前可達性(forward reachability)是2018年公布的計算機科學技術名詞。定義 在條件/事件系統中,假定一個事件既可向前發生(即按佩特里網原義發生),也可向後發生。向前可達性即按佩特里網原義的可達性。出處 《計算機科學技術名詞 》第三版。
《區域高速交通基礎設施可達性研究》是科學出版社出版的圖書。內容簡介 本書系統地探究高速交通基礎設施驅動下的區域可達性空間分異規律,透過可達性視角系統地揭示高速交通基礎設施空間溢出效應、區域旅遊空間結構和城鎮體系以及城市客運聯繫等方面的演變機制,闡明高速交通可達性對社會經濟的作用機理。全書分三個部分,第1...
步可達性 步可達性(reachability by step)是2018年公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 在一個佩特里網中,若從標識 M經過一個步序列發生得到標識M′,就說M′是從M 步可達的。出處 《計算機科學技術名詞 》第三版。
《城市空間格局演變的可達性研究》是2012年東南大學出版社出版的圖書,作者是鐘業喜。內容介紹 隨著現代科學技術的發展,尤其是計算機技術引入地理學,空間分析技術得到迅速發展和廣泛套用。其中,可達性分析技術的拓展、計量經濟模型與空間分析技術的融合、綜合性時空譜系空間分析方法體系的構建,有力地推動了當代人文地理...
維修可達性 維修可達性是在維修工作時,對系統、設備、機件不同部位能看見,可觸摸到並進行檢查、調節、拆裝等維修操作的難易程度。 定 義 在維修工作時,對系統、設備、機件不同部位能看見,可觸摸到並進行檢查、調節、拆裝等維修操作的難易程度。
《區域可達性空間分析方法與實證研究》是依託南京師範大學,由張莉擔任項目負責人的青年科學基金項目。項目摘要 本項目擬從區內聯繫和區外聯繫兩個方面界定區域可達性的概念和內涵,集成時間可達性的度量模型,構建一套適用於區域尺度的,以公路、鐵路構成的陸路交通網為基礎的空間全覆蓋的區域可達性空間分析方法。從可達...
v∈D,若存在從頂點u到頂點v的一條路徑,則稱從頂點v到頂點u可達。可達的慨念與從u到v的各種路徑的數目及路徑的長度無關。另外,為了完備起見,規定任一頂點到達它自身的是可達的。可達性是一個有向圖頂點的二元關係,依照定義,它是自反的,且是傳遞的。一般來說,可達不是對稱的,也不是反對稱的。
迴環度指的一次走完的最長動線長度指的是顧客在自然狀態下(不需要拐彎等大幅度改變行進行為)沿走道中心線不走重複道路能走的最大距離。迴環度為購物中心內部動線設計評價的最重要指標。可達性迴環度 可達性迴環度=一次能走完的最長迴路長度/平面總動線長度×100% 可見性迴環度 如果主要考慮店鋪的可見性而不是可達性...
泰森多邊形是對空間平面的一種剖分,其特點是多邊形內的任何位置離該多邊形的樣點(如居民點)的距離最近,離相鄰多邊形內樣點的距離遠,且每個多邊形內含且僅包含一個樣點。由於泰森多邊形在空間剖分上的等分性特徵,因此可用於解決最近點、最小封閉圓等問題,以及許多空間分析問題,如鄰接、接近度和可達性分析等。
.本項目通過在四階段模型中導入可達性(accessibility)變數,建立具有反饋結構的交通需求預測模型。這樣不僅可以在出行生成、出行分布、出行方式劃分、交通分配的每一階段計算由於新建或改良道路而產生的誘增交通量,還可以改進傳統的四階段模型的預測精度,為制定滿足未來交通需求的交通規劃提供較為準確的交通量預測值。因此...
路由策略是為了改變網路流量所經過的途徑而修改路由信息的技術,主要通過改變路由屬性(包括可達性)來實現。概念 路由策略是一種比基於目標網路進行路由更加靈活的數據包路由轉發機制。套用了路由策略,路由器將通過路由圖決定如何對需要路由的數據包進行處理,路由圖決定了一個數據包的下一跳轉發路由器。 路由策略的種類...
提高測試效率。 (5)提出一種基於Hadoop MapReduce的並行可達性測試方法。實驗結果表明,該方法可減少可達性測試時間,且具有較強的可擴展性和容錯性。 (6)研究一種基於程式可達圖的並發程式切片方法,實現並發程式切片原型系統。實驗結果表明,該方法提高了並發程式切片的精度。
對於單向流問題,這些方法典型的複雜度為O(N),這裡N是在歸約圖序列中節點的總數。儘管它們已經被用於解決一類受限制的雙向問題,但消除算法不能被擴展到一般的雙向數據流問題。可達性算法 可達性算法是由哥本哈根大學的Thomas Reps及Mooly Sagiv等人在1994年提出來的。可達性算法把過程間數據流問題轉換成一種特殊的...
3.1.2 有向圖和圖的定義 3.1.3 標籤有向圖和同構問題 3.2 連通性 3.2.1 有向圖中的可達性 3.2.2 圖中的連通性 3.2.3 強連通有向圖和連通圖 3.2.4 子圖 3.2.5 連通分支 3.3 圖著色及其套用 3.3.1 一些套用 ……第4章 關係 第二部分 計數問題 第5章 生成函式及其套用 第6...
(3)研究了資源約束Petri網過程模型集成的合理性分析方法。借鑑工作流網合理性的概念,對資源約束工作流網,給出了其合理性的概念及性質,研究了資源約束工作流網合理性判斷方法,以及基於可達圖方法的分析技術。 (4)研究了基於資源約束Petri網的過程集成資源衝突分析方法。將資源衝突分為資源爭用型和資源占用型兩...
《混成系統模型檢驗套用技術研究》是依託南京大學,由卜磊擔任項目負責人的青年科學基金項目。項目摘要 混成系統的模型檢驗技術對實時系統質量保障具有重要意義。由於系統行為高度複雜,現有工作主要針對線性混成自動機的可達性檢驗,但可解決問題規模過小不足以滿足實際套用需要。同時,現有技術在非線性混成自動機可達性...
定義 TRIP:IP 上的電話路由選擇 (TRIP:Telephony Routing Over IP)IP 上的電話路由選擇(TRIP)是一種策略驅動、管理域間協定,主要用於通告定位伺服器間電話的可達性和通告到達目的地的路徑屬性。TRIP 操作獨立於任何信令協定,因此 TRIP 可為任何信令協定提供電話路由選擇協定服務。基本功能 TRIP 會話者即定位...