簡介：網絡技術和WEB服務技術的廣泛應用，推動和促進了并行分布式計算的快速發(fā)展。并行分布式計算的主要特征包括并發(fā)性、分布性、實時性，具有這些復雜特征的并行分布式系統(tǒng)面臨著安全通信的挑戰(zhàn)。為了探索并行分布式系統(tǒng)的行為，確保并行分布式系統(tǒng)的安全通信，研究人員提出多個基于進程間通信的、反映并發(fā)本質的并發(fā)計算模型。如CSP模型、CCS模型、PI演算等。會話類型理論是繼上述程序設計模型之后提出的一個新的并發(fā)計算理論模型，它不僅繼承PI演算的基本語法內容以及用歸約表示進程間通信的思想，而且引入了類型的理論，從而能夠更好地結構化并推理進程間的通信行為，捕捉通信進程之間的協(xié)議規(guī)范會話類型理論的類型指派規(guī)則可以轉化為一種實際的類型檢測算法，因此會話類型理論成為了一種有效的推理通信行為的形式化方法。本研究主要內容包括⑴會話類型理論是在PI演算的基礎上提出來的，它繼承了PI演算語法簡明和用歸約表達進程間通信的優(yōu)點，在原始的會話類型系統(tǒng)中，通道和變量被統(tǒng)一命名為名字進行傳遞，這樣的缺點是無法很好的體現(xiàn)出數(shù)據和通道的傳遞過程，因此在結合前人研究的有界多態(tài)會話類型系統(tǒng)理論的基礎上，本文提出一個基于DELEGATION的有界多態(tài)會話類型系統(tǒng)，即該系統(tǒng)將數(shù)據傳遞和通道傳遞區(qū)分開來，分別定義數(shù)據傳遞和通道傳遞的語法、操作語義與類型指派規(guī)則。⑵為了更好地反映消息傳遞過程中通道會話類型的改變，本文對原始會話類型系統(tǒng)的環(huán)境做了改進，增加了通道環(huán)境C，將原來的類型指派規(guī)則的判定形式由△ΓFP改進為△ΓFP△C，使得新定義的類型指派規(guī)則不僅可以很好地追蹤通道使用的順序，而且能夠清晰地反映消息傳遞過程中通道會話類型的改變，進而更直接地表達各種消息傳遞的過程。⑶安全性是會話類型系統(tǒng)最基本的性質。所謂安全性是指良類型的進程可以進行任何序列的歸約步驟而不會發(fā)生錯誤。本文從主體歸約和類型安全兩個方面證明了此類型系統(tǒng)的安全性。之后，我們用實例展示了用會話類型理論來描述消息傳遞的過程，同時反映消息傳遞過程中通道類型的改變。

