簡介：地面雷達(dá)系統(tǒng)運(yùn)行過程中，由于地表環(huán)境復(fù)雜多變，真實目標(biāo)通常淹沒在布滿雜波和噪聲的背景中，這就需要采用先進(jìn)的地面雷達(dá)數(shù)據(jù)處理技術(shù)，消除雜波，抑制噪聲，實現(xiàn)對運(yùn)動目標(biāo)的實時精確跟蹤。本文針對地面雷達(dá)的特點(diǎn)對其數(shù)據(jù)處理算法進(jìn)行了系統(tǒng)的研究。首先分析了雷達(dá)數(shù)據(jù)處理中的估計和濾波方法，并對KALMAN濾波算法進(jìn)行MATLAB仿真驗證接著討論了地面雷達(dá)數(shù)據(jù)處理過程中的各個功能模塊，重點(diǎn)研究了航跡起始、跟蹤濾波和點(diǎn)跡航跡互聯(lián)這些雷達(dá)數(shù)據(jù)處理過程中的關(guān)鍵問題并給出具體實現(xiàn)方案，其中，航跡起始采用基于MN準(zhǔn)則的邏輯法，跟蹤濾波采用KALMAN濾波算法，點(diǎn)跡航跡互聯(lián)過程則采用最近鄰域法其次，在MATLAB環(huán)境下實現(xiàn)了地面雷達(dá)數(shù)據(jù)處理的整個過程最后，由于本文的雷達(dá)數(shù)據(jù)處理算法要整合到WINDOWS平臺下終端操控界面中，因此，又在MICROSOFTVISUALSTUDIO2010開發(fā)環(huán)境下用C語言復(fù)現(xiàn)這一過程。本文模擬多個運(yùn)動目標(biāo)且充滿虛假點(diǎn)跡的環(huán)境，在MATLAB和MICROSOFTVISUALSTUDIO2010下對地面雷達(dá)數(shù)據(jù)處理算法進(jìn)行了仿真，均能從模擬的輸入數(shù)據(jù)中提取真實運(yùn)動目標(biāo)點(diǎn)跡信息并形成穩(wěn)定的航跡，從而說明本文研究的地面雷達(dá)數(shù)據(jù)處理方法是有效的。

簡介：東北林業(yè)大學(xué)碩士學(xué)位論文基于C的帽兒山森林多資源管理系統(tǒng)的設(shè)計與開發(fā)姓名郭旭申請學(xué)位級別碩士專業(yè)森林經(jīng)理學(xué)指導(dǎo)教師劉兆剛201106ABSTRACTMANAGEMENTOFFORESTRESOURCESISTHEBASISANDPREREQUISITEFORFORESTRYPRODUCTIONFORESTI℃SOURCESHAVEMANYCHARACTERISTICS，SUCHASLARGEAMOUNTOFDATA，UPDATINGFREQUENTLYOFINF0珊ATIONDATAINTRICATEMULTIDIMENSIONALINFORMATIONDATACONNECTIONTRADITIONALMANAGEMENTMETHODSALEINADEQUATEINTHEVISUALANDINTUITIVEASPECTSITONLYMAKESDECISIONBLINDTHROUGHTHEPREVIOUSDATAWHICHWOULDBROUGHTBIGTROUBLEONBUSINESSMANAGEMENTSOADECISIONSUPPORTSYSTEMNEEDSTOPROVIDEFLEXIBLEANALYSISANDUPDATEDATATIMELYINORDERTEFLECTTHESTATUSANDDYNAMICCHANGESOFFORESTRESOURCESTHEDEVELOPMENTOFINFORMATIONANDGEOGRAPHICINFORMATIONSYSTEMTECHNOLOGYHAVEBROUGHTNEWIDEASFORTHEMANAGEMENTOFFORESTRESOURCESANDFORESTRYOPERATORSBEGANTODEVELOPDECISION。MAKINGSYSTEMUSINGCOMPUTERANDGEOGRAPHICINFORMATIONSYSTEMTOASSISTFORESTMANAGEMENTDECISIONSINORDERTOPROTECTTHESUSTAINABLEDEVELOPMENTPLANOFFORESTRESOURCES，SOTHATTHEMANAGEMENTOFFORESTRESOURCESDEVELOPEDEFFECTIVELYESTABLISHINGASOUNDSYSTEMOFMANAGEMENTRESOURCESINFORMATIONISTHEMOSTIMPORTANTTASKOFFORESTMANAGEMENTFORTHEPURPOSEOFTHEABOVE，THISARTICLEDEVELOPEDTHEMORERESOURCEINFORMATIONMANAGEMENTSYSTEMSOFFORESTBASEDONTHEDATAOFMAOERSHANEXPERIMENTALFORESTFARMBYTAKINGTHEVISUALC群ASADEVELOPMENTPLATFORM，ARCGISENGINEASDEVELOPMENTCOMPONENTSANDUSINGGEOGRAPHICINFORMATIONSYSTEMGISTHESYSTEMACHIEVEDQUERYANALYSISANDDECISIONMAKINGONAVARIETYOFFORESTRESOURCEINFORMATIONINTHEREGIONOFMAOERSHANEXPERIMENTALFORESTFARMITINCLUDESTHEBASICFUNCTIONSOFGIS，THEGENERATIONOFTHEMATICMAPS，F(xiàn)ORESTDISASTERMANAGEMENTANDOTHERFUNCTIONSANDITFINALLYCOMPLETEDAPERFECT，廿L鋤ATICFORESTRESOURCEMANAGEMENTSYSTEMOFMAOERSHANEXPERIMENTALFORESTFARMWHICHCANBEUPDATEDTHERESEARCHANDIMPLEMENTATIONOFTHESYSTEMHAVESOMEPRACTICALSIGNIFICANTEFORTLLEMANAGEMENTANDFIELDINVESTIGATIONWORKINMAOERSHANFORESTFARMKEYWORDSFORESTRESOURCESMANAGEMENTGEOGRAPHICINFORMATIONSYSTEMC撐，ARCGISENGINEⅡ

