簡(jiǎn)介：本文以開(kāi)磷集團(tuán)息烽重鈣廠35KV變電站綜合自動(dòng)化系統(tǒng)改造為課題進(jìn)行了工程設(shè)計(jì)和相關(guān)理論研究。在綜述中介紹了系統(tǒng)設(shè)計(jì)研究原則、設(shè)計(jì)研究?jī)?nèi)容，技術(shù)功能要求。研究了重鈣廠變電站一次線路及設(shè)備，提出了對(duì)各設(shè)備保護(hù)和監(jiān)控功能的要求，介紹了重鈣廠變電站綜合自動(dòng)化系統(tǒng)改造的結(jié)構(gòu)設(shè)計(jì)情況和實(shí)施后設(shè)備布置情況。介紹了變電站綜合自動(dòng)化系統(tǒng)硬件組成，硬件工作原理，硬件之間接口方式，和滿足CPU控制要求的開(kāi)關(guān)量輸入／輸出回路，從而全面了解了綜合自動(dòng)化硬件系統(tǒng)的特點(diǎn)和各部分所執(zhí)行的功能。以變電站中重要的元件變壓器為例介紹了其保護(hù)要求和實(shí)現(xiàn)特點(diǎn)、變壓器差動(dòng)保護(hù)的原理和算法、如何用軟件來(lái)實(shí)現(xiàn)變壓器的綜合自動(dòng)化保護(hù)。對(duì)重鈣廠變電站綜合自動(dòng)化系統(tǒng)進(jìn)行了總結(jié)和評(píng)價(jià)，實(shí)際運(yùn)行結(jié)果證明變電站綜合自動(dòng)化技術(shù)和變電站無(wú)人值班技術(shù)是變電站監(jiān)控和保護(hù)發(fā)展的主流和必然趨勢(shì)。

簡(jiǎn)介：近年來(lái)自然語(yǔ)言處理領(lǐng)域的研究正受到人們普遍的關(guān)注。其中自動(dòng)答疑系統(tǒng)的應(yīng)用研究已成為了研究熱點(diǎn)。隨著INTER技術(shù)的迅速發(fā)展越來(lái)越多的人傾向于從網(wǎng)上獲取知識(shí)和尋找解決問(wèn)題的方法。但隨著用戶要求的提高傳統(tǒng)的自動(dòng)問(wèn)答系統(tǒng)已經(jīng)難以滿足人們的需要。這一方面是因?yàn)闄C(jī)器的理解能力有限不能理解自然語(yǔ)言形式的問(wèn)句；另一方面用戶也希望系統(tǒng)能夠根據(jù)他們興趣的不同提供個(gè)性化推薦功能。隨著教育規(guī)模的擴(kuò)大教師資源相對(duì)稀缺因而用于教學(xué)領(lǐng)域的自動(dòng)答疑系統(tǒng)成為了新的研究熱點(diǎn)。本文圍繞傳統(tǒng)自動(dòng)答疑系統(tǒng)存在的個(gè)性化推薦和問(wèn)題理解等問(wèn)題進(jìn)行了較深入的研究。主要研究?jī)?nèi)容包括⑴搭建自動(dòng)答疑系統(tǒng)平臺(tái)。參照搜索引擎的實(shí)現(xiàn)原理結(jié)合對(duì)特定網(wǎng)頁(yè)規(guī)則的分析和研究把信息抽取功能融入到自動(dòng)答疑系統(tǒng)中實(shí)現(xiàn)了自動(dòng)答疑系統(tǒng)中對(duì)知識(shí)庫(kù)更新的自動(dòng)化和實(shí)時(shí)化；⑵對(duì)自動(dòng)答疑系統(tǒng)中問(wèn)句理解模塊的改進(jìn)。通過(guò)對(duì)大量問(wèn)句句型的研究提出了基于層次句模的問(wèn)句理解算法。實(shí)驗(yàn)表明該算法提高了自動(dòng)答疑系統(tǒng)中問(wèn)句理解模塊中對(duì)問(wèn)句理解的準(zhǔn)確性；⑶提出了一種帶附加權(quán)重的用戶興趣模型向量將基于內(nèi)容與協(xié)同過(guò)濾的算法組合應(yīng)用于自動(dòng)答疑系統(tǒng)中實(shí)現(xiàn)了對(duì)用戶的信息推薦及相似用戶推薦的功能。

簡(jiǎn)介：點(diǎn)擊查看更多配電自動(dòng)化系統(tǒng)中的通訊技術(shù)研究.pdf精彩內(nèi)容。

簡(jiǎn)介：全球性的網(wǎng)絡(luò)化、信息化進(jìn)程正改變著人們的生活方式，與此同時(shí)辦公自動(dòng)化系統(tǒng)亦得到了迅速的發(fā)展，并被廣泛應(yīng)用于政府機(jī)關(guān)、企事業(yè)及教育機(jī)構(gòu)的日常工作中。辦公自動(dòng)化不僅兼顧個(gè)人辦公效率的提高，更重要的是可以實(shí)現(xiàn)群體協(xié)同工作。協(xié)同工作意味著要進(jìn)行信息的交流，工作的協(xié)調(diào)與合作。由于網(wǎng)絡(luò)的存在，這種交流與協(xié)調(diào)幾乎可以在瞬間完成，并且不必?fù)?dān)心對(duì)方是否在電話機(jī)旁邊或是否有傳真機(jī)可用。辦公自動(dòng)化可以和一個(gè)企業(yè)的業(yè)務(wù)結(jié)合的非常緊密，甚至是定制的。因而可以將諸如信息采集、查詢、統(tǒng)計(jì)等功能與具體業(yè)務(wù)密切關(guān)聯(lián)。操作人員只須點(diǎn)擊一個(gè)按鈕就可以得到想要的結(jié)果，從而極大得方便了企業(yè)領(lǐng)導(dǎo)的管理和決策。辦公自動(dòng)化還是一個(gè)企業(yè)與整個(gè)世界聯(lián)系的渠道，企業(yè)的INTRA網(wǎng)絡(luò)可以和INTER相聯(lián)。一方面，企業(yè)的員工可以在INTER上查找有關(guān)的技術(shù)資料、市場(chǎng)行情，與現(xiàn)有或潛在的客戶、合作伙伴聯(lián)系；另一方面，其他企業(yè)可以通過(guò)INTER訪問(wèn)你對(duì)外發(fā)布的企業(yè)信息，如企業(yè)介紹、生產(chǎn)經(jīng)營(yíng)業(yè)績(jī)、業(yè)務(wù)范圍、產(chǎn)品服務(wù)等信息。從而起到宣傳介紹的作用。隨著辦公自動(dòng)化的推廣，越來(lái)越多的企業(yè)將通過(guò)自己的INTRA網(wǎng)絡(luò)聯(lián)接到INTER上，所以這種網(wǎng)上交流的潛力將非常巨大。辦公自動(dòng)化已經(jīng)成為企業(yè)界的共識(shí)。眾多企業(yè)認(rèn)識(shí)到盡快進(jìn)行辦公自動(dòng)化建設(shè)，并占據(jù)領(lǐng)先地位，將有助于保持競(jìng)爭(zhēng)優(yōu)勢(shì)，使企業(yè)的發(fā)展形成良性循環(huán)。因此，開(kāi)發(fā)出一個(gè)成功的辦公自動(dòng)化系統(tǒng)，對(duì)大幅度提高團(tuán)體工作效率，增強(qiáng)企業(yè)的競(jìng)爭(zhēng)力，使企業(yè)能夠在激烈的市場(chǎng)競(jìng)爭(zhēng)中取勝且不斷發(fā)展壯大有重要意義。本文根據(jù)實(shí)際項(xiàng)目的開(kāi)發(fā)需求，分析并設(shè)計(jì)了辦公自動(dòng)化OA系統(tǒng)的整體結(jié)構(gòu)以及各個(gè)模塊功能，并講述了系統(tǒng)中具體模塊的設(shè)計(jì)實(shí)現(xiàn)方法。具體來(lái)說(shuō)，本文的工作有下面幾點(diǎn)1介紹了基于辦公自動(dòng)化系統(tǒng)的概念和國(guó)內(nèi)的發(fā)展?fàn)顩r，分析了開(kāi)發(fā)辦公自動(dòng)化系統(tǒng)軟件的意義；2研究了辦公自動(dòng)化系統(tǒng)的體系結(jié)構(gòu)的發(fā)展過(guò)程，根據(jù)軟硬件環(huán)境分析系統(tǒng)架構(gòu)方式；3結(jié)合系統(tǒng)設(shè)計(jì)原則進(jìn)行需求分析，根據(jù)所具備的硬件和軟件環(huán)境，分析了系統(tǒng)的可行性，設(shè)計(jì)了系統(tǒng)的總體結(jié)構(gòu)，對(duì)系統(tǒng)的功能進(jìn)行了劃分，展開(kāi)論述系統(tǒng)各個(gè)功能子系統(tǒng)應(yīng)該具備的功能和實(shí)現(xiàn)后的效果；4研究了系統(tǒng)LOTUSNOTES接口模塊實(shí)現(xiàn)的意義、方法和過(guò)程，并對(duì)本文對(duì)存在的問(wèn)題和下一步開(kāi)發(fā)的可能解決方式做了探討，全面總結(jié)了整個(gè)開(kāi)發(fā)過(guò)程。

