簡介：移動資源演算MR是一種用于描述攜帶資源的移動系統(tǒng)及其交互的形式化方法，它隸屬于灰箱演算的一支?；蚁溲菟阌蒀ARDELLI提出，最初被稱為移動灰箱演算MA，本文將絕大部分由灰箱演算發(fā)展而形成的進(jìn)程代數(shù)系統(tǒng)稱為類灰箱演算。本文以移動資源演算的一個變體安全移動資源演算SR作為研究對象，從操作語義、類型系統(tǒng)、進(jìn)程等價性和表達(dá)能力等方面對其進(jìn)行了研究。首先，本文在分析現(xiàn)有移動資源演算及相關(guān)的類灰箱演算諸如移動灰箱MA，安全灰箱演算SA，盒灰箱BA等不足的基礎(chǔ)上，提出通過增加協(xié)動作并限制協(xié)動作的實施對象來提高安全性的思想，并以此為指導(dǎo)給出SR的語法和歸約語義。其次，本文研究了SR的類型問題，提出一套可以解決移動資源演算中存在的進(jìn)程干擾問題的位置類型系統(tǒng)LS。由于在移動資源演算中引入了灰箱路徑作為能力操作對象的語義，因而進(jìn)程的干擾問題變得更錯綜復(fù)雜，而且原先類灰箱演算干擾問題相關(guān)研究成果以及解決方法無法妥善地解決基于灰箱路徑的操作語義所帶來的相關(guān)問題，進(jìn)程在不同層次的灰箱結(jié)構(gòu)中對同一灰箱路徑的訪問無法通過已有的系統(tǒng)得到控制。本文利用對攜有灰箱路徑的能力設(shè)定相應(yīng)的位置類型，進(jìn)而為攜有相關(guān)路徑的進(jìn)程記錄其訪問目的的類型值，配合特殊的位置類型構(gòu)造，表示位于不同的灰箱層次內(nèi)進(jìn)程的訪問地點的特性，解決了移動資源演算的巢式干擾問題。LS系統(tǒng)可以有效地追蹤進(jìn)程的訪問地點，并支持子類型關(guān)系，該系統(tǒng)還可以和傳統(tǒng)的類型屬性，如移動性和線程數(shù)，構(gòu)成復(fù)合類型系統(tǒng)。再次，本文參照LEVI研究SA，以及GODSKESEN研究MR等價性使用的方法，對SR進(jìn)行了類似的研究。首先引入SR進(jìn)程的標(biāo)號動作和固化結(jié)果，用于將進(jìn)程中可能參與歸約的部分與剩余的部分分開。在標(biāo)號動作和固化結(jié)果的基礎(chǔ)上，按照進(jìn)程的歸約特性給出SR基于提交關(guān)系的標(biāo)號轉(zhuǎn)移語義，并逐一分析這些規(guī)則與歸約規(guī)則的對應(yīng)關(guān)系，并證明標(biāo)號轉(zhuǎn)移語義和歸約語義的等價性。在標(biāo)號轉(zhuǎn)移語義的基礎(chǔ)上，研究了判定進(jìn)程觀察互模擬等價的一般方法，得出SR進(jìn)程的觀察互模擬等價關(guān)系與標(biāo)號互模擬等價關(guān)系是同一關(guān)系的結(jié)論，并給出SR進(jìn)程與上下文含路徑上下文發(fā)生交互的各種可能，作為判定進(jìn)程等價的一般性結(jié)論。此后，本文綜合類型系統(tǒng)和等價性判定的結(jié)論，給出用于判定進(jìn)程等價的一些代數(shù)定律，同時使用這些定律證明移動資源的線性特征和數(shù)字簽名卡例子在給定條件下的正確性。這些例子不僅示意了等價性定律的具體使用方法，同時也體現(xiàn)了SR較之MR在安全性方面的優(yōu)越性。最后，本文利用上述等價性定律給出并證明了SR演算翻譯Π演算的一個方案，彌補(bǔ)了移動資源演算作為灰箱演算的一個分支，到目前為止尚缺乏對表達(dá)能力的研究，有力地說明SR在提高安全性的同時，沒有失去灰箱演算應(yīng)有的表達(dá)能力。本文的主要創(chuàng)新性體現(xiàn)在以下幾個方面。一對利用新增的可供三方同步的協(xié)動作，以及相關(guān)的能力參數(shù)加強(qiáng)移動資源演算安全性這一命題進(jìn)行了研究，提出了移動資源演算的變體SR。通過利用協(xié)動作參數(shù)加強(qiáng)交互雙方的彼此控制，SR在安全控制方面比起MR來有一定優(yōu)勢。同時，對協(xié)動作參數(shù)進(jìn)行控制后，SR并沒有喪失MR所具有的表達(dá)能力。二針對移動資源演算中存在的進(jìn)程干擾問題給出了支持訪問位置類型特性的類型系統(tǒng)LS。該系統(tǒng)通過區(qū)分不同灰箱層次即不同灰箱路徑下進(jìn)程的位置類型，可以精確地避免不同的進(jìn)程對同一訪問地點產(chǎn)生非樸素干擾的現(xiàn)象，并支持子類型關(guān)系?？紤]到LS系統(tǒng)的獨立性，LS在設(shè)計時還考慮到和傳統(tǒng)類型屬性整合的可能性，并給出了復(fù)合類型系統(tǒng)的框架。三有別于GDON和CARDELLI基于硬化關(guān)系的上下文等價方法，本文借鑒LEVI和SANGIGI基于固化結(jié)果和提交關(guān)系所引入的標(biāo)號互模擬等價性，給出了SR中判定進(jìn)程等價性的一般性方法；同時結(jié)合位置類型系統(tǒng)，證明了在給出的類型環(huán)境Г下SR進(jìn)程的等價性定律。四本文借助自行推導(dǎo)的SR進(jìn)程的等價性定律完成對Π演算翻譯的代數(shù)方法證明，較之ZIMMER的證明方法來得更為簡明。另外，本文將前人對移動資源演算以及相關(guān)的類灰箱演算的語義、等價性、表達(dá)能力等方面的研究成果結(jié)合本文SR演算在這些方面的研究和探索進(jìn)行了貫穿和融合。

