簡(jiǎn)介：點(diǎn)擊查看更多C語(yǔ)言子集上的程序邏輯.pdf精彩內(nèi)容。

簡(jiǎn)介：現(xiàn)有的C語(yǔ)言編譯或代碼分析軟件大多集中于檢測(cè)C程序代碼編碼過(guò)程的正確性和結(jié)構(gòu)的準(zhǔn)確性，而對(duì)于其代碼所包含信息，譬如關(guān)鍵量信息、時(shí)間效率高低等的工具化判定還尚未普及。針對(duì)這種情況，本文從靜態(tài)分析過(guò)程入手，通過(guò)對(duì)ANSIC標(biāo)準(zhǔn)下C語(yǔ)言程序代碼詞法及語(yǔ)法形式的分析，完成了XML樹(shù)狀存儲(chǔ)結(jié)構(gòu)下對(duì)于C語(yǔ)言程序內(nèi)部信息解析、存儲(chǔ)的過(guò)程并且設(shè)計(jì)了函數(shù)時(shí)間復(fù)雜度自動(dòng)計(jì)算的算法模型并加以實(shí)現(xiàn)和驗(yàn)證。實(shí)驗(yàn)結(jié)果表明，C程序代碼內(nèi)部的關(guān)鍵量信息可以通過(guò)相應(yīng)底層解析得到很好地提取和總結(jié)歸納，同時(shí)C語(yǔ)言程序運(yùn)行時(shí)間效率的高低很大程度上取決于程序內(nèi)部函數(shù)的時(shí)間復(fù)雜度的復(fù)雜程度。程序中函數(shù)整體時(shí)間復(fù)雜度越高，運(yùn)行時(shí)間效率越低。相比于傳統(tǒng)意義上的C代碼分析方法，基于樹(shù)狀存儲(chǔ)結(jié)構(gòu)的C語(yǔ)言代碼分析的研究著眼于現(xiàn)有成型C程序內(nèi)部包含信息的分析和統(tǒng)計(jì)，其中時(shí)間復(fù)雜度自動(dòng)計(jì)算方法更側(cè)重于對(duì)C代碼的時(shí)間復(fù)雜度進(jìn)行自動(dòng)化分析和計(jì)算，從而可以更快速、準(zhǔn)確地對(duì)C程序代碼時(shí)間效率進(jìn)行判定。本文的研究成果的期望是在一定程度上使C程序開(kāi)發(fā)者和學(xué)習(xí)者可以更簡(jiǎn)潔、更方便、更直觀化地進(jìn)行C語(yǔ)言程序的分析工作，可以在未知C程序運(yùn)行之前就可對(duì)其進(jìn)行分析和計(jì)算，從而進(jìn)行前期修正，降低后期錯(cuò)誤代價(jià)，大大減輕開(kāi)發(fā)者和學(xué)習(xí)者閱讀代碼的工作量，降低學(xué)習(xí)成本，以便更好地進(jìn)行其他更具實(shí)踐意義的工作。

簡(jiǎn)介：隨著計(jì)算機(jī)技術(shù)的快速發(fā)展，計(jì)算機(jī)軟件的規(guī)模越來(lái)越大，軟件調(diào)試和維護(hù)越來(lái)越困難，其成本也越來(lái)越高，軟件的安全形勢(shì)變得越來(lái)越重要。特別是在安全攸關(guān)領(lǐng)域（例如，航空航天、高鐵、核電、醫(yī)療等領(lǐng)域），人們對(duì)高可信軟件的需求越來(lái)越大。在這些領(lǐng)域，C語(yǔ)言仍是最普遍使用的編程語(yǔ)言。而C程序中的空指針脫引用、內(nèi)存泄漏、緩沖區(qū)溢出等諸多內(nèi)存安全問(wèn)題在軟件開(kāi)發(fā)中依然突出。提高軟件質(zhì)量的方法有很多種，如軟件測(cè)試、程序分析和程序驗(yàn)證等在眾多方法中，相對(duì)有效而又經(jīng)濟(jì)的方法是程序靜態(tài)分析。針對(duì)C程序中內(nèi)存安全問(wèn)題，作者所在實(shí)驗(yàn)室的課題組開(kāi)發(fā)了一個(gè)靜態(tài)分析工具，該工具采用了符號(hào)執(zhí)行的靜態(tài)分析技術(shù)，并加入了形狀分析，為了降低靜態(tài)分析的誤報(bào)率和漏報(bào)率，以及提高分析的效率，設(shè)計(jì)了表達(dá)能力較為豐富的規(guī)范語(yǔ)言來(lái)描述程序狀態(tài)和函數(shù)行為。在該靜態(tài)分析工具的實(shí)現(xiàn)中，設(shè)計(jì)了描述函數(shù)行為的規(guī)范語(yǔ)言，包括描述程序狀態(tài)的基本斷言，描述內(nèi)存狀態(tài)的謂詞以及描述單鏈表、雙鏈表、二叉樹(shù)的形狀謂詞。該工具基于編譯框架LLVM和符號(hào)執(zhí)行分析工具KLEE，以函數(shù)為單位分析并構(gòu)造函數(shù)行為規(guī)范，該過(guò)程中需要用斷言描述程序狀態(tài)并按需抽象成形狀謂詞。為此，針對(duì)斷言設(shè)計(jì)了一系列的規(guī)范化和抽象化規(guī)則。本文的貢獻(xiàn)主要有三方面第一，設(shè)計(jì)并實(shí)現(xiàn)了描述函數(shù)行為的規(guī)范語(yǔ)言，包括描述程序狀態(tài)的基本斷言，描述內(nèi)存的謂詞以及描述單鏈表、雙鏈表、二叉樹(shù)的形狀謂詞。通過(guò)規(guī)范語(yǔ)言來(lái)記錄已分析函數(shù)的行為，可以避免重復(fù)分析，提高分析的效率。通過(guò)使用描述內(nèi)存的謂詞和形狀謂詞，該工具可以檢測(cè)內(nèi)存泄漏、空指針脫引用等內(nèi)存安全問(wèn)題以及進(jìn)行形狀分析。第二，設(shè)計(jì)并實(shí)現(xiàn)了一系列的規(guī)則來(lái)規(guī)范和抽象斷言，將程序狀態(tài)抽象成形狀謂詞，用于形狀分析。第三，利用已有的規(guī)范語(yǔ)言為C語(yǔ)言標(biāo)準(zhǔn)庫(kù)函數(shù)構(gòu)造函數(shù)行為規(guī)范。許多程序中會(huì)頻繁調(diào)用C的庫(kù)函數(shù)，為這些常用的庫(kù)函數(shù)手動(dòng)構(gòu)造行為規(guī)范可以提高分析的精度和效率。本文工作的意義在于針對(duì)C程序內(nèi)存安全問(wèn)題，提出了一套規(guī)范語(yǔ)言并針對(duì)形狀分析，提出了一系列的抽象化規(guī)則，用于精確分析單鏈表、雙鏈表和二叉樹(shù)等遞歸數(shù)據(jù)結(jié)構(gòu)程序中的內(nèi)存安全錯(cuò)誤，為以后的研究和工具擴(kuò)展奠定了基礎(chǔ)。

簡(jiǎn)介：點(diǎn)擊查看更多S-P表分析法的教學(xué)應(yīng)用研究——以《C語(yǔ)言程序設(shè)計(jì)》課程測(cè)試為例.pdf精彩內(nèi)容。

簡(jiǎn)介：對(duì)工業(yè)鍋爐進(jìn)行計(jì)算機(jī)控制是科技發(fā)展的一個(gè)潮流，在計(jì)算機(jī)控制技術(shù)的基礎(chǔ)上運(yùn)用智能控制算法更是近些年研究的熱點(diǎn)，鍋爐系統(tǒng)是集計(jì)算機(jī)控制、自動(dòng)控制、節(jié)能減排等技術(shù)的結(jié)合體。本論文以供熱鍋爐為研究對(duì)象，在實(shí)地考察鍋爐的運(yùn)行流程及控制的關(guān)鍵技術(shù)之后，針對(duì)鍋爐提出一套完整的控制方案。本文選取以下三個(gè)鍋爐控制子系統(tǒng)進(jìn)行介紹爐膛壓力控制子系統(tǒng)、蒸汽溫度控制子系統(tǒng)、汽包液位控制子系統(tǒng)。另外對(duì)鍋爐熱平衡進(jìn)行分析，制作了基于C＃語(yǔ)言的上位機(jī)監(jiān)控界面。針對(duì)不同子控制系統(tǒng)特點(diǎn)，分別提出不同的控制方式使用前饋反饋方式控制爐膛壓力，采用二級(jí)調(diào)控網(wǎng)絡(luò)方式控制蒸汽溫度，采用模糊PID控制方式控制汽包水位。本論文重點(diǎn)分析了汽包液位的模糊PID控制，分別設(shè)計(jì)PID控制器、模糊控制器、模糊PID控制器，并使用MATLAB的SIMULINK模塊對(duì)三種控制方式進(jìn)行仿真。通過(guò)對(duì)比仿真結(jié)果，得出模糊PID控制的系統(tǒng)調(diào)節(jié)時(shí)間、系統(tǒng)最大超調(diào)量、穩(wěn)態(tài)誤差等性能指標(biāo)都優(yōu)于模糊控制和PID控制，可達(dá)到最佳的控制效果。上位機(jī)界面是在微軟框架內(nèi)使用C＃語(yǔ)言編寫(xiě)的，利用XML技術(shù)實(shí)現(xiàn)系統(tǒng)數(shù)據(jù)的存儲(chǔ)功能。系統(tǒng)軟件設(shè)計(jì)主要包括登錄界面、用戶管理界面、主界面、表格顯示界面、曲線顯示界面、數(shù)據(jù)報(bào)表界面、系統(tǒng)日志界面。并實(shí)時(shí)計(jì)算鍋爐熱效率，對(duì)鍋爐的改進(jìn)提供理論依據(jù)。

簡(jiǎn)介：我國(guó)的信息化產(chǎn)業(yè)已經(jīng)經(jīng)歷了數(shù)十年的高速發(fā)展時(shí)期，而我國(guó)的企業(yè)在這數(shù)十年的超高速甚至飛速的成長(zhǎng)中，催生出了很多的集團(tuán)型企業(yè)。這些集團(tuán)型企業(yè)通常比較多元化，具體體現(xiàn)在機(jī)構(gòu)大和層次多、跨地域發(fā)展以及多行業(yè)經(jīng)營(yíng)等方面，這就造成了比如內(nèi)外協(xié)同業(yè)務(wù)多，管理流程長(zhǎng)、業(yè)務(wù)控制節(jié)點(diǎn)多和決策信息需求量大等方面的特點(diǎn)。同時(shí)，集團(tuán)型企業(yè)的高成長(zhǎng)也帶來(lái)了高風(fēng)險(xiǎn)，為了更好的管理集團(tuán)企業(yè)來(lái)降低風(fēng)險(xiǎn)，便產(chǎn)生了集團(tuán)管控這個(gè)概念。如今，集團(tuán)型企業(yè)需要面對(duì)的是更加多樣的挑戰(zhàn)，在這種復(fù)雜的大形勢(shì)下怎樣實(shí)現(xiàn)優(yōu)質(zhì)的集團(tuán)管控就顯得十分重要。這其中一個(gè)關(guān)鍵的方案就是優(yōu)化集團(tuán)型企業(yè)的全面預(yù)算體系，建立一個(gè)全面預(yù)算的管理系統(tǒng)，進(jìn)而實(shí)現(xiàn)對(duì)集團(tuán)企業(yè)各個(gè)方面的管理升級(jí)。本文經(jīng)過(guò)分析集團(tuán)型企業(yè)的實(shí)際需求和業(yè)務(wù)流程等，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)針對(duì)集團(tuán)型企業(yè)的全面預(yù)算編制管理系統(tǒng)。首先，本文描述了集團(tuán)型企業(yè)在不同層面上對(duì)全面預(yù)算編制管理系統(tǒng)的具體需求以及建立該系統(tǒng)的關(guān)鍵。分析了全面預(yù)算編制管理系統(tǒng)的功能性需求和非功能性需求，從所需設(shè)置的崗位的角度用結(jié)合用例圖的方式對(duì)系統(tǒng)的業(yè)務(wù)流程進(jìn)行具體的說(shuō)明。然后，在需求分析的基礎(chǔ)之上，對(duì)全面預(yù)算編制管理系統(tǒng)的架構(gòu)設(shè)計(jì)進(jìn)行了分析，討論并闡述了系統(tǒng)的技術(shù)架構(gòu)和關(guān)鍵技術(shù)。全面分析了預(yù)算編制管理系統(tǒng)的功能架構(gòu)，給出了系統(tǒng)的功能架構(gòu)圖，描述了功能的組成模塊，給出了整體的流程圖示。其次，進(jìn)行全面預(yù)算編制管理系統(tǒng)的詳細(xì)設(shè)計(jì)。根據(jù)功能性需求分析中的用例圖和系統(tǒng)功能架構(gòu)中對(duì)功能組成進(jìn)行分析后給出的整體流程，對(duì)功能組成的各個(gè)模塊進(jìn)行詳細(xì)設(shè)計(jì)。在設(shè)計(jì)的過(guò)程中，給出了每個(gè)模塊對(duì)應(yīng)的具體的流程圖，給出了預(yù)算編制模塊、預(yù)算審核模塊和預(yù)算審批模塊的類(lèi)圖以及預(yù)算編制和審核模塊的順序圖。在此基礎(chǔ)之上對(duì)數(shù)據(jù)庫(kù)的詳細(xì)設(shè)計(jì)進(jìn)行了描述。再次，本文在詳細(xì)設(shè)計(jì)的基礎(chǔ)上，通過(guò)活動(dòng)圖、系統(tǒng)的交互視圖和部分核心代碼對(duì)各個(gè)模塊的實(shí)現(xiàn)進(jìn)行了詳細(xì)介紹，也給出了使用測(cè)試軟件對(duì)系統(tǒng)性能等的測(cè)試結(jié)果。最后，本文對(duì)全面預(yù)算編制管理系統(tǒng)的實(shí)際項(xiàng)目應(yīng)用情況進(jìn)行了描述和分析，總結(jié)了系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)過(guò)程，也對(duì)全面預(yù)算編制管理系統(tǒng)的進(jìn)一步的提升給出了改進(jìn)意見(jiàn)。綜上所述，本文通過(guò)分析集團(tuán)型企業(yè)對(duì)全面預(yù)算編制的實(shí)際需求和業(yè)務(wù)流程，設(shè)計(jì)并實(shí)現(xiàn)了針對(duì)集團(tuán)型企業(yè)的全面預(yù)算編制管理系統(tǒng)。