簡(jiǎn)介：隨著現(xiàn)代化工業(yè)技術(shù)的迅速發(fā)展，對(duì)軋件的品種、規(guī)格、質(zhì)量和產(chǎn)量的要求日益提高。熱連軋過(guò)程中精軋機(jī)組控制是決定軋件厚度和質(zhì)量的關(guān)鍵技術(shù)，目前該技術(shù)在國(guó)內(nèi)外都一直處于比較活躍的發(fā)展?fàn)顩r。本文簡(jiǎn)單介紹了大型H型鋼軋機(jī)生產(chǎn)線的生產(chǎn)工藝、控制設(shè)備、控制功能，介紹了電氣傳動(dòng)系統(tǒng)的控制設(shè)備、控制系統(tǒng)?；谌R鋼大型H型鋼軋機(jī)生產(chǎn)線的控制系統(tǒng)，對(duì)熱連軋精軋機(jī)組控制系統(tǒng)的厚度控制進(jìn)行了研究，首先分析比較了國(guó)內(nèi)外近年來(lái)對(duì)于厚度控制系統(tǒng)的各種控制解決方案，然后在理論分析的基礎(chǔ)上，推導(dǎo)了三連軋機(jī)組厚度控制系統(tǒng)的數(shù)學(xué)模型，并應(yīng)用到粗軋機(jī)和精軋機(jī)組中，獲得了較好的效果。介紹了影響厚度變化的因素及其補(bǔ)償消除的原理、方法，在靜態(tài)換輥和動(dòng)態(tài)厚度控制調(diào)整方面，取得了較好的控制效果，完全滿足了生產(chǎn)工藝的控制要求。研制出了鋸切自動(dòng)控制模型和電機(jī)自動(dòng)定位模型，大型H型鋼鋸切自動(dòng)控制模型，解決了熱鋸和冷鋸運(yùn)行速度和過(guò)載之間不匹配的問(wèn)題，縮短鋸切周期所用的時(shí)間。采用位置定位控制模型解決了位置控制精度和定位效率。對(duì)模糊控制理論基礎(chǔ)、模糊控制算法以及模糊控制器的設(shè)計(jì)進(jìn)行了研究；加熱爐溫度控制采用模糊控制算法，詳細(xì)推導(dǎo)了加熱爐模糊控制器的模糊控制變量的確定、模糊控制規(guī)則的建立、模糊化運(yùn)算、模糊總控制表的形成以及模糊控制調(diào)節(jié)，模糊控制模型的運(yùn)行克服了加熱爐爐溫調(diào)節(jié)滯后時(shí)間長(zhǎng)、易超調(diào)、反應(yīng)速度慢的缺點(diǎn)，階躍響應(yīng)性能得到大大改善，不僅響應(yīng)快，而且超調(diào)小，穩(wěn)態(tài)精度高。本文對(duì)厚度控制作了詳細(xì)的理論研究，并在此基礎(chǔ)上實(shí)現(xiàn)了矯直機(jī)位置定位控制模型。本文的研究結(jié)論在生產(chǎn)現(xiàn)場(chǎng)得到了驗(yàn)證，在合同中要求考核的型鋼類型基本達(dá)到了所要求達(dá)到的技術(shù)指標(biāo)，為企業(yè)取得良好的經(jīng)濟(jì)效益提供了可靠的技術(shù)基礎(chǔ)。本文的工作對(duì)于現(xiàn)代控制理論在工業(yè)現(xiàn)場(chǎng)的應(yīng)用研究具有重要的參考價(jià)值，對(duì)于國(guó)內(nèi)同類軋機(jī)改造工作提供了參考依據(jù)。

簡(jiǎn)介：圖形用戶界面GUIGRAPHICALUSERINTERFACE是用戶和軟件交互的一個(gè)可視化平臺(tái)。近年來(lái)軟件規(guī)模日益擴(kuò)大軟件系統(tǒng)中圖形用戶界面的應(yīng)用越來(lái)越廣泛但是由于GUI控件的復(fù)雜性和偶然性單純的手工GUI測(cè)試不能滿足軟件測(cè)試人員的需求并且目前的自動(dòng)化測(cè)試工具都存在自動(dòng)化程度不高兼容性差等缺陷并不能實(shí)現(xiàn)真正的自動(dòng)化。因此開(kāi)發(fā)一種跨平臺(tái)兼容性強(qiáng)的自動(dòng)化測(cè)試工具是提高GUI測(cè)試效率的有效方法。針對(duì)目前市場(chǎng)上測(cè)試工具的自動(dòng)化測(cè)試程度普遍較低的問(wèn)題本論文在自動(dòng)化測(cè)試技術(shù)的理論基礎(chǔ)上研究并設(shè)計(jì)了一種自動(dòng)化測(cè)試工具。它采用關(guān)鍵字驅(qū)動(dòng)和數(shù)據(jù)驅(qū)動(dòng)兩者相結(jié)合的模式框架并且不同于傳統(tǒng)的根據(jù)位置記錄GUI控件信息的方式該模式根據(jù)GUI控件的屬性保存數(shù)據(jù)信息從而有效地降低了測(cè)試人員的腳本維護(hù)成本。本文主要完成以下工作用自動(dòng)搜索GUI控件信息機(jī)制代替錄制回放技術(shù)提高軟件的自動(dòng)化程度較大程度上減少了人工的參與設(shè)計(jì)可視化編輯器編寫(xiě)測(cè)試用例測(cè)試人員可以根據(jù)數(shù)據(jù)庫(kù)中的GUI控件設(shè)計(jì)測(cè)試用例保證了測(cè)試的覆蓋率根據(jù)控件的屬性信息和設(shè)計(jì)的測(cè)試用例自動(dòng)生成測(cè)試程序縮短了軟件開(kāi)發(fā)周期。本課題的研究成果可以應(yīng)用于基于GUI的WEB應(yīng)用程序的自動(dòng)化測(cè)試一定程度上提高了自動(dòng)化測(cè)試的效率能有效地減少測(cè)試人員的工作量為提高軟件質(zhì)量提供了一種行之有效的途徑。