簡介：華東師范大學(xué)碩士學(xué)位論文C試題在測量第二語言學(xué)習(xí)者英語能力方面的效度研究姓名王荷申請學(xué)位級別碩士專業(yè)英語語言文學(xué)指導(dǎo)教師張逸20080401ABSTRACTCLOZEPROCEDUREWASORIGINALLYDEVELOPEDTOASSESSTHEREADABILITYOFTEXTINNATIVELANGUAGEINTHE1950STAYLOR1953LATEROTHERRESEARCHERSSUCHASOILER1973，1979ANDANDERSON1979HAVEPROPOSEDTHATCLOZEPROCEDUREISANEFFECTIVEMEANSOFMEASURINGSECONDANDFOREIGNLANGUAGEPROFICIENCYDUETOITSVARIANCEINDELETIONSTARTANDRATIOASWELLASITSSCORINGMETHOD，THEREAREAVARIETYOFCLOZEPROCEDURE，THEREPRESENTATIVESOFWHICHARECLASSICALCLOZETESTTHEFIXEDRATIOCLOZEANDTHERATIONALDELETIONCLOZE，MULTIPLECHOICEANDTHECTESTINMYTHESIS，CTESTISTOBETHEFOCUSOFSTUDYTOTESTIFYITSVALIDATIONOFCTESTONMEASURINGLEARNERS’LANGUAGEPROFICIENCYINCHINESEESLCLASSROOMTHERATIONALEOFTHESTUDYLIESINTHEFOLLOWINGTWOASPECTSFIRST，KLEINBRALEYANDRAATZBELIEVETHEREARESOMEPROBLEMSWITHTHECLASSICALCLOZE，SUCHASTHEDELETIONRATIOANDTHESCORINGMETHODTHUSTHEYHAVEDEVELOPEDCTESTASAMODIFICATIONOFCLOZETESTSTOTOTAPLEARNERS’LANGUAGEPROFICIENCYOTHERRESEARCHERSSUCHASCARROLL1987，HOWEVERHIGHLYSUSPECTEDITSRELIABILITYANDVALIDITYSECOND，THEREAREINSUFFICIENTVALIDATIONSTUDIESONCTESTINCHINA，ANDITISSTILLQUITENEWTOCHINESETEACHERSANDTESTERSINMYTHESIS，1WILLPROBEINTOITSRELIABILITYCONCURRENTVALIDITYFACEVALIDITYANDITSBACKWASHTOTHECHINESECLASSROOMTEACHINGANDTESTINGTHERESEARCHWASDIVIDEDINTOTWOPARTSTHECTESTANDTHEQUESTIONNAIRETHESUBJECTSWERECHOSENFROMTWOGRADEONECLASSESINTWOSENIORHIGHSCHOOLSWITHTHEIRSCORESOFTHESENIORHIGHSCHOOLENTRANCEEXAMSASTHECRITERIONMEASURETHETESTPAPERSWERESCOREDBYHANDANDTHEDATAWERETHENPROCESSEDTHROUGHCOMPUTERSOFTWARESPSSASFORTHERESULTSOFTHEQUESTIONNAIRE，BOTHQUANTITATIVEANDQUALITATIVEAPPROACHESWEREMADEUSEOFTOFINDOUTTHEFACEVALIDITYOFTHECTESTTHEOVERALLRESULTSSHOWTHATCTESTBEARASATISFACTORYRELIABILITYANDCONCURRENTVALIDITYBUTITSFACEVALIDITYNEEDSTOBEIMPROVEDTHUSITCANBECONCLUDEDTHATCTESTCANMEASURESECONDLANGUAGELEARNERS’LANGUAGEPROFICIENCYBUTNEEDSMOREEMPIRICALSTUDIESANDRESEARCHESTOPROVEITSFUTUREINCHINA’SESLTEACHINGANDTESTINGKEYWORDSCLOZETEST，CTEST，RELIABILITYVALIDITY

