簡介：在整個軟件生命周期內(nèi)大多數(shù)軟件系統(tǒng)都需要不斷的修改以適應(yīng)需求的變化這種無序的修改導致了軟件的內(nèi)部結(jié)構(gòu)的逐步復雜化并且難以修改和復用重構(gòu)是一種有紀律的、經(jīng)過訓練的、有條不紊的程序整理方法其目的是在不改變軟件的外在行為的前提下改進其內(nèi)部結(jié)構(gòu)對代碼中蘊涵的設(shè)計進行調(diào)整手動重構(gòu)是一項耗費時間的工作這也是阻礙重構(gòu)使用的一個原因因此提供自動化重構(gòu)工具來使重構(gòu)活動變得簡單快捷是重構(gòu)研究的一個重要方向本文對自動化重構(gòu)的發(fā)展方向進行了分析和研究探討了C＃語言對重構(gòu)支持設(shè)計并實現(xiàn)了一個支持C＃語言的自動化重構(gòu)工具SHARPREFACT

簡介：點擊查看更多嵌入式軟件的C語言代碼靜態(tài)檢查技術(shù)研究.pdf精彩內(nèi)容。

簡介：教學與管理的信息化現(xiàn)已逐步成為目前學校教育技術(shù)的重要研究課題。我校也不例外逐漸摒棄了許多傳統(tǒng)手工管理方式在辦公自動化、教學管理信息化都取得了一定的成績教學考核方式也發(fā)生了很大的變化但筆試依然是一種重點考核手段之一每學期期末的出卷工作一直沒有得到較好的改善試卷的編輯、整理工作要花費教師很多時間。隨著我校近年來學生規(guī)模的擴大教學任務(wù)日益繁重教師的工作量相應(yīng)的不斷增加迫切需要開發(fā)一個試題庫管理組卷系統(tǒng)來提高工作效率、減輕教師工作負擔、且提高試卷質(zhì)量。C語言是我校的重點建設(shè)課程之一也是我校的精品課程之一因此先建一個針對C語言為基礎(chǔ)的試題庫管理組卷系統(tǒng)嘗試出卷信息化取得成效后在推廣至全校各個課程使用。本文分析了當前國內(nèi)外試題庫組卷系統(tǒng)的研究和應(yīng)用現(xiàn)狀結(jié)合本校課程教學實際情況對系統(tǒng)的需求、采用的體系結(jié)構(gòu)進行分析并完成了C語言試題庫管理組卷系統(tǒng)的開發(fā)。本系統(tǒng)采用CS結(jié)構(gòu)使用VISUALBASIC60、ACCESS、VBA、OLE等技術(shù)開發(fā)完成。論文中詳細介紹了軟件的開發(fā)過程包括系統(tǒng)分析、系統(tǒng)總體設(shè)計、數(shù)據(jù)庫設(shè)計、系統(tǒng)各個功能模塊的實現(xiàn)和系統(tǒng)測試等。支持多種導入試題方式批量導入試題方便無需復雜格式設(shè)置導入方便、快捷支持多種數(shù)據(jù)格式圖、文、表格混排兼容WD文件格式設(shè)計并實現(xiàn)了一種快速、實用的自動組卷算法最后提出了設(shè)計需繼續(xù)研究和改進的地方完善系統(tǒng)的功能。考慮到系統(tǒng)的擴展性系統(tǒng)實現(xiàn)對試題庫的基本信息的增、刪、改等操作。可新增科目根據(jù)不同課程的特性設(shè)置符合相應(yīng)課程特點的題型、難度、重要度、章、節(jié)、知識點、參考書目信息方便日后推廣至全校各個課程使用加快我校教學管理信息化進程。