簡介：該論文基于多類型伺服并行結(jié)構(gòu)的五坐標(biāo)聯(lián)動系統(tǒng)，深入地研究了第三代CNC系統(tǒng)的核心技術(shù)，并應(yīng)用于實踐多坐標(biāo)精密聯(lián)動的關(guān)鍵，一是自動編程系統(tǒng)，它要解決根據(jù)運(yùn)行的軌跡情況自動編程，以生成相應(yīng)的位置命令代碼二是控制系統(tǒng)，它要完成代碼的準(zhǔn)確解釋與可靠執(zhí)行自動編程系統(tǒng)現(xiàn)在國內(nèi)外發(fā)展的技術(shù)已比較成熟，如我們可用UNIGRAPH、PROENGINEER、CIMATRON、MASTERCAM等軟件來完成自動編程工作，因此該系統(tǒng)的重點是控制系統(tǒng)機(jī)械運(yùn)動機(jī)構(gòu)方面，開發(fā)出了五坐標(biāo)運(yùn)動的機(jī)械系統(tǒng)運(yùn)動控制方面，實現(xiàn)了CNC五聯(lián)動系統(tǒng)這個五聯(lián)動CNC系統(tǒng)是含有步進(jìn)與交流兩種伺服驅(qū)動方式，含有開環(huán)、半閉環(huán)、全閉環(huán)三種控制方式組合的系統(tǒng)控制系統(tǒng)基于IPC平臺，采用上、下位機(jī)控制方式實現(xiàn)分層插補(bǔ)粗插補(bǔ)和精插補(bǔ)軟件方面，采用了分層插補(bǔ)的思想，開發(fā)出了基于上、下位機(jī)的二次插補(bǔ)算法粗插補(bǔ)和精插補(bǔ)該系統(tǒng)的設(shè)計還充分考慮柔性要求硬件設(shè)計采用模塊化設(shè)計，可根據(jù)需要搭建出任意軸的組合聯(lián)動軟件幾乎不需改動就可成功地移植，用于控制一軸運(yùn)動，二軸、三軸或四軸聯(lián)動數(shù)控系統(tǒng)

簡介：城市化是與地區(qū)經(jīng)濟(jì)發(fā)展水平相聯(lián)系的一個內(nèi)涵極為豐富的社會、經(jīng)濟(jì)和空間變化的過程。作為城市化過程的直接載體，城市邊緣區(qū)能夠清晰明了的反映錯綜復(fù)雜的城市化過程。作為城市化過程中城鄉(xiāng)因素強(qiáng)烈相互作用的區(qū)域，城市邊緣區(qū)成為了城市發(fā)展過程中最復(fù)雜、變化最劇烈、矛盾和問題最多的區(qū)域，這一區(qū)域已經(jīng)成為城市、土地、經(jīng)濟(jì)、社會與地理等多學(xué)科研究的“熱點”。作為城鄉(xiāng)要素逐漸過渡、功能相互滲透的城市特殊區(qū)域，城市邊緣區(qū)是實現(xiàn)城鄉(xiāng)和諧發(fā)展的切入點。福州市作為福建省的省會城市，其城市化推進(jìn)和城市空間擴(kuò)展在近年來呈現(xiàn)出不斷的加劇態(tài)勢。實現(xiàn)城市化目標(biāo)和要求的任務(wù)主要落實在福州市城市邊緣區(qū)的建設(shè)和發(fā)展上，使得福州市城市邊緣區(qū)成為福州市城市地域結(jié)構(gòu)中的一個重要組成部分。本研究將把城市地域空間結(jié)構(gòu)與經(jīng)濟(jì)運(yùn)行結(jié)合起來，用時空相結(jié)合的方法來研究和揭示福州城市邊緣區(qū)的空間結(jié)構(gòu)演變機(jī)制，并探索其未來的發(fā)展類型。