簡(jiǎn)介：嵌入式領(lǐng)域要求軟件有很高的可靠性與安全性。C語(yǔ)言雖然是開(kāi)發(fā)嵌入式軟件普遍使用的語(yǔ)言但也會(huì)存在很多使用方式容易引起安全問(wèn)題。通過(guò)設(shè)計(jì)支持“C語(yǔ)言安全編程規(guī)范”的自動(dòng)化檢測(cè)工具來(lái)強(qiáng)化C語(yǔ)言使用方式已成為提高程序可靠性與安全性的一種十分有效的方法。公開(kāi)文獻(xiàn)表明我國(guó)目前幾乎沒(méi)有制定針對(duì)所有高可靠、高安全的嵌入式領(lǐng)域進(jìn)行軟件開(kāi)發(fā)的C編程標(biāo)準(zhǔn)及自主研發(fā)嵌入式領(lǐng)域的通用C代碼規(guī)則檢測(cè)工具。在眾多的編程規(guī)范中MISRAC2004已成為高可靠性、高安全性的嵌入式領(lǐng)域中非常有影響力的軟件開(kāi)發(fā)編程規(guī)范。因此設(shè)計(jì)實(shí)現(xiàn)一個(gè)基于MISRAC2004標(biāo)準(zhǔn)的通用自動(dòng)化檢測(cè)工具具有重要的現(xiàn)實(shí)意義。本論文重點(diǎn)對(duì)檢測(cè)C程序代碼是否符合MISRAC2004編程規(guī)范中規(guī)則的方法進(jìn)行了深入研究并設(shè)計(jì)實(shí)現(xiàn)了基于MISRA標(biāo)準(zhǔn)的通用C語(yǔ)言自動(dòng)化檢測(cè)工具。本文完成的主要內(nèi)容為1對(duì)現(xiàn)有靜態(tài)信息提取方法進(jìn)行研究本著提取靜態(tài)信息具有完整性與規(guī)范性的原則提出使用PARSERGENERAT中LEX和YACC構(gòu)造詞法、語(yǔ)法分析器對(duì)源程序進(jìn)行信息提取的策略并對(duì)LEX和YACC構(gòu)建詞法、語(yǔ)法分析器中的關(guān)鍵技術(shù)進(jìn)行了分析。2對(duì)比分析現(xiàn)有代碼規(guī)則檢測(cè)工具的實(shí)現(xiàn)方法針對(duì)MISRAC2004編程規(guī)范中不同規(guī)則采用對(duì)詞法分析及語(yǔ)法分析進(jìn)行擴(kuò)充的思路對(duì)本課題完成規(guī)則檢測(cè)的方法進(jìn)行了研究確立實(shí)施代碼規(guī)則檢測(cè)的方法。3對(duì)基于MISRAC2004標(biāo)準(zhǔn)的通用自動(dòng)化檢測(cè)工具進(jìn)行需求分析設(shè)計(jì)總體框架實(shí)現(xiàn)各模塊功能。包括MISRA規(guī)則配置文件的生成、維護(hù)及操作對(duì)目標(biāo)對(duì)象根據(jù)MISRA標(biāo)準(zhǔn)中不同規(guī)則分別使用YACC構(gòu)造支持MISRA標(biāo)準(zhǔn)的語(yǔ)法分析器及使用LEX構(gòu)建詞法分析器將源程序的靜態(tài)信息轉(zhuǎn)為一種中間模型應(yīng)用檢測(cè)算法對(duì)中間模型進(jìn)行遍歷、匹配等操作實(shí)現(xiàn)對(duì)MISRA規(guī)則的檢測(cè)查看與導(dǎo)出檢測(cè)結(jié)果。4以C程序代碼為待測(cè)對(duì)象對(duì)工具功能的有效性進(jìn)行驗(yàn)證結(jié)果表明本文設(shè)計(jì)實(shí)現(xiàn)的基于MISRA標(biāo)準(zhǔn)的通用C語(yǔ)言自動(dòng)化檢測(cè)工具能實(shí)現(xiàn)設(shè)計(jì)時(shí)提出的功能要求且檢測(cè)結(jié)果比較準(zhǔn)確。

簡(jiǎn)介：作為一種全新的處理器設(shè)計(jì)方法，ASIP（專(zhuān)用指令集處理器）既具有通用處理器可編程的特點(diǎn)，又具有專(zhuān)用集成電路高效能的優(yōu)點(diǎn)，近年來(lái)已經(jīng)廣泛應(yīng)用于現(xiàn)代數(shù)字信號(hào)處理領(lǐng)域。ASIP的設(shè)計(jì)已經(jīng)成為嵌入式應(yīng)用項(xiàng)目的核心任務(wù)，ASIP技術(shù)的發(fā)展也成為業(yè)界比較關(guān)注的問(wèn)題。ASIP的設(shè)計(jì)工作包括硬件電路的設(shè)計(jì)和軟件部分的設(shè)計(jì)，其中軟件部分包括ASIP匯編器和編譯器的設(shè)計(jì)。本文在項(xiàng)目組開(kāi)發(fā)的ASIP系統(tǒng)結(jié)構(gòu)和ASIP可重定向匯編器的基礎(chǔ)上，進(jìn)行了ASIP專(zhuān)用C語(yǔ)言編譯器的設(shè)計(jì)。ASIP專(zhuān)用C語(yǔ)言編譯器的開(kāi)發(fā)意義在于，使ASIP工程項(xiàng)目可以采用C語(yǔ)言進(jìn)行編程，改善了用匯編語(yǔ)言編程效率低和不易檢查的不足，提高了項(xiàng)目開(kāi)發(fā)的正確性和高效性。本文對(duì)編譯器的結(jié)構(gòu)進(jìn)行了研究，介紹了這種ASIP專(zhuān)用C語(yǔ)言編譯器的設(shè)計(jì)與實(shí)現(xiàn)過(guò)程，主要進(jìn)行了以下三方面的工作1對(duì)編譯器理論方面的研究。研究了編譯器的結(jié)構(gòu)，并對(duì)各階段的構(gòu)造方法進(jìn)行了詳細(xì)的介紹。在此基礎(chǔ)上研究了現(xiàn)在廣泛使用于UNIX平臺(tái)下的編譯器GCC，并對(duì)其前端可支持多語(yǔ)言、后端可支持多目標(biāo)的特點(diǎn)進(jìn)行了深入了解，為ASIP專(zhuān)用C語(yǔ)言編譯器的設(shè)計(jì)工作提供了理論上的支持。2設(shè)計(jì)了ASIP專(zhuān)用C語(yǔ)言的編譯器。在對(duì)編譯器設(shè)計(jì)的理論研究基礎(chǔ)上，結(jié)合了具體的ASIP硬件結(jié)構(gòu)、指令集和匯編器特點(diǎn)，展開(kāi)了編譯器的詳細(xì)設(shè)計(jì)工作。具體包括方案選擇、詳細(xì)設(shè)計(jì)和測(cè)試驗(yàn)證。首先，在對(duì)兩種設(shè)計(jì)編譯器的方案進(jìn)行比較后，選擇了準(zhǔn)確性高、開(kāi)發(fā)周期短的方案，即通過(guò)移植一種成熟的可移植的編譯器GCC的方法來(lái)實(shí)現(xiàn)ASIP編譯器。其次，根據(jù)設(shè)計(jì)要求，進(jìn)行了ASIP專(zhuān)用C語(yǔ)言編譯器的設(shè)計(jì)工作，實(shí)現(xiàn)將C語(yǔ)言程序翻譯為ASIP指令的匯編代碼的功能。最后，將編譯器嵌入了DEVC的開(kāi)發(fā)環(huán)境，為其提供了一個(gè)界面化的使用環(huán)境。3對(duì)ASIP專(zhuān)用C語(yǔ)言編譯器的功能與性能進(jìn)行測(cè)試。對(duì)ASIP編譯器功能的測(cè)試從兩方面進(jìn)行，一方面按照ASIP指令集的分類(lèi)，編寫(xiě)測(cè)試程序?qū)幾g器的各種基本功能進(jìn)行測(cè)試，另一方面對(duì)典型的實(shí)現(xiàn)完整功能的C語(yǔ)言程序進(jìn)行測(cè)試。對(duì)ASIP編譯器性能的探討主要集中于GCC的代碼優(yōu)化功能，借助于GCC的優(yōu)化功能，ASIP編譯器得到的匯編代碼相比于手工直接編寫(xiě)的匯編代碼，在性能上更勝一籌。