簡介：十八大以來正確履行政府職能成為轉(zhuǎn)變政府職能的首要任務(wù)。作為政府的基層單位太倉市城市管理行政執(zhí)法局在落實業(yè)務(wù)工作的同時著力推進將信息化建設(shè)與行政處罰工作的結(jié)合。在現(xiàn)代信息建設(shè)日新月異的條件下找到了改進工作作風提高工作效率提升人民滿意度的道路。本文結(jié)合太倉市城市管理的現(xiàn)狀以本局的行政處罰業(yè)務(wù)為主要研究對象實現(xiàn)了案件的網(wǎng)上審批。在實現(xiàn)的過程中本文充分考慮了開發(fā)語言、網(wǎng)絡(luò)環(huán)境、數(shù)據(jù)庫結(jié)構(gòu)以及日后的系統(tǒng)拓展設(shè)計并實現(xiàn)了立案審核、中隊審核、處罰告知、處罰決定以及結(jié)案歸檔等模塊。本系統(tǒng)在投入運行以后減少了行政執(zhí)法人員的重復工作提高了行政處罰的效率同時也減少了行政處罰案件復議以及變更的數(shù)量。文章最后從實際工作出發(fā)通過數(shù)據(jù)檢驗了本系統(tǒng)的使用成效并總結(jié)和展望了未來的發(fā)展為城管局的行政處罰工作信息化積累了寶貴經(jīng)驗也為在行政處罰領(lǐng)域開展信息系統(tǒng)建設(shè)提出了一些建設(shè)性意見。

簡介：民航空管有效文件檢索系統(tǒng)是作者在多年民航空管基層工作實踐中認為有必要建立的一個新的檢索系統(tǒng)。在現(xiàn)有檢索系統(tǒng)中存在不足，原因有三個方面一是數(shù)據(jù)量大，數(shù)據(jù)源復雜；二是數(shù)據(jù)來源途徑復雜，格式不統(tǒng)一；三是檢索無統(tǒng)一平臺，查詢效率低。論文作者正是基于以上原因進行了系統(tǒng)的設(shè)計和開發(fā)。在相關(guān)技術(shù)中采用了VISUALC＃2010作為開發(fā)工具，使用MICROSOFTSQLSERVER2008作為后臺數(shù)據(jù)庫支持，并對系統(tǒng)中用到的檢索技術(shù)進行了闡述。在系統(tǒng)需求分析過程中，對數(shù)據(jù)的來源進行了詳細描述，確定了系統(tǒng)的主要功能模塊。分為登錄模塊、用戶模塊、數(shù)據(jù)錄入模塊、分類檢索模塊、打印管理模塊和系統(tǒng)管理模塊。在系統(tǒng)設(shè)計過程中，確定了系統(tǒng)的邏輯結(jié)構(gòu)、進行了數(shù)據(jù)庫的設(shè)計、繪制了系統(tǒng)流程圖，以及對系統(tǒng)主窗口進行了設(shè)計。在系統(tǒng)功能實現(xiàn)中，使用訪問SQLSERVER數(shù)據(jù)庫；進行了公共類的設(shè)計，給出了核心代碼；對六個模塊分別進行設(shè)計和實現(xiàn)，并給出了相應(yīng)的運行結(jié)果圖。本系統(tǒng)初步實現(xiàn)了所預(yù)期的查詢功能，但作者也認識到系統(tǒng)還有可以繼續(xù)完善拓展的空間，需要進一步的研究。

簡介：點擊查看更多基于C＃的人武部人事管理系統(tǒng)設(shè)計與開發(fā).pdf精彩內(nèi)容。