簡介：在最近的十年中，少自由度并聯(lián)機(jī)器人機(jī)構(gòu)的拓?fù)湫途C合研究取得很大的進(jìn)展，提出了許多系統(tǒng)的拓?fù)湫途C合方法，揭示了大量的少自由度并聯(lián)機(jī)器人的分支拓?fù)洹Ｈ欢鴮嶋H在用的并聯(lián)機(jī)器人機(jī)構(gòu)的數(shù)目卻非常少，阻礙其廣泛應(yīng)用的原因有很多，其中包括1機(jī)構(gòu)類型的多樣性，難以選擇適合于操作任務(wù)的最佳機(jī)構(gòu)方案；2機(jī)構(gòu)的性能指標(biāo)依賴于其拓?fù)漕愋?、?qū)動布局和設(shè)計參數(shù)，難以設(shè)計。前者是并聯(lián)機(jī)器人的比較和優(yōu)選，后者是機(jī)構(gòu)參數(shù)的優(yōu)化設(shè)計。本文首先采用群論和微分幾何方法創(chuàng)建了一類空間平移的并聯(lián)機(jī)器人STPR完整的機(jī)構(gòu)，然后提出一個系統(tǒng)的方法來研究它們的優(yōu)選問題，目的是為規(guī)定的操作任務(wù)選擇一個最合適的機(jī)構(gòu)方案。主要工作如下首先，為完整地創(chuàng)建一類STPR機(jī)構(gòu)，并給出每個機(jī)構(gòu)唯一的和明確的描述。依次實施三個工作1列舉了一類STPR的可用分支拓?fù)洌鼈兌伎梢圆捎霉潭ㄔ陟o平臺上的P關(guān)節(jié)作為驅(qū)動關(guān)節(jié)，根據(jù)這些分支拓?fù)漭敵龅倪\(yùn)動類型，它們可以分為T3子群類、XZ子群類和T3UO，Ω，Ω子流形類；2三自由矢量系的獨立方向數(shù)為依據(jù)，系統(tǒng)地分析了一類STPR機(jī)構(gòu)的驅(qū)動布局問題，它們所有可能的驅(qū)動布局分為六種，并采用坐標(biāo)系無關(guān)的結(jié)構(gòu)參數(shù)描述每種布局；3引入共軛子群和共軛子流形的概念，按照對應(yīng)的分支拓?fù)漕愋偷难b配條件，提出了一種新的理論方法來創(chuàng)建一個完整的STPR機(jī)構(gòu)?；谶@些工作，形成一套完整的理論方法，用來確定任何一種可用分支拓?fù)浣M成的所有可能的STPR機(jī)構(gòu)，一類STPR機(jī)構(gòu)最終逐個被確定，每個機(jī)構(gòu)都可以根據(jù)其分支拓?fù)漕愋?、?qū)動布局類型和結(jié)構(gòu)參數(shù)給以唯一的描述。然后，提出一種系統(tǒng)的優(yōu)選方法，從這一類數(shù)百種STPR機(jī)構(gòu)中為規(guī)定的操作任務(wù)選擇一種最合適的機(jī)構(gòu)方案。優(yōu)選標(biāo)準(zhǔn)考慮了每個STPR的全局條件指標(biāo)、全局剛度指標(biāo)和空間利用率指標(biāo)。為提高優(yōu)選效率，對提出的優(yōu)選方法中的三個關(guān)鍵環(huán)節(jié)分別做了詳細(xì)地研究1提出一種統(tǒng)一的方法來分析一類STPR的運(yùn)動學(xué)問題，并給出對應(yīng)的運(yùn)動分析軟件，以避免單個機(jī)構(gòu)的分析和大量的符號運(yùn)算。2提出一組高效的數(shù)值算法確定STPR可達(dá)的、靈活的工作空間及它們的邊界，以及包含在它們內(nèi)部的最大規(guī)則的靈活工作空間，以及快速計算STPR的運(yùn)動學(xué)指標(biāo)。3基于提出的數(shù)值算法，將優(yōu)選過程中的兩類優(yōu)化問題轉(zhuǎn)化為無約束的非線性問題，并采用全局收斂的優(yōu)化方法來求解這些問題。最后，為得到數(shù)值的優(yōu)選結(jié)果，定義了一個操作任務(wù)，并考慮4種不同的優(yōu)選標(biāo)準(zhǔn)，以一類STPR的一個子類PPPR子類為例，按照提出的方法給出了4種優(yōu)選結(jié)果。通過本文的結(jié)果與相關(guān)文獻(xiàn)的結(jié)果對比和討論，可以驗證本文的結(jié)果是正確的，而且也是全面的。

簡介：煤與瓦斯突出一直是煤礦安全生產(chǎn)中需要克服的重大問題而煤與瓦斯突出災(zāi)害的發(fā)生與破壞煤有關(guān)。破壞煤的吸附性能對瓦斯抽采能力、瓦斯含量測定、瓦斯賦存及煤與瓦斯突出的防治均具有重要價值。為了研究不同破壞類型煤對吸附性能的影響本文采用實驗室實驗、理論分析和數(shù)值計算相結(jié)合的方法以焦作礦區(qū)九里山煤礦二1煤層為研究對象通過采集不同破壞類型的煤樣測試不同破壞類型煤樣的等溫吸附曲線研究不同破壞類型煤在相同儲存壓力條件下的瓦斯吸附特性及其差異測定不同破壞類型煤樣的比表面積、孔隙分布和孔隙體積并分析其與破壞煤吸附瓦斯的關(guān)系利用三種破壞煤的瓦斯含量系數(shù)以煤層瓦斯流動理論方程為基礎(chǔ)計算了不同破壞程度煤的吸附性能對瓦斯抽采能力的影響。分析了不同破壞類型煤吸附性能對瓦斯含量測定、煤與瓦斯突出分布的影響。研究結(jié)果表明⑴隨著煤的破壞程度的加深煤中的瓦斯含量越大粉碎煤的瓦斯含量最大強(qiáng)烈破壞煤次之破壞煤最小。原煤瓦斯含量與可燃基吸附量均呈現(xiàn)出相似的特征。⑵相同溫度下三種破壞煤的瓦斯含量隨著破壞程度的加深而增大。⑶相同溫度下三種破壞煤的飽和吸附量隨著破壞程度的加深而增大。⑷隨著溫度的升高三種破壞類型煤的朗格繆爾吸附常數(shù)A值均逐漸減小而B值無明顯規(guī)律并導(dǎo)致吸附量隨著溫度的升高而減小。⑸低溫液氮吸附實驗、壓汞實驗結(jié)果表明破壞程度的加深導(dǎo)致煤的孔隙結(jié)構(gòu)的復(fù)雜化其中比表面積隨破壞程度加深而增加是影響不同破壞類型煤吸附性能的主要因素。⑹相同煤質(zhì)煤的破壞程度越深煤的比表面積越大對瓦斯的吸附能力越強(qiáng)進(jìn)而導(dǎo)致瓦斯含量系數(shù)隨破壞程度加深而增大而不同破壞類型煤的瓦斯含量系數(shù)的不同又導(dǎo)致了抽采性能的不同最終表現(xiàn)為相同抽采條件下破壞程度越大瓦斯有效抽采半徑越小抽采能力越差。

簡介：擴(kuò)展類型PETRI網(wǎng)在基本PETRI網(wǎng)概念的基礎(chǔ)上加入了更適合描述特定領(lǐng)域系統(tǒng)的元素從而將PETRI網(wǎng)理論方便地應(yīng)用到各個領(lǐng)域該文對幾種常見的擴(kuò)展類型PETRI網(wǎng)及其應(yīng)用進(jìn)行了研究分析利用計算機(jī)進(jìn)行建模、分析、仿真是目前PETRI網(wǎng)研究的熱點論文采用面向?qū)ο笏枷雽ETRI網(wǎng)模型進(jìn)行了研究探討了基于面向?qū)ο笏枷氲腜ETRI網(wǎng)建模和仿真應(yīng)用系統(tǒng)的開發(fā)思路重點研究了各種擴(kuò)展類型PETRI網(wǎng)仿真算法的實現(xiàn)通過對幾個模型的分析驗證了仿真工具的有效性計算機(jī)網(wǎng)絡(luò)中存在大量的控制問題如流量控制、差錯控制、擁塞控制等通信網(wǎng)絡(luò)的內(nèi)在復(fù)雜性決定了網(wǎng)絡(luò)控制問題的復(fù)雜性這種復(fù)雜性使得設(shè)計和評價網(wǎng)絡(luò)中的控制策略變得很困難隨機(jī)PETRI網(wǎng)作為一種有效的系統(tǒng)性能評價方法非常適合分析網(wǎng)絡(luò)中的控制問題論文使用廣義隨機(jī)PETRI網(wǎng)對一個數(shù)字交換機(jī)的過載控制模型進(jìn)行了分析解釋PETRI網(wǎng)是一種非自主類型的PETRI網(wǎng)能對其變遷與外界事件同步的系統(tǒng)進(jìn)行建模可以用于控制系統(tǒng)建模該文使用信號解釋PETRI網(wǎng)設(shè)計了一個用于混雜系統(tǒng)控制的上層監(jiān)控器該模型可以用作實際系統(tǒng)的在線控制器論文的工作表明PETRI網(wǎng)建模和控制方法可以用到很多領(lǐng)域中是一種有力的研究輔助工具同時設(shè)計開發(fā)實用的PETRI網(wǎng)建模分析仿真工具使得PETRI網(wǎng)更方便地應(yīng)用到各領(lǐng)域?qū)ETRI網(wǎng)理論的深入研究也大有益處