簡(jiǎn)介：點(diǎn)擊查看更多基于本體語(yǔ)言的Web服務(wù)測(cè)試數(shù)據(jù)自動(dòng)化生成研究.pdf精彩內(nèi)容。

簡(jiǎn)介：本文進(jìn)行了在線自動(dòng)化立體倉(cāng)庫(kù)管理系統(tǒng)的功能分析及庫(kù)位分配研究。首先，論文在查閱大量與研究課題相關(guān)的文獻(xiàn)以及調(diào)研的基礎(chǔ)上，結(jié)合生產(chǎn)系統(tǒng)的需求，規(guī)劃出在線自動(dòng)化立體倉(cāng)庫(kù)管理系統(tǒng)的功能，從需求分析入手，畫(huà)出系統(tǒng)的數(shù)據(jù)流圖，研究系統(tǒng)所涉及的實(shí)體以及實(shí)體之間的關(guān)系，建立概念數(shù)據(jù)模型和邏輯數(shù)據(jù)模型，采用SQLSERVER2000開(kāi)發(fā)了自動(dòng)化倉(cāng)庫(kù)管理系統(tǒng)的數(shù)據(jù)庫(kù)。其次，根據(jù)實(shí)際要求對(duì)在線自動(dòng)化立體倉(cāng)庫(kù)的庫(kù)位分配進(jìn)行了研究。本文分析了在線自動(dòng)化立體倉(cāng)庫(kù)的主要作業(yè)需求并應(yīng)用工藝BOM建立物料和庫(kù)位的存儲(chǔ)特征碼，提出了一種應(yīng)用存儲(chǔ)特征碼的庫(kù)位分配方法，以提高出入庫(kù)作業(yè)尤其是生產(chǎn)出庫(kù)作業(yè)的效率和準(zhǔn)時(shí)性并且滿足實(shí)際生產(chǎn)中物料的工藝變化和制造系統(tǒng)的設(shè)備變化，并結(jié)合某在線自動(dòng)化立體倉(cāng)庫(kù)實(shí)例編制模擬程序進(jìn)行仿真作業(yè)，驗(yàn)證本文提出的庫(kù)位分配方法的有效性和先進(jìn)性。再次，實(shí)現(xiàn)了在線自動(dòng)化立體倉(cāng)庫(kù)管理系統(tǒng)的部分功能。最后，對(duì)論文的研究進(jìn)行了總結(jié)并對(duì)以后的研究作了展望。本文結(jié)合立體倉(cāng)庫(kù)和制造系統(tǒng)的特點(diǎn)，提出將工藝BOM應(yīng)用到庫(kù)位分配，從而使得立體倉(cāng)庫(kù)的庫(kù)位分配能適應(yīng)產(chǎn)品工藝的變化以及制造系統(tǒng)的重新配置，仿真表明該方法能減少出庫(kù)作業(yè)時(shí)間，更好地響應(yīng)生產(chǎn)出庫(kù)作業(yè)。