簡介：電子科技大學(xué)UNIVERSITYOFELECTRONICSCIENCETECHNOLOGYOFCHINA專業(yè)學(xué)位碩士學(xué)位論文MASTERTHESISFPROFESSIONALDEGREE（電子科技大學(xué)圖標(biāo)）論文題目基于C的成都巨思爾公司人事管理信息系統(tǒng)的設(shè)計與實現(xiàn)專業(yè)學(xué)位類別工程碩士學(xué)號201192120312作者姓名郝帥指導(dǎo)教師祝小寧教授分類號密級UDC注1學(xué)位論文基于基于C的成都巨思爾公司人事管理信息系統(tǒng)的設(shè)計與實現(xiàn)的成都巨思爾公司人事管理信息系統(tǒng)的設(shè)計與實現(xiàn)（題名和副題名）郝帥郝帥（作者姓名）指導(dǎo)教師祝小寧教授電子科技大學(xué)成都王恪高級工程師成都巨思爾人力資源公司成都祝小寧教授電子科技大學(xué)成都王恪高級工程師成都巨思爾人力資源公司成都（姓名、職稱、單位名稱）申請學(xué)位級別碩士碩士專業(yè)學(xué)位類別工程碩士工程碩士工程領(lǐng)域名稱軟件工程軟件工程提交論文日期20150327論文答辯日期20150526學(xué)位授予單位和日期電子科技大學(xué)電子科技大學(xué)2015年06月22日答辯委員會主席評閱人注1注明國際十進(jìn)分類法UDC的類號。

簡介：國內(nèi)圖書分類號TN7223國際圖書分類號62138西南交通大學(xué)研究生學(xué)位論文密級公開年級三QQ』∑級姓名呈塞墮申請學(xué)位級別王堂亟專業(yè)電工堡途皇塹堇丕指導(dǎo)老師筮蝰數(shù)拯二零一一年四月，7。乙日一令一一，年四月L口2不保密團(tuán)，使用本授權(quán)書。請在以上方框內(nèi)打‘‘V”學(xué)位論文作者簽名移京緣指導(dǎo)老師簽名意學(xué)校保留并向借閱。本人授權(quán)索，可以采用影日期齜1、諺日期弘F八F、盯

簡介：分類編號密級天滓?guī)熫么髮W(xué)單位代碼10065學(xué)號1411030074研究生學(xué)位論文念文題目基王塞倒資源的在線堂習(xí)活動遮讓與砑窒二以魚鱧面囪撾象的猩莊設(shè)讓淦逯捏為倒學(xué)生姓名申請專業(yè)名稱研究方向指導(dǎo)教師姓名提交論文日期王翌申請學(xué)位級別教宜亟現(xiàn)岱塾直這苤趣岱塾直莛丕苣亟注專業(yè)技術(shù)職稱副塾攮2Q魚生5月天津師范大學(xué)學(xué)位論文原創(chuàng)聲明本人鄭重聲明此處所提交的學(xué)位論文基于案例資源的在線學(xué)習(xí)活動設(shè)計與研究一一以C鞋面向?qū)ο蟮某绦蛟O(shè)計課程為例，是本人在導(dǎo)師指導(dǎo)下，在天津9幣范大學(xué)攻讀碩士學(xué)位期間獨(dú)立進(jìn)行研究工佟所取德的成果。據(jù)本人所知，論文中除已注明部分外不包含他人已發(fā)表或撰寫過的研究成果。對本文的研究工作徽出重要貢獻(xiàn)的個人和集體，均己在文中以明確方式注明。本聲翳的法律結(jié)果將完全由本人承擔(dān)。作者簽名王尹曰期烈6年G月2日天津師范大學(xué)學(xué)位論文使用授權(quán)書基于案例資源的在線學(xué)習(xí)活動設(shè)計與研究～一以C攆蘑向?qū)ο蟮某绦蛟O(shè)計課程為例系本人在天津師范大學(xué)玫讀學(xué)位期間在導(dǎo)師指導(dǎo)下完成的學(xué)位論文。本論文的研究成果L磅天津師范大學(xué)所有，本論文的研究內(nèi)容不得以其他單位的名義發(fā)表。本人完全了解天津師范大學(xué)關(guān)于保存、使用學(xué)位論文的規(guī)定，同意學(xué)校保留勞囪有關(guān)部門送交論文的復(fù)印件和電子版本，兔許論文被鴦閱和借閡，同意學(xué)校將論文加入中國優(yōu)秀博碩士學(xué)位論文全文數(shù)據(jù)庫和編入中國知識資源總庫。本人授權(quán)天津師范大學(xué)，可以采用影印、縮印或其他復(fù)制手段保存論文，可以公布論文的全部或部分內(nèi)容。本學(xué)位論文滿于請在以下檁應(yīng)方框內(nèi)打“4“；保密口，在年解密后適用本授權(quán)書不保密團(tuán)作者簽名王尹日期游5年多月2曰翩簽彳弘騖嘲州“