簡介：隨著空間數(shù)據庫的廣泛應用和計算資源的不斷開發(fā)，人們對基于位置服務LBSLOCATIONBASEDSEⅣICES的期望也越來越高，這意味著LBS必須能處理更復雜的查詢。最近鄰NNNEARESTNEIGHB查詢和反向最近鄰RNNREVERSENEARESTNEIGHB查詢是LBS中兩個非常重要的查詢。其中NN查詢是查找離查詢點距離最近的點集，而RNN查詢依托于NN查詢，其查詢結果集中的每一個點都將查詢點作為最近鄰，即查詢點是結果集中所有點的最近鄰。RNN查詢通常用于一些市場分析和商業(yè)決策系統(tǒng)。反向最近鄰查詢技術能提供決策支持，因此具有很大的商業(yè)價值。傳統(tǒng)的RNN查詢沒有考慮多個特征類型影響的情況，因此在一些商業(yè)決策系統(tǒng)中的運用受到的限制，有時甚至不能滿足用戶的個性化需求。而現(xiàn)有的多類型反向最近鄰MTRNNMULTIPLETYPESREVERSENEARESTNEIGHB查詢雖然考慮多個特征類型但卻忽略了它們之間的影響因素，也不能真實地反映實際情況。因此，對MTRNN查詢做進一步的擴展和完善將是十分有意義的。本文在分析總結MTRNN查詢算法優(yōu)缺點基礎上，進一步做了以下的研究工作1針對現(xiàn)有的MTRNN查詢算法沒有高效的過濾策略，并且沒考慮各特征類型之間的影響因素的問題，提出了一個基于特征類型影響因子的帶權多類型反向最近鄰WMTRNNWEIGHTINGMULTIPLETYPESREVERSENEARESTNEIGHB查詢方法。它采用RTREE索引結構并結合了閉區(qū)域和開區(qū)域剪枝策略，更能適應LBS的特征要求。仿真實驗結果表明，WMTRNN查詢算法在合理的時間內能得到準確的查詢結果，新的過濾策略在大數(shù)據環(huán)境下的過濾效果比較顯著。2針對確定對象的MTRNN查詢難以滿足當今計算環(huán)境下的個性化要求和復雜的應用場景的問題，研究了關于不確定對象的概率多特征類型反向最近鄰PMTRNNPROBABILITYMULTIPLETYPESREVERSENEARESTNEIGHB查詢方法。它基于離散型隨機變量概率模型，采用空間剪枝和概率剪相結合的剪枝策策。仿真實驗表明，查詢算法能在合理的時間內完成不確定數(shù)據庫（不確定對象生成的數(shù)據庫）上的MTRNN查詢，查詢效率與不確定對象的區(qū)域大小、每個不確定對象的實例個數(shù)、概率閥值和概率剪枝深度有較大關系。

簡介：分類號Q￡Z至UDC碩士學位論文民事惡意訴訟類型化研究李爭論文答辯日期至Q至魚生墨旦2Q目學位授予日期答辯委員會主席堂里窒民事惡意訴訟類型化研究摘要2012年民事訴訟法修正案首次規(guī)定了惡意訴訟，但由于過于粗疏，且理論上對惡意訴訟的內涵、外延、構成要件及具體類型等問題未達成共識，導致司法實踐中對民事惡意訴訟的認定以及責任的追究存在困境。筆者認為對民事惡意訴訟從類型化的視角進行研究可以解決以上難題。第一部分，民事惡意訴訟類型化研究概述。在本部分中，從學者以及司法實踐中對民事惡意訴訟含義的認識，分析民事惡意訴訟的本質屬性，從而界定民事惡意訴訟的概念。接著對民事惡意訴訟的性質做了分析，認為民事惡意訴訟是一種雙重違法行為。最后對民事惡意訴訟類型、類型化以及域外關于民事惡意訴訟的類型做了論述。第二部分，民事惡意訴訟類型化的必要性。在本部分中，主要從司法實踐中存在的困境、立法規(guī)定的缺陷以及理論研究的不足三個方面論述民事惡意訴訟類型化研究的必要性。第三部分，民事惡意訴訟類型劃分的標準。首先提出確定民事惡意訴訟劃分的前提條件，一方面既對民事惡意訴訟的范圍進行適當?shù)暮w，另一方面又從限制外延的方式保障訴訟權利。其次是提出本文劃分民事惡意訴訟的標準。對于民事惡意訴訟類型化的標準首先劃分民事惡意訴訟的一級標準是從有無訴權的角度進行劃分，然后劃分民事惡意訴訟的二級標準是在一級標準的基礎上從行為表現(xiàn)方式進行劃分。

簡介：點擊查看更多城鎮(zhèn)化進程中的農村家庭類型與狀態(tài)規(guī)律——基于濟南7139戶農村家庭的調查.pdf精彩內容。

簡介：本文針對當前中國近代城市規(guī)劃史研究逐漸深入的發(fā)展趨勢，采取“以人帶史，以史帶人”人史相結合的方法，研究近代城市規(guī)劃人物。從教育背景入手，可以更加清楚的了解近代城市規(guī)劃人物的形成過程及近代城市規(guī)劃的起源與發(fā)展。對厘清城市規(guī)劃發(fā)展的脈絡，進一步豐富完善中國近代城市規(guī)劃史研究體系有積極的意義。近代城市規(guī)劃活動的成果，主要包含文化活動論著、教育、文化傳播等活動，及實踐活動規(guī)劃文件的編制、城市法令的頒布兩個方面。因此，從這些成果入手，整理出近代與城市規(guī)劃人物相關近700人，通過研究他們的人生經歷，分析他們對近代城市規(guī)劃起的作用及影響，確定了其中187人，作為本次研究的主要對象。以國內外近現(xiàn)代城市規(guī)劃教育情況為準則，對中國近代城市規(guī)劃人物進行分類。提出近代城市規(guī)劃人物可以分為規(guī)劃建筑類、工程類、法政經濟類及其他類。規(guī)劃建筑類人物作為城市規(guī)劃的專業(yè)人才，他們的出現(xiàn)保證了近代城市規(guī)劃與建設的專業(yè)性，并且是推動城市規(guī)劃學科建設的重要力量。其對城市規(guī)劃的研究重點帶有專業(yè)的藝術性，著重城市形態(tài)的塑造、城市公共空間的規(guī)劃，以及標志性建筑設計。工程類人物在近代城市規(guī)劃人物中所占比例最高，其工作區(qū)域遍布全國大部分地區(qū)，城市規(guī)劃實踐以基礎設施建設為主。其城市規(guī)劃思想中帶有強烈的實踐性與技術性，主要表現(xiàn)為城市功能布局的合理性。法政經濟類人物在近代主要從事城市建設與管理的決策者，他們對市制的建立、城市規(guī)劃管理體系的形成，起到推動的作用。保證了近代城市規(guī)劃作為公共政策能夠順利推廣并發(fā)展。通過時間和空間兩個角度對這些城市規(guī)劃人物的教育背景研究，不難發(fā)現(xiàn)，近代城市規(guī)劃人物所受教育涉及專業(yè)眾多、領域廣泛，主要受到歐美及日本的城市思想影響。他們運用所學的知識與技術，投身到近代的城市建設中，為近代城市的發(fā)展、城市規(guī)劃學科的形成、城市建設技術的進步做出了卓越的貢獻。

簡介：河道防護工程是地區(qū)水域生態(tài)系統(tǒng)與陸地生態(tài)系統(tǒng)進行物質、能量、信息交換的一個重要過渡帶，是人類賴以生存和發(fā)展的必要基礎，關系到經濟社會的可持續(xù)發(fā)展，同時對提高生物多樣性、治理水土流失、穩(wěn)定河岸、調節(jié)微氣候和美化環(huán)境、開展旅游活動具有重要的現(xiàn)實意義，隨著現(xiàn)代化建設的推進，城市多功能高品位的建設目標和可持續(xù)發(fā)展的總體要求，對城市堤防建設提出了新的更高的要求，即城市防洪堤不但要具有防洪功能，還要具有景觀環(huán)境功能，必要時具有交通、商業(yè)等多種功能，走可持續(xù)發(fā)展之路，黑龍江屬于東北地區(qū)的經濟大省，省內流經很多水系其中包括我國的界河烏蘇里江、松阿察河還有省內松花江水系河道防護工程的優(yōu)化對于我省的具有十分重要的意義，對于界河流域而言，河道防護工程的優(yōu)化能有效的防止河流切灘改岸、造成嚴重的水土流失和防止洪水泛濫對于松花江內陸河水系來說，河道工程的優(yōu)化對于城市的防洪抗災、經濟發(fā)展、美化城市具有重大的社會意義。本文針對黑龍江省河道防護類型優(yōu)化研究方案，在分析河道防護工程建設的重要性和闡述國內外堤防工程現(xiàn)狀及研究動態(tài)的基礎上，對黑龍江省的河道防護類型進行優(yōu)化研究，對于界河流域主要優(yōu)化其河道護坡方式，提出了9種比較方案，利用層次分析法AHP和RAGAPPC模型結合對其進行優(yōu)化研究，得出最優(yōu)護坡方式為干砌石護坡對于松花江水系的哈爾濱道理段堤防的堤型模型進行優(yōu)化研究，提出了5中比較方案，利用綜合集成賦權法對5種方案進行優(yōu)化排序，得出最優(yōu)方案為前堤肩樁柱梁裝配式活動鋼閘板防洪墻方案?？傊敬窝芯吭诳偨Y國內已建河道防護工程設計經驗的基礎上，采用科學的理論和方法，結合實際，從經濟、適用、創(chuàng)新等角度，利用層次分析法及綜合集成賦權法的方法理論對方案進行評價，選擇最優(yōu)方案。在加強堤防建設，提高抗洪能力的同時，積極探索綠化城市、美化城市、造福于民的多方位堤防功能，成為一條結合城市建設、完善河道防護功能的新思路。為今后再建城市河道防護工程的選擇，提供較好的參考依據。