簡(jiǎn)介：不銹鋼薄壁材料小家電廣泛應(yīng)用于人們的日常生活中比如電熱水壺、咖啡壺、電熱鍋、電熱杯等具有極其廣闊的市場(chǎng)空間。拋光是這些器具加工中最重要的一道工序要求工件表面材料去除均勻粗糙度值較低。不銹鋼薄壁材料工件在拋光中具有工件表面易燒傷、變形、難以?shī)A持等特點(diǎn)屬于難拋光材料。目前國(guó)內(nèi)研究機(jī)構(gòu)對(duì)不銹鋼薄壁材料小家電自動(dòng)化拋光技術(shù)的研究較少且現(xiàn)有的少數(shù)設(shè)備具有限制性還不能普遍應(yīng)用于小家電拋光行業(yè)。國(guó)內(nèi)生產(chǎn)企業(yè)主要還是采用手工拋光方式存在拋光質(zhì)量和生產(chǎn)效率低、污染嚴(yán)重、勞動(dòng)力短缺等問(wèn)題嚴(yán)重制約了該生產(chǎn)行業(yè)的發(fā)展。在不銹鋼薄壁材料小家電中電熱水壺因其形狀相對(duì)復(fù)雜具有典型性因此本文主要以電熱水壺拋光為研究對(duì)象結(jié)合電熱水壺工業(yè)實(shí)際生產(chǎn)背景針對(duì)現(xiàn)有設(shè)備的不足研究了一套適合不銹鋼薄壁材料工件拋光的高效自動(dòng)化機(jī)械拋光技術(shù)并研發(fā)出了相應(yīng)的機(jī)械拋光機(jī)床和自動(dòng)化控制系統(tǒng)。這一研究對(duì)改善我國(guó)不銹鋼薄壁材料小家電拋光及同類型家用器具產(chǎn)品行業(yè)普遍依賴手工方式的現(xiàn)狀具有重要意義。第一針對(duì)不銹鋼工件建立表面材料去除率理論模型及工件表面粗糙度模型為自動(dòng)化機(jī)械拋光工藝提供了理論依據(jù)。1、運(yùn)用彈塑性力學(xué)和磨粒磨削等理論建立了工件表面材料去除率模型從微觀角度揭示了磨粒和相關(guān)工藝參數(shù)與材料去除率之間的關(guān)系。模型表明材料去除率與磨具旋轉(zhuǎn)的切線速度、工件圓周線速度、工件進(jìn)給速度和法向拋光壓力等參數(shù)成正比和磨具粒度大小、組織號(hào)等成非線性關(guān)系。2、基于回歸分析和正交試驗(yàn)的方法建立了工件表面粗糙度和拋光工藝參數(shù)之間的關(guān)系模型模型表明加工表面粗糙度隨法向拋光壓力、工件圓周線速度和進(jìn)給速度的增大而增大隨磨具旋轉(zhuǎn)切線速度的增大而減小。運(yùn)用數(shù)學(xué)仿真和試驗(yàn)驗(yàn)證的方法進(jìn)行研究分析仿真和試驗(yàn)有良好的一致性證明了這兩種建模方法的正確性對(duì)自動(dòng)化機(jī)械拋光工藝的合理規(guī)劃具有指導(dǎo)意義。第二為滿足高效拋光的要求提出了一種多工位多磨具自動(dòng)化機(jī)械拋光技術(shù)能夠分別對(duì)工件外表面和內(nèi)表面進(jìn)行拋光關(guān)鍵技術(shù)包括多工位多磨具拋光機(jī)床的結(jié)構(gòu)設(shè)計(jì)、多工位姿態(tài)同步調(diào)整裝置設(shè)計(jì)、工件夾具設(shè)計(jì)并基于這一技術(shù)設(shè)計(jì)了相應(yīng)的多工位多磨具機(jī)械拋光機(jī)床的自動(dòng)化控制系統(tǒng)。根據(jù)實(shí)際生產(chǎn)加工中磨具需要自適應(yīng)工件形狀提出了一種基于示教法的拋光刀位數(shù)據(jù)生成方法用于自動(dòng)化拋光系統(tǒng)中。第三、結(jié)合現(xiàn)行拋光工藝提出了一套適合于不銹鋼薄壁材料小家電自動(dòng)化機(jī)械拋光的工藝方法。針對(duì)工件表面形狀特征進(jìn)行分片規(guī)劃設(shè)計(jì)了自動(dòng)化機(jī)械拋光方案采用螺旋式拋光路徑作為拋光刀具的軌跡并研究了刀具軌跡數(shù)據(jù)計(jì)算方法。通過(guò)一系列試驗(yàn)并結(jié)合現(xiàn)行拋光經(jīng)驗(yàn)提出了一套適合小家電自動(dòng)化機(jī)械拋光的粗拋、半精拋、精拋的工藝流程。第四、在保證工件拋光質(zhì)量的前提下盡可能提高加工效率對(duì)自動(dòng)化機(jī)械拋光工藝參數(shù)進(jìn)行優(yōu)化實(shí)驗(yàn)研究。用正交試驗(yàn)的方法分別以材料去除率和表面粗糙度值為目標(biāo)得到了在給定實(shí)驗(yàn)條件下的最優(yōu)工藝參數(shù)組合。實(shí)驗(yàn)表明工件表面材料去除率與法向拋光壓力、磨具切線速度、工件圓周線速度和工件進(jìn)給速度成正比表面粗糙度與法向拋光壓力、工件圓周線速度和進(jìn)給速度成正比與磨具切線速度成反比。第五、基于以上的研究利用選取的最佳工藝參數(shù)組合在多工位多磨具機(jī)械拋光機(jī)床上對(duì)電熱水壺進(jìn)行批量拋磨實(shí)驗(yàn)實(shí)驗(yàn)表明拋光后的工件表面拋光質(zhì)量均勻粗糙度值較低達(dá)到企業(yè)質(zhì)量要求生產(chǎn)過(guò)程環(huán)保無(wú)污染加工效率較手工提高3倍證實(shí)了多工位多磨具自動(dòng)化機(jī)械拋光方法的正確性和優(yōu)越性。

