可達(dá)性是PETRI網(wǎng)的最基本的動(dòng)態(tài)性質(zhì)之一它是研究PETRI網(wǎng)其它動(dòng)態(tài)性質(zhì)的基石許多PETRI網(wǎng)的其他問(wèn)題都可以通過(guò)其可達(dá)性來(lái)表述因此可達(dá)性判定問(wèn)題PETRI網(wǎng)理論研究的一個(gè)重要課題已有文獻(xiàn)提出通過(guò)解PETRI網(wǎng)的狀態(tài)方程并判定是否存在以它的某個(gè)解為發(fā)生數(shù)向量的合法引發(fā)序...
下載價(jià)格：5 賞幣 / 發(fā)布人： 亂世佳人 / 發(fā)布時(shí)間：2024-03-09 / 9人氣
香港與上海的可達(dá)性比較香港與上海的可達(dá)性比較一交通與可達(dá)性一交通與可達(dá)性香港與祖國(guó)內(nèi)地陸海相連，交通十分方便。既有定期航班或定期包機(jī)飛往國(guó)香港與祖國(guó)內(nèi)地陸海相連，交通十分方便。既有定期航班或定期包機(jī)飛往國(guó)內(nèi)各大城市，又有陸路的列車和直通巴士，還有...
下載價(jià)格：5 賞幣 / 發(fā)布人： 畢業(yè)設(shè)計(jì) / 發(fā)布時(shí)間：2024-03-14 / 7人氣
可達(dá)性是一個(gè)有廣泛含義的詞匯可達(dá)程度密切影響人們的生活質(zhì)量但是目前在我國(guó)城市規(guī)劃領(lǐng)域它還主要是被用來(lái)評(píng)價(jià)交通系統(tǒng)效率而很少真正以人或物為主體來(lái)看待可達(dá)性問(wèn)題本文的研究對(duì)象是城市居民在滿足日常生活需求方面就業(yè)、購(gòu)物、上學(xué)、就醫(yī)、娛樂(lè)的可達(dá)性問(wèn)題城市...
下載價(jià)格：5 賞幣 / 發(fā)布人： 逮不住的兔子 / 發(fā)布時(shí)間：2024-03-10 / 13人氣
近年來(lái)，隨著汶川地震，海地地震，智利地震以及玉樹(shù)地震的接連發(fā)生，全球的自然災(zāi)害有日趨頻繁的趨勢(shì)。在我國(guó)，汶川和玉樹(shù)的災(zāi)害使整個(gè)社會(huì)對(duì)城市防災(zāi)避災(zāi)的重視到達(dá)了一個(gè)新的高度，與此同時(shí)，我國(guó)高速的城市化進(jìn)程為城市安全埋下了隱患，相對(duì)滯后的避難場(chǎng)所建設(shè)以...
下載價(jià)格：5 賞幣 / 發(fā)布人： 仙女味的xxx / 發(fā)布時(shí)間：2024-03-09 / 7人氣
可達(dá)性測(cè)試是并發(fā)程序測(cè)試的一種重要手段。在給定輸入下，可達(dá)性測(cè)試可自動(dòng)生成并執(zhí)行并發(fā)程序所有可行同步序列，且無(wú)需記錄任何歷史信息。但對(duì)大型或復(fù)雜的并發(fā)程序，可達(dá)性測(cè)試面臨測(cè)試序列集過(guò)大以及執(zhí)行時(shí)間過(guò)長(zhǎng)等問(wèn)題。在可達(dá)性測(cè)試過(guò)程中，不同同步序列的執(zhí)行...
下載價(jià)格：5 賞幣 / 發(fā)布人： 笑我庸俗 / 發(fā)布時(shí)間：2024-03-09 / 4人氣
實(shí)時(shí)系統(tǒng)的模型檢驗(yàn)方法是一種保證計(jì)算機(jī)實(shí)時(shí)系統(tǒng)安全性和可靠性的嚴(yán)格的形式化方法隨著計(jì)算機(jī)科學(xué)的發(fā)展這種方法已經(jīng)被廣泛地接受和使用由于模型檢驗(yàn)方法在對(duì)系統(tǒng)建模時(shí)存在狀態(tài)空間爆炸問(wèn)題因此模型驗(yàn)證核心問(wèn)題是狀態(tài)空間最小化問(wèn)題使用時(shí)間自動(dòng)機(jī)對(duì)實(shí)時(shí)系統(tǒng)規(guī)范...
下載價(jià)格：5 賞幣 / 發(fā)布人： 傀儡 / 發(fā)布時(shí)間：2024-03-09 / 10人氣
上海師范大學(xué)碩士學(xué)位論文基于GIS的洋山港可達(dá)性評(píng)價(jià)姓名王建梅申請(qǐng)學(xué)位級(jí)別碩士專業(yè)自然地理指導(dǎo)教師尹占娥20070401上海師范人學(xué)碩學(xué)位論文基于GIS的洋山港口，達(dá)性評(píng)價(jià)上通道，當(dāng)集裝箱量增長(zhǎng)時(shí)，無(wú)法進(jìn)行有效的疏散；沒(méi)有鐵路直達(dá)港區(qū)，必須增加長(zhǎng)距離的公路運(yùn)輸...
下載價(jià)格：5 賞幣 / 發(fā)布人： 一馬當(dāng)先 / 發(fā)布時(shí)間：2024-03-03 / 14人氣
碩士學(xué)位論文碩士學(xué)位論文城市綠地可達(dá)性評(píng)價(jià)研究ASTUDYONACCESSIBILITYOFURBANGREENSPACE苗方方苗方方哈爾濱工業(yè)大學(xué)2009年6月CLASSIFIEDINDEXF29924UDC332DISSERTATIONFTHEMASTERDEGREEINMANAGEMENTASTUDYONACCESSIBILITYOFURBANGREENSPACECIDATEMIAOFANGFANGSUPER...
下載價(jià)格：5 賞幣 / 發(fā)布人： 天使綜合征 / 發(fā)布時(shí)間：2024-03-05 / 13人氣
當(dāng)今網(wǎng)站的發(fā)展面臨著各個(gè)方面的挑戰(zhàn)其中就包括網(wǎng)站的可達(dá)性問(wèn)題影響網(wǎng)站可達(dá)性有多種因素如用戶能力、上網(wǎng)設(shè)備、交互環(huán)境等等網(wǎng)站存在訪問(wèn)障礙會(huì)將一部分用戶排斥在外久而久之會(huì)造成數(shù)字隔離所以要改進(jìn)網(wǎng)站的可達(dá)性目前世界許多國(guó)家為確保網(wǎng)站可達(dá)性的實(shí)施已通過(guò)了...
下載價(jià)格：5 賞幣 / 發(fā)布人： 尋匿 / 發(fā)布時(shí)間：2024-03-10 / 7人氣
重慶大學(xué)碩士學(xué)位論文山地城市大型商業(yè)建筑空間可達(dá)性研究姓名范宏濤申請(qǐng)學(xué)位級(jí)別碩士專業(yè)建筑設(shè)計(jì)及其理論指導(dǎo)教師湯樺；顧紅男20120516重慶大學(xué)碩士學(xué)位論文間的設(shè)計(jì)方法，并針對(duì)性地從空間可達(dá)性、視覺(jué)可達(dá)性和心理可達(dá)性三個(gè)方面著手提出具體的解決策略，從而實(shí)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 翻譯員 / 發(fā)布時(shí)間：2024-03-13 / 6人氣
分類號(hào)分類號(hào)TP301TP301密級(jí)級(jí)公開(kāi)UDCUDC單位代碼單位代碼1042410424學(xué)位論文PETRIPETRIPETRIPETRI網(wǎng)可達(dá)性分析的代數(shù)方法網(wǎng)可達(dá)性分析的代數(shù)方法網(wǎng)可達(dá)性分析的代數(shù)方法網(wǎng)可達(dá)性分析的代數(shù)方法魯法明申請(qǐng)學(xué)位級(jí)別申請(qǐng)學(xué)位級(jí)別碩士學(xué)位碩士學(xué)位專業(yè)專業(yè)名稱稱計(jì)算機(jī)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 敵意 / 發(fā)布時(shí)間：2024-03-11 / 7人氣
隨著多核處理器的發(fā)展，對(duì)并發(fā)程序的研究已成為程序設(shè)計(jì)的熱點(diǎn)。然而，并發(fā)程序的交錯(cuò)執(zhí)行存在不確定性，這導(dǎo)致了傳統(tǒng)的測(cè)試、仿真、演繹推理技術(shù)很難發(fā)現(xiàn)程序中隱匿的錯(cuò)誤和漏洞。模型檢測(cè)是一種通過(guò)窮盡搜索的自動(dòng)化驗(yàn)證技術(shù)，作為傳統(tǒng)驗(yàn)證方法的一種補(bǔ)充，已成為...
下載價(jià)格：5 賞幣 / 發(fā)布人： 足夠喜歡 / 發(fā)布時(shí)間：2024-03-09 / 2人氣
隨著社會(huì)經(jīng)濟(jì)的快速發(fā)展，城鎮(zhèn)化和機(jī)動(dòng)化進(jìn)程的不斷加快，備受推廣的軌道站點(diǎn)迎來(lái)了更大數(shù)量的使用者，但其覆蓋范圍、承載力、服務(wù)效力卻是十分有限的。在以往，提升軌道車站效率的研究往往會(huì)從車站本身的運(yùn)營(yíng)角度入手，忽略了周邊建成環(huán)境對(duì)站點(diǎn)使用效率起到的帶動(dòng)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 風(fēng)與歌姬 / 發(fā)布時(shí)間：2024-03-09 / 1人氣
PETRI網(wǎng)的可達(dá)性是PETRI網(wǎng)的重要性質(zhì)，其判定問(wèn)題在PETRI網(wǎng)理論中是一個(gè)重要課題。本文對(duì)PETRI網(wǎng)的可達(dá)標(biāo)識(shí)集做了一些分析，主要內(nèi)容包括以下幾個(gè)方面1提出了PETRI網(wǎng)的表征語(yǔ)言的概念，證明了任意PETRI網(wǎng)都具有一個(gè)上下文有關(guān)語(yǔ)言為其表征語(yǔ)言，并找出了幾種具有正規(guī)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 杳杳伊人 / 發(fā)布時(shí)間：2024-03-10 / 4人氣
混雜系統(tǒng)是連續(xù)變量過(guò)程和離散事件過(guò)程并存且相互交換信息的動(dòng)態(tài)系統(tǒng)，隨著微型計(jì)算機(jī)和微處理器的迅速發(fā)展并在實(shí)際中大量應(yīng)用，混雜系統(tǒng)理論和應(yīng)用研究已成為計(jì)算機(jī)界和控制界共同努力的方向?；祀s系統(tǒng)的可達(dá)性問(wèn)題是從計(jì)算機(jī)科學(xué)中發(fā)展而來(lái)的，是混雜系統(tǒng)研究的一...
下載價(jià)格：5 賞幣 / 發(fā)布人： 會(huì)很幸福 / 發(fā)布時(shí)間：2024-03-04 / 10人氣
隨著大數(shù)據(jù)時(shí)代的到來(lái)，圖作為表示數(shù)據(jù)之間關(guān)系的基本結(jié)構(gòu)，由于其處理復(fù)雜對(duì)象之間關(guān)系的表達(dá)能力，在社交網(wǎng)絡(luò)、軟件工程、生物數(shù)據(jù)等領(lǐng)域有著廣泛應(yīng)用。查詢及分析圖結(jié)構(gòu)數(shù)據(jù)變得越來(lái)越重要?？蛇_(dá)性查詢是檢驗(yàn)在有向圖中是否存在一個(gè)節(jié)點(diǎn)U到另一個(gè)節(jié)點(diǎn)V的路徑，它...
下載價(jià)格：5 賞幣 / 發(fā)布人： 吸你一脖子草莓 / 發(fā)布時(shí)間：2024-03-07 / 15人氣
城市商業(yè)化的繁榮，帶動(dòng)了商業(yè)設(shè)施的飛速發(fā)展。大型商業(yè)建筑在祖國(guó)各地雨后春筍般地涌現(xiàn)。并繼續(xù)朝著建筑規(guī)?；?，空間品質(zhì)化的方向邁進(jìn)。而眾多坐落在地形條件較為復(fù)雜的山地城市也不例外，他們?cè)谏降爻鞘写笮蜕虡I(yè)建筑空間的發(fā)展上提供了很多案例和經(jīng)驗(yàn)。然而山地條...
下載價(jià)格：5 賞幣 / 發(fā)布人： 溺愛(ài)和你 / 發(fā)布時(shí)間：2024-03-09 / 9人氣
給定有向無(wú)環(huán)圖G，以及圖上的任意兩點(diǎn)U、V?；卮餟是否能夠到達(dá)V的可達(dá)性查詢是圖的基本操作之一。隨著現(xiàn)代化信息技術(shù)的快速發(fā)展，圖被廣泛應(yīng)用于生物學(xué)、社交網(wǎng)絡(luò)、語(yǔ)義網(wǎng)絡(luò)、模式識(shí)別等領(lǐng)域，圖的可達(dá)性查詢是圖數(shù)據(jù)管理中的熱點(diǎn)問(wèn)題之一。大量的學(xué)者投入精力改進(jìn)可...
下載價(jià)格：5 賞幣 / 發(fā)布人： 抹衣 / 發(fā)布時(shí)間：2024-03-05 / 3人氣
碩士學(xué)位論文城市軌道交通可達(dá)性研究STUDYONACCESSIBILITYOFURBANRAILTRANSIT作者姓名譚塹學(xué)科、專業(yè)童通運(yùn)獫趣劃皇笪堡學(xué)號(hào)Q21QQ§旦指導(dǎo)教師王壟蘭完成日期2Q13Q￡堡一一一蘭州交通大學(xué)LANZHOUJIAOTONGUNIVERSITY蘭州交通大學(xué)碩士學(xué)位論文摘要隨著社會(huì)經(jīng)濟(jì)的快速發(fā)...
下載價(jià)格：5 賞幣 / 發(fā)布人： 過(guò)涼 / 發(fā)布時(shí)間：2024-03-05 / 26人氣
城市道路交通系統(tǒng)中，小汽車在運(yùn)行的過(guò)程中積累了海量的導(dǎo)航數(shù)據(jù)，為城市交通規(guī)劃與土地利用提供了數(shù)據(jù)支持。本文以北京市路網(wǎng)數(shù)據(jù)與高德地圖導(dǎo)航GPS數(shù)據(jù)為基礎(chǔ)，提出了一種基于經(jīng)驗(yàn)路徑的小汽車時(shí)空可達(dá)性分析方法。本文首先介紹了可達(dá)性研究現(xiàn)狀與GPS的應(yīng)用方法，...
下載價(jià)格：5 賞幣 / 發(fā)布人： 在苦難中長(zhǎng)大 / 發(fā)布時(shí)間：2024-03-05 / 2人氣
copyright@ 2011-2023 聯(lián)系方式qq：9411152
本站所有資料均屬于原創(chuàng)者所有，僅提供參考和學(xué)習(xí)交流之用，請(qǐng)勿用做其他用途，轉(zhuǎn)載必究！如有侵犯您的權(quán)利請(qǐng)聯(lián)系本站，一經(jīng)查實(shí)我們會(huì)立即刪除相關(guān)內(nèi)容!
機(jī)械圖紙?jiān)创a,實(shí)習(xí)報(bào)告等文檔下載
備案號(hào)：浙ICP備20018660號(hào)
