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

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

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

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

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

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

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

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

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

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

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

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

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

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

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