簡介：C語言是近年來國內(nèi)外流行的高級程序設(shè)計語言。C語言功能強，使用靈活，表達力強，目標程序效率高，可移植性好。學習C語言已成為廣大計算機應(yīng)用人員和初學者的迫切要求。目前，職業(yè)中專學校都將C語言程序設(shè)計作為計算機專業(yè)的專業(yè)課程來學習。由于C語言概念比較復雜，規(guī)則繁多，使用靈活，對職業(yè)中專的學生來說學習比較困難。學生在編程時，經(jīng)常因為編譯錯誤而無法調(diào)試出正確的程序；或者碰到復雜程序題時，編程思路不清晰，問題分析能力差。這些都使學生很難學好C語言。為了幫助學生解決學習C語言的困難，提高學習效果，本論文嘗試設(shè)計和開發(fā)C語言程序設(shè)計學習支持系統(tǒng)，在學生學習C語言的過程中碰到困難時提供即時的幫助。為了有效地達到這樣的開發(fā)目的，必須有一種合適的技術(shù)思想來支持這個系統(tǒng)的開發(fā)，而電子績效支持系統(tǒng)正是符合這種開發(fā)的理念。本論文就是利用電子績效支持系統(tǒng)理論作為指導，以計算機作為一種工具和開發(fā)環(huán)境，開發(fā)C語言程序設(shè)計學習支持系統(tǒng)。電子績效支持系統(tǒng)是近年來企業(yè)界比較關(guān)注的用來培訓員工，提高生產(chǎn)力，改善工作績效，促進企業(yè)發(fā)展的一種電子化工具。它最初出現(xiàn)于職業(yè)培訓領(lǐng)域，在企業(yè)界獲得巨大的成功。近年來，在教育領(lǐng)域中也成了研究的熱點。主要用來促進學生的信息獲取，為教師提供工作支持，為學生提供學習支持等。將電子績效支持系統(tǒng)理論應(yīng)用于學科的學習，還是一個新的嘗試。本論文嘗試用電子績效支持系統(tǒng)理論來設(shè)計開發(fā)一個支持學生學習C語言程序設(shè)計的學習系統(tǒng)，支持學生在完成任務(wù)的過程中學習，提高學習效率。本論文采用文獻研究的方法對績效、績效技術(shù)和績效支持的概念和內(nèi)涵進行了詳細地論述，并對電子績效支持系統(tǒng)的概念、組成、特征、功能等進行了詳細的介紹，同時也論述了教育績效的概念以及與電子績效支持系統(tǒng)的關(guān)系。在對系統(tǒng)的理論基礎(chǔ)有了一定的理解和認識之后，本論文結(jié)合C語言程序設(shè)計課程的教學和學習需要，設(shè)計和開發(fā)了C語言程序設(shè)計學習支持系統(tǒng)。本論文對C語言源程序進行語料的知識分析和推理路徑設(shè)計，以及對C語言常見的復雜程序題的編程思路進行了分析；對系統(tǒng)的功能結(jié)構(gòu)進行了設(shè)計，并詳細闡述每一功能模塊的組成部分與功能；還對數(shù)據(jù)庫系統(tǒng)進行了規(guī)劃和設(shè)計。最后我們開發(fā)了一個系統(tǒng)，詳細論述了系統(tǒng)主要功能模塊的實現(xiàn)。

簡介：在新藥研發(fā)的諸多環(huán)節(jié)中，通過多中心的臨床試驗闡釋新藥的安全性和有效性至關(guān)重要，而多中心臨床試驗數(shù)據(jù)的質(zhì)量決定著臨床研究的質(zhì)量，前者又取決于對臨床研究數(shù)據(jù)的管理。通過調(diào)研國內(nèi)外的臨床數(shù)據(jù)軟件的運行模式，開發(fā)一套符合規(guī)范的先進的臨床數(shù)據(jù)采集系統(tǒng)。本課題緊密圍繞藥物臨床試驗管理規(guī)范GCP的要求，首先通過查閱CNKI文獻了解目前國內(nèi)外軟件中關(guān)于臨床試驗數(shù)據(jù)采集的基本架構(gòu)及開發(fā)工具。其次，利用開發(fā)工具VISUAL與C＃共同開發(fā)臨床試驗數(shù)據(jù)采集系統(tǒng)，臨床數(shù)據(jù)采集系統(tǒng)基于CSSRICHCLIENT富客戶端架構(gòu)，ACLE10G數(shù)據(jù)庫做為后臺運行平臺，保證數(shù)據(jù)運行的穩(wěn)定，WEBSERVICE做為中間環(huán)境被前端程序訪問，保證臨床數(shù)據(jù)采集系統(tǒng)安全與便捷。最后，由天津中醫(yī)藥臨床評價研究所臨床數(shù)據(jù)研究人員試用，根據(jù)反饋意見對產(chǎn)生的問題進行修改。根據(jù)藥物臨床試驗質(zhì)量管理規(guī)范的要求，本課題開發(fā)的臨床數(shù)據(jù)采集軟件應(yīng)包括遠程臨床數(shù)據(jù)采集功能、臨床試驗數(shù)據(jù)統(tǒng)計功能、用戶權(quán)限管理劃分功能、修改痕跡追蹤的功能、輔助研究者辦公的功能。開發(fā)的臨床數(shù)據(jù)采集系統(tǒng)可以滿足異地的研究者遠程及時、準確地錄入臨床數(shù)據(jù)，也可以將試驗數(shù)據(jù)進行簡單的統(tǒng)計分析，并可導出相應(yīng)格式的文件與SAS軟件進行對接，進行后期大規(guī)模數(shù)據(jù)統(tǒng)計計算。通過開發(fā)臨床數(shù)據(jù)采集系統(tǒng)可以進一步提升臨床藥物研究質(zhì)量的水平，有利于推動醫(yī)藥發(fā)展和國際化進程。