簡介：南昌大學(xué)碩士學(xué)位論文基于C在高速公路智能光纖軟基監(jiān)測系統(tǒng)中的應(yīng)用研究姓名唐鈺申請學(xué)位級別碩士專業(yè)巖土工程指導(dǎo)教師扶名福20110608ABSTRACTSOILISWIDELYDISTRIBUTEDALONGTHEFIVERLAKEANDCOASTALINOURCOUNTRYANDTHESEAREASARETYPICALLYECONOMICALLYDEVELOPEDAREASTHATURGENTLYNEEDTOBUILDTHEHIGHWAYTHEDIFFERENTCHARACTERISTICSINDIFFERENTLAYERINDIFFERENTLOCAL，UNPREDICTABLEANDOTHERCHARACTERISTICSCAUSESVARIOUSDEGREESDAMAGE，SERIOUSOREVENLIFETHREATENINGPROPERTYTOHIGHWAYCONSTRUCTIONANDOPERATIONATTHESAMETIME，THETRADITIONALMONITORINGMETHODSWITHLOWACCURACYBYTHECONSTRUCTIONDISTURBANCEANDCLIMATEANDOTHERFACTORS，CANNOTACHIEVEREALTIMEMONITORINGOFLIMITATIONS，THEREFORE，THERESEARCHONAPPLICATIONOFFIBEROPTICSENSORSTEALTIMEMONITORINGINFREEWAYNOTONLYHASTHEACADEMICVALUE，BUTALSOHASAGREATECONOMICANDSOCIALBENEFITSTHROUGHLITERATUREINVESTIGATIONTHEPAPERSUMMARIZESTHEDEVELOPMENTPROCESSOFTHEFIBEROPTICSENSORPRINCIPLE，ADVANTAGESANDAPPLICATIONSTATUSATHOMEANDABROAD，PROPOSESTHEAPPLICATIONOFFIBEROPTICSENSORSTOMONITORTHEIMPORTANCEOFREALTIMEDURINGCONSTRUCTIONOPERATIONROUTINEMONITORINGOFTHEPROBLEMSSYSTEMATICALLYOFTHEHIGHWAYSOILFOUNDATIONBASEDONFBGSENSINGTECHNOLOGYTHEHEALTHMONITORHARDWARESYSTEMOFTHESOILFOUNDATIONOFTHEHIGHWAYISESTABLISHEDBASEDONSOCKETANDADOCONTROL011VISUALBASICANDMICROSOFTACCESSPLATFORM，ADATAACQUISITIONSCHEMEISPRESENTEDANDTHESTRUCTURALHEALTHMONITORINGSOFTWARESYSTEMOFTHEHIGHWAYSOILFOUNDATIONISESTABLISHEDENABLINGALARGENUMBEROFSENSORS’DATAACQUISITIONANDDISPLAYINGOFREALTIMEDATAANDCURVEASWELLASDATASAVINGANDRETRIEVINGINDATABASEDATAACQUIREDBYTHESORWAREAREINTERMSOFTEMPERATUREANDSTRAININSTEADOFWAVELENGTHAVOIDINGTHELIMITATIONSOFTHESOFTWAREOFFEREDBYINTERROGATIONTEMPERATURE，STRAINANDPOREPRESSUREALEMONITOREDDURINGTHECONSTRUCTIONPERIODOFTHEHIGHWAYSOILFOUNDATIONTHERESULTSHOWTHECONSTRUCTIONISINANORMALSTATE，砒THESAMETIME，COMPAREDTOCONVENTIONALMONITORINGMETHODS，ITHASBEENVALIDATEDINSOFTFIBERSENSORBASEDMONITORINGISFEASIBLEKEYWORDSFBG；HIGHWAYMONITORDATAACQUISITIONIL