簡(jiǎn)介：工程碩士研究生譬學(xué)位論文學(xué)號(hào)05R0244姓名韭主專業(yè)筮鮭王程導(dǎo)師程堡生學(xué)院熟往堂暄2010年3月‘’‘?！甀I’“OJ‘0，M■RI■R驢爹口‰舞’沁，’獨(dú)創(chuàng)性或創(chuàng)新性聲明本人聲明所呈交的論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標(biāo)注和致謝中所羅列的內(nèi)容以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫(xiě)過(guò)的研究成果，也不包含為獲得北京郵電大學(xué)或其他教育機(jī)構(gòu)的學(xué)位或證書(shū)而使用過(guò)的材料。與我一同工作的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說(shuō)明并表示了謝意。申請(qǐng)學(xué)位論文與資料若有不實(shí)之處，本人承擔(dān)一切相關(guān)責(zé)任。‘K本人簽名萄辱日期絲ZQ二絲二Z立關(guān)于論文使用授權(quán)的說(shuō)明本人完全了解北京郵電大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，即研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬北京郵電大學(xué)。學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和磁盤(pán)，允許學(xué)位論文被查閱和借閱；學(xué)?？梢怨紝W(xué)位論文的全部或部分內(nèi)容，可以允許采用影印、縮印或其它復(fù)制手段保存、匯編學(xué)位論文。本學(xué)位論文不屬于保密范圍，適用本授權(quán)書(shū)。本人簽名盈導(dǎo)一日期一塑旦塵二蘭匕出導(dǎo)師簽名名強(qiáng)一一日期一壘洲衛(wèi)二壘啦OL【

簡(jiǎn)介：點(diǎn)擊查看更多面向通信軟件的自動(dòng)化測(cè)試平臺(tái)的研究與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多基于Lotus Domino-Notes的辦公自動(dòng)化系統(tǒng)的設(shè)計(jì)及部分實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：隨著INTER的日益發(fā)展與普及電子信息交換已成為現(xiàn)代經(jīng)濟(jì)生活的主要形式之一它是在任意兩個(gè)互不信任的主體之間以一種公平的方式來(lái)交換電子數(shù)據(jù)。實(shí)現(xiàn)公平電子信息交換的協(xié)議被稱為公平交換協(xié)議公平性成為這類型協(xié)議的基本安全屬性目標(biāo)是實(shí)現(xiàn)數(shù)據(jù)交換而又不會(huì)使一方比另一方有獲取更多信息的優(yōu)勢(shì)促使互不信任的合作伙伴公平完成交換。公平交換協(xié)議是一類重要的安全協(xié)議而其設(shè)計(jì)是一個(gè)眾所周知的難題常常因?yàn)橐恍┘?xì)微的問(wèn)題產(chǎn)生安全缺陷。目前已有一些分析公平交換協(xié)議的形式化方法最典型和得到廣泛應(yīng)用的是信任邏輯方法。許多研究者采用擴(kuò)展的信任邏輯方法成功分析了在線可信第三方公平交換協(xié)議的不可否認(rèn)性。由于信任邏輯方法自身固有的缺陷難以用于分析樂(lè)觀型公平交換協(xié)議的公平性和時(shí)限性等性質(zhì)。樂(lè)觀型公平交換協(xié)議是目前公平交換協(xié)議研究領(lǐng)域的熱點(diǎn)之一是一種兼顧公平和效率的公平交換協(xié)議形式。在樂(lè)觀型公平交換協(xié)議中可信第三方不再直接參與數(shù)據(jù)交換只需要扮演爭(zhēng)端解決者的角色。交易過(guò)程中對(duì)可信第三方的請(qǐng)求次數(shù)遠(yuǎn)遠(yuǎn)低于其它類型的公平交換協(xié)議避免了針對(duì)可信第三方的拒絕服務(wù)攻擊。但是樂(lè)觀型公平交換協(xié)議引入了分支協(xié)議結(jié)構(gòu)協(xié)議執(zhí)行存在多種可能結(jié)果使得對(duì)該類型協(xié)議的形式化分析更加復(fù)雜和困難。本文研究工作圍繞樂(lè)觀型公平交換協(xié)議及其形式化分析技術(shù)展開(kāi)主要包括三方面內(nèi)容第一對(duì)公平交換協(xié)議及其形式化技術(shù)進(jìn)行研究綜述第二研究樂(lè)觀公平交換協(xié)議形式化模型、邏輯及其自動(dòng)證明技術(shù)第三研究樂(lè)觀公平交換協(xié)議在電子商務(wù)中的應(yīng)用和實(shí)現(xiàn)技術(shù)。論文主要工作和創(chuàng)新性成果如下1對(duì)公平交換協(xié)議的基本理論和基本性質(zhì)進(jìn)行綜述和分析對(duì)其中一些重要性質(zhì)進(jìn)行重新定義如公平性等。2對(duì)主要的公平交換協(xié)議形式化分析方法進(jìn)行綜述性研究討論各種方法的優(yōu)缺點(diǎn)及其存在的問(wèn)題。3提出一種新的樂(lè)觀公平交換協(xié)議形式化模型將信道錯(cuò)誤轉(zhuǎn)化為攻擊行為將協(xié)議參與者分為誠(chéng)實(shí)與不誠(chéng)實(shí)兩類將入侵者與不誠(chéng)實(shí)參與者的共謀歸結(jié)為兩類DOLEVYAO入侵者。新模型不再單獨(dú)考慮信道錯(cuò)誤簡(jiǎn)化了問(wèn)題空間。4提出一種樂(lè)觀公平交換協(xié)議形式化邏輯。新邏輯采用信任邏輯的句法結(jié)構(gòu)定義樂(lè)觀公平交換協(xié)議為具有KXIPKE語(yǔ)義結(jié)構(gòu)的演化系統(tǒng)。案例分析顯示新邏輯被成功用于分析樂(lè)觀型公平交換協(xié)議的公平性和時(shí)限性。5基于自動(dòng)定理證明器ISABELLE研究實(shí)現(xiàn)本文模型和邏輯的自動(dòng)定理證明技術(shù)。采用PAULSON歸納法實(shí)現(xiàn)更為主動(dòng)的攻擊者將攻擊者主動(dòng)獲取知識(shí)的能力描述為對(duì)消息進(jìn)行解析和組合的歸納函數(shù)。將信道假設(shè)對(duì)應(yīng)為不誠(chéng)實(shí)參與者的行為以降低協(xié)議模擬的復(fù)雜度。6提出雙授權(quán)部分盲簽名概念解決電子支付中銀行經(jīng)理濫用職權(quán)惡意簽發(fā)電子錢(qián)幣的問(wèn)題。設(shè)計(jì)實(shí)現(xiàn)采用雙授權(quán)的部分盲簽名機(jī)制在隨機(jī)預(yù)言機(jī)模型下證明新簽名機(jī)制是安全的。對(duì)比分析表明新機(jī)制具有較高的計(jì)算性能。7提出新的樂(lè)觀型電子支付協(xié)議。新協(xié)議采用雙授權(quán)部分盲簽名機(jī)制同時(shí)實(shí)現(xiàn)電子現(xiàn)金離線支付支付階段無(wú)須銀行在線支持和樂(lè)觀型公平交換。具有復(fù)雜結(jié)構(gòu)的安全協(xié)議形式化技術(shù)研究正在蓬勃發(fā)展本文研究工作對(duì)促進(jìn)這一研究領(lǐng)域發(fā)展和電子商務(wù)安全具有一定的理論和實(shí)用意義。