簡介：隨著技術(shù)的進步與人們需求的日益增加，語音信號處理問題越來越多地被應(yīng)用到實際中，從錄音筆到MP3聽歌曲，從手機的語音撥號到GPS的語音導航，越來越多的新興科技產(chǎn)物都與語音信號處理方面有關(guān)聯(lián)，這就使得語音信號處理技術(shù)成為一種重要的科學知識所被人們掌握。由于傳統(tǒng)學習語音信號處理過程中都需要進入實驗室利用實驗儀器進行輔助學習，這樣不僅浪費大量金錢去購買儀器，還需要人力進行日常的維護。在這種前提下提出將實驗轉(zhuǎn)移到計算機上，利用軟件技術(shù)構(gòu)建虛擬的實驗環(huán)境，是提高教學及科研效率、降低成本的一條有效途徑。因此本課題來源于實際的需求。隨著高性能計算機和仿真軟件的出現(xiàn)，語音信號分析逐漸從通過電子設(shè)備進行實驗的傳統(tǒng)模式轉(zhuǎn)變?yōu)槔糜嬎銠C以及利用仿真軟件進行仿真實驗的模式，從而在教學過程中加深學生的理解，提高教學效果，并且在仿真實驗的過程中也簡化了實驗過程，節(jié)約了教育經(jīng)費?；谶@種思想，開始研究語音信號分析軟件平臺的設(shè)計方案?，F(xiàn)有軟件平臺大多是由MATLAB、VB、VISUALC等語言編寫的，且編寫的軟件實現(xiàn)的功能相對比較簡單，只能實現(xiàn)簡單的參數(shù)觀測功能，不能完全滿足使用者的各項需求，現(xiàn)階段使用C編寫的軟件還只是局限于實現(xiàn)一些簡單的單一分析過程，功能非常豐富、完整的軟件現(xiàn)階段還沒有，所以此次研究的重點是使用C來設(shè)計一個語音信號分析平臺。本文介紹了一種基于C來實現(xiàn)一種可視化語音信號分析軟件的方案，針對常用的語音特征參數(shù)提取方法和實驗過程，提出一個軟件系統(tǒng)的整體框架，并給出編程實現(xiàn)的方法。最終實現(xiàn)的語音信號分析軟件可達到的目的在于輔助語音信號處理課程教學的需要，并且為廣大語音信號處理愛好者提供一個學習的環(huán)境。論文主要從以下五個方面展開首先對此軟件平臺開發(fā)的意義和所要做的工作進行了簡單的介紹；第二，論述了在語音信號處理過程中常見的一些分析量的定義及其在語音信號處理過程中的作用，在這里將語音信號的分析量從時域和頻域兩方面進行了介紹，這樣既直觀又思路清晰，并為后期的設(shè)計開發(fā)提供了理論基礎(chǔ)；第三，闡明了平臺設(shè)計的基本設(shè)計方案，介紹設(shè)計過程中要實現(xiàn)的基本功能，所使用的開發(fā)軟件以及平臺最終應(yīng)該具有的一些特點；第四，具體介紹了平臺的設(shè)計過程，在這里將介紹設(shè)計過程中的思路，以及一些功能的實現(xiàn)方法。第五，主要介紹平臺的使用方法，并且提出了平臺有待改進的一些地方。最后總結(jié)了課題，提出了下一步工作及研究的方向。

簡介：碩士學位論文碩士學位論文基于C的監(jiān)控組態(tài)軟件開發(fā)THEDEVELOPMENTOFCONFIGURATIONSOFTWAREFMONITINGCONTROLLINGBASEDONC王光哈爾濱工業(yè)大學哈爾濱工業(yè)大學2012年7月CLASSIFIEDINDEXTP273UDC6815DISSERTATIONFTHEMASTERDEGREEINENGINEERINGTHEDEVELOPMENTOFCONFIGURATIONSOFTWAREFMONITINGCONTROLLINGBASEDONCCIDATEWANGGUANGSUPERVISPROFQIUJIANBINACADEMICDEGREEAPPLIEDFMASTEROFENGINEERINGSPECIALITYCONTROLSCIENCEENGINEERINGAFFILIATIONDEPARTMENTOFCONTROLSCIENCEENGINEERINGDATEOFDEFENCEJULY2012DEGREECONFERRINGINSTITUTIONHARBININSTITUTEOFTECHNOLOGY