簡介：交通、電力、軍事等關(guān)鍵領(lǐng)域?qū)浖目煽啃院桶踩砸笤絹碓礁?，因為其?yán)重關(guān)乎國民的人身和財產(chǎn)安全。C語言在上述基礎(chǔ)領(lǐng)域軟件的開發(fā)中有廣泛的應(yīng)用。C語言靈活高效的特性允許程序員做相當(dāng)?shù)讓拥牟僮?，但也?dǎo)致C程序容易出現(xiàn)非法指針解引用、內(nèi)存泄漏、緩沖區(qū)溢出等缺陷。形式化驗證是一種可以嚴(yán)格保證程序可靠性的方法。本課題組正在研發(fā)一個安全C語言驗證器，其功能是對攜有程序標(biāo)注的安全C語言程序進(jìn)行演繹推理，驗證程序是否滿足預(yù)期規(guī)范。安全C語言驗證器中驗證條件生成器的作用是支持安全C語言和規(guī)范語言SCSL的語法，實現(xiàn)每條語句的演算規(guī)則，并根據(jù)演算規(guī)則遍歷源程序進(jìn)行演算，同時產(chǎn)生程序點(diǎn)的斷言和合理有效的驗證條件。本文的工作是對安全C語言驗證器中的驗證條件生成器進(jìn)行擴(kuò)展。本文的主要工作和貢獻(xiàn)如下第一、參與規(guī)范語言SCSL中邏輯變量、幽靈代碼、字符串類型、帶命名行為協(xié)議和多函數(shù)協(xié)議的設(shè)計，提高了規(guī)范語言的表達(dá)能力，同時獨(dú)立設(shè)計和實現(xiàn)了對應(yīng)的演算規(guī)則。第二、基于HOARE邏輯設(shè)計和實現(xiàn)跳轉(zhuǎn)語句GOTO、CONTINUE和BREAK、選擇語句SWITCH以及函數(shù)調(diào)用語句的演算規(guī)則，使得驗證器可以支持更多C的語法和控制結(jié)構(gòu)，擴(kuò)大了驗證器的適用范圍。同時實現(xiàn)了賦值語句前對全稱量化斷言和謂詞的展開，減輕了自動定理證明器的負(fù)擔(dān)。第三、根據(jù)C語言的語義提出了一種適用于程序驗證的棧區(qū)內(nèi)存模型，可以支持結(jié)構(gòu)體和多級指針等數(shù)據(jù)類型，并基于該模型實現(xiàn)了取地址、多級解引用和指針關(guān)系運(yùn)算等操作的演算規(guī)則。同時基于該模型提出了一種判斷別名的算法，能夠在應(yīng)用HOARE賦值規(guī)則前準(zhǔn)確完成別名替換。經(jīng)過上述擴(kuò)展設(shè)計與實現(xiàn)，提高了安全C語言驗證器的證明能力和可用性。目前已經(jīng)成功驗證多例C程序，其中包括快速排序、冒泡排序、字符串匹配等經(jīng)典算法。

簡介：生態(tài)風(fēng)險評價ECOLOGICALRISKASSESSMENT，ERA可用于評價外界因素對生態(tài)環(huán)境產(chǎn)生不利影響的程度，為采取有效的生態(tài)保護(hù)措施和制定合理的環(huán)境政策提供依據(jù)。當(dāng)前的生態(tài)風(fēng)險評價平臺種類較多且一般可支持常用模型的數(shù)據(jù)擬合和計算，但已有的評價工具后臺通常沒有比較完善的生態(tài)環(huán)境數(shù)據(jù)庫，不利于數(shù)據(jù)的積累，也影響了進(jìn)一步的數(shù)據(jù)挖掘。本研究針對上述問題構(gòu)建了具有數(shù)據(jù)擬合、分析數(shù)據(jù)以及數(shù)據(jù)挖掘等多方位的友好型可視化生態(tài)風(fēng)險評價系統(tǒng)，建立了包括環(huán)境毒理學(xué)數(shù)據(jù)和微生物生物學(xué)數(shù)據(jù)的生態(tài)風(fēng)險評價數(shù)據(jù)庫。主要研究內(nèi)容如下1構(gòu)建生態(tài)風(fēng)險評價數(shù)據(jù)庫。該數(shù)據(jù)庫中數(shù)據(jù)包括環(huán)境毒理學(xué)數(shù)據(jù)、環(huán)境污染物檢測數(shù)據(jù)、微生物生物學(xué)數(shù)據(jù)和實驗信息數(shù)據(jù)等。數(shù)據(jù)庫中的數(shù)據(jù)表可以根據(jù)研究需要進(jìn)行表屬性的添加和數(shù)據(jù)表的新建。另外，還開發(fā)了針對本數(shù)據(jù)庫的數(shù)據(jù)庫操作系統(tǒng)，滿足了數(shù)據(jù)查詢、上傳、數(shù)據(jù)表屬性添加和新建數(shù)據(jù)表的基本操作功能。2實現(xiàn)生態(tài)風(fēng)險評價的可視化?；谖锓N敏感性分布法，實現(xiàn)對生態(tài)風(fēng)險評價常用模型和用戶自定義模型的數(shù)據(jù)擬合及可視化使用C＃和R語言混合編程，提高系統(tǒng)擴(kuò)展性、數(shù)據(jù)處理能力和界面可視化效果。3實現(xiàn)基于R語言的數(shù)據(jù)挖掘平臺的開發(fā)。通過在該系統(tǒng)界面中嵌入R語言數(shù)據(jù)處理平臺實現(xiàn)數(shù)據(jù)挖掘功能，為數(shù)據(jù)挖掘方法實現(xiàn)生態(tài)風(fēng)險評價提供數(shù)據(jù)處理和操作平臺。綜上，本研究利用C、SQLSERVER和R混合編程的方法，實現(xiàn)生態(tài)風(fēng)險數(shù)據(jù)庫、生態(tài)風(fēng)險可視化和數(shù)據(jù)挖掘三位一體的生態(tài)風(fēng)險評價系統(tǒng)?？蔀樯鷳B(tài)風(fēng)險評價研究提供數(shù)據(jù)分析和可視化平臺，為評價生態(tài)風(fēng)險和積累生態(tài)風(fēng)險評價相關(guān)數(shù)據(jù)提供幫助。