簡(jiǎn)介：通過(guò)溫?cái)D壓成型實(shí)驗(yàn)，研究了M32的鋼筋連接套筒在不同溫度擠壓成型的擠壓力的變化，硬度的大小，以及零件表面質(zhì)量等，發(fā)現(xiàn)在600°C800°C之間擠壓完成的工件中，無(wú)論是表面氧化程度，還是擠壓力的大小，在加熱到550°C640°C時(shí)完成的工件是最好的。經(jīng)過(guò)與標(biāo)準(zhǔn)件比較，用溫?cái)D壓成型工藝生產(chǎn)出來(lái)的連接套套筒滿足使用要求，所以通過(guò)溫?cái)D壓來(lái)生產(chǎn)套筒是可行的?；诔尚喂に嚨难芯?，總結(jié)了連接套多工位擠壓成形工藝模具的設(shè)計(jì)基本原則和方法，提出了適用于間歇式送料機(jī)械手的具有模塊化單元模具的三工位擠壓模具的結(jié)構(gòu)特點(diǎn)與設(shè)計(jì)要點(diǎn)，并完成了連接套擠壓工藝以及模具設(shè)計(jì)，闡述了其工作原理、主要零部件特征及功能，從而確定了連接套海量制造工藝過(guò)程。根據(jù)三工位連接套制造工藝與模具的要求，完成了連接套間歇式送料機(jī)械手傳動(dòng)機(jī)構(gòu)的設(shè)計(jì)，對(duì)其中主要的傳動(dòng)部件進(jìn)行了計(jì)算設(shè)計(jì)，解決了送料過(guò)程中出現(xiàn)的問(wèn)題。并且對(duì)與其相互配合的外部設(shè)備，如對(duì)適合與機(jī)械手送料頻率的加熱爐的計(jì)算選型，對(duì)上料裝置，下料裝置的設(shè)計(jì)等。針對(duì)傳統(tǒng)溫?cái)D壓應(yīng)力設(shè)計(jì)方法存在計(jì)算復(fù)雜、應(yīng)力體現(xiàn)不直觀等不足，根據(jù)彈性力學(xué)基本方程，利用ANSYS有限元軟件，分析組合模具中作用在工件上的凹凸模應(yīng)力分布以及機(jī)械手主要接觸和受力部分的應(yīng)力分布。結(jié)果表明最大應(yīng)力都在許用應(yīng)力范圍內(nèi)。建立三工位間歇式送料機(jī)械手的運(yùn)動(dòng)形式，研究了主機(jī)滑塊與送料機(jī)械手的運(yùn)動(dòng)規(guī)律，并用時(shí)序設(shè)計(jì)的方法規(guī)劃其運(yùn)動(dòng)，達(dá)到自動(dòng)化生產(chǎn)線各部件協(xié)調(diào)運(yùn)作，互不干涉的目的。