簡介：模塊化的應(yīng)用程序是由具有松散耦合關(guān)系的模塊組合協(xié)作而成。這些模塊相對獨立，能夠更好的被重用，從而使得軟件開發(fā)更加方便。但是，目前大多數(shù)編程語言本身并不是完全支持模塊化，在模塊間協(xié)作過程中常會出現(xiàn)未預(yù)期的，受限的訪問。在JAVA語言中，已經(jīng)得到廣泛使用的OSGI規(guī)范定義了一個模塊化框架，提供了一個建立在語言之上的模塊運行環(huán)境，能夠在運行時確保模塊間訪問的有效性。但在C語言下，缺乏這樣一個成型的架構(gòu)來支持類似的功能。針對以上的問題，本文設(shè)計并實現(xiàn)了基于C語言的模塊化框架。論文首先分析了該框架需要完成的功能，并在此基礎(chǔ)上給出框架的整體設(shè)計。然后將系統(tǒng)分為模塊加載、模塊解析、生命周期和服務(wù)四部分，并對前三部分的設(shè)計與實現(xiàn)做了詳細的介紹。其中模塊加載部分定義模塊的結(jié)構(gòu)和模塊的安裝過程。模塊解析部分重點介紹了解析過程中使用的算法。生命周期部分詳細描述了管理模塊生命周期的幾個操作。在實驗部分，部署了兩個模塊化程序的例子以驗證框架運行情況。結(jié)果表明，本文提出并實現(xiàn)的基于C語言的模塊化框架能夠確保模塊化程序正確運行，并在運行時提供模塊級別的訪問控制，達到預(yù)期目標。