簡介：學(xué)號2007020223研究生姓名陳文淵聯(lián)系電話15258481482EMAIL279835125所在學(xué)院傳媒學(xué)院專業(yè)教育技術(shù)學(xué)獨(dú)創(chuàng)聲明本人聲明所呈交的學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。據(jù)我所知，除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得（注如沒有其他需要特別聲明的，本欄可空）或其他教育機(jī)構(gòu)的學(xué)位或證書使用過的材料。與我一同工作的同志對本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示謝意。學(xué)位論文作者簽名導(dǎo)師簽字學(xué)位論文版權(quán)使用授權(quán)書學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解學(xué)校學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，有權(quán)保留并向國家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和磁盤，允許論文被查閱和借閱。本人授權(quán)學(xué)校學(xué)?？梢詫W(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本授權(quán)書）學(xué)位論文作者簽名導(dǎo)師簽字簽字日期年月日簽字日期年月日

簡介：分類號______________________________密級______________________________ＵＤＣ______________________________編號______________________________工程碩士學(xué)位論文基于C的工資管理系統(tǒng)基于C的工資管理系統(tǒng)學(xué)位申請人許言喆學(xué)位申請人許言喆學(xué)科專業(yè)學(xué)科專業(yè)軟件工程軟件工程指導(dǎo)教師曹義親教授指導(dǎo)教師曹義親教授答辯日期2017年5月19日答辯日期2017年5月19日獨(dú)創(chuàng)性聲明獨(dú)創(chuàng)性聲明本人鄭重聲明所呈交的學(xué)位論文是我個人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。盡我所知，除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表和撰寫的研究成果，也不包含為獲得華東交通大學(xué)或其他教育機(jī)構(gòu)的學(xué)位或證書所使用過的材料。與我一同工作的同志對本研究所做的任何貢獻(xiàn)均已在論文中作了明確的說明并表示了謝意。本人簽名_______________日期____________關(guān)于論文使用授權(quán)的說明關(guān)于論文使用授權(quán)的說明本人完全了解華東交通大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，即學(xué)校有權(quán)保留送交論文的復(fù)印件，允許論文被查閱和借閱。學(xué)校可以公布論文的全部或部分內(nèi)容，可以采用影印、縮印或其他復(fù)制手段保存論文。保密的論文在解密后遵守此規(guī)定，本論文保密期保密的論文在解密后遵守此規(guī)定，本論文保密期X年。年。學(xué)生本人簽名日期校內(nèi)導(dǎo)師簽名日期校外導(dǎo)師簽名日期

簡介：電纜是電力建設(shè)的重要原材料，且價格較高，而電纜在使用過程中要切割為不同規(guī)格的需求電纜，而由于使用過程中分配不合理，很容易產(chǎn)生電纜的資源浪費(fèi)問題。因此，需要開發(fā)一種電纜優(yōu)化分盤系統(tǒng)來增大電纜的利用率，減少資源的浪費(fèi)。根據(jù)庫存電纜原材料的規(guī)格、長度，可分為單一規(guī)格和多規(guī)格的電纜優(yōu)化分盤問題，為了減少用戶的工作量，需要研究可以同時解決單一規(guī)格和多規(guī)格問題的算法。本研究以電纜原材料長度和最少為目標(biāo)函數(shù)，以需求電纜數(shù)量、電纜原材料數(shù)量為約束條件，建立數(shù)學(xué)模型，分別應(yīng)用線性規(guī)劃和遺傳算法來解決電纜的優(yōu)化分盤問題，并采用MATLAB工具實現(xiàn)算法的編寫。針對需求電纜規(guī)模較小的情況，應(yīng)用線性規(guī)劃算法，首先枚舉出所有可行方案，然后采用分支定界法求解，進(jìn)一步考慮余料問題，得到最優(yōu)方案。針對需求電纜規(guī)模較大的情況，應(yīng)用遺傳算法，把電纜原材料編號的一種順序作為一個個體的染色體進(jìn)行編碼，其中的每個編號就代表著一個基因，基因數(shù)量為所有需求電纜的數(shù)量和，同時，根據(jù)建立的數(shù)學(xué)模型確定適應(yīng)度函數(shù)，在種群進(jìn)化過程中，應(yīng)用適應(yīng)度函數(shù)進(jìn)行評價，通過選擇、交叉、變異得到最優(yōu)解。軟件開發(fā)方面，應(yīng)用VS2010工具實現(xiàn)界面的設(shè)計，然后調(diào)用MATLAB工具實現(xiàn)的算法，考慮到兩種算法的優(yōu)缺點(diǎn)，為了最大限度減少電纜資源的浪費(fèi)，本文應(yīng)用VS2010工具分別調(diào)用了兩種算法，方便用戶針對不同情況得到最優(yōu)方案。此外，系統(tǒng)添加了庫存管理功能，避免用戶每次手動輸入電纜原材料信息，進(jìn)一步減少用戶的工作量。

簡介：當(dāng)今世界，軟件已經(jīng)在我們的生活和生產(chǎn)中發(fā)揮著基礎(chǔ)性的作用。與其重要性相伴的，是人類對軟件安全日益增加的重視。對于那些安全攸關(guān)的大型軟件系統(tǒng)，為了保證其安全可靠，已經(jīng)有各種各樣的方法被發(fā)明出來用以避免由此帶來的損失。符號執(zhí)行是一種在特定領(lǐng)域十分有效的用來提高軟件質(zhì)量的方法。符號執(zhí)行以對變量的約束代替具體數(shù)值對程序進(jìn)行模擬執(zhí)行，用相對低的代價達(dá)到較高的路徑覆蓋率，以自動化的生成測試?yán)约八褜こ绦蛑械娜毕?。SHAPECHECKER是一個面向C語言的符號執(zhí)行分析器，利用CLANG作為前端，對由源代碼編譯得到的LLVM中間表示進(jìn)行符號執(zhí)行分析，可以找出程序中諸如訪問越界、懸垂指針和算術(shù)溢出這樣的錯誤。作為一種基礎(chǔ)性的編程語言，由于其使用領(lǐng)域的敏感性和相對其他主流編程語言的脆弱性，C一直是靜態(tài)分析軟件所關(guān)注的重點(diǎn)。在本文中，為了使SHAPECHECKER分析器能夠?qū)語言的程序進(jìn)行分析，我們對其提出了一系列修改和擴(kuò)展，包含一組在符號執(zhí)行過程中引入標(biāo)記和使用類型信息的方法，使用類型信息輔助分析的過程，一組對SHAPECHECKER斷言語言和執(zhí)行狀態(tài)的擴(kuò)展，使其能夠支持對包含異常處理特性的代碼進(jìn)行正確的符號執(zhí)行分析一組對內(nèi)存狀態(tài)和內(nèi)存謂詞的修改，使SHAPECHECKER能夠檢測出使用C內(nèi)存管理機(jī)制的代碼中隱藏的缺陷。通過實現(xiàn)文中的工作，我們成功使SHAPECHECKER分析器支持對包含了虛函數(shù)調(diào)用、運(yùn)行時類型信息、異常處理等語言特性的代碼，并給出了良好的分析效果。本文提出的方法已經(jīng)在SHAPECHECKER上進(jìn)行了實驗，取得了對C語言良好的分析效果。