簡(jiǎn)介：本文主要完成對(duì)C語(yǔ)言程序設(shè)計(jì)精品課網(wǎng)站的設(shè)計(jì)與開(kāi)發(fā)。精品課程作為一個(gè)信息化的教學(xué)平臺(tái)，有著他的發(fā)展道路，目前網(wǎng)絡(luò)平臺(tái)的普及化，可以說(shuō)使得所有生活中、學(xué)習(xí)中所有的事件都能與網(wǎng)絡(luò)平臺(tái)有著一定的關(guān)系，包括購(gòu)物、債券、聊天、交友、訂餐等等，所以，當(dāng)前教育行業(yè)中，也應(yīng)該遵循這個(gè)沒(méi)有什么規(guī)定的原則，那就是網(wǎng)絡(luò)化。這樣可以很好的推動(dòng)學(xué)習(xí)的靈活性，學(xué)生不用只有在學(xué)校、課堂才能學(xué)習(xí)到知識(shí)。只要有一臺(tái)電腦、有網(wǎng)絡(luò)就可以學(xué)習(xí)自己想學(xué)習(xí)的知識(shí)。而不是教師一味的灌輸自己的知識(shí)。這樣也很好的解決了學(xué)習(xí)效率問(wèn)題。本文對(duì)C語(yǔ)言程序設(shè)計(jì)精品課網(wǎng)站的設(shè)計(jì)進(jìn)行了需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)、編碼實(shí)現(xiàn)、系統(tǒng)測(cè)試的詳細(xì)論述。在本系統(tǒng)包括課程概況、教師隊(duì)伍、課程教學(xué)、改革與研究、教學(xué)效果、教學(xué)資料、成果展示、CELEARNING、課程論壇等9大功能。本設(shè)計(jì)以ECLIPSE為開(kāi)發(fā)工具，采用當(dāng)前比較流行的MVC模式，基于SSH2框架，采用BS的結(jié)構(gòu)來(lái)設(shè)計(jì)，使用SQLSERVER2000數(shù)據(jù)庫(kù)來(lái)管理數(shù)據(jù)，使用JAVABEAN對(duì)實(shí)體類(lèi)進(jìn)行封裝，是出于對(duì)代碼的可重用性和系統(tǒng)的安全性方面考慮的，同時(shí)，動(dòng)態(tài)頁(yè)面的設(shè)計(jì)采用JSP技術(shù)來(lái)完成，WEB服務(wù)器采用TOMCAT61完成。使用STRUTS2來(lái)完成控制層的所有功能和部分顯示層的功能，使用HIBERNATE完成DAO層、持久化層，使用SPRING來(lái)完成模型層。