簡介：C語言是近年來在國內(nèi)外得到迅速推廣應(yīng)用的一種計算機語言，許多高校不僅在計算機專業(yè)把C語言程序設(shè)計設(shè)置為學習計算機編程的入門課程，在一些非計算機專業(yè)也開設(shè)了該門課程。由于C語言知識內(nèi)容豐富且抽象，具有嚴密的邏輯性，從而讓許多學生產(chǎn)生畏難情緒，在其學習過程中也出現(xiàn)了許多問題。本研究結(jié)合教學設(shè)計的思想和績效技術(shù)的理念設(shè)計并開發(fā)出一個“C語言程序設(shè)計”電子績效支持系統(tǒng)，以幫助學生解決問題，提高C語言的學習績效；同時，通過本EPSS的設(shè)計與開發(fā)進一步驗證其理論與實踐的價值意義，并為在教育范疇中討論績效問題提供新的思路?？冃Ъ夹g(shù)是運用分析、設(shè)計、開發(fā)、實施和評價的系統(tǒng)方法來提高個人、團體和組織的工作業(yè)績的研究領(lǐng)域。它以組織的總體目標為導向，在對績效差距和原因分析的基礎(chǔ)上，制定最佳的低成本、高效益的方案來解決綜合性問題，并在實施和評估的過程中不斷改進，從而最大限度地提高個體、團體和組織的業(yè)績和效益，達到實現(xiàn)最佳績效的目的。電子績效支持系統(tǒng)是信息技術(shù)與績效技術(shù)的結(jié)合，是一種基于現(xiàn)代信息技術(shù)的績效支持系統(tǒng)，它將計算機輔助教學訓練、專家系統(tǒng)、多媒體、數(shù)據(jù)庫、人工智能等整合于一體，為用戶提供實時的、全方位的學習和工作支持。本研究采用了文獻研究法、訪談?wù){(diào)查法和軟件工程設(shè)計方法。首先通過查閱和分析電子績效支持系統(tǒng)的國內(nèi)外相關(guān)資料，在了解其含義、組件、特征和開發(fā)流程的基礎(chǔ)上，結(jié)合教學設(shè)計的思想，為C語言學習電子績效支持系統(tǒng)擬訂合理有效的設(shè)計思路然后通過對學生進行訪談和調(diào)查，深入了解并剖析學生在C語言學習過程中存在的主要問題，同時為本電子績效支持系統(tǒng)的功能體系的設(shè)計收集建議；在通過文獻法和訪談法獲取所需的廣泛理論支持及學生需求后，再進一步采用軟件工程方法來對系統(tǒng)進行設(shè)計開發(fā)。論文的第一部分闡述了本研究的背景和意義，分析了電子績效支持系統(tǒng)在國內(nèi)外的研究及應(yīng)用現(xiàn)狀。第二部分對本研究中一些主要概念及其內(nèi)涵進行梳理與澄清，對電子績效支持系統(tǒng)的定義、組成和特點進行了詳細的說明，同時論述了教育績效的概念以及與電子績效支持系統(tǒng)的關(guān)系，并闡述了系統(tǒng)研發(fā)所涉及到的主要理論。第三部分是本研究的重點，主要是運用績效技術(shù)的設(shè)計方法，對系統(tǒng)設(shè)計進行前端分析，然后根據(jù)設(shè)計原則，構(gòu)建出系統(tǒng)的總體框架和功能結(jié)構(gòu)模型，并對每個功能模塊的設(shè)計進行詳細分析，最后闡明系統(tǒng)的整個工作流程。第四部分提出了系統(tǒng)的開發(fā)方案，包括系統(tǒng)的技術(shù)架構(gòu)的確立、開發(fā)工具的選擇、后臺數(shù)據(jù)庫的設(shè)計、核心技術(shù)的實現(xiàn)以及系統(tǒng)的測試方法。論文的最后是對本研究的成果進行了總結(jié)，并指出存在的不足之處。本論文圍繞“C語言程序設(shè)計”電子績效支持系統(tǒng)的設(shè)計與開發(fā)，從理論和實踐兩方面展開研究。取得了如下研究成果本文論述了績效技術(shù)和EPSS的主要基礎(chǔ)理論，提出了將EPSS與某門具體學科相結(jié)合以幫助學生解決學習困難的設(shè)想，是將績效技術(shù)引入教育教學中的一個嘗試。通過結(jié)合績效技術(shù)、教學設(shè)計與學習理論的理念，運用績效技術(shù)的設(shè)計方法，構(gòu)建出“C語言程序設(shè)計”電子績效支持系統(tǒng)的總體框架和功能結(jié)構(gòu)模型，并對每個功能模塊的設(shè)計進行詳細分析。將系統(tǒng)的設(shè)計思想和方案落實到系統(tǒng)的開發(fā)實踐中，采用VISUALBASIC60和SQLSEVER2003等軟件開發(fā)工具，構(gòu)造出一個初始的系統(tǒng)原型，為驗證設(shè)計思想的可行性提供了一定的依據(jù)。

簡介：隨著計算機網(wǎng)絡(luò)技術(shù)的不斷發(fā)展，網(wǎng)絡(luò)考試被越來越多的學校所采用。通過傳統(tǒng)考試模式對教師教學效果進行評價，無法達到預(yù)期效果。為了做到教學考評的公平、公正，需要采用具有教學評價科學性和有效性的網(wǎng)絡(luò)考試系統(tǒng)。本文以C語言網(wǎng)絡(luò)考試系統(tǒng)為主題，以考試系統(tǒng)開發(fā)過程為主線，采用BSBROWSERSERVER，瀏覽器服務(wù)器和CSCLIENTSERVER，客戶服務(wù)器混合模式，將VBVISUALBASIC和ASPACTIVESERVERPAGES技術(shù)相結(jié)合，論述了該系統(tǒng)開發(fā)的需求分析、設(shè)計到實現(xiàn)的全過程。本文共分六部分，首先介紹研究的目的和意義及國內(nèi)外研究發(fā)展狀況，然后對相關(guān)理論基礎(chǔ)進行了介紹，重點是測試理論及試卷生成算法的優(yōu)化。系統(tǒng)需求分析部分，介紹了需求分析的過程和結(jié)果，并利用UMLUNIFIEDMODELINGLANGUAGE進行了用例分析，系統(tǒng)設(shè)計部分除介紹系統(tǒng)總體設(shè)計和詳細設(shè)計過程外，系統(tǒng)實現(xiàn)和系統(tǒng)測試部分，論述了重點功能模塊實現(xiàn)和測試的全過程。本人在系統(tǒng)實現(xiàn)過程中，對網(wǎng)絡(luò)考試的在線控制和對試卷生成算法的實現(xiàn)都進行了改進。本系統(tǒng)在我校C語言課程考試中試運行穩(wěn)定，并取得了良好的使用效果。

簡介：用形式化方法開發(fā)軟件被當今計算機界譽為克服軟件危機、提高軟件可靠性和生產(chǎn)效率的革命性途徑是實現(xiàn)軟件自動化的關(guān)鍵薛錦云教授在國家863和多項國家自然科學基金的資助下根據(jù)多年從事算法程序設(shè)計理論研究的成果提出了一種實用的開發(fā)和證明算法程序的方法PAR方法該項研究是PAR方法開發(fā)算法程序的一個重要步驟也是兩項國家自然科學基金課題基于PAR方法的算法設(shè)計形式化和自動化研究和PAR方法應(yīng)用于JAVA程序開發(fā)方法研究的子課題該研究主要完成了以下工作1、比較APLA語言和C＃語言的文法研究兩種語言之間的關(guān)系并得出APLAC＃的轉(zhuǎn)換規(guī)則2、利用PAR方法研制了核心轉(zhuǎn)換器以自擴展的方式將APLA語言定義的組合數(shù)據(jù)類型轉(zhuǎn)換為C＃類從而將其進一步生成動態(tài)鏈接庫DLL3、研究APLA語言中的泛型程序設(shè)計機制得出C＃實現(xiàn)APLA中類型參數(shù)化機制的方法并在C＃預(yù)定義組合數(shù)據(jù)類型庫中實現(xiàn)了泛型思想4、研制APLA到C＃自動程序轉(zhuǎn)換系統(tǒng)在部件庫的支持下轉(zhuǎn)換系統(tǒng)能實現(xiàn)帶有類型參數(shù)化的APLA程序的轉(zhuǎn)換5、用PAR方法推導了大量典型的APLA程序用其對自動程序轉(zhuǎn)換系統(tǒng)進行了測試在該系統(tǒng)的研制過程中進行了多方面的創(chuàng)新集成化的軟件開發(fā)環(huán)境、組合數(shù)據(jù)類型的方便使用性、精巧和復雜算法的語言描述及實現(xiàn)、GENERIC機制實現(xiàn)的C＃可重用部件庫等該系統(tǒng)中的APLA語言預(yù)定義組合數(shù)據(jù)類型均由PAR方法推導得到由核心轉(zhuǎn)換器轉(zhuǎn)換生成C?？芍赜貌考斐浞直ＷC了可重用部件庫的正確性系統(tǒng)集詞法分析、語法分析、語義一致性分析、轉(zhuǎn)換、編譯、運行為一體便于經(jīng)形式化推導和證明得到的算法程序的直接運行有利于高可靠性軟件的開發(fā)該項研究是語言從抽象到具體的自動求精過程使非創(chuàng)造性的勞動機械化可節(jié)約大量勞動力系統(tǒng)的研制成功將大幅度地提高C＃程序設(shè)計的效率和可靠性能為有效克服軟件危機做出一定的貢獻

簡介：根據(jù)大型項目硬件設(shè)計TOPDOWN的設(shè)計流程，考慮到DOLBYAC3解碼的高度復雜性，直接設(shè)計DOLBYAC3硬件解碼器比較困難因此該論文用C語言對DOLBYAC3解碼器成功的進行了系統(tǒng)級設(shè)計和驗證，以硬件解碼器的設(shè)計奠定了良好的基礎(chǔ)，也增強了VLSI設(shè)計中心在數(shù)字音頻領(lǐng)域的科研能力該文詳細介紹了DOLBYAC3的特點，幀格式，應(yīng)用的領(lǐng)域，編碼流程和解碼流程，在深入分析解碼流程的同步和錯誤檢測，解包BSI，指數(shù)解碼，比特分配，尾數(shù)的處理，去耦合，重新矩陣處理，頻域到時域的反變換，窗口疊加和相加，向下混合，PCM輸出等系統(tǒng)級的設(shè)計和驗證已成為各設(shè)計公司設(shè)計大型項目的必要流程C語言系統(tǒng)設(shè)計和驗證為接下來的硬件設(shè)計提供了堅實的基礎(chǔ)和可靠的依據(jù)