簡(jiǎn)介：隨著我國(guó)經(jīng)濟(jì)的迅速發(fā)展和人民物質(zhì)生活水平的不斷提高，用戶對(duì)電能質(zhì)量和供電可靠性的要求也越來(lái)越高，短時(shí)停電和電壓波動(dòng)都有可能會(huì)造成巨大的經(jīng)濟(jì)損失，然而傳統(tǒng)的配電網(wǎng)運(yùn)行管理方法已很難進(jìn)一步提高配電網(wǎng)的管理水平與供電可靠性。實(shí)現(xiàn)配電自動(dòng)化可以提高電能質(zhì)量和供電可靠性，同時(shí)還可以合理分配電能和降低損耗。站點(diǎn)監(jiān)控系統(tǒng)是配網(wǎng)自動(dòng)化技術(shù)方案的核心內(nèi)容，選擇的依據(jù)是配電網(wǎng)自動(dòng)化建設(shè)目標(biāo)以及配電網(wǎng)的實(shí)際狀況。配電網(wǎng)中需要納入配電網(wǎng)自動(dòng)化系統(tǒng)監(jiān)控考慮的站點(diǎn)主要有柱上開(kāi)關(guān)、開(kāi)關(guān)站、配電站、箱變以及臺(tái)架變等。對(duì)站點(diǎn)的監(jiān)控，包括一遙（遙信）、二遙（遙信遙測(cè)）、三遙（遙信遙測(cè)遙控）、就地控制4種基本實(shí)現(xiàn)方式。配電網(wǎng)站點(diǎn)監(jiān)控系統(tǒng)覆蓋一個(gè)城市或城市中的部分城區(qū)，涉及成千上萬(wàn)套設(shè)備，其建設(shè)過(guò)程是一個(gè)綜合性的浩大工程，如果沒(méi)有科學(xué)合理的技術(shù)方案，很難想象系統(tǒng)建成后能夠正常運(yùn)行并達(dá)到預(yù)期目的。因此，實(shí)施配電網(wǎng)站點(diǎn)監(jiān)控，要重視系統(tǒng)的方案設(shè)計(jì)，科學(xué)合理地確定系統(tǒng)的建設(shè)目標(biāo)與監(jiān)控方案，為建設(shè)一個(gè)可靠、實(shí)用、經(jīng)濟(jì)的配網(wǎng)自動(dòng)化站點(diǎn)監(jiān)控系統(tǒng)打好基礎(chǔ)。本課題圍繞配網(wǎng)自動(dòng)化四種站點(diǎn)監(jiān)控方案的特點(diǎn)、對(duì)供電可靠性指標(biāo)所做出的貢獻(xiàn)等方面展開(kāi)研究分析，本文的主要內(nèi)容有（1）了解配網(wǎng)自動(dòng)化實(shí)施范圍、系統(tǒng)結(jié)構(gòu)、站點(diǎn)監(jiān)控、終端功能配置及信息采集等情況；例如配電終端的工作特性、配電子站的概念、配電終端與子站以及子站與主站之間是通過(guò)怎樣的通信網(wǎng)絡(luò)來(lái)實(shí)現(xiàn)海量數(shù)據(jù)的傳輸。（2）研究分析配電網(wǎng)站點(diǎn)監(jiān)控方案的每一種作用對(duì)提高供電可靠性的具體影響，以及兩者之間的聯(lián)系，包括一遙、二遙、三遙以及就地控制這四種站點(diǎn)監(jiān)控方案。（3）分析AE五類地區(qū)配網(wǎng)自動(dòng)化建設(shè)目標(biāo)以及配電網(wǎng)的實(shí)際狀況與所采用的站點(diǎn)監(jiān)控方案之間的聯(lián)系。（4）舉例分析G市五類地區(qū)經(jīng)濟(jì)發(fā)展?fàn)顩r、各供電分區(qū)供電負(fù)荷密度以及對(duì)供電可靠率指標(biāo)的要求，根據(jù)上述的研究?jī)?nèi)容提出一套最適合G市基本情況的的配網(wǎng)自動(dòng)化站點(diǎn)監(jiān)控方案。本文提出的配網(wǎng)自動(dòng)化站點(diǎn)監(jiān)控系統(tǒng)方案選擇原則，能夠很好地解決傳統(tǒng)配網(wǎng)自動(dòng)化實(shí)施方案存在的缺乏統(tǒng)籌兼顧等問(wèn)題，而且簡(jiǎn)單可靠，易于實(shí)現(xiàn)，可進(jìn)一步提高供電可靠性，減少投資成本，更好的達(dá)到預(yù)想的效果。