簡(jiǎn)介：隨著MOOC的發(fā)展，使用MOOC平臺(tái)進(jìn)行編程學(xué)習(xí)已成為越來(lái)越多用戶的選擇，所以基于WEB的虛擬化線上實(shí)驗(yàn)成為必然的趨勢(shì)。目前，市面上基于WEB的C語(yǔ)言編程環(huán)境在功能上大多很簡(jiǎn)陋，典型的方式是將程序的標(biāo)準(zhǔn)輸出回顯到實(shí)驗(yàn)者的網(wǎng)頁(yè)，尚未見(jiàn)到圖形化調(diào)試功能，對(duì)于復(fù)雜的練習(xí)，實(shí)驗(yàn)者很難利用有效的手段對(duì)程序進(jìn)行分析和排錯(cuò)。另一方面，如果形成從編輯、編譯、調(diào)試、運(yùn)行、測(cè)試的整體編程生態(tài)環(huán)境，就可采集到實(shí)驗(yàn)者各個(gè)環(huán)節(jié)中的數(shù)據(jù)，為進(jìn)一步的大數(shù)據(jù)分析和智能定向輔導(dǎo)提供研究基礎(chǔ)。為此，開(kāi)發(fā)一套具備基本調(diào)試功能的基于WEB的C語(yǔ)言IDE系統(tǒng)就顯得尤為重要。針對(duì)以上需求，本文研究了WINDOWS平臺(tái)下調(diào)試器的基本實(shí)現(xiàn)原理，根據(jù)對(duì)調(diào)試器基本原理的研究設(shè)計(jì)并實(shí)現(xiàn)了調(diào)試器內(nèi)核，同時(shí)在此基礎(chǔ)上結(jié)合WEB開(kāi)發(fā)技術(shù)設(shè)計(jì)并實(shí)現(xiàn)了基于WEB的C語(yǔ)言IDE系統(tǒng)，它提供了編譯和源碼及匯編級(jí)調(diào)試功能，實(shí)現(xiàn)了斷點(diǎn)、源碼級(jí)及匯編級(jí)的單步調(diào)試、查看寄存器、顯示變量、查看內(nèi)存等調(diào)試功能。本文首先從需求分析、系統(tǒng)功能設(shè)計(jì)、系統(tǒng)結(jié)構(gòu)設(shè)計(jì)等幾個(gè)方面對(duì)系統(tǒng)的總體設(shè)計(jì)做出了闡述，然后詳細(xì)討論了調(diào)試器內(nèi)核關(guān)鍵模塊的設(shè)計(jì)與實(shí)現(xiàn)過(guò)程，接著介紹了WEB架構(gòu)的遠(yuǎn)程調(diào)試子系統(tǒng)各個(gè)部分關(guān)鍵模塊的設(shè)計(jì)與實(shí)現(xiàn)，最后通過(guò)調(diào)試器內(nèi)核的單元測(cè)試、結(jié)合MOCK測(cè)試技術(shù)對(duì)WEB架構(gòu)的遠(yuǎn)程調(diào)試子系統(tǒng)的自動(dòng)化測(cè)試以及系統(tǒng)調(diào)試功能的集成測(cè)試對(duì)系統(tǒng)進(jìn)行了展示。本文通過(guò)對(duì)調(diào)試器技術(shù)和WEB開(kāi)發(fā)技術(shù)的研究，實(shí)現(xiàn)了基于WEB的C語(yǔ)言IDE系統(tǒng)，目前尚未見(jiàn)同類(lèi)型系統(tǒng)，它為未來(lái)打通MOOC和虛擬化編程實(shí)驗(yàn)與編程大數(shù)據(jù)分析提供了堅(jiān)實(shí)的基礎(chǔ)。

簡(jiǎn)介：隨著互聯(lián)網(wǎng)金融的發(fā)展，其國(guó)際化和專(zhuān)業(yè)化的程度也在加速提高。相應(yīng)的國(guó)內(nèi)的金融行業(yè)也有了日新月異的進(jìn)步，其中最明顯的就是信用卡及其相關(guān)業(yè)務(wù)的快速發(fā)展。因此對(duì)建立更加完善、性能可靠、可監(jiān)管全面化、能及時(shí)調(diào)整靈活變更的信用額度管理系的需求就顯得十分緊迫。本文主要采用了C＃的技術(shù)來(lái)完成對(duì)信用額度管理系統(tǒng)的設(shè)計(jì)工作。本文主要研究了當(dāng)前的信用額度管理技術(shù)的特點(diǎn)，在對(duì)其基本的概念定義、建立原則和具體模塊進(jìn)行了需求分析之后，提出采用一種混合模式的系統(tǒng)架構(gòu)，將系統(tǒng)的擴(kuò)展性和穩(wěn)定性上升到了一個(gè)新的階段，基本實(shí)現(xiàn)信用額度管理的更優(yōu)組合。本文主要就以下幾點(diǎn)內(nèi)容開(kāi)展工作1對(duì)當(dāng)今世界上信用管理的發(fā)展現(xiàn)狀進(jìn)行了分析，對(duì)比了目前我國(guó)信用額度管理系統(tǒng)現(xiàn)階段存在的不足和進(jìn)行提高的緊迫性，一定程度上突出了本文的現(xiàn)實(shí)意義。2分析了信用額度管理系統(tǒng)的系統(tǒng)需求，主要是信用額度管理系的具體概念，各個(gè)功能模塊的不同劃分以及對(duì)這些模塊的功能的具體研究。3就信用額度管理系統(tǒng)的總體架構(gòu)進(jìn)行研究，提出采用一種更符合當(dāng)前現(xiàn)實(shí)需求的架構(gòu)體系，即內(nèi)部授信與交互式增信的混合模式。4使用程序流程圖對(duì)系統(tǒng)各個(gè)模塊的功能進(jìn)行了詳細(xì)描繪，對(duì)系統(tǒng)的數(shù)據(jù)庫(kù)設(shè)計(jì)進(jìn)行研究，包括了結(jié)構(gòu)分析和數(shù)據(jù)運(yùn)行分析，給出了基于C的三層數(shù)據(jù)庫(kù)結(jié)構(gòu)實(shí)現(xiàn)。在基于混合模式的架構(gòu)下實(shí)現(xiàn)了基于C的信用額度管理系統(tǒng)。5利用互聯(lián)網(wǎng)技術(shù)及大數(shù)據(jù)決策的手段，提升貸前、貸中、貸后整體業(yè)務(wù)流的自動(dòng)化程度，為用戶提供優(yōu)質(zhì)、高效、便捷的服務(wù)體驗(yàn)。6對(duì)本文的工作進(jìn)行了全面的歸納梳理，對(duì)其中的不足給出了個(gè)人意見(jiàn)，最后展望了下一步工作的重點(diǎn)和需要改進(jìn)的地方。