簡介：該文將其應(yīng)用于金屬斷口圖像將變換后各頻帶輸出的L范數(shù)、平均能量、熵作為模式識別的特征該文共收集了240幅斷口圖像進(jìn)行識別分類研究文中分別采用了線性最小距離分類器和非線性BPBACKPROPAGATION人工神經(jīng)網(wǎng)絡(luò)識別方法對解埋、疲勞、塑坑三類金屬斷口進(jìn)行識別分類并考慮預(yù)處理對識別分類的影響最高識別率為100﹪最低識別率為825﹪由于受相同類型載荷的同一類斷口圖像其特征曲線有相同的規(guī)律因此可作為不同類型載荷下斷口的識別分類依據(jù)該文采用兩種識別方法對六類斷口進(jìn)行識別即沖擊載荷的解理斷口、拉伸載荷的解理斷口、拉伸載荷的疲勞斷口、彎曲載荷的疲勞斷口、沖擊載荷的塑坑斷口、拉伸載荷的塑坑斷口結(jié)果表明非線性識別效果較好該文設(shè)計的不同類型載荷下的金屬斷口識別與分類系統(tǒng)可以根據(jù)訓(xùn)練樣本和訓(xùn)練要求的不同重新選擇樣本數(shù)、類別數(shù)重新訓(xùn)練、識別因此它是一個開放式的系統(tǒng)

簡介：點擊查看更多西安城市廣場形態(tài)的類型化基礎(chǔ)研究.pdf精彩內(nèi)容。

簡介：集群式用電智能管理系統(tǒng)是電量的自動計量及管理發(fā)展的趨勢學(xué)生公寓普遍存在使用違章電器的情況造成火災(zāi)事故頻發(fā)對個人及學(xué)校造成巨大的損失高校學(xué)生公寓的用電管理具有其特殊性例如違章電器識別、超負(fù)荷判斷、定時斷送電及特殊用戶用電配置該課題著重研究了學(xué)生公寓電器負(fù)載的識別首先采集電壓和電流的信號然后用MATLAB軟件進(jìn)行仿真分析最后用C51語言實現(xiàn)在對正弦電壓和非正弦電壓情況下學(xué)生公寓電器的負(fù)載進(jìn)行識別的研究中使用了三種方法第一種方法是基于傅立葉變換理論的負(fù)載類型識別首先對負(fù)載的電壓和電流信號進(jìn)行快速傅立葉變換得到電壓和電流的各頻率分量然后利用它們的幅值和相位的對應(yīng)關(guān)系求出總功率、計算機(jī)功率和非計算機(jī)功率的值作為負(fù)載識別的依據(jù)第二種方法是基于小波變換的負(fù)載類型識別對負(fù)載的電流信號做5層DMEYER小波分解計算各負(fù)載電流值的平方和、細(xì)節(jié)部分第5層的能量以及概貌部分與細(xì)節(jié)部分第5層的能量的比值根據(jù)這些特征值識別出大功率阻性負(fù)載與計算機(jī)在使用BP神經(jīng)網(wǎng)絡(luò)對負(fù)載類型進(jìn)行識別時把負(fù)載的電壓和電流信號做快速傅立葉變換后各頻率分量的幅值作為訓(xùn)練BP網(wǎng)絡(luò)時的輸入把總功率和計算機(jī)的功率的值作為網(wǎng)絡(luò)的輸出集群式用電智能管理系統(tǒng)有廣闊的推廣性和應(yīng)用性

簡介：點擊查看更多類型學(xué)視角下的關(guān)中村鎮(zhèn)傳統(tǒng)街區(qū)設(shè)計構(gòu)型研究——以西安五臺古鎮(zhèn)為例.pdf精彩內(nèi)容。

簡介：點擊查看更多成都古鎮(zhèn)外部空間特色的類型學(xué)研究.pdf精彩內(nèi)容。