簡介：上海交通大學碩士學位論文停車場在停車被盜案件中的責任認定以“停車合同”合同類型辨析為視角THERESEARCHONWHETHERPARKINGLOTSARELIABLEWHENCARSARESTOLEN–FROMTHEPERSPECTIVEOFTHENATUREOFCONTRACTSBETWEENCAROWNERSPARKINGLOTS院系凱原法學院專業(yè)；法律碩士（法學）姓名吳以帆指導教師彭誠信教授完成日期2014年12月10日上海交通大學上海交通大學學位論文版權使用授權書學位論文版權使用授權書本學位論文作者完全了解學校有關保留、使用學位論文的規(guī)定，同意學校保留并向國家有關部門或機構送交論文的復印件和電子版，允許論文被查閱和借閱。本人授權上海交通大學可以將本學位論文的全部或部分內容編入有關數(shù)據庫進行檢索，可以采用影印、縮印或掃描等復制手段保存和匯編本學位論文。保密保密□，在年解密后適用本授權書。本學位論文屬于不保密不保密□。（請在以上方框內打“√”）學位論文作者簽名指導教師簽名日期年月日日期年月日

簡介：高層建筑是社會發(fā)展的必然產物，而超限高層建筑則是建筑師追求外形和功能的產物，也是社會文明的象征。隨著社會的進步，出現(xiàn)了越來越多的超限高層建筑，因此有必要總結超限高層建筑的超限類型及加強措施。本文主要分析超限高層建筑的超限類型、加強措施及一些有代表意義的超限高層建筑，得到如下結論1隨著建筑高度的增大，建筑的側移控制成為了高層建筑設計的重點。對于高度超限的建筑，主要運用了樁筏基礎、鉆孔灌注樁，且采用較厚的筏板來彌補場地地基土的不利因素，滿足承載力要求和沉降要求并選取了延性較好的型鋼混凝土柱或鋼管混凝土柱。2超限高層建筑扭轉位移比都大于12，因此建筑結構體型的選擇及結構布置的對稱性是結構設計的重點也是難點。3超限高層建筑出現(xiàn)凹凸不規(guī)則、組合平面不規(guī)則占到了333％樓板局部不連續(xù)占到了666％，其中局部開洞面積大于30％和層有效寬度小于50％各占50％側向剛度不規(guī)則占到了50％抗側力構件不連續(xù)占到了463％承載力突變占到了185％穿層柱占到了685％，斜柱占到了204％。4對帶連體的雙塔樓分析得出，塔樓不存在剛度突變的薄弱層，且南北塔樓振動模態(tài)影響較小，在常遇小震下南北塔樓基本保持各自振動，在中震和大震作用下，結構滿足規(guī)范的要求。