簡(jiǎn)介：F搿專(zhuān)雩抄I∥3移中國(guó)科學(xué)技術(shù)大學(xué)碩士學(xué)位論文安全C語(yǔ)言形狀系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)作者姓名學(xué)科專(zhuān)業(yè)導(dǎo)師姓名完成時(shí)間李云龍計(jì)算機(jī)應(yīng)用技術(shù)邵中教授陳意云教授二。一六年四月二十一日中國(guó)科學(xué)技術(shù)大學(xué)學(xué)位論文原創(chuàng)性聲明本人聲明所呈交的學(xué)位論文，是本人在導(dǎo)師指導(dǎo)下進(jìn)行研究工作所取得的成果。除己特別加以標(biāo)注和致謝的地方外，論文中不包含任何他人已經(jīng)發(fā)表或撰寫(xiě)過(guò)的研究成果。與我一同工作的同志對(duì)本研究所做的貢獻(xiàn)均己在論文中作了明確的說(shuō)明。作者簽名之螗簽字日期五D』上業(yè)中國(guó)科學(xué)技術(shù)大學(xué)學(xué)位論文授權(quán)使用聲明作為申請(qǐng)學(xué)位的條件之一，學(xué)位論文著作權(quán)擁有者授權(quán)中國(guó)科學(xué)技術(shù)大學(xué)擁有學(xué)位論文的部分使用權(quán)，即學(xué)校有權(quán)按有關(guān)規(guī)定向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱，可以將學(xué)位論文編入中國(guó)學(xué)位論文全文數(shù)據(jù)庫(kù)等有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。本人提交的電子文檔的內(nèi)容和紙質(zhì)論文的內(nèi)容相一致。保密的學(xué)位論文在解密后也遵守此規(guī)定。／日公開(kāi)口保密年作者簽名盈立盔導(dǎo)師簽名陘主坌簽字日期坦』』』星旦簽字日期叢【B￡叢

簡(jiǎn)介：在PLC的編程規(guī)范IEC611313中，介紹了用于PLC編程的五種相關(guān)語(yǔ)言，分別是梯形圖（LD）、功能塊圖（FBD）、順序流程圖（SFC）、結(jié)構(gòu)化文本語(yǔ)言（ST）和指令表語(yǔ)言（IL）。其中ST語(yǔ)言是一種類(lèi)似于PAL、C語(yǔ)言的高級(jí)文本語(yǔ)言，它編程格式自由、程序緊湊、具有很強(qiáng)的數(shù)據(jù)處理能力，使用ST語(yǔ)言可以比較方便地實(shí)現(xiàn)復(fù)雜控制程序的編寫(xiě)。在PLC的軟件系統(tǒng)中實(shí)現(xiàn)對(duì)ST語(yǔ)言編程的支持，會(huì)大大提高PLC的編程效率，豐富PLC平臺(tái)的功能。在杭州電子科技大學(xué)智能與控制實(shí)驗(yàn)室自主研發(fā)的PLC軟件平臺(tái)CASS系統(tǒng)中，目前已經(jīng)實(shí)現(xiàn)了LD、FBD、SFC和IL指令四種語(yǔ)言編程，并且創(chuàng)造性地實(shí)現(xiàn)了在圖形化語(yǔ)言中嵌入C語(yǔ)言的編程。為了完善CASS系統(tǒng)的編程功能，使其成為完全符合IEC611313國(guó)際標(biāo)準(zhǔn)的專(zhuān)業(yè)化的工業(yè)控制軟件編程系統(tǒng)平臺(tái)，現(xiàn)需要設(shè)計(jì)實(shí)現(xiàn)對(duì)ST語(yǔ)言編程方式的支持。基于CASS系統(tǒng)中實(shí)現(xiàn)的嵌C語(yǔ)言編程的功能，本文采用語(yǔ)言轉(zhuǎn)換的思想，即將ST語(yǔ)言轉(zhuǎn)換到C語(yǔ)言，來(lái)實(shí)現(xiàn)ST語(yǔ)言的編程。文中首先對(duì)ST語(yǔ)言的編程特點(diǎn)以及語(yǔ)言轉(zhuǎn)換的相關(guān)技術(shù)進(jìn)行了大量研究，提出了一種以ST語(yǔ)言的語(yǔ)法分析為核心，對(duì)源程序的語(yǔ)法單元進(jìn)行遞歸識(shí)別及轉(zhuǎn)換處理的轉(zhuǎn)換算法。該算法主要包括ST語(yǔ)言的詞法分析算法、遞歸下降語(yǔ)法分析、基于控制流分析技術(shù)的轉(zhuǎn)換算法以及C語(yǔ)言代碼的生成，與傳統(tǒng)的用編譯原理技術(shù)實(shí)現(xiàn)轉(zhuǎn)換的方法相比，本文的算法具有結(jié)構(gòu)簡(jiǎn)潔、實(shí)現(xiàn)方便且代碼復(fù)雜度小的優(yōu)點(diǎn)。此外，本文還實(shí)現(xiàn)了ST語(yǔ)言編程平臺(tái)界面的設(shè)計(jì)。最后本文通過(guò)理論證明以及大量的實(shí)驗(yàn)對(duì)該轉(zhuǎn)換算法的正確性、源代碼膨脹率、轉(zhuǎn)換的自動(dòng)化程度等性能進(jìn)行了驗(yàn)證。實(shí)驗(yàn)證明，本文所設(shè)計(jì)的轉(zhuǎn)換算法，不但正確地實(shí)現(xiàn)了ST語(yǔ)言到C語(yǔ)言的自動(dòng)轉(zhuǎn)換，而且具有較小的源代碼膨脹率和較好的執(zhí)行效率。