簡介：香港公屋HONGKONGPUBLICHOUSING，即香港的公共住宅，建設(shè)始于1953年，2013年正值其發(fā)展60周年。截至2012年3月底，香港已興建1152萬套公屋單位，為約3296萬的香港居民（占香港總?cè)丝?62％）提供安居之所。如此卓越的成就，獲得了國際上的廣泛贊譽(yù)并被世界公認(rèn)為有效保障居住的典范。本文以香港公屋的內(nèi)部公共空間為主要的研究對象，主要從類型學(xué)的角度出發(fā)，針對香港60年來不同時期公屋的類型和相關(guān)實例進(jìn)行資料的收集整理，并通過圖示和圖解的繪制和比較，重點從內(nèi)部空間組合的角度對內(nèi)部公共空間進(jìn)行總體的類型研究，突出內(nèi)部公共空間在空間組合過程中的核心和紐帶作用，并在此基礎(chǔ)上分別從平面形式和空間形態(tài)兩個方面對內(nèi)部公共空間進(jìn)行具體的類型研究。本文研究課題為香港中文大學(xué)建筑學(xué)院顧大慶教授主持的香港特別行政區(qū)研究資助局項目“關(guān)于香港1950至70年代建筑設(shè)計的專題及案例研究”（CUHK444610）的其中一部分，資料的收集整理、研究方法的確立以及主要研究成果在香港完成。

簡介：隨著電子商務(wù)、電子政務(wù)等網(wǎng)絡(luò)應(yīng)用需求的不斷增長可擴(kuò)展標(biāo)志語言數(shù)據(jù)庫EXTENSIBLEMARKUPLANGUAGEDATABASEXMLDATABASE技術(shù)成為了現(xiàn)代數(shù)據(jù)庫技術(shù)的重要研究領(lǐng)域之一為了實現(xiàn)對多源異構(gòu)數(shù)據(jù)信息的有效管理XML數(shù)據(jù)庫必須擁有完善的類型系統(tǒng)和靈活的類型處理機(jī)制因此XML數(shù)據(jù)庫技術(shù)的迅速發(fā)展直接推動了對XML類型系統(tǒng)的研究與開發(fā)基于目前XML類型處理問題的研究現(xiàn)狀對XML數(shù)據(jù)庫類型系統(tǒng)的形式化建模、類型驗證和類型檢驗等問題進(jìn)行了研究探討首先采用一種基于類型原理的形式建模技術(shù)創(chuàng)建了一個基于XML模式XMLSCHEMA的XML類型系統(tǒng)形式化模型給出了整個模型的形式化描述并對模型進(jìn)行了擴(kuò)展通過對擴(kuò)展模型的應(yīng)用實例分析體現(xiàn)了該模型易于擴(kuò)展、實用性強(qiáng)等優(yōu)點針對XML數(shù)據(jù)庫類型驗證問題對幾種XMLSCHEMA類型驗證方法進(jìn)行了分析與比較然后選擇其中一種基于樹自動機(jī)的類型驗證方法進(jìn)行深入研究指出該方法所用算法存在局限性繼而對算法提出了改進(jìn)分析了改進(jìn)后算法的正確性和復(fù)雜度針對XML數(shù)據(jù)庫類型檢驗問題以基于文檔類型定義DOCUMENTTYPEDEFINITIONDTD的XML類型檢驗的研究為基礎(chǔ)對基于XMLSCHEMA的類型檢驗問題的可確定性和檢驗算法進(jìn)行了討論證明只有對發(fā)布或轉(zhuǎn)換程序的處理能力加以限制后一些可確定的基于DTD的類型檢驗問題在基于XMLSCHEMA時才可確定最后將兩個基于DTD的類型檢驗算法引入基于XMLSCHEMA的類型檢驗中分析了算法的適用范圍和復(fù)雜度最后為XML數(shù)據(jù)庫XDM的類型處理系統(tǒng)提出總體設(shè)計方案基于已改進(jìn)的類型驗證算法實現(xiàn)了XMLSCHEMA類型驗證采用引入的類型驗證算法實現(xiàn)了XQUERY中的類型檢驗