簡介：隨著計算機(jī)技術(shù)的不斷發(fā)展，軟件已經(jīng)融入到人們的日常生活和工作生產(chǎn)中，而隨著軟件規(guī)模和復(fù)雜度的不斷攀升，軟件的質(zhì)量依舊不盡如人意，由此造成的問題對于安全攸關(guān)的領(lǐng)域威脅極大。提高軟件的可信度是大勢所趨，其中基于演繹推理的形式化驗證方法就是主要研究方向之一。本課題組設(shè)計并開發(fā)了安全C語言驗證器，它是一款基于演繹推理的C語言程序驗證工具，采用了霍爾邏輯和形狀圖邏輯。形狀系統(tǒng)是安全C語言驗證器對于形狀圖邏輯的實現(xiàn)，用于完成堆指針相關(guān)程序語句的演算，并限制程序能夠使用的易變數(shù)據(jù)結(jié)構(gòu)及其相關(guān)操作。本工作針對形狀系統(tǒng)中存在的不足，實施了一系列改進(jìn)和擴(kuò)展。第一，擴(kuò)展了形狀系統(tǒng)的演算操作。通過為節(jié)點(diǎn)定位演算擴(kuò)展角標(biāo)表達(dá)式相關(guān)的操作規(guī)則，把該演算擴(kuò)展到適用于帶角標(biāo)的指針訪問路徑的場合，解決原本指針訪問路徑抽象表述能力不足的問題。此外，本工作還通過函數(shù)調(diào)用窗口的概念，細(xì)化和實現(xiàn)了形狀圖邏輯中最復(fù)雜的函數(shù)調(diào)用規(guī)則，使得形狀系統(tǒng)能支持帶函數(shù)調(diào)用語句的驗證。第二，改進(jìn)了形狀圖的構(gòu)造方法。形狀圖構(gòu)造方法用于從描述堆指針性質(zhì)的符號斷言構(gòu)造等價的形狀圖，以便形狀系統(tǒng)能夠根據(jù)構(gòu)造得到的形狀圖對堆指針操作語句進(jìn)行演算。本工作為該方法引入了內(nèi)置形狀謂詞，用以簡化和復(fù)用部分?jǐn)嘌悦枋?，并對不同類型的斷言施加明確的操作語義，使得形狀系統(tǒng)可以正確還原斷言描述的形狀圖，并發(fā)現(xiàn)斷言中的錯誤。此外，本工作還引入了自定義謂詞到內(nèi)置形狀謂詞的推斷方法，以盡可能規(guī)避內(nèi)置形狀謂詞引入后造成的冗余表述的問題。第三，引入了形狀檢查方法。形狀檢查方法用以檢查程序使用的易變數(shù)據(jù)結(jié)構(gòu)是否符合安全C語言的相關(guān)限定。為表示檢查操作的不同嚴(yán)格程度，本工作為形狀檢查方法引入不同的形狀級別，并通過形狀分割、形狀分析和形狀推斷這三個階段分解由易變數(shù)據(jù)結(jié)構(gòu)中不同指針域帶來的復(fù)雜性。另外，本工作還通過實現(xiàn)顯式形狀檢查和隱式形狀檢查，簡化形狀檢查方法的使用。通過本文工作，擴(kuò)展后的形狀系統(tǒng)可以處理表述能力更強(qiáng)、更為復(fù)雜的描述形狀圖的斷言，能夠支持含有函數(shù)調(diào)用的程序的演算，并且能夠靈活便捷地完成對于易變數(shù)據(jù)結(jié)構(gòu)是否符合形狀定義的檢查，最終使得形狀系統(tǒng)的功能和性能得到改善。

