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

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

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

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

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

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

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

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

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

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

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

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

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

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

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