簡介：結構健康監(jiān)測可提供關于結構性能和狀態(tài)的實時監(jiān)測信息對結構的維護方案、結構安全性的提高、結構設計假設的驗證、結構不確定性的降低和對結構的更多認識等均可以通過結構健康監(jiān)測來實現(xiàn)。應力監(jiān)測是結構健康監(jiān)測系統(tǒng)的主要監(jiān)測內容可直接對結構構件應力水平及承載能力進行直接評判。考慮到1因為到結構健康監(jiān)測系統(tǒng)造價和安裝技術等因素無法在結構上布置足夠多的測點直接用于應力監(jiān)測的應變傳感器的布置數(shù)量有限2結構健康監(jiān)測系統(tǒng)中有多種類型傳感器的安裝。因此本文運用多種類型傳感器實測數(shù)據提出基于多類型傳感器信息融合的應力識別方法。主要研究內容為1考慮不確定性的基于單類型傳感器應力識別方法。首先以單類型傳感器實測值為輸入未布置應變傳感器的結構構件的應力值為輸出選用模式識別方法建立模式庫、識別庫和實測庫其次考慮傳感器實測值的噪聲干擾或故障、有限元模型的誤差等不確定性因素提出考慮不確定性的模式匹配方法最后以網殼結構為例模擬分析網殼結構在風荷載作用下的動力響應驗證該方法的有效性并通過模擬不同等級噪聲干擾下的識別結果進一步驗證了該方法的魯棒性和抗干擾性。2基于多類型傳感器信息融合的應力識別方法。首先以考慮不確定性的基于單類型的傳感器應力識別方法為基礎融合多類型傳感器實測值并建立該方法的模式庫和識別庫其次以網殼結構為例驗證該方法的可行性和有效性最后對比基于單類型傳感器的應力識別方法和基于多類型傳感器信息融合的應力識別方法進行參數(shù)分析主要包括傳感器個數(shù)、噪聲等級、模式匹配個數(shù)等。從而驗證了基于多類型傳感器信息融合的應力識別方法更具有抗噪性適合工程實際應用。3基于深圳灣體育中心實測監(jiān)測數(shù)據的應力識別。首先進行深圳灣體育中心在地脈動作用下的模擬分析并討論應變傳感器的最優(yōu)選取與布置進而以模擬分析數(shù)據分別驗證了基于單類型傳感器和基于多類型傳感器信息的應力識別結果其次分別以模擬分析的深圳灣體育中心在地震作用下的動力響應和深圳灣體育中心結構健康監(jiān)測系統(tǒng)的三年實測數(shù)據為基礎建立識別庫討論以地脈動作用下的動力響應為模式庫的應力識別結果。從而驗證了該方法在實際大型空間鋼結構的應力識別上應用的可行性和有效性。

簡介：美國著名的景觀設計師約翰O西蒙茲認為“我們規(guī)劃的不是物質不是空間而是人的體驗?！?人們通過身體的生物機能感覺周圍的環(huán)境通過個人的空間經驗、生活閱歷、文化背景和社會背景認知周圍的環(huán)境這個所獲得信息的過程就是感知。隨著身體的移動人們不斷獲得新的信息和逐漸清晰對所處空間整體的判斷并產生對環(huán)境的思考這就是體驗。體驗是人們感受空間的基本方式。街道是人們最常使用的戶外空間。城市雕塑作為一種藝術品是一種最容易引起精神共鳴的物質實體。在城市街道中雕塑是除建筑外的極具空間控制力的人工產物。城市街道既可以作為通過的路徑又可以作為停留的場所城市雕塑在街道中置入形成重要的空間連接或節(jié)點。本文運用體驗感知的理論對西安市現(xiàn)有的街道雕塑空間進行調查研究。調查西安街道雕塑空間的使用現(xiàn)狀、空間特征和在體驗感知過程中存在的問題。進一步分析問題原因對調查結果進行梳理總結街道雕塑空間形態(tài)的影響因素、街道雕塑空間感知問題的原因、街道雕塑空間感知的途徑與方式、街道雕塑空間體驗的層次四個方面。利用調研結果為城市街道雕塑空間劃分類型。找尋在城市街道中如何為不同類型的城市雕塑設計、選擇或改造合適的街道雕塑空間的方法以使城市雕塑在街道空間中給人帶來藝術的觸動與對話發(fā)揮城市雕塑應有的作用。

簡介：西安建筑科技大學碩士論文基于DEM的山脈線提取及地貌類型判別方法研究專業(yè)業(yè)信號與信息處理碩士生生雷紅濤指導教師指導教師孔月萍教授摘要基于數(shù)字高程模型開展地貌及其特征的分析，具有很好的應用前景，已成為數(shù)字地形分析的研究熱點。山脈線作為山區(qū)的主要脈絡控制了地形的整體態(tài)勢，對科學開展基礎設施修筑、區(qū)域規(guī)劃、災害防治、軍事指揮決策具有重要指導意義。以此需求為目標，將多尺度分析與圖像融合理論相結合，設計了一種山脈線自動提取方法。新方法以不同參數(shù)的高斯核函數(shù)對規(guī)則格網DEM數(shù)據做多尺度分解，先抽取各尺度下的山脊線，再構造合理的山脊線融合規(guī)則，形成能體現(xiàn)宏觀地形特征的山脈線。我國疆域遼闊，地貌條件復雜，深入研究基本地貌類型的自動判別方法，對地貌特征的科學認知及合理利用具有重要實用價值。為此，借鑒圖像分割及連通域分析等圖像處理方法，采用地形因子建立盆地和高原的形態(tài)描述模型，并結合地勢起伏度和海拔高度這兩個全國普適性指標，設計了平原、丘陵、山地、盆地和高原地貌類型的自動判別方法。最后以中國的實際數(shù)字高程數(shù)據為素材對上述方法開展了相關實驗，檢驗了方法的有效性。關鍵詞數(shù)字高程模型；尺度空間理論；山脈線；地形因子；地貌分類論文類型論文類型應用研究

簡介：MGOC耐火材料具有優(yōu)良的抗侵蝕性和抗熱震性隨著冶煉技術的進步低碳鎂碳磚成為鎂碳質耐火材料發(fā)展的主要方向。但是低碳鎂碳磚由于碳含量降低材料的熱導率必然降低彈性模量增大從而使材料的熱震穩(wěn)定性變差。為解決低碳鎂碳耐火材料這些不足國內外研究者主要從改善結合碳的碳結構優(yōu)化鎂碳材料的基質結構采用高效抗氧化劑等發(fā)面研究而不同熱處理溫度下MGOC耐火材料彈性模量的變化及其對抗熱震性的影響卻少有研究。本文以不同碳源及不同抗氧化劑制備了MGOC耐火材料試樣采用脈沖激振法和XRDSEM、EDX等分析手段研究了石墨、通用爐黑、AL粉及ZRB2對MGOC耐火材料彈性模量的影響以及添加通用爐黑試樣高溫下物相組成和顯微結構特征探討了不同因素影響彈性模量的機理及彈性模量與熱震穩(wěn)定性之間的相互作用。研究結果發(fā)現(xiàn)在240～1000℃埋碳熱處理后所有試樣彈性模量的不斷降低是由于結合劑酚醛樹脂的不斷揮發(fā)碳化及部分石墨氧化顯氣孔率升高造成。在1000～1400℃埋碳熱處理后含AL粉試樣彈性模量的增加是由于鎂鋁尖晶石的生成使得試樣中的部分氣孔填充造成在1000～1400℃埋碳熱處理后含通用爐黑試樣彈性模量的增加是由于某種纖維狀物質生成氣孔率降低造成在1000～1400℃埋碳熱處理后含ZRB2試樣彈性模量的增加是由于ZRB2發(fā)生了氧化ZRO2在冷卻過程中會由四方相向單斜相轉變并產生一定程度的體積膨脹擠壓內部的孔隙此外生成的B2O3在高溫向低溫冷卻的過程中也會堵塞一部分的氣孔使試樣結構更加致密彈性模量升高。含通用爐黑試樣具有良好的熱震穩(wěn)定性含ZRB2試樣的熱震穩(wěn)定性較差可以通過彈性模量及抗折強度的測量計算R來預測試樣的熱震穩(wěn)定性。