簡介：同濟(jì)大學(xué)博士學(xué)位論文樁的類型和施工技術(shù)與工藝對樁基性狀影響研究姓名周紅波申請學(xué)位級別博士專業(yè)巖土工程指導(dǎo)教師陳竹昌20041201STUDYOFTHEEFFECTSOFTYP9ANDCONSTRUCTIONTECHNIQUEOFPILEONPILEFOUNDATIONBEHAVIORSABSTRACTBASEDONTHECOLLECTEDDATAOFPILETESTSANDLONGTERMSCTHCMANTMEASUREMENTTHEEFFECTSOFPILETYPEANDCONSTRACTIONTECLMIQUEANDTECHNOTODOFPILEFOUNDATIONONTHEPILEFOUNDATIONSETTLEMENTANDBEARINGBEHAVIORSARE∞MY∞D(zhuǎn)INACCORDANCEWITHTHECHARACTERSOFSULLPROFILEINSHAH曲AITHEMECHANISMSRELATEDAREALSODISCUSSEDCOMPAREDTHESETTLEMENTMEAANREMENTDATAOFDRIVENPILEFOUNDATIONOFHIGHRISEBUILDINGSTHERESULTSSHOWTHEEFFECTSONSETTLEMENTBEHAVIORSOFDRIVENPILEFOUNDATIONINDUCEDBYTHICKSANDLAYEREXITINTHESHALLOWOFPILESHALLAREVE／3IRELEVANTTNTHECOMPRESSIVESOILLAYERSUNDERLYINGTHEPILELLPTHEFUNCTIONOFTHICKSANDLAYEROFPILESHAFTTODECREASETILEPILEFOUNDATIONSETTLEMENTSANDIMPROVETHESETTLEMENTBEHAVIORSISREMARKABLEWHENTHECOMPRESSIVESOILLAYERSAREMAINLYCOMPOSEDBYQUASISANDLAYERS，NAMELYTHEQUASISANDRATIOPMORETHAN75％WHEREASTHEFUNCTIONISDISAPPEAREDWHENTHEQUASISANDRATIOBISLESSTHAN75％THECONCEPTOFCOMPONENTOFCOMPRESSIVELAYERSMAINLYFUNCTIONEDONTHEPILEFOUNDATIONSETTLEMENTBEHAVIORSISORDINARYEXITINTHECASEOFTHEEXITOFTHICKSANDLAYERSURROUNDINGTHEPILESHALLTHERESULTSABOVEMENTIONEDARERELATEDTOTHECOMPLEXACTIONINDUCEDBYTHECONSTRUCTIONOFDISPLACEMENTPILEANDTHEMECHMLISMSAREPRELIMINARILYDISCUSSEDTHECOMPLEXOFSETHEMENTBEHAVIORSOFDRIVENPILEISFURTHERILLUSTRATEDONTHEBASISOFCONSTRUCTIONACTIONCOMPAREDTHESETTLEMENLMEASUREMENTDATABETWEENDRIVENPILEFOUNDATIONANDBOREDPILEFOUNDATIONOFHIGHRISEBUILDINGSWITHTHEPILELENGTHOF2035MINSHANGHAI，THECONCLUSIONSOFTOTALSETTLEMENTANDCONSLRUCTLONPERIODSETTLEMENTOFNONDISPLACEMENTPILEREMARKABLYLESSTHANTHOSEOFDISPLACEMENTPILEAREFIRSTLYPRESENTEDTHERESULTSINDICATESETTLEMENTDIFFERENCESOFTWOTYPESOFPILESARERELATEDTOTHEDISTRIBUTIONSOFSHALLGHAISORCLAYINTHERANGEOFABOVEPILELENGTHTHENEWMETHODTOGAINTHERELIABLYEMPIRICALVALUESOFSULLDEFORMATIONPARAMETERSANDEMPIRICALRELATIONSHIPBETWEENSOILDEFORMATIONPARAMETERSANDFIELDSOILPROPERTYTESTISPRESENTEDMAINBBASEDONTHE咖D，OFBOREDPILEFOUNDATIONSETTLEMENTINACCORDANCEWITHDRIVENPILEFOUNDATIONSETTLEMENTCOMBINEDTHEDECREASEOFSKINFRICTIONDISTRIBUTIONCOEFFICIENTINDUCEDBYCONSTRUCTIONTECHNOLOGYOFBOREDPILEANDSOILREEONSOLIDATIONSETTLEMENTAFTERDRIVING，THEMECHANISMSOFBOREDPILEFOUNDATIONSETTLEMENTLESSTHANDRIVENPILEAREDISCUSSEDCONSIDERINGTHEEFFECTOFNEGATIVEFRICTION，LOADTRANSFEROFPILECAPANDTHEVALUEOFSKINFIIETIONDISTRIBUTIONCOEFFICIENTINTHEPILEDEPTHOF2035MBASEDOLLTHEBOREDPILETESTS，THERELATIONSHIPSBETWEENTHERATIO7OFSKINFRICTIONMEASUREMENTTOTHEVALUESSUGGESTEDBYCODESANDSTATESANDEMBEDDEDDEPTHOFSOILSAREANALYZEDANDTHEINCONFORMITYOFSKINFRICTIONOFBOREDPILETOSOILPMPERTIESISDIVIDEDINTOPOSITIVEABNORMALEFFECTANDNEGATIVEABNORMALEFFECLWHICHARETAKENASTHEAPPRECIATIONINDEXOFTHELEVELOFCONSTRUCTIONTECHNIQUEOFBOREDPILETHEMECHANISMSOFNEGATIVEANDPOSITIVEABNORMALEFFECTSAREDISCUSSEDANDARECLOSELYRELATEDTOTHECONSTRUCTIONTECHNIQUEOFBOREDPILEUSEDINSHANGHAITHECHARACTERISTICANDMECHANISMSOFTHEENDEFFECTONSKINFRICTIONOFBOREDPILEAREFIRSTLYSTUDIEDANDTHEENDEFFEETONSKINFRICTIONISDECREASEOFTHESIDERESISTANCEADJACENTTOTHEPILETIPINTRODUCINGTHECONCEPTOFMUDCAKEDIVIDEDINTOFORMATIONAFTERCLEANINGTHEHOLEANDADDITIONALMUDCAKE，THEMECHANISMSOFENDEFFECTISINDUCEDBYTHEADDITIONALMUDCAKEFORMEDDURINGTHEPROCESSOFPOURINGCONCRETEWITHTREMIETHECHARACTERSANDEFFECTFACTORSOFCRITICALDISPLACEMENTOFBOREDPILEARESTUDIEDANDTHEDIFFERENCEOFDEVELOPMENTPROCESSOFBEARINGCAPACITYBETWEENDRIVENPILEANDBOREDPILEISDISCUSSEDTHENUMERICALANALYSISOFTHEEFFECTSOFTHECUSHIONOFTHEPILEBOTTOM，MUDCAKESURROUNDINGPILESHAFTANDPOSTGROUTINGOFPILETIPONTHESINGLEBEARINGBEHAVIORSARECARRIEDOUTANDTHEERIECTFACTORSAREDISCUSSEDKEYWORDSBOREDPILE，DRIVENPILE，CONSTRUCTIONTECHNIQUE，QUASISANDRATIO，SETTLEMENTSIDERESISTANCE，BEARINGBEHAVIORS，ENDEFFECTOFPILE