簡(jiǎn)介：隨著計(jì)算機(jī)應(yīng)用的發(fā)展和軟件規(guī)模的擴(kuò)大，軟件在信息社會(huì)中扮演著越來(lái)越重要的作用，然而軟件危機(jī)的頻頻出現(xiàn)，使得諸如航天、運(yùn)輸控制系統(tǒng)、電子商務(wù)等眾多質(zhì)量關(guān)鍵應(yīng)用領(lǐng)域都對(duì)系統(tǒng)的可靠性提出了極高的要求。對(duì)軟件進(jìn)行檢測(cè)是保證軟件質(zhì)量很重要的環(huán)節(jié)，特別是靜態(tài)檢測(cè)更是軟件檢測(cè)中一種重要且有效的方法。對(duì)于當(dāng)今軟件規(guī)模和復(fù)雜度越來(lái)越高的特點(diǎn)，人工走查已經(jīng)不僅僅是費(fèi)時(shí)費(fèi)力的問(wèn)題，甚至可能是不切實(shí)際的，所以如果能夠?qū)崿F(xiàn)一個(gè)自動(dòng)化的靜態(tài)測(cè)試工具來(lái)代替人工走查，自動(dòng)化的檢測(cè)代碼，將具有很高的實(shí)用價(jià)值。首先，給出了本文的研究背景、研究現(xiàn)狀、目標(biāo)和論文的結(jié)構(gòu)組織情況，然后對(duì)軟件檢測(cè)的總體分類(lèi)情況給予了概述，重點(diǎn)介紹了靜態(tài)檢測(cè)的框架分類(lèi)及流程，并對(duì)靜態(tài)檢測(cè)的各種檢測(cè)技術(shù)給予了簡(jiǎn)單描述，例如詞法分析、規(guī)則檢測(cè)等。在以上理論基礎(chǔ)上，本文設(shè)計(jì)實(shí)現(xiàn)一個(gè)基于GJB53692005編程規(guī)范的自動(dòng)化規(guī)則靜態(tài)檢測(cè)工具。在工具的設(shè)計(jì)與實(shí)現(xiàn)之前給出了工具相關(guān)的技術(shù)介紹，而在設(shè)計(jì)與實(shí)現(xiàn)階段給出了具體的需求分析、系統(tǒng)設(shè)計(jì)、詳細(xì)設(shè)計(jì)等，該工具主要由工程輸入、預(yù)編譯、規(guī)則檢測(cè)、缺陷處理四大模塊構(gòu)成。同時(shí)給出了工具的測(cè)試與評(píng)估，結(jié)果表明該工具符合設(shè)計(jì)目標(biāo)要求。最后，本文對(duì)工作進(jìn)行總結(jié)，并提出了未來(lái)的工作方向。

簡(jiǎn)介：隨著工業(yè)自動(dòng)化的發(fā)展，出現(xiàn)了大量品牌的控制器，但是不同品牌的產(chǎn)品之間難以協(xié)同工作，這樣眾多自動(dòng)化廠商為統(tǒng)一標(biāo)準(zhǔn)做了許多工作，OPC技術(shù)也應(yīng)運(yùn)而生，OPC技術(shù)是微軟公司的標(biāo)準(zhǔn)，現(xiàn)在已經(jīng)被大多自動(dòng)化公司支持，它聯(lián)接了應(yīng)用軟件和眾多品牌的現(xiàn)場(chǎng)設(shè)備，使之可以在統(tǒng)一的系統(tǒng)下工作。針對(duì)于此，本文開(kāi)發(fā)一套基于OPC的上位機(jī)智能群梯管理系統(tǒng)，該系統(tǒng)以O(shè)PC為通信接口，使用基于的C＃語(yǔ)言編寫(xiě)程序，完成電梯群控系統(tǒng)的上位機(jī)開(kāi)發(fā)，統(tǒng)計(jì)電梯的運(yùn)行規(guī)律，近似計(jì)算各部電梯響應(yīng)目標(biāo)層的適合度，實(shí)現(xiàn)群梯控制的優(yōu)化，減少乘客的平均等待時(shí)間。本文包含群梯管理系統(tǒng)與OPCSERVER之間的信息交換、基于統(tǒng)計(jì)的電梯群控系統(tǒng)的智能算法、上位機(jī)監(jiān)控系統(tǒng)及重要信息的存儲(chǔ)。經(jīng)聯(lián)機(jī)調(diào)試，完成了群梯管理系統(tǒng)通過(guò)OPCSERVER對(duì)現(xiàn)場(chǎng)設(shè)備的控制，該系統(tǒng)能使電梯準(zhǔn)確無(wú)誤運(yùn)行，在乘客高峰期，電梯能自動(dòng)到相應(yīng)層待命，縮短了乘客的平均等待時(shí)間。通過(guò)使用OPC技術(shù)將平臺(tái)與現(xiàn)場(chǎng)設(shè)備相結(jié)合，達(dá)到了復(fù)雜管理信息系統(tǒng)對(duì)底層設(shè)備一站式管理的目的。編程人員掌握OPC技術(shù)與C＃技術(shù)后即可將該系統(tǒng)應(yīng)用于各種品牌的設(shè)備，以便于大量品牌設(shè)備的管理，這使得該系統(tǒng)在通用性、實(shí)用性方面具有較高的實(shí)用性。