簡介：湖南地區(qū)的架空電網頻頻受到嚴重覆冰的危害，湖南電網公司為此采取了包括冰情監(jiān)測、交直流融冰等一系列的救災和防災措施和方案。但是，這些導線覆冰防冰處理措施和方案存在監(jiān)測數(shù)據不全、覆冰類型判斷依靠經驗、融冰電流計算不夠準確等諸多的不足與缺陷，不僅對深度的分析造成一定困難，而且阻礙了實際操作的機動性與可靠性。為了有效解決這些問題，進一步改進湖南電網冰災防治的方法，本文做出了以下工作1針對導線覆冰類型判斷這個領域內的理論難點（即憑借少數(shù)氣象參數(shù)靠經驗進行模糊判斷，或者建立復雜傳熱傳質模型進行理論分析，這些判斷方法在實際應用中要么不夠準確，要么不夠便捷），提出了一種基于相似理論及聚類分析的新型判別方法，找到了適用于導線覆冰過程的相似判別準則，隨后，成功從無標簽的覆冰歷史數(shù)據中提取出了代表各覆冰類型的聚類，并統(tǒng)計得到了各覆冰類型的典型相似準則數(shù)值組合，經過分析得出，這些組合可以作為較為準確且便捷的導線覆冰類型判別方法，解決了長期困擾學者們的理論難題。2針對電網線路覆冰預警方法的改進，回顧了近60年來領域內的覆冰預測模型研究成果，對它們進行比較、分析并最終針對各覆冰類型選擇了理論上最為完善的預測模型，并厘清了各模型的操作步驟，本文還援引國內對于導線覆冰的研究，為選用的模型對導線傳熱和幾何特征的影響進行了修正。3針對電網線路直流融冰和臨界電流防冰方法的改進，回顧了近20年來領域內的研究成果，依次選擇了適合湖南電網的導線直流融冰和臨界電流防冰計算模型，并厘清了模型的操作步驟。4將以上理論成果合而為一，從總體上設計了一套電網冰災防治系統(tǒng)的框架，并給出了系統(tǒng)的具體處理流程圖，該系統(tǒng)囊括了氣象監(jiān)測、覆冰類型判斷、覆冰計算、除冰方法選擇與計算、防冰計算、歷史數(shù)據顯示及管理等與冰災防治相關的功能，并能與電網已投入運行的設備及其他系統(tǒng)有機結合，因此可以為今后的實際開發(fā)提供有效參考。