簡介：水閘是水利工程中一種重要的水工建筑物，無論是平原河道，還是山區(qū)水庫，都常常需要修建水閘。從水閘的設(shè)計、施工到運(yùn)行還存在一些急需解決的問題。本文主要解決以下幾個問題1水閘溫度裂縫分析及裂縫控制措施在水閘結(jié)構(gòu)的閘墩與底板上產(chǎn)生了大量的表面裂縫甚至貫穿性裂縫，這不僅破壞了結(jié)構(gòu)的整體性，影響結(jié)構(gòu)的受力狀況與穩(wěn)定，給結(jié)構(gòu)的運(yùn)行帶來不確定性，而且容易導(dǎo)致內(nèi)部鋼筋銹蝕，降低結(jié)構(gòu)的耐久性，有時還會引起滲漏變形，危及基礎(chǔ)的穩(wěn)定性。本文首先總結(jié)了混凝土結(jié)構(gòu)裂縫的成因、特性、分類以及溫度的分布情況和影響因素；接著從熱傳導(dǎo)理論敘述了混凝土結(jié)構(gòu)溫度場和溫度應(yīng)力的基本原理，推導(dǎo)了適合水閘結(jié)構(gòu)的溫度場和溫度應(yīng)力有限元列式；最后結(jié)合工程實例用ANSYS61有限元軟件計算分析了水閘結(jié)構(gòu)在各種工況下結(jié)構(gòu)的應(yīng)力，分析了水閘結(jié)構(gòu)產(chǎn)生溫度裂縫的原因并提出了防止裂縫產(chǎn)生的措施。2水閘基礎(chǔ)類型與地基特性的相關(guān)關(guān)系在水閘設(shè)計中，基礎(chǔ)是及其重要而且問題較多的一個結(jié)構(gòu)。首先它對水閘的安全和造價影響很大，另一方面它自身又受地基特性的制約，在理論上也還存在一些尚未解決的問題。本文就水閘基礎(chǔ)設(shè)計中對水閘基礎(chǔ)型式的合理選取這一常見且較難處理的問題進(jìn)行了研究，首先討論了對基礎(chǔ)內(nèi)力計算中經(jīng)常遇到的如何考慮邊荷載的問題即邊荷載對水閘基礎(chǔ)設(shè)計內(nèi)力的影響，然后在此基礎(chǔ)上研究了水閘基礎(chǔ)類型與地基特性的相關(guān)關(guān)系即基礎(chǔ)類型的擇優(yōu)問題。通過分析討論，取得的結(jié)果可應(yīng)用于工程實際中，為工程設(shè)計提供理論根據(jù)。最后，對全文所做的工作進(jìn)行了總結(jié)，并給出了本文工作的不足之處和需要深入研究的幾個方向。