簡介：當(dāng)前各個國家綜合國力的競爭主要體系在人才資源的競爭，擴(kuò)大人才資源和提高人才素質(zhì)主要依靠教育。經(jīng)過多年的發(fā)展，我國已經(jīng)建立了比較完善的教育體制，但是在技能教育和終身教育方面仍然有所欠缺，特別是教育需求不斷提高，而優(yōu)質(zhì)教育資源集中于經(jīng)濟(jì)發(fā)達(dá)地區(qū)。信息技術(shù)和教育技術(shù)的發(fā)展，為我們提供了一個機(jī)遇，即通過建設(shè)網(wǎng)絡(luò)教學(xué)系統(tǒng)來擴(kuò)大教育規(guī)模、進(jìn)行技能教育，將優(yōu)質(zhì)教育資源開放給落后地區(qū)。本論文就是在這樣的背景和需求下設(shè)計和開發(fā)的。本論文的開發(fā)綜合運(yùn)用了管理信息系統(tǒng)和軟件工程理論、數(shù)據(jù)庫技術(shù)、ASP動態(tài)編程語言，以及其他WEB開發(fā)技術(shù)。論文采用了MVC設(shè)計模式，包括模型、視圖和控制三個部分，將用戶界面、控制邏輯和數(shù)據(jù)操作分離。系統(tǒng)分為四層，視圖層負(fù)責(zé)用戶界面，控制層負(fù)責(zé)請求轉(zhuǎn)發(fā)和操作控制，模型層一負(fù)責(zé)業(yè)務(wù)邏輯，模型層二負(fù)責(zé)數(shù)據(jù)庫操作。C語言教學(xué)系統(tǒng)為學(xué)生提供了一個完整的C語言網(wǎng)絡(luò)學(xué)習(xí)平臺。系統(tǒng)的功能主要包括學(xué)生學(xué)習(xí)子系統(tǒng)、教師教學(xué)子系統(tǒng)和系統(tǒng)管理模塊。其中，學(xué)生學(xué)習(xí)子系統(tǒng)包括課程學(xué)習(xí)、課程作業(yè)、課程論壇、課程考試和個人空間等模塊；教師教學(xué)子系統(tǒng)包括提問管理、站內(nèi)短信、批改作業(yè)和考試管理等模塊；系統(tǒng)管理模塊主要包括文章管理、公告管理、學(xué)生管理和教師管理。論文采用了BS架構(gòu)，使用了ASP和VB作為開發(fā)語言，采用了SQLSERVER2008作為數(shù)據(jù)庫管理系統(tǒng)，使用了VISUALSTUDIO2008作為基礎(chǔ)開發(fā)平臺。