簡介：由糖衍生的四種衍生的四種骨架類型骨架類型的酮類化合物的化合物的水相水相合成合成反應反應的研究的研究PRACTICALAQUEOUSREACTIONSLEADINGTOSKELETALLYDIVERSECARBOHYDRATEDERIVEDKETONES學科專業(yè)有機化學研究生劉洪明指導教師李春葆教授天津大學理學院二零一五年五月中文中文摘要摘要碳水化合物是地球上含量最豐富的可再生有機化合物，而且它的數(shù)量遠遠超過了其它的可再生有機化合物。因此，對于可持續(xù)發(fā)展來說，如何將這些豐富的可再生碳水化合物更多的應用于化工，能源還有材料方面以減少甚至替代化石燃料是一個十分重要的領域。在本文中我們報道了一種由部分保護的糖與甲基酮一鍋合成不同碳骨架類型糖衍生的酮類化合物的方法。在合成這些碳水化合物衍生的酮類化合物時，我們用廉價的LIOHFECL3和HCL作為催化劑。并且大多數(shù)的反應都是以水作為反應的介質。所有的這些反應條件都比較溫和，大部分的反應是在60OC下反應的，也有少部分是室溫條件下進行的。且所有的這些反應收率良好。我們總共的得到了37個四種不同類型的糖衍生的酮類化合物。這四種不同的碳骨架類型分別是呋喃取代的二酮，呋喃取代的ΑΒ不飽和酮，烯三酮和二烯二酮類化合物。這些合成四種不同的酮類化合物的方法均可放大到10克規(guī)模，通過投料時將反應物四芐基葡萄糖或者三芐基木糖的量放大到10G。在這四種不同類型的碳骨架中，烯三酮和二烯二酮這兩類化合物中同時包含CCCO和OH官能團，這兩種骨架類型的化合物合成方法尚未有報道?？傊?，本文報道了一種由保護的半縮醛糖和甲基酮在水相中用廉價的催化劑催化一鍋合成四種不同碳骨架類型的酮類化合物的反應。這些反應操作簡單，收率良好，而且可以放大。這些為更好的將碳水化合物應用到化工或者醫(yī)藥中間體開辟了一條實用通道。關鍵詞關鍵詞碳水化合物，水相反應，甲基酮，呋喃衍生物，不飽和酮

簡介：作為網絡及移動通信技術的主要終端載體之一的智能移動終端由于其便攜性等固有優(yōu)勢在人與計算機的交互活動中演著不可或缺的角色成為引領數(shù)字時代的新的主要載體。一方面豐富的輸入和輸出的軟、硬件技術如傳感器、觸摸屏等為智能移動終端的交互設計藝術提供了極其豐富的表現(xiàn)方法。另一方面為了吸引更多用戶設計師們調用多樣化的感官通道進行設計進而基于智能移動終端新型的交互類型層出不窮為智能移動終端用戶提供了前所未有的新體驗。在智能移動終端人機交互的發(fā)展過程中總是圍繞著一個原則或者說是一個規(guī)律演變便是越來越“自然”的交互類型。由此根據人機交互設計原則以及智能移動終端的軟、硬件等固有特點總結得出智能移動終端人機交互的原則是用戶體驗目標和自然性即自然人機交互自然的人機交互體驗。自然人機交互的呈現(xiàn)需要在使用空間的塑造上以及操作方式上提供很強的真實感。具體地需要在虛擬空間的塑造上模擬真實的維度空間在操作方式上使用自然操作的隱喻同時賦予虛擬空間以物理場主要是重力場也就是在空間維度里賦予虛擬物體以質量、慣性等自然屬性。通過以上針對智能移動終端人機交互設計原則的總結以及自然人機交互的啟發(fā)以智能移動終端中的代表性設備平板電腦作為典型代表分析當前智能移動終端桌面應用程序管理和篩選的交互方式。觀察、分析得出平板電腦桌面應用程序圖標的排列方式采用規(guī)則的分頁排列或結合文件夾分類管理不夠直觀應用程序的攫取操作則是通過桌面分頁導航或查詢功能實現(xiàn)此種操作方法效率較低。為了解決以上問題本文導出一種新型的應用程序管理和篩選模式搖晃篩選交互類型SHAKESCREENINGHUMANCOMPUTERINTERACTIONTYPESSHCI。搖晃篩選交互類型主要是構建虛擬三維環(huán)境使所有程序圖標在虛擬三維空間內自然堆砌創(chuàng)造出真實的層次結構使用搖晃篩選的操作方式查找目標應用程序優(yōu)化查找應用程序時的人機交互方式。其目的在于最大化的利用智能移動終端桌面的空間同時幫助用戶提高攫取操作效率享受自然、愉快、高效的用戶體驗。搖晃篩選交互類型同樣可用于其他智能移動設備或應用軟件的篩選模式。