-
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 82
大小: 3.11(MB)
子文件數:
-
簡介:現有的C語言編譯或代碼分析軟件大多集中于檢測C程序代碼編碼過程的正確性和結構的準確性,而對于其代碼所包含信息,譬如關鍵量信息、時間效率高低等的工具化判定還尚未普及。針對這種情況,本文從靜態(tài)分析過程入手,通過對ANSIC標準下C語言程序代碼詞法及語法形式的分析,完成了XML樹狀存儲結構下對于C語言程序內部信息解析、存儲的過程并且設計了函數時間復雜度自動計算的算法模型并加以實現和驗證。實驗結果表明,C程序代碼內部的關鍵量信息可以通過相應底層解析得到很好地提取和總結歸納,同時C語言程序運行時間效率的高低很大程度上取決于程序內部函數的時間復雜度的復雜程度。程序中函數整體時間復雜度越高,運行時間效率越低。相比于傳統意義上的C代碼分析方法,基于樹狀存儲結構的C語言代碼分析的研究著眼于現有成型C程序內部包含信息的分析和統計,其中時間復雜度自動計算方法更側重于對C代碼的時間復雜度進行自動化分析和計算,從而可以更快速、準確地對C程序代碼時間效率進行判定。本文的研究成果的期望是在一定程度上使C程序開發(fā)者和學習者可以更簡潔、更方便、更直觀化地進行C語言程序的分析工作,可以在未知C程序運行之前就可對其進行分析和計算,從而進行前期修正,降低后期錯誤代價,大大減輕開發(fā)者和學習者閱讀代碼的工作量,降低學習成本,以便更好地進行其他更具實踐意義的工作。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 62
大?。?1.37(MB)
子文件數:
-
簡介:隨著計算機技術的快速發(fā)展,計算機軟件的規(guī)模越來越大,軟件調試和維護越來越困難,其成本也越來越高,軟件的安全形勢變得越來越重要。特別是在安全攸關領域(例如,航空航天、高鐵、核電、醫(yī)療等領域),人們對高可信軟件的需求越來越大。在這些領域,C語言仍是最普遍使用的編程語言。而C程序中的空指針脫引用、內存泄漏、緩沖區(qū)溢出等諸多內存安全問題在軟件開發(fā)中依然突出。提高軟件質量的方法有很多種,如軟件測試、程序分析和程序驗證等在眾多方法中,相對有效而又經濟的方法是程序靜態(tài)分析。針對C程序中內存安全問題,作者所在實驗室的課題組開發(fā)了一個靜態(tài)分析工具,該工具采用了符號執(zhí)行的靜態(tài)分析技術,并加入了形狀分析,為了降低靜態(tài)分析的誤報率和漏報率,以及提高分析的效率,設計了表達能力較為豐富的規(guī)范語言來描述程序狀態(tài)和函數行為。在該靜態(tài)分析工具的實現中,設計了描述函數行為的規(guī)范語言,包括描述程序狀態(tài)的基本斷言,描述內存狀態(tài)的謂詞以及描述單鏈表、雙鏈表、二叉樹的形狀謂詞。該工具基于編譯框架LLVM和符號執(zhí)行分析工具KLEE,以函數為單位分析并構造函數行為規(guī)范,該過程中需要用斷言描述程序狀態(tài)并按需抽象成形狀謂詞。為此,針對斷言設計了一系列的規(guī)范化和抽象化規(guī)則。本文的貢獻主要有三方面第一,設計并實現了描述函數行為的規(guī)范語言,包括描述程序狀態(tài)的基本斷言,描述內存的謂詞以及描述單鏈表、雙鏈表、二叉樹的形狀謂詞。通過規(guī)范語言來記錄已分析函數的行為,可以避免重復分析,提高分析的效率。通過使用描述內存的謂詞和形狀謂詞,該工具可以檢測內存泄漏、空指針脫引用等內存安全問題以及進行形狀分析。第二,設計并實現了一系列的規(guī)則來規(guī)范和抽象斷言,將程序狀態(tài)抽象成形狀謂詞,用于形狀分析。第三,利用已有的規(guī)范語言為C語言標準庫函數構造函數行為規(guī)范。許多程序中會頻繁調用C的庫函數,為這些常用的庫函數手動構造行為規(guī)范可以提高分析的精度和效率。本文工作的意義在于針對C程序內存安全問題,提出了一套規(guī)范語言并針對形狀分析,提出了一系列的抽象化規(guī)則,用于精確分析單鏈表、雙鏈表和二叉樹等遞歸數據結構程序中的內存安全錯誤,為以后的研究和工具擴展奠定了基礎。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 82
大?。?3.12(MB)
子文件數:
-
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 64
大小: 5.99(MB)
子文件數:
-
簡介:對工業(yè)鍋爐進行計算機控制是科技發(fā)展的一個潮流,在計算機控制技術的基礎上運用智能控制算法更是近些年研究的熱點,鍋爐系統是集計算機控制、自動控制、節(jié)能減排等技術的結合體。本論文以供熱鍋爐為研究對象,在實地考察鍋爐的運行流程及控制的關鍵技術之后,針對鍋爐提出一套完整的控制方案。本文選取以下三個鍋爐控制子系統進行介紹爐膛壓力控制子系統、蒸汽溫度控制子系統、汽包液位控制子系統。另外對鍋爐熱平衡進行分析,制作了基于C#語言的上位機監(jiān)控界面。針對不同子控制系統特點,分別提出不同的控制方式使用前饋反饋方式控制爐膛壓力,采用二級調控網絡方式控制蒸汽溫度,采用模糊PID控制方式控制汽包水位。本論文重點分析了汽包液位的模糊PID控制,分別設計PID控制器、模糊控制器、模糊PID控制器,并使用MATLAB的SIMULINK模塊對三種控制方式進行仿真。通過對比仿真結果,得出模糊PID控制的系統調節(jié)時間、系統最大超調量、穩(wěn)態(tài)誤差等性能指標都優(yōu)于模糊控制和PID控制,可達到最佳的控制效果。上位機界面是在微軟框架內使用C#語言編寫的,利用XML技術實現系統數據的存儲功能。系統軟件設計主要包括登錄界面、用戶管理界面、主界面、表格顯示界面、曲線顯示界面、數據報表界面、系統日志界面。并實時計算鍋爐熱效率,對鍋爐的改進提供理論依據。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 59
大小: 13.36(MB)
子文件數:
-
簡介:我國的信息化產業(yè)已經經歷了數十年的高速發(fā)展時期,而我國的企業(yè)在這數十年的超高速甚至飛速的成長中,催生出了很多的集團型企業(yè)。這些集團型企業(yè)通常比較多元化,具體體現在機構大和層次多、跨地域發(fā)展以及多行業(yè)經營等方面,這就造成了比如內外協同業(yè)務多,管理流程長、業(yè)務控制節(jié)點多和決策信息需求量大等方面的特點。同時,集團型企業(yè)的高成長也帶來了高風險,為了更好的管理集團企業(yè)來降低風險,便產生了集團管控這個概念。如今,集團型企業(yè)需要面對的是更加多樣的挑戰(zhàn),在這種復雜的大形勢下怎樣實現優(yōu)質的集團管控就顯得十分重要。這其中一個關鍵的方案就是優(yōu)化集團型企業(yè)的全面預算體系,建立一個全面預算的管理系統,進而實現對集團企業(yè)各個方面的管理升級。本文經過分析集團型企業(yè)的實際需求和業(yè)務流程等,設計并實現了一個針對集團型企業(yè)的全面預算編制管理系統。首先,本文描述了集團型企業(yè)在不同層面上對全面預算編制管理系統的具體需求以及建立該系統的關鍵。分析了全面預算編制管理系統的功能性需求和非功能性需求,從所需設置的崗位的角度用結合用例圖的方式對系統的業(yè)務流程進行具體的說明。然后,在需求分析的基礎之上,對全面預算編制管理系統的架構設計進行了分析,討論并闡述了系統的技術架構和關鍵技術。全面分析了預算編制管理系統的功能架構,給出了系統的功能架構圖,描述了功能的組成模塊,給出了整體的流程圖示。其次,進行全面預算編制管理系統的詳細設計。根據功能性需求分析中的用例圖和系統功能架構中對功能組成進行分析后給出的整體流程,對功能組成的各個模塊進行詳細設計。在設計的過程中,給出了每個模塊對應的具體的流程圖,給出了預算編制模塊、預算審核模塊和預算審批模塊的類圖以及預算編制和審核模塊的順序圖。在此基礎之上對數據庫的詳細設計進行了描述。再次,本文在詳細設計的基礎上,通過活動圖、系統的交互視圖和部分核心代碼對各個模塊的實現進行了詳細介紹,也給出了使用測試軟件對系統性能等的測試結果。最后,本文對全面預算編制管理系統的實際項目應用情況進行了描述和分析,總結了系統的設計和實現過程,也對全面預算編制管理系統的進一步的提升給出了改進意見。綜上所述,本文通過分析集團型企業(yè)對全面預算編制的實際需求和業(yè)務流程,設計并實現了針對集團型企業(yè)的全面預算編制管理系統。
下載積分: 5 賞幣
上傳時間:2024-03-08
頁數: 76
大?。?2.99(MB)
子文件數:
-
簡介:嵌入式領域要求軟件有很高的可靠性與安全性。C語言雖然是開發(fā)嵌入式軟件普遍使用的語言但也會存在很多使用方式容易引起安全問題。通過設計支持“C語言安全編程規(guī)范”的自動化檢測工具來強化C語言使用方式已成為提高程序可靠性與安全性的一種十分有效的方法。公開文獻表明我國目前幾乎沒有制定針對所有高可靠、高安全的嵌入式領域進行軟件開發(fā)的C編程標準及自主研發(fā)嵌入式領域的通用C代碼規(guī)則檢測工具。在眾多的編程規(guī)范中MISRAC2004已成為高可靠性、高安全性的嵌入式領域中非常有影響力的軟件開發(fā)編程規(guī)范。因此設計實現一個基于MISRAC2004標準的通用自動化檢測工具具有重要的現實意義。本論文重點對檢測C程序代碼是否符合MISRAC2004編程規(guī)范中規(guī)則的方法進行了深入研究并設計實現了基于MISRA標準的通用C語言自動化檢測工具。本文完成的主要內容為1對現有靜態(tài)信息提取方法進行研究本著提取靜態(tài)信息具有完整性與規(guī)范性的原則提出使用PARSERGENERAT中LEX和YACC構造詞法、語法分析器對源程序進行信息提取的策略并對LEX和YACC構建詞法、語法分析器中的關鍵技術進行了分析。2對比分析現有代碼規(guī)則檢測工具的實現方法針對MISRAC2004編程規(guī)范中不同規(guī)則采用對詞法分析及語法分析進行擴充的思路對本課題完成規(guī)則檢測的方法進行了研究確立實施代碼規(guī)則檢測的方法。3對基于MISRAC2004標準的通用自動化檢測工具進行需求分析設計總體框架實現各模塊功能。包括MISRA規(guī)則配置文件的生成、維護及操作對目標對象根據MISRA標準中不同規(guī)則分別使用YACC構造支持MISRA標準的語法分析器及使用LEX構建詞法分析器將源程序的靜態(tài)信息轉為一種中間模型應用檢測算法對中間模型進行遍歷、匹配等操作實現對MISRA規(guī)則的檢測查看與導出檢測結果。4以C程序代碼為待測對象對工具功能的有效性進行驗證結果表明本文設計實現的基于MISRA標準的通用C語言自動化檢測工具能實現設計時提出的功能要求且檢測結果比較準確。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 101
大?。?4.11(MB)
子文件數:
-
簡介:作為一種全新的處理器設計方法,ASIP(專用指令集處理器)既具有通用處理器可編程的特點,又具有專用集成電路高效能的優(yōu)點,近年來已經廣泛應用于現代數字信號處理領域。ASIP的設計已經成為嵌入式應用項目的核心任務,ASIP技術的發(fā)展也成為業(yè)界比較關注的問題。ASIP的設計工作包括硬件電路的設計和軟件部分的設計,其中軟件部分包括ASIP匯編器和編譯器的設計。本文在項目組開發(fā)的ASIP系統結構和ASIP可重定向匯編器的基礎上,進行了ASIP專用C語言編譯器的設計。ASIP專用C語言編譯器的開發(fā)意義在于,使ASIP工程項目可以采用C語言進行編程,改善了用匯編語言編程效率低和不易檢查的不足,提高了項目開發(fā)的正確性和高效性。本文對編譯器的結構進行了研究,介紹了這種ASIP專用C語言編譯器的設計與實現過程,主要進行了以下三方面的工作1對編譯器理論方面的研究。研究了編譯器的結構,并對各階段的構造方法進行了詳細的介紹。在此基礎上研究了現在廣泛使用于UNIX平臺下的編譯器GCC,并對其前端可支持多語言、后端可支持多目標的特點進行了深入了解,為ASIP專用C語言編譯器的設計工作提供了理論上的支持。2設計了ASIP專用C語言的編譯器。在對編譯器設計的理論研究基礎上,結合了具體的ASIP硬件結構、指令集和匯編器特點,展開了編譯器的詳細設計工作。具體包括方案選擇、詳細設計和測試驗證。首先,在對兩種設計編譯器的方案進行比較后,選擇了準確性高、開發(fā)周期短的方案,即通過移植一種成熟的可移植的編譯器GCC的方法來實現ASIP編譯器。其次,根據設計要求,進行了ASIP專用C語言編譯器的設計工作,實現將C語言程序翻譯為ASIP指令的匯編代碼的功能。最后,將編譯器嵌入了DEVC的開發(fā)環(huán)境,為其提供了一個界面化的使用環(huán)境。3對ASIP專用C語言編譯器的功能與性能進行測試。對ASIP編譯器功能的測試從兩方面進行,一方面按照ASIP指令集的分類,編寫測試程序對編譯器的各種基本功能進行測試,另一方面對典型的實現完整功能的C語言程序進行測試。對ASIP編譯器性能的探討主要集中于GCC的代碼優(yōu)化功能,借助于GCC的優(yōu)化功能,ASIP編譯器得到的匯編代碼相比于手工直接編寫的匯編代碼,在性能上更勝一籌。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 104
大小: 3.04(MB)
子文件數:
-
簡介:本文主要完成對C語言程序設計精品課網站的設計與開發(fā)。精品課程作為一個信息化的教學平臺,有著他的發(fā)展道路,目前網絡平臺的普及化,可以說使得所有生活中、學習中所有的事件都能與網絡平臺有著一定的關系,包括購物、債券、聊天、交友、訂餐等等,所以,當前教育行業(yè)中,也應該遵循這個沒有什么規(guī)定的原則,那就是網絡化。這樣可以很好的推動學習的靈活性,學生不用只有在學校、課堂才能學習到知識。只要有一臺電腦、有網絡就可以學習自己想學習的知識。而不是教師一味的灌輸自己的知識。這樣也很好的解決了學習效率問題。本文對C語言程序設計精品課網站的設計進行了需求分析、概要設計、詳細設計、編碼實現、系統測試的詳細論述。在本系統包括課程概況、教師隊伍、課程教學、改革與研究、教學效果、教學資料、成果展示、CELEARNING、課程論壇等9大功能。本設計以ECLIPSE為開發(fā)工具,采用當前比較流行的MVC模式,基于SSH2框架,采用BS的結構來設計,使用SQLSERVER2000數據庫來管理數據,使用JAVABEAN對實體類進行封裝,是出于對代碼的可重用性和系統的安全性方面考慮的,同時,動態(tài)頁面的設計采用JSP技術來完成,WEB服務器采用TOMCAT61完成。使用STRUTS2來完成控制層的所有功能和部分顯示層的功能,使用HIBERNATE完成DAO層、持久化層,使用SPRING來完成模型層。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 55
大小: 4.73(MB)
子文件數:
-
簡介:隨著MOOC的發(fā)展,使用MOOC平臺進行編程學習已成為越來越多用戶的選擇,所以基于WEB的虛擬化線上實驗成為必然的趨勢。目前,市面上基于WEB的C語言編程環(huán)境在功能上大多很簡陋,典型的方式是將程序的標準輸出回顯到實驗者的網頁,尚未見到圖形化調試功能,對于復雜的練習,實驗者很難利用有效的手段對程序進行分析和排錯。另一方面,如果形成從編輯、編譯、調試、運行、測試的整體編程生態(tài)環(huán)境,就可采集到實驗者各個環(huán)節(jié)中的數據,為進一步的大數據分析和智能定向輔導提供研究基礎。為此,開發(fā)一套具備基本調試功能的基于WEB的C語言IDE系統就顯得尤為重要。針對以上需求,本文研究了WINDOWS平臺下調試器的基本實現原理,根據對調試器基本原理的研究設計并實現了調試器內核,同時在此基礎上結合WEB開發(fā)技術設計并實現了基于WEB的C語言IDE系統,它提供了編譯和源碼及匯編級調試功能,實現了斷點、源碼級及匯編級的單步調試、查看寄存器、顯示變量、查看內存等調試功能。本文首先從需求分析、系統功能設計、系統結構設計等幾個方面對系統的總體設計做出了闡述,然后詳細討論了調試器內核關鍵模塊的設計與實現過程,接著介紹了WEB架構的遠程調試子系統各個部分關鍵模塊的設計與實現,最后通過調試器內核的單元測試、結合MOCK測試技術對WEB架構的遠程調試子系統的自動化測試以及系統調試功能的集成測試對系統進行了展示。本文通過對調試器技術和WEB開發(fā)技術的研究,實現了基于WEB的C語言IDE系統,目前尚未見同類型系統,它為未來打通MOOC和虛擬化編程實驗與編程大數據分析提供了堅實的基礎。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 89
大?。?3.25(MB)
子文件數:
-
簡介:隨著互聯網金融的發(fā)展,其國際化和專業(yè)化的程度也在加速提高。相應的國內的金融行業(yè)也有了日新月異的進步,其中最明顯的就是信用卡及其相關業(yè)務的快速發(fā)展。因此對建立更加完善、性能可靠、可監(jiān)管全面化、能及時調整靈活變更的信用額度管理系的需求就顯得十分緊迫。本文主要采用了C#的技術來完成對信用額度管理系統的設計工作。本文主要研究了當前的信用額度管理技術的特點,在對其基本的概念定義、建立原則和具體模塊進行了需求分析之后,提出采用一種混合模式的系統架構,將系統的擴展性和穩(wěn)定性上升到了一個新的階段,基本實現信用額度管理的更優(yōu)組合。本文主要就以下幾點內容開展工作1對當今世界上信用管理的發(fā)展現狀進行了分析,對比了目前我國信用額度管理系統現階段存在的不足和進行提高的緊迫性,一定程度上突出了本文的現實意義。2分析了信用額度管理系統的系統需求,主要是信用額度管理系的具體概念,各個功能模塊的不同劃分以及對這些模塊的功能的具體研究。3就信用額度管理系統的總體架構進行研究,提出采用一種更符合當前現實需求的架構體系,即內部授信與交互式增信的混合模式。4使用程序流程圖對系統各個模塊的功能進行了詳細描繪,對系統的數據庫設計進行研究,包括了結構分析和數據運行分析,給出了基于C的三層數據庫結構實現。在基于混合模式的架構下實現了基于C的信用額度管理系統。5利用互聯網技術及大數據決策的手段,提升貸前、貸中、貸后整體業(yè)務流的自動化程度,為用戶提供優(yōu)質、高效、便捷的服務體驗。6對本文的工作進行了全面的歸納梳理,對其中的不足給出了個人意見,最后展望了下一步工作的重點和需要改進的地方。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 96
大小: 3.79(MB)
子文件數:
-
簡介:F搿專雩抄I∥3移中國科學技術大學碩士學位論文安全C語言形狀系統的設計與實現作者姓名學科專業(yè)導師姓名完成時間李云龍計算機應用技術邵中教授陳意云教授二。一六年四月二十一日中國科學技術大學學位論文原創(chuàng)性聲明本人聲明所呈交的學位論文,是本人在導師指導下進行研究工作所取得的成果。除己特別加以標注和致謝的地方外,論文中不包含任何他人已經發(fā)表或撰寫過的研究成果。與我一同工作的同志對本研究所做的貢獻均己在論文中作了明確的說明。作者簽名之螗簽字日期五D』上業(yè)中國科學技術大學學位論文授權使用聲明作為申請學位的條件之一,學位論文著作權擁有者授權中國科學技術大學擁有學位論文的部分使用權,即學校有權按有關規(guī)定向國家有關部門或機構送交論文的復印件和電子版,允許論文被查閱和借閱,可以將學位論文編入中國學位論文全文數據庫等有關數據庫進行檢索,可以采用影印、縮印或掃描等復制手段保存、匯編學位論文。本人提交的電子文檔的內容和紙質論文的內容相一致。保密的學位論文在解密后也遵守此規(guī)定。/日公開口保密年作者簽名盈立盔導師簽名陘主坌簽字日期坦』』』星旦簽字日期叢【B£叢
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 77
大?。?11.82(MB)
子文件數:
-
簡介:在PLC的編程規(guī)范IEC611313中,介紹了用于PLC編程的五種相關語言,分別是梯形圖(LD)、功能塊圖(FBD)、順序流程圖(SFC)、結構化文本語言(ST)和指令表語言(IL)。其中ST語言是一種類似于PAL、C語言的高級文本語言,它編程格式自由、程序緊湊、具有很強的數據處理能力,使用ST語言可以比較方便地實現復雜控制程序的編寫。在PLC的軟件系統中實現對ST語言編程的支持,會大大提高PLC的編程效率,豐富PLC平臺的功能。在杭州電子科技大學智能與控制實驗室自主研發(fā)的PLC軟件平臺CASS系統中,目前已經實現了LD、FBD、SFC和IL指令四種語言編程,并且創(chuàng)造性地實現了在圖形化語言中嵌入C語言的編程。為了完善CASS系統的編程功能,使其成為完全符合IEC611313國際標準的專業(yè)化的工業(yè)控制軟件編程系統平臺,現需要設計實現對ST語言編程方式的支持?;贑ASS系統中實現的嵌C語言編程的功能,本文采用語言轉換的思想,即將ST語言轉換到C語言,來實現ST語言的編程。文中首先對ST語言的編程特點以及語言轉換的相關技術進行了大量研究,提出了一種以ST語言的語法分析為核心,對源程序的語法單元進行遞歸識別及轉換處理的轉換算法。該算法主要包括ST語言的詞法分析算法、遞歸下降語法分析、基于控制流分析技術的轉換算法以及C語言代碼的生成,與傳統的用編譯原理技術實現轉換的方法相比,本文的算法具有結構簡潔、實現方便且代碼復雜度小的優(yōu)點。此外,本文還實現了ST語言編程平臺界面的設計。最后本文通過理論證明以及大量的實驗對該轉換算法的正確性、源代碼膨脹率、轉換的自動化程度等性能進行了驗證。實驗證明,本文所設計的轉換算法,不但正確地實現了ST語言到C語言的自動轉換,而且具有較小的源代碼膨脹率和較好的執(zhí)行效率。
下載積分: 5 賞幣
上傳時間:2024-03-09
頁數: 75
大?。?4.37(MB)
子文件數:
-
簡介:隨著計算機應用的發(fā)展和軟件規(guī)模的擴大,軟件在信息社會中扮演著越來越重要的作用,然而軟件危機的頻頻出現,使得諸如航天、運輸控制系統、電子商務等眾多質量關鍵應用領域都對系統的可靠性提出了極高的要求。對軟件進行檢測是保證軟件質量很重要的環(huán)節(jié),特別是靜態(tài)檢測更是軟件檢測中一種重要且有效的方法。對于當今軟件規(guī)模和復雜度越來越高的特點,人工走查已經不僅僅是費時費力的問題,甚至可能是不切實際的,所以如果能夠實現一個自動化的靜態(tài)測試工具來代替人工走查,自動化的檢測代碼,將具有很高的實用價值。首先,給出了本文的研究背景、研究現狀、目標和論文的結構組織情況,然后對軟件檢測的總體分類情況給予了概述,重點介紹了靜態(tài)檢測的框架分類及流程,并對靜態(tài)檢測的各種檢測技術給予了簡單描述,例如詞法分析、規(guī)則檢測等。在以上理論基礎上,本文設計實現一個基于GJB53692005編程規(guī)范的自動化規(guī)則靜態(tài)檢測工具。在工具的設計與實現之前給出了工具相關的技術介紹,而在設計與實現階段給出了具體的需求分析、系統設計、詳細設計等,該工具主要由工程輸入、預編譯、規(guī)則檢測、缺陷處理四大模塊構成。同時給出了工具的測試與評估,結果表明該工具符合設計目標要求。最后,本文對工作進行總結,并提出了未來的工作方向。
下載積分: 5 賞幣
上傳時間:2024-03-08
頁數: 55
大?。?5.99(MB)
子文件數:
-
簡介:隨著工業(yè)自動化的發(fā)展,出現了大量品牌的控制器,但是不同品牌的產品之間難以協同工作,這樣眾多自動化廠商為統一標準做了許多工作,OPC技術也應運而生,OPC技術是微軟公司的標準,現在已經被大多自動化公司支持,它聯接了應用軟件和眾多品牌的現場設備,使之可以在統一的系統下工作。針對于此,本文開發(fā)一套基于OPC的上位機智能群梯管理系統,該系統以OPC為通信接口,使用基于的C#語言編寫程序,完成電梯群控系統的上位機開發(fā),統計電梯的運行規(guī)律,近似計算各部電梯響應目標層的適合度,實現群梯控制的優(yōu)化,減少乘客的平均等待時間。本文包含群梯管理系統與OPCSERVER之間的信息交換、基于統計的電梯群控系統的智能算法、上位機監(jiān)控系統及重要信息的存儲。經聯機調試,完成了群梯管理系統通過OPCSERVER對現場設備的控制,該系統能使電梯準確無誤運行,在乘客高峰期,電梯能自動到相應層待命,縮短了乘客的平均等待時間。通過使用OPC技術將平臺與現場設備相結合,達到了復雜管理信息系統對底層設備一站式管理的目的。編程人員掌握OPC技術與C#技術后即可將該系統應用于各種品牌的設備,以便于大量品牌設備的管理,這使得該系統在通用性、實用性方面具有較高的實用性。
下載積分: 5 賞幣
上傳時間:2024-03-08
頁數: 72
大?。?1.7(MB)
子文件數: