-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目軟件工程試卷滿分及考試時(shí)間試卷滿分為100分,考試時(shí)間為120分鐘??荚噧?nèi)容考試內(nèi)容1軟件工程學(xué)概述軟件危機(jī)及其消除途徑;軟件工程的基本原理、軟件工程方法學(xué);軟件生命周期;軟件過程。2可行性研究可行性研究的任務(wù)與過程;系統(tǒng)流程圖、數(shù)據(jù)流圖、數(shù)據(jù)字典等圖形工具;成本效益分析。3需求分析需求分析的任務(wù);需求獲取方法;分析建模與軟件規(guī)格說(shuō)明;實(shí)體聯(lián)系圖、數(shù)據(jù)規(guī)范化、狀態(tài)轉(zhuǎn)換圖、層次方框圖、WARNIER圖、IPO圖等圖形工具;軟件需求驗(yàn)證。4總體設(shè)計(jì)軟件設(shè)計(jì)的過程;軟件設(shè)計(jì)原理與優(yōu)化方法;層次圖和HIPO圖、結(jié)構(gòu)圖;面向數(shù)據(jù)流的軟件設(shè)計(jì)方法;軟件設(shè)計(jì)案例。5詳細(xì)設(shè)計(jì)結(jié)構(gòu)程序設(shè)計(jì);人機(jī)界面設(shè)計(jì);程序流程圖、NS盒圖、PAD圖、判定樹與判定表、PDL等工具;面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法;詳細(xì)設(shè)計(jì)案例。6實(shí)現(xiàn)編碼與編碼風(fēng)格;軟件測(cè)試的目標(biāo)、準(zhǔn)則、方法、步驟,以及測(cè)試階段的信息流;單元測(cè)試、集成測(cè)試、確認(rèn)測(cè)試、系統(tǒng)測(cè)試的方法與過程;白盒測(cè)試技術(shù)及測(cè)試用例構(gòu)造;黑盒測(cè)試技術(shù)及測(cè)試用例構(gòu)造;調(diào)試與測(cè)試的區(qū)分、調(diào)試的途徑;軟件可靠性度量;軟件測(cè)試案例。7軟件維護(hù)軟件維護(hù)的定義;四種基本的維護(hù)活動(dòng);軟件再工程的概念。8面向?qū)ο蠓椒▽W(xué)面向?qū)ο蠓椒▽W(xué)的要點(diǎn)與優(yōu)點(diǎn);面向?qū)ο蟮母拍?、建模方法及圖形工具;面向?qū)ο蟮姆治?,?duì)象模型、動(dòng)態(tài)模型、功能模型的構(gòu)造方法與過程;面向?qū)ο蟮脑O(shè)計(jì);面向?qū)ο蟮膶?shí)現(xiàn);面向?qū)ο蠓椒▽W(xué)案例。1軟件工程導(dǎo)論(第5版)張海藩編著,清華大學(xué)出版社2軟件工程導(dǎo)論學(xué)習(xí)輔導(dǎo)張海藩編著,清華大學(xué)出版社
下載積分: 5 賞幣
上傳時(shí)間:2024-03-16
頁(yè)數(shù): 3
大?。?0.03(MB)
子文件數(shù):
-
簡(jiǎn)介:碩士研究生入學(xué)考試大綱考試科目名稱軟件工程一、援引教材軟件工程第二版清華大學(xué)出版社錢樂秋趙文耘牛軍鈺2013二、考試要求要求考生全面系統(tǒng)地掌握軟件工程的基本概念及、思想和方法,并且能靈活運(yùn)用,具備分析問題與解決問題的能力。三、考試內(nèi)容1軟件工程概論軟件的特點(diǎn)、分類軟件工程的定義軟件過程模型軟件工程工具、軟件開發(fā)環(huán)境2系統(tǒng)工程系統(tǒng)工程任務(wù)可行性分析3需求工程軟件需求的內(nèi)容獲取需求的方法與策略4設(shè)計(jì)工程軟件設(shè)計(jì)的任務(wù)和原則軟件體系結(jié)構(gòu)的風(fēng)格結(jié)構(gòu)化程序設(shè)計(jì)方法圖形表示法判定表設(shè)計(jì)性語(yǔ)言PDL5結(jié)構(gòu)化分析與設(shè)計(jì)數(shù)據(jù)流圖數(shù)據(jù)字典數(shù)據(jù)流圖到軟件體系結(jié)構(gòu)的映射6面向?qū)ο蠓椒ɑA(chǔ)面向?qū)ο蠓治龊驮O(shè)計(jì)過程UML的視圖、圖7面向?qū)ο蠼C嫦驅(qū)ο蠓治龊驮O(shè)計(jì)過程用況建模類圖和對(duì)象圖、類之間的關(guān)系狀態(tài)機(jī)圖和活動(dòng)圖順序圖和協(xié)作圖構(gòu)件圖和部署圖8敏捷軟件開發(fā)敏捷宣言精益思想極限編程方法9軟件測(cè)試軟件測(cè)試的目的和基本原則黑盒測(cè)試白盒測(cè)試測(cè)試策略10軟件維護(hù)軟件維護(hù)的類型軟件維護(hù)的特點(diǎn)軟件可維護(hù)性11軟件項(xiàng)目管理軟件項(xiàng)目管理的關(guān)注點(diǎn)軟件度量代碼行、功能點(diǎn)和工作量估算項(xiàng)目進(jìn)度管理軟件質(zhì)量的定義、因素軟件質(zhì)量保證策略及活動(dòng)軟件配置管理
下載積分: 3 賞幣
上傳時(shí)間:2024-03-16
頁(yè)數(shù): 2
大?。?0.03(MB)
子文件數(shù):
-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目軟件工程試卷滿分及考試時(shí)間試卷滿分為100分,考試時(shí)間為120分鐘??荚噧?nèi)容考試內(nèi)容1軟件工程學(xué)概述軟件危機(jī)及其消除途徑;軟件工程的基本原理、軟件工程方法學(xué);軟件生命周期;軟件過程。2可行性研究可行性研究的任務(wù)與過程;系統(tǒng)流程圖、數(shù)據(jù)流圖、數(shù)據(jù)字典等圖形工具;成本效益分析。3需求分析需求分析的任務(wù);需求獲取方法;分析建模與軟件規(guī)格說(shuō)明;實(shí)體聯(lián)系圖、數(shù)據(jù)規(guī)范化、狀態(tài)轉(zhuǎn)換圖、層次方框圖、WARNIER圖、IPO圖等圖形工具;軟件需求驗(yàn)證。4總體設(shè)計(jì)軟件設(shè)計(jì)的過程;軟件設(shè)計(jì)原理與優(yōu)化方法;層次圖和HIPO圖、結(jié)構(gòu)圖;面向數(shù)據(jù)流的軟件設(shè)計(jì)方法;軟件設(shè)計(jì)案例。5詳細(xì)設(shè)計(jì)結(jié)構(gòu)程序設(shè)計(jì);人機(jī)界面設(shè)計(jì);程序流程圖、NS盒圖、PAD圖、判定樹與判定表、PDL等工具;面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法;詳細(xì)設(shè)計(jì)案例。6實(shí)現(xiàn)編碼與編碼風(fēng)格;軟件測(cè)試的目標(biāo)、準(zhǔn)則、方法、步驟,以及測(cè)試階段的信息流;單元測(cè)試、集成測(cè)試、確認(rèn)測(cè)試、系統(tǒng)測(cè)試的方法與過程;白盒測(cè)試技術(shù)及測(cè)試用例構(gòu)造;黑盒測(cè)試技術(shù)及測(cè)試用例構(gòu)造;調(diào)試與測(cè)試的區(qū)分、調(diào)試的途徑;軟件可靠性度量;軟件測(cè)試案例。7軟件維護(hù)軟件維護(hù)的定義;四種基本的維護(hù)活動(dòng);軟件再工程的概念。8面向?qū)ο蠓椒▽W(xué)面向?qū)ο蠓椒▽W(xué)的要點(diǎn)與優(yōu)點(diǎn);面向?qū)ο蟮母拍?、建模方法及圖形工具;面向?qū)ο蟮姆治?,?duì)象模型、動(dòng)態(tài)模型、功能模型的構(gòu)造方10了解軟件項(xiàng)目管理的基本概念?!駞㈤?軟件工程導(dǎo)論(第5版)張海藩編著,清華大學(xué)出版社2軟件工程導(dǎo)論學(xué)習(xí)輔導(dǎo)張海藩編著,清華大學(xué)出版社
下載積分: 3 賞幣
上傳時(shí)間:2024-05-21
頁(yè)數(shù): 3
大?。?0.03(MB)
子文件數(shù):
-
簡(jiǎn)介:2019年江西財(cái)經(jīng)大學(xué)工程碩士(軟件工程領(lǐng)域)研究生入學(xué)考試復(fù)試參考書目軟件工程(軟通)軟件工程導(dǎo)論(第六版),張海潘,清華大學(xué)出版社2013年。同等學(xué)力加試科目及參考書目數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)(C語(yǔ)言版),嚴(yán)蔚敏,清華大學(xué)出版社,2012年。數(shù)據(jù)庫(kù)技術(shù)數(shù)據(jù)庫(kù)系統(tǒng)概論(第5版)王珊、薩師煊,高等教育出版社,2014年。2019年江西財(cái)經(jīng)大學(xué)工程碩士(軟件工程領(lǐng)域)研究生入學(xué)考試復(fù)試參考書目軟件工程(軟通)軟件工程導(dǎo)論(第六版),張海潘,清華大學(xué)出版社2013年。同等學(xué)力加試科目及參考書目數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)(C語(yǔ)言版),嚴(yán)蔚敏,清華大學(xué)出版社,2012年。數(shù)據(jù)庫(kù)技術(shù)數(shù)據(jù)庫(kù)系統(tǒng)概論(第5版)王珊、薩師煊,高等教育出版社,2014年。
下載積分: 3 賞幣
上傳時(shí)間:2024-03-16
頁(yè)數(shù): 1
大?。?0.01(MB)
子文件數(shù):
-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目離散數(shù)學(xué)試卷滿分及考試時(shí)間試卷滿分為100分,考試時(shí)間為180分鐘。一、命題邏輯一、命題邏輯考試內(nèi)容考試內(nèi)容命題,連接詞的真值,重言式矛盾式可滿足式,代入規(guī)則與替換規(guī)則,等價(jià)與蘊(yùn)含,對(duì)偶式與對(duì)偶原理,連接詞的最小功能完備集,范式與主范式,命題邏輯的推理規(guī)則法考試要求考試要求1理解命題的概念,理解連接詞的真值(特別是單條件連接詞的真值)。2簡(jiǎn)要了解重言式矛盾式可滿足式,以及代入規(guī)則與替換規(guī)則。3掌握等價(jià)式和蘊(yùn)含式的的推導(dǎo),掌握常見的基本等價(jià)式和基本蘊(yùn)含式。4簡(jiǎn)要了解對(duì)偶式的概念與對(duì)偶原理的公式。5了解連接詞的最小功能完備集。6掌握范式的概念,特別是主范式的概念,會(huì)求命題公式的主析取范式和主合取范式,并能表示成MI和ΠMJ的形式。7重點(diǎn)掌握推理規(guī)則法的證明題。二、謂詞邏輯二、謂詞邏輯謂詞,量詞與全總個(gè)體域與特性謂詞,謂詞公式,自由變?cè)c約束變?cè)^詞公式的等價(jià)式與蘊(yùn)含式,謂詞邏輯的推理規(guī)則法考試要求考試要求1理解謂詞的概念,會(huì)使用謂詞和量詞對(duì)一個(gè)問題符號(hào)化,特別要理解符號(hào)化時(shí)默認(rèn)個(gè)體域是全總個(gè)體域時(shí)的處理。2簡(jiǎn)要了解什么是自由變?cè)c約束變?cè)?掌握謂詞公式的等價(jià)推導(dǎo)和蘊(yùn)含推導(dǎo)(重點(diǎn)是一元量詞公式的量詞轉(zhuǎn)換律,量詞轄域擴(kuò)大收縮律和量詞分配律)4重點(diǎn)掌握謂詞邏輯的推理規(guī)則法的證明題三、集合三、集合集合的基本概念和基本定理,集合的運(yùn)算,容斥原理,笛卡爾積考試要求考試要求1理解空集、全集、冪集的概念的理解,會(huì)熟練求冪集。掌握集合相等的判定定理、空集的屬性定理以及冪集計(jì)數(shù)定理。2掌握集合的基本運(yùn)算和常見的集合等式,會(huì)做集合等式的證明推導(dǎo)。2代數(shù)系統(tǒng)的概念和子代數(shù)系統(tǒng)的概念,要會(huì)證一個(gè)代數(shù)系統(tǒng)A是代數(shù)系統(tǒng)B的子代數(shù)。3重點(diǎn)理解同態(tài)、同構(gòu),理解同態(tài)與同構(gòu)的性質(zhì),會(huì)做同態(tài)、同構(gòu)的證明題。4簡(jiǎn)要了解代換性質(zhì)與同余關(guān)系的概念。七、群七、群半群、子半群、循環(huán)半群,群,阿貝爾群,群同態(tài),循環(huán)群,子群??荚囈罂荚囈?了解半群、子半群、循環(huán)半群的概念。2理解群的概念及群的基本性質(zhì),會(huì)證明給定的代數(shù)系統(tǒng)是否是群,會(huì)證明阿貝爾群以及群同態(tài)(同構(gòu))問題的證明。3理解循環(huán)群概念以及循環(huán)群的分類4理解子群的概念,掌握子群的證明方法。八、圖八、圖圖的相關(guān)基本概念,子圖,路徑與連通性,圖的矩陣表示考試要求考試要求1理解簡(jiǎn)單圖的概念、特別度相關(guān)的概念、掌握握手定理與奇結(jié)點(diǎn)個(gè)數(shù)必是偶數(shù)的定理,零圖、平凡圖、正則圖、完全圖的概念,以及完全圖的邊數(shù)定理。會(huì)判斷圖同構(gòu)的問題。2理解常見的幾種子圖的概念,特別是生成子圖和導(dǎo)出子圖,會(huì)求相對(duì)于完全圖的補(bǔ)圖。3理解基本路徑簡(jiǎn)單路徑,可達(dá)性,掌握無(wú)向圖和有向圖的連通性及分圖(分支)的概念以及相關(guān)的定理。4圖的矩陣表示中主要理解鄰接矩陣A(無(wú)向圖有向圖)、AAT、ATA、AM表示的意義。九、特殊圖九、特殊圖歐拉圖與哈密頓圖,平面圖,樹與生成樹考試要求考試要求1理解歐拉圖的概念,掌握判斷無(wú)向圖是歐拉圖的歐拉定理。2了解哈密頓圖的概念。3會(huì)用簡(jiǎn)單連通平面圖的歐拉不等式結(jié)合握手定理做計(jì)算或證明。會(huì)用庫(kù)拉托夫斯基定理判斷平面圖還是非平面圖。4理解樹的概念以及樹的六個(gè)等價(jià)定義、(最?。┥蓸?、根樹、(完全)M叉樹的概念。5會(huì)做樹相關(guān)的計(jì)算題,會(huì)求最小生成樹,會(huì)求最優(yōu)二叉樹(HUFFMAN樹)。
下載積分: 5 賞幣
上傳時(shí)間:2024-03-14
頁(yè)數(shù): 4
大小: 0.04(MB)
子文件數(shù):
-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目數(shù)據(jù)結(jié)構(gòu)試卷滿分及考試時(shí)間試卷滿分為150分,考試時(shí)間為180分鐘。考試內(nèi)容考試內(nèi)容1緒論問題、問題實(shí)例;數(shù)據(jù)、數(shù)據(jù)元素、數(shù)據(jù)對(duì)象、數(shù)據(jù)結(jié)構(gòu);集合、線性結(jié)構(gòu)、樹形結(jié)構(gòu)、圖形結(jié)構(gòu);邏輯結(jié)構(gòu)、存儲(chǔ)結(jié)構(gòu);算法及其特性、算法的正確性、可讀性、健壯性、算法的時(shí)間與空間復(fù)雜度分析及其度量。2線性表線性表的定義與結(jié)構(gòu)特點(diǎn);線性表的存儲(chǔ)結(jié)構(gòu)及其基本操作;有序表;靜態(tài)鏈表;循環(huán)鏈表與雙向鏈表;關(guān)于線性表的問題實(shí)例。3棧與隊(duì)列棧的定義與結(jié)構(gòu)特點(diǎn);棧的存儲(chǔ)結(jié)構(gòu)及其基本操作;遞歸與遞歸的執(zhí)行過程;關(guān)于棧的問題實(shí)例。隊(duì)列的定義與結(jié)構(gòu)特點(diǎn);隊(duì)列的存儲(chǔ)結(jié)構(gòu)及其基本操作;循環(huán)隊(duì)列;關(guān)于隊(duì)列的問題實(shí)例。4串串的定義與結(jié)構(gòu)特點(diǎn);串的存儲(chǔ)結(jié)構(gòu)及其基本操作;串的模式匹配算法。5數(shù)組與廣義表數(shù)組的定義與結(jié)構(gòu)特點(diǎn);數(shù)組的存儲(chǔ)結(jié)構(gòu)及其基本操作;矩陣的壓縮存儲(chǔ)。廣義表的定義與結(jié)構(gòu)特點(diǎn);廣義表的存儲(chǔ)結(jié)構(gòu)及其基本操作。6樹與二叉樹樹的定義與結(jié)構(gòu)特點(diǎn);樹的相關(guān)概念;有序樹與無(wú)序樹;森林;二叉樹的定義與結(jié)構(gòu)特點(diǎn);二叉樹的性質(zhì);二叉樹的存儲(chǔ)結(jié)構(gòu)及其基本操作;遍歷二叉樹與線索二叉樹;樹與森林的存儲(chǔ)結(jié)構(gòu);樹與二叉樹的轉(zhuǎn)換關(guān)系;樹與森林的遍歷;HUFFMAN樹及其應(yīng)用;關(guān)于樹與二叉樹的問題實(shí)例。7圖圖的定義與結(jié)構(gòu)特點(diǎn);圖的相關(guān)概念;有向圖、無(wú)向圖、有向網(wǎng)、無(wú)向網(wǎng);圖的存儲(chǔ)結(jié)構(gòu);圖的遍歷;最小生成樹;有向無(wú)環(huán)圖及其應(yīng)用、拓?fù)渑判?、關(guān)鍵路徑;最短路徑;關(guān)于圖的問題實(shí)例。8查找表查找表的相關(guān)概念;靜態(tài)查找表、有序表的查找、索引順序表的查找;動(dòng)態(tài)查找表、二叉排序樹與平衡二叉樹、B樹與B樹;哈希HASH表;關(guān)于查找表的問題實(shí)例。9排序排序的概念;穩(wěn)定排序、不穩(wěn)定排序、內(nèi)部排序、外部排序;插入排序、快速握各種排序方法的時(shí)間復(fù)雜度。了解簡(jiǎn)單低效排序方法與復(fù)雜高效排序方法的區(qū)別與應(yīng)用選擇。了解外部排序算法優(yōu)化的目標(biāo)和主要手段,熟悉應(yīng)用敗者樹實(shí)現(xiàn)多路歸并,以及通過置換選擇進(jìn)行外部排序的方法。13了解文件的相關(guān)概念。參閱1數(shù)據(jù)結(jié)構(gòu)(C語(yǔ)言版)嚴(yán)蔚敏、吳偉民編著,清華大學(xué)出版社2數(shù)據(jù)結(jié)構(gòu)習(xí)題集(C語(yǔ)言版)嚴(yán)蔚敏、吳偉民編著,清華大學(xué)出版社
下載積分: 5 賞幣
上傳時(shí)間:2024-03-10
頁(yè)數(shù): 3
大?。?0.03(MB)
子文件數(shù):
-
簡(jiǎn)介:大連理工大學(xué)大連理工大學(xué)20192019年碩士研究生入學(xué)考試大綱碩士研究生入學(xué)考試大綱科目代碼科目代碼88787科目名稱數(shù)據(jù)結(jié)構(gòu)和軟件工程科目名稱數(shù)據(jù)結(jié)構(gòu)和軟件工程Ⅰ考查目標(biāo)Ⅰ考查目標(biāo)計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合考試是為高等院校和科研院所招收計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科的碩士研究生而設(shè)置的具有選拔性質(zhì)的聯(lián)考科目,其目的是科學(xué)、公平、有效地測(cè)試考生掌握計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科大學(xué)本科階段專業(yè)基礎(chǔ)知識(shí)、基本理論、基本方法的水平和分析問題、解決問題的能力,評(píng)價(jià)的標(biāo)準(zhǔn)是高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科優(yōu)秀本科生所能達(dá)到的及格或及格以上水平,以利于各高等院校和科研院所擇優(yōu)選拔,確保碩士研究生的入學(xué)質(zhì)量。Ⅱ考查范圍Ⅱ考查范圍計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合考試涵蓋數(shù)據(jù)結(jié)構(gòu)、軟件工程等學(xué)科專業(yè)基礎(chǔ)課程。要求考生系統(tǒng)地掌握上述專業(yè)基礎(chǔ)課程的概念、基本原理和基本方法,能夠運(yùn)用所學(xué)的基本原理和基本方法分析、判斷和解決有關(guān)理論問題和實(shí)際問題。Ⅲ考試形式和試卷結(jié)構(gòu)Ⅲ考試形式和試卷結(jié)構(gòu)一試卷滿分及考試時(shí)間本試卷滿分為150分,考試時(shí)間為180分鐘。二答題方式答題方式為閉卷、筆試。三試卷內(nèi)容結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)75分軟件工程75分四試卷題型結(jié)構(gòu)單項(xiàng)選擇題60分(數(shù)據(jù)結(jié)構(gòu)、軟件工程各為15小題,每小題2分)綜合應(yīng)用題90分(數(shù)據(jù)結(jié)構(gòu)、軟件工程各為45分)Ⅲ考查內(nèi)容Ⅲ考查內(nèi)容數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)結(jié)構(gòu)考查目標(biāo)1掌握數(shù)據(jù)結(jié)構(gòu)的基本概念、基本原理和基本方法。2掌握數(shù)據(jù)的邏輯結(jié)構(gòu)、存儲(chǔ)結(jié)構(gòu)及基本操作的實(shí)現(xiàn),能夠?qū)λ惴ㄟM(jìn)行基本的時(shí)間復(fù)雜度與空間復(fù)雜度的分析。COMMENTEDA1這部分是在去年的“數(shù)據(jù)結(jié)構(gòu)與計(jì)算機(jī)組成原理“考試大綱中相應(yīng)部分的簡(jiǎn)單修改請(qǐng)核實(shí)(四)圖的基本應(yīng)用1最小生成樹2最短路徑3拓?fù)渑判?關(guān)鍵路徑五、查找(一)查找的基本概念(二)靜態(tài)查找表1順序查找法2折半查找法(三)動(dòng)態(tài)查找表1二叉排序樹和平衡二叉樹2B樹及其基本操作、B樹的基本概念(四)哈希(HASH)表(五)查找算法的分析及應(yīng)用六、排序(一)排序的基本概念(二)插入排序1直接插入排序2折半插入排序(三)起泡排序(BUBBLEST)(四)簡(jiǎn)單選擇排序(五)希爾排序(SHELLST)(六)快速排序(七)堆排序(八)二路歸并排序(MERGEST)(九)基數(shù)排序(十)外部排序(十一)各種排序算法的比較(十二)排序算法的應(yīng)用軟件工程軟件工程考查目標(biāo)1掌握軟件工程的原理能夠掌握軟件工程的基本概念、原理和方法,具備專業(yè)知識(shí)。。2掌握軟件工程的建模和實(shí)現(xiàn)技術(shù)能夠運(yùn)用結(jié)構(gòu)化和面向?qū)ο蠓椒ㄍ瓿绍浖男枨?
下載積分: 3 賞幣
上傳時(shí)間:2024-05-21
頁(yè)數(shù): 5
大?。?0.04(MB)
子文件數(shù):
-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目數(shù)據(jù)結(jié)構(gòu)試卷滿分及考試時(shí)間試卷滿分為150分,考試時(shí)間為180分鐘。考試內(nèi)容考試內(nèi)容1緒論問題、問題實(shí)例;數(shù)據(jù)、數(shù)據(jù)元素、數(shù)據(jù)對(duì)象、數(shù)據(jù)結(jié)構(gòu);集合、線性結(jié)構(gòu)、樹形結(jié)構(gòu)、圖形結(jié)構(gòu);邏輯結(jié)構(gòu)、存儲(chǔ)結(jié)構(gòu);算法及其特性、算法的正確性、可讀性、健壯性、算法的時(shí)間與空間復(fù)雜度分析及其度量。2線性表線性表的定義與結(jié)構(gòu)特點(diǎn);線性表的存儲(chǔ)結(jié)構(gòu)及其基本操作;有序表;靜態(tài)鏈表;循環(huán)鏈表與雙向鏈表;關(guān)于線性表的問題實(shí)例。3棧與隊(duì)列棧的定義與結(jié)構(gòu)特點(diǎn);棧的存儲(chǔ)結(jié)構(gòu)及其基本操作;遞歸與遞歸的執(zhí)行過程;關(guān)于棧的問題實(shí)例。隊(duì)列的定義與結(jié)構(gòu)特點(diǎn);隊(duì)列的存儲(chǔ)結(jié)構(gòu)及其基本操作;循環(huán)隊(duì)列;關(guān)于隊(duì)列的問題實(shí)例。4串串的定義與結(jié)構(gòu)特點(diǎn);串的存儲(chǔ)結(jié)構(gòu)及其基本操作;串的模式匹配算法。5數(shù)組與廣義表數(shù)組的定義與結(jié)構(gòu)特點(diǎn);數(shù)組的存儲(chǔ)結(jié)構(gòu)及其基本操作;矩陣的壓縮存儲(chǔ)。廣義表的定義與結(jié)構(gòu)特點(diǎn);廣義表的存儲(chǔ)結(jié)構(gòu)及其基本操作。6樹與二叉樹樹的定義與結(jié)構(gòu)特點(diǎn);樹的相關(guān)概念;有序樹與無(wú)序樹;森林;二叉樹的定義與結(jié)構(gòu)特點(diǎn);二叉樹的性質(zhì);二叉樹的存儲(chǔ)結(jié)構(gòu)及其基本操作;遍歷二叉樹與線索二叉樹;樹與森林的存儲(chǔ)結(jié)構(gòu);樹與二叉樹的轉(zhuǎn)換關(guān)系;樹與森林的遍歷;HUFFMAN樹及其應(yīng)用;關(guān)于樹與二叉樹的問題實(shí)例。7圖圖的定義與結(jié)構(gòu)特點(diǎn);圖的相關(guān)概念;有向圖、無(wú)向圖、有向網(wǎng)、無(wú)向網(wǎng);圖的存儲(chǔ)結(jié)構(gòu);圖的遍歷;最小生成樹;有向無(wú)環(huán)圖及其應(yīng)用、拓?fù)渑判?、關(guān)鍵路徑;最短路徑;關(guān)于圖的問題實(shí)例。8查找表查找表的相關(guān)概念;靜態(tài)查找表、有序表的查找、索引順序表的查找;動(dòng)態(tài)查找表、二叉排序樹與平衡二叉樹、B樹與B樹;哈希HASH表;關(guān)于查找表的問題實(shí)例。9排序排序的概念;穩(wěn)定排序、不穩(wěn)定排序、內(nèi)部排序、外部排序;插入排序、快速排序、選擇排序、歸并排序、基數(shù)排序、各種排序方法的比較分析;外部排序者樹實(shí)現(xiàn)多路歸并,以及通過置換選擇進(jìn)行外部排序的方法。13了解文件的相關(guān)概念?!駞㈤?數(shù)據(jù)結(jié)構(gòu)(C語(yǔ)言版)嚴(yán)蔚敏、吳偉民編著,清華大學(xué)出版社2數(shù)據(jù)結(jié)構(gòu)習(xí)題集(C語(yǔ)言版)嚴(yán)蔚敏、吳偉民編著,清華大學(xué)出版社
下載積分: 5 賞幣
上傳時(shí)間:2024-03-10
頁(yè)數(shù): 3
大?。?0.03(MB)
子文件數(shù):
-
簡(jiǎn)介:塔里木大學(xué)碩塔里木大學(xué)碩士研究生入學(xué)考試士研究生入學(xué)考試加試科目軟件工程考試大綱加試科目軟件工程考試大綱第一部分第一部分考試說(shuō)明考試說(shuō)明一、考查目標(biāo)一、考查目標(biāo)軟件工程側(cè)重于軟件項(xiàng)目的工程化的方法和技術(shù)及在開發(fā)過程中應(yīng)遵循的流程、準(zhǔn)則、標(biāo)準(zhǔn)和規(guī)范等知識(shí)的考察,考試內(nèi)容涵蓋軟件開發(fā)模型、軟件生命周期、軟件過程、結(jié)構(gòu)化軟件開發(fā)技術(shù)和面向?qū)ο蟮能浖_發(fā)技術(shù)等理論方法,要求考生理解和掌握相關(guān)課程的基本概念、基本原理,能夠運(yùn)用基本原理和方法分析、判斷和解決有關(guān)實(shí)際問題。二、考試形式和試卷結(jié)構(gòu)二、考試形式和試卷結(jié)構(gòu)11試卷滿分及考試時(shí)間試卷滿分及考試時(shí)間本試卷滿分為100分,考試時(shí)間為90分鐘。22答題方式及要求答題方式及要求閉卷、筆試。所有答案均寫在答題紙上,在試卷上答題無(wú)效。33試卷內(nèi)容結(jié)構(gòu)試卷內(nèi)容結(jié)構(gòu)題型(1)名詞解釋;(2)簡(jiǎn)答題;(3)應(yīng)用題三、參考書目三、參考書目了解如何選擇程序設(shè)計(jì)語(yǔ)言,培養(yǎng)良好的編碼風(fēng)格,掌握軟件測(cè)試的目標(biāo)、準(zhǔn)則、方法和步驟,掌握單元測(cè)試、集成測(cè)試、確認(rèn)測(cè)試的方法步驟,掌握白盒測(cè)試和黑盒測(cè)試技術(shù)的概念、方法,掌握調(diào)試過程與途徑,了解軟件可靠性的概念及其計(jì)算方法。能夠按照測(cè)試的原則和技術(shù),分析確定高效的測(cè)試用例。第七章第七章軟件維護(hù)軟件維護(hù)了解軟件維護(hù)的定義,掌握軟件維護(hù)的特點(diǎn)和過程,軟件的可維護(hù)性的定義及提高可維護(hù)性的方法。掌握預(yù)防性維護(hù)和軟件再工程過程的概念、方法。第八章第八章面向?qū)ο蠓椒▽W(xué)引論面向?qū)ο蠓椒▽W(xué)引論了解面向?qū)ο蠓椒▽W(xué)的要點(diǎn)和優(yōu)點(diǎn),掌握面向?qū)ο蟮母拍?、建模,掌握?duì)象模型、動(dòng)態(tài)模型、功能模型以及三種模型的關(guān)系。第九章第九章面向?qū)ο蠓治雒嫦驅(qū)ο蠓治稣莆彰嫦驅(qū)ο蠓治龅倪^程、需求陳述,能夠根據(jù)具體問題建立對(duì)象模型、動(dòng)態(tài)模型、功能模型以及確定對(duì)象的服務(wù)。第十章第十章面向?qū)ο笤O(shè)計(jì)面向?qū)ο笤O(shè)計(jì)了解面向?qū)ο笤O(shè)計(jì)的準(zhǔn)則和啟發(fā)規(guī)則,掌握軟件重用的概念和方法,掌握系統(tǒng)分解的方法,掌握設(shè)計(jì)問題域子系統(tǒng)、設(shè)計(jì)人機(jī)交互子系統(tǒng)、設(shè)計(jì)任務(wù)管理子系統(tǒng)、設(shè)計(jì)數(shù)據(jù)管理子系統(tǒng)、設(shè)計(jì)類中的服務(wù)、設(shè)計(jì)關(guān)聯(lián)以及設(shè)計(jì)優(yōu)化的方法。第十一章第十一章面向?qū)ο髮?shí)現(xiàn)面向?qū)ο髮?shí)現(xiàn)掌握面向?qū)ο笳Z(yǔ)言的特點(diǎn)以及如何選擇面向?qū)ο蟮拈_發(fā)工具,養(yǎng)成良好的程序設(shè)計(jì)風(fēng)格,掌握面向?qū)ο蟮能浖y(cè)試的特點(diǎn)和策略,能夠設(shè)計(jì)測(cè)試用例。第十二章第十二章軟件項(xiàng)目管理軟件項(xiàng)目管理掌握估算軟件規(guī)模和工作量的技術(shù),能夠根據(jù)項(xiàng)目制定合理的進(jìn)度計(jì)劃,掌握?qǐng)F(tuán)隊(duì)組織的基本方法,了解軟件的質(zhì)量指標(biāo)并掌握軟件質(zhì)量保證的措施,掌握軟件配置管理,了解能力成熟度模型。
下載積分: 5 賞幣
上傳時(shí)間:2024-03-10
頁(yè)數(shù): 3
大?。?0.02(MB)
子文件數(shù):
-
簡(jiǎn)介:2019年四川大學(xué)計(jì)算機(jī)學(xué)院碩士學(xué)位計(jì)算年四川大學(xué)計(jì)算機(jī)學(xué)院碩士學(xué)位計(jì)算機(jī)軟件與理論專業(yè)介紹機(jī)軟件與理論專業(yè)介紹碩士學(xué)位計(jì)算機(jī)軟件與理論081202研究方向1軟件工程與工具2計(jì)算機(jī)網(wǎng)絡(luò)3數(shù)據(jù)庫(kù)與信息系統(tǒng)4智能信息系統(tǒng)5圖形圖象與多媒體技術(shù)6網(wǎng)絡(luò)安全技術(shù)及應(yīng)用課程設(shè)置及教學(xué)計(jì)劃表類別課程名稱開課學(xué)時(shí)總學(xué)時(shí)學(xué)分考核方式備注馬克思主義理論1、2903考試公共學(xué)位課第一外國(guó)語(yǔ)1、22004考試專業(yè)外語(yǔ)1、2402考試現(xiàn)代數(shù)學(xué)基礎(chǔ)2724考試計(jì)算機(jī)網(wǎng)絡(luò)1724考試數(shù)據(jù)庫(kù)理論與技術(shù)2724考試專業(yè)共同課現(xiàn)代軟件工程1724考試CASE與工具2543考試數(shù)據(jù)庫(kù)專題2543考試人工智能與神經(jīng)網(wǎng)絡(luò)2543考試專業(yè)學(xué)位課研究方向課數(shù)字圖象處理2543考試各研究方向選學(xué)1門計(jì)算機(jī)網(wǎng)絡(luò)專題2543考試網(wǎng)絡(luò)安全2543考試多媒體技術(shù)3542考試INTER專題2362考試管理信息系統(tǒng)與辦公自動(dòng)化2362考試CADCAM2362考試新型程序語(yǔ)言設(shè)計(jì)2362考試高級(jí)操作系統(tǒng)2362考試模式識(shí)別2362考試必修課學(xué)術(shù)交流活動(dòng)2543考試不少于4學(xué)分硬件系統(tǒng)設(shè)計(jì)3362考查軟件課題實(shí)習(xí)362考查形式語(yǔ)言與自動(dòng)機(jī)理論3362考查第二外國(guó)語(yǔ)3、41442考查體育1361考試選修課圖形學(xué)2362考查教學(xué)實(shí)踐四周2考試
下載積分: 3 賞幣
上傳時(shí)間:2024-03-14
頁(yè)數(shù): 2
大小: 0.02(MB)
子文件數(shù):
-
簡(jiǎn)介:2019年碩士研究生入學(xué)考試大綱考試科目名稱軟件工程考試科目代碼834本考試科目考試時(shí)間180分鐘,滿分150分。包括C語(yǔ)言程序設(shè)計(jì)課程占75分和軟件工程課程占75分。C語(yǔ)言程序設(shè)計(jì)部分(75分)一、考試要求要求考生掌握用計(jì)算機(jī)處理問題的思維方法,掌握C語(yǔ)言的基本語(yǔ)法、基本控制結(jié)構(gòu)、常用的算法、問題求解方法和程序設(shè)計(jì)方法,具備綜合運(yùn)用所學(xué)知識(shí)獨(dú)立解決與計(jì)算相關(guān)的工程技術(shù)問題的程序設(shè)計(jì)、實(shí)現(xiàn)和調(diào)試能力。二、考試內(nèi)容1)問題的抽象、建模和算法描述A算法的基本概念B算法的流程圖描述方法2基本控制結(jié)構(gòu)A選擇結(jié)構(gòu)的三種控制方式(單分支、雙分支、多分支)B循環(huán)結(jié)構(gòu)的三種控制方式(計(jì)數(shù)控制、條件控制和標(biāo)記控制)C流程轉(zhuǎn)移控制的基本方法D基本控制結(jié)構(gòu)的嵌套3函數(shù)和常用的問題求解方法A函數(shù)定義,函數(shù)調(diào)用,函數(shù)原型,函數(shù)的參數(shù)傳遞,防御式編程B分治與遞歸,函數(shù)的遞歸調(diào)用,遞歸函數(shù)的設(shè)計(jì)方法C枚舉(即窮舉)D遞推(正向遞推、反向逆推)4數(shù)組和常用的算法A一維數(shù)組和二維數(shù)組的定義、初始化和引用B一維數(shù)組、二維數(shù)組做函數(shù)參數(shù)向函數(shù)傳遞一維數(shù)組和二維數(shù)組C字符數(shù)組或字符指針做函數(shù)參數(shù)向函數(shù)傳遞字符串2蘇小紅,王甜甜,車萬(wàn)翔,C語(yǔ)言程序設(shè)計(jì)學(xué)習(xí)指導(dǎo)(第3版),高等教育出版社,201509軟件工程部分(75分)一、考試要求要求考生全面系統(tǒng)地掌握軟件工程的基本概念、軟件工程的常用過程模型、軟件的生命周期、結(jié)構(gòu)化與面向?qū)ο蟮能浖治觥⒃O(shè)計(jì)、開發(fā)和測(cè)試方法,并能靈活運(yùn)用;能夠利用軟件工程的基本知識(shí),為應(yīng)用系統(tǒng)構(gòu)造有效的需求、設(shè)計(jì)和測(cè)試方案;能夠初步分析軟件方案的合理性。二、考試內(nèi)容1)軟件工程的基本概念A(yù)軟件工程概念、組成部分B軟件的生命周期、各階段的作用、各階段輸入輸出之間的關(guān)系C軟件開發(fā)團(tuán)隊(duì)的基本角色構(gòu)成及各自的職責(zé)2軟件生命周期模型與軟件項(xiàng)目管理A瀑布模型、增量模型、演化模型,各自的特征、過程和應(yīng)用場(chǎng)景B敏捷方法與過程模型,包括用戶故事、測(cè)試驅(qū)動(dòng)開發(fā)、結(jié)對(duì)編程、持續(xù)集成、快速迭代快速交付等,以極限編程XP為代表C針對(duì)特定軟件產(chǎn)品項(xiàng)目的特征,選擇恰當(dāng)?shù)倪^程模型D軟件項(xiàng)目管理的基本過程;軟件項(xiàng)目規(guī)劃(規(guī)模估算、成本估算、進(jìn)度計(jì)劃等)E軟件風(fēng)險(xiǎn)管理的基本概念與方法3軟件需求工程A需求工程的階段劃分及各自之間的關(guān)系B需求的分類、需求好壞的評(píng)判標(biāo)準(zhǔn)C面向?qū)ο蟮男枨蠓治瞿P团c方法(用例模型、領(lǐng)域模型、時(shí)序模型,三種分析類及其關(guān)系)D結(jié)構(gòu)化需求分析模型與方法(數(shù)據(jù)流圖、數(shù)據(jù)字典、結(jié)構(gòu)化語(yǔ)言)
下載積分: 5 賞幣
上傳時(shí)間:2024-03-15
頁(yè)數(shù): 5
大?。?0.02(MB)
子文件數(shù):
-
簡(jiǎn)介:20192019年哈爾濱工業(yè)大學(xué)國(guó)家示范性軟件學(xué)院考研參年哈爾濱工業(yè)大學(xué)國(guó)家示范性軟件學(xué)院考研參考書目考書目三、參考書目代碼考試科目參考書目編(著)者出版社數(shù)據(jù)結(jié)構(gòu)與算法(第4版)廖明宏,郭福順,張巖,李秀坤高等教育出版社,200711數(shù)據(jù)結(jié)構(gòu)(C語(yǔ)言版)嚴(yán)蔚敏,吳偉民清華大學(xué)出版,200209計(jì)算機(jī)組成原理(第2版)唐朔飛高等教育出版社201012計(jì)算機(jī)組成原理學(xué)習(xí)指導(dǎo)與習(xí)題解答(第2版)唐朔飛高等教育出版社,20127出版854計(jì)算機(jī)基礎(chǔ)(含數(shù)據(jù)結(jié)構(gòu)、計(jì)算機(jī)組成原理)注1以上教材僅供參考,考試的內(nèi)容以相應(yīng)科目基本內(nèi)容為主。2高級(jí)語(yǔ)言種類不限。C語(yǔ)言程序設(shè)計(jì)(第3版)蘇小紅,王宇穎,孫志崗高等教育出版社201508C語(yǔ)言程序設(shè)計(jì)學(xué)習(xí)指導(dǎo)(第3版)蘇小紅,車萬(wàn)翔,王甜甜高等教育出版社201509軟件工程理論、方法與實(shí)踐劉強(qiáng),孫家廣高等教育出版社200605834軟件工程基礎(chǔ)(含C語(yǔ)言程序設(shè)計(jì)、軟件工程)SOFTWAREENGINEERINGAPRACTITIONER’SAPPROACHSEVENTHEDITION(軟件工程實(shí)踐者的研究方法(原書第7版))ROGERSSPRESSMAN鄭人杰等譯機(jī)械工業(yè)出版社201108837網(wǎng)絡(luò)與信息安全基礎(chǔ)(含計(jì)計(jì)算機(jī)網(wǎng)絡(luò)自頂向下方法(原書第6版)JAMESFKUROSEKEITHWROSS機(jī)械工業(yè)出版社,2014計(jì)算機(jī)網(wǎng)絡(luò)(第6版)謝希仁電子工業(yè)出版社,2013信息安全導(dǎo)論翟健宏科學(xué)出版社,2011算機(jī)網(wǎng)絡(luò)、信息安全)網(wǎng)絡(luò)安全技術(shù)與實(shí)踐劉建偉等清華大學(xué)出版社,2011
下載積分: 3 賞幣
上傳時(shí)間:2024-03-10
頁(yè)數(shù): 2
大小: 0.01(MB)
子文件數(shù):
-
簡(jiǎn)介:12019年南京航空航天大學(xué)0835軟件工程考研參考書目與考試科目考試科目參考書目829計(jì)算機(jī)專業(yè)基礎(chǔ)1計(jì)算機(jī)組成原理參考書袁春風(fēng)計(jì)算機(jī)組成與系統(tǒng)結(jié)構(gòu),清華大學(xué)出版社,2010年唐朔飛編著,計(jì)算機(jī)組成原理(第2版)高等教育出版社,2008年2操作系統(tǒng)參考書湯小丹,梁紅兵,哲鳳屏,湯子瀛,計(jì)算機(jī)操作系統(tǒng)(第三版),西安電子科技大學(xué)出版社,2007年5月3數(shù)據(jù)結(jié)構(gòu)參考書嚴(yán)蔚敏、吳偉民編著,數(shù)據(jù)結(jié)構(gòu)(C)語(yǔ)言版清華大學(xué)出版社,2007年(第3版)孟廣均等著,科學(xué)出版社20081復(fù)試科目541計(jì)算機(jī)綜合基礎(chǔ)1屈碗玲,耿素云,張立昂編離散數(shù)學(xué)(第3版)(21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材)清華大學(xué)出版社,2014年2嚴(yán)蔚敏、吳偉民編著數(shù)據(jù)結(jié)構(gòu)(C)語(yǔ)言版清華大學(xué)出版社,2007年3湯小丹,梁紅兵,哲鳳屏,湯子瀛計(jì)算機(jī)操作系統(tǒng)(第三版)西安電子科技大學(xué)出版社,2007年4陳火旺等程序設(shè)計(jì)語(yǔ)言編譯原理(第三版)國(guó)防工業(yè)出版社,2006年5吳功宜、吳英編著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)教程自頂向下分析與設(shè)計(jì)方法機(jī)械工業(yè)出版社2009年12019年南京航空航天大學(xué)0835軟件工程考研參考書目與考試科目考試科目參考書目829計(jì)算機(jī)專業(yè)基礎(chǔ)1計(jì)算機(jī)組成原理參考書袁春風(fēng)計(jì)算機(jī)組成與系統(tǒng)結(jié)構(gòu),清華大學(xué)出版社,2010年唐朔飛編著,計(jì)算機(jī)組成原理(第2版)高等教育出版社,2008年2操作系統(tǒng)參考書湯小丹,梁紅兵,哲鳳屏,湯子瀛,計(jì)算機(jī)操作系統(tǒng)(第三版),西安電子科技大學(xué)出版社,2007年5月3數(shù)據(jù)結(jié)構(gòu)參考書嚴(yán)蔚敏、吳偉民編著,數(shù)據(jù)結(jié)構(gòu)(C)語(yǔ)言版清華大學(xué)出版社,2007年(第3版)孟廣均等著,科學(xué)出版社20081復(fù)試科目541計(jì)算機(jī)綜合基礎(chǔ)1屈碗玲,耿素云,張立昂編離散數(shù)學(xué)(第3版)(21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材)清華大學(xué)出版社,2014年2嚴(yán)蔚敏、吳偉民編著數(shù)據(jù)結(jié)構(gòu)(C)語(yǔ)言版清華大學(xué)出版社,2007年3湯小丹,梁紅兵,哲鳳屏,湯子瀛計(jì)算機(jī)操作系統(tǒng)(第三版)西安電子科技大學(xué)出版社,2007年4陳火旺等程序設(shè)計(jì)語(yǔ)言編譯原理(第三版)國(guó)防工業(yè)出版社,2006年5吳功宜、吳英編著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)教程自頂向下分析與設(shè)計(jì)方法機(jī)械工業(yè)出版社2009年
下載積分: 3 賞幣
上傳時(shí)間:2024-03-14
頁(yè)數(shù): 1
大?。?0.02(MB)
子文件數(shù):
-
簡(jiǎn)介:大連海事大學(xué)碩士研究生入學(xué)考試大綱大連海事大學(xué)碩士研究生入學(xué)考試大綱考試科目離散數(shù)學(xué)試卷滿分及考試時(shí)間試卷滿分為100分,考試時(shí)間為180分鐘。一、命題邏輯一、命題邏輯考試內(nèi)容考試內(nèi)容命題,連接詞的真值,重言式矛盾式可滿足式,代入規(guī)則與替換規(guī)則,等價(jià)與蘊(yùn)含,對(duì)偶式與對(duì)偶原理,連接詞的最小功能完備集,范式與主范式,命題邏輯的推理規(guī)則法考試要求考試要求1理解命題的概念,理解連接詞的真值(特別是單條件連接詞的真值)。2簡(jiǎn)要了解重言式矛盾式可滿足式,以及代入規(guī)則與替換規(guī)則。3掌握等價(jià)式和蘊(yùn)含式的的推導(dǎo),掌握常見的基本等價(jià)式和基本蘊(yùn)含式。4簡(jiǎn)要了解對(duì)偶式的概念與對(duì)偶原理的公式。5了解連接詞的最小功能完備集。6掌握范式的概念,特別是主范式的概念,會(huì)求命題公式的主析取范式和主合取范式,并能表示成MI和ΠMJ的形式。7重點(diǎn)掌握推理規(guī)則法的證明題。二、謂詞邏輯二、謂詞邏輯謂詞,量詞與全總個(gè)體域與特性謂詞,謂詞公式,自由變?cè)c約束變?cè)?,謂詞公式的等價(jià)式與蘊(yùn)含式,謂詞邏輯的推理規(guī)則法考試要求考試要求1理解謂詞的概念,會(huì)使用謂詞和量詞對(duì)一個(gè)問題符號(hào)化,特別要理解符號(hào)化時(shí)默認(rèn)個(gè)體域是全總個(gè)體域時(shí)的處理。2簡(jiǎn)要了解什么是自由變?cè)c約束變?cè)?掌握謂詞公式的等價(jià)推導(dǎo)和蘊(yùn)含推導(dǎo)(重點(diǎn)是一元量詞公式的量詞轉(zhuǎn)換律,量詞轄域擴(kuò)大收縮律和量詞分配律)4重點(diǎn)掌握謂詞邏輯的推理規(guī)則法的證明題三、集合三、集合集合的基本概念和基本定理,集合的運(yùn)算,容斥原理,笛卡爾積考試要求考試要求1理解空集、全集、冪集的概念的理解,會(huì)熟練求冪集。掌握集合相等的判定定理、空集的屬性定理以及冪集計(jì)數(shù)定理。2掌握集合的基本運(yùn)算和常見的集合等式,會(huì)做集合等式的證明推導(dǎo)。2代數(shù)系統(tǒng)的概念和子代數(shù)系統(tǒng)的概念,要會(huì)證一個(gè)代數(shù)系統(tǒng)A是代數(shù)系統(tǒng)B的子代數(shù)。3重點(diǎn)理解同態(tài)、同構(gòu),理解同態(tài)與同構(gòu)的性質(zhì),會(huì)做同態(tài)、同構(gòu)的證明題。4簡(jiǎn)要了解代換性質(zhì)與同余關(guān)系的概念。七、群七、群半群、子半群、循環(huán)半群,群,阿貝爾群,群同態(tài),循環(huán)群,子群??荚囈罂荚囈?了解半群、子半群、循環(huán)半群的概念。2理解群的概念及群的基本性質(zhì),會(huì)證明給定的代數(shù)系統(tǒng)是否是群,會(huì)證明阿貝爾群以及群同態(tài)(同構(gòu))問題的證明。3理解循環(huán)群概念以及循環(huán)群的分類4理解子群的概念,掌握子群的證明方法。八、圖八、圖圖的相關(guān)基本概念,子圖,路徑與連通性,圖的矩陣表示考試要求考試要求1理解簡(jiǎn)單圖的概念、特別度相關(guān)的概念、掌握握手定理與奇結(jié)點(diǎn)個(gè)數(shù)必是偶數(shù)的定理,零圖、平凡圖、正則圖、完全圖的概念,以及完全圖的邊數(shù)定理。會(huì)判斷圖同構(gòu)的問題。2理解常見的幾種子圖的概念,特別是生成子圖和導(dǎo)出子圖,會(huì)求相對(duì)于完全圖的補(bǔ)圖。3理解基本路徑簡(jiǎn)單路徑,可達(dá)性,掌握無(wú)向圖和有向圖的連通性及分圖(分支)的概念以及相關(guān)的定理。4圖的矩陣表示中主要理解鄰接矩陣A(無(wú)向圖有向圖)、AAT、ATA、AM表示的意義。九、特殊圖九、特殊圖歐拉圖與哈密頓圖,平面圖,樹與生成樹考試要求考試要求1理解歐拉圖的概念,掌握判斷無(wú)向圖是歐拉圖的歐拉定理。2了解哈密頓圖的概念。3會(huì)用簡(jiǎn)單連通平面圖的歐拉不等式結(jié)合握手定理做計(jì)算或證明。會(huì)用庫(kù)拉托夫斯基定理判斷平面圖還是非平面圖。4理解樹的概念以及樹的六個(gè)等價(jià)定義、(最小)生成樹、根樹、(完全)M叉樹的概念。5會(huì)做樹相關(guān)的計(jì)算題,會(huì)求最小生成樹,會(huì)求最優(yōu)二叉樹(HUFFMAN樹)。
下載積分: 5 賞幣
上傳時(shí)間:2024-03-14
頁(yè)數(shù): 4
大?。?0.04(MB)
子文件數(shù):
-
簡(jiǎn)介:第一章第一章軟件工程概述軟件工程概述1、1968年北大西洋公約組織的計(jì)算機(jī)科學(xué)家在聯(lián)邦德國(guó)召開國(guó)際會(huì)議,討論軟件危機(jī)問題,在這次會(huì)議上正式提出并使用了“軟件工程軟件工程”這個(gè)名詞,一門新興的工程學(xué)科就此誕生了。2、軟件危機(jī)軟件危機(jī)是指在計(jì)算機(jī)軟件的開發(fā)和維護(hù)過程中所遇到的一系列嚴(yán)重問題。3、軟件危機(jī)包含下述兩方面軟件危機(jī)包含下述兩方面的問題如何開發(fā)軟件,以滿足對(duì)軟件日益增長(zhǎng)的需求;如何維護(hù)數(shù)量日益增長(zhǎng)的已有軟件。4、產(chǎn)生危機(jī)的原因產(chǎn)生危機(jī)的原因①與軟件本身的特點(diǎn)有關(guān)②與軟件開發(fā)與維護(hù)的方法不正確有關(guān)。5、軟件的生命周期生命周期一個(gè)軟件從定義、開發(fā)、使用、維護(hù),直到被廢棄,要經(jīng)歷一個(gè)漫長(zhǎng)的時(shí)期,這就如同人要經(jīng)過胎兒、兒童、青年、中年、老年,直到最終死亡的漫長(zhǎng)周期一樣。通常把軟件經(jīng)歷的這個(gè)漫長(zhǎng)的時(shí)期稱為生命周期。6、軟件工程軟件工程定義軟件工程是指導(dǎo)計(jì)算機(jī)軟件開發(fā)和維護(hù)的一門工程學(xué)科。采用工程的概念、原理、技術(shù)和方法來(lái)開發(fā)和維護(hù)軟件。把經(jīng)過時(shí)間考驗(yàn)而證明正確的管理技術(shù)和當(dāng)前能夠得到的最好技術(shù)方法結(jié)合起來(lái),以經(jīng)濟(jì)地開發(fā)出高質(zhì)量的軟件并有效的維護(hù)它,這就是軟件工程。7、軟件工程7個(gè)本質(zhì)特征本質(zhì)特征①軟件工程關(guān)注與大型程序的構(gòu)造②軟件工程的中心課題是控制復(fù)雜性③軟件經(jīng)常變化④開發(fā)軟件的效率非常重要⑤和諧地合作是開發(fā)軟件的關(guān)鍵⑥軟件必須有效的支持它的用戶⑦在軟件工程領(lǐng)域中通常由具有一種文化背景的人替另一種文化背景的人創(chuàng)造產(chǎn)品8、軟件工程的7條基本原理基本原理①用分階段的生命周期計(jì)劃嚴(yán)格管理②堅(jiān)持進(jìn)行階段評(píng)審③實(shí)行嚴(yán)格的產(chǎn)品控制④采用現(xiàn)代程序設(shè)計(jì)技術(shù)⑤結(jié)果應(yīng)能清楚的審查⑥開發(fā)小組的人員應(yīng)該少而精⑦承認(rèn)不斷改進(jìn)軟件工程實(shí)踐的必要性9、通常把軟件周期全過程中使用的一整套技術(shù)方法的集合稱為方法學(xué)方法學(xué),也成為范型。10、軟件工程的方法包含3個(gè)要素個(gè)要素方法、工具和過程。其中方法是完成軟件開發(fā)的各項(xiàng)任務(wù)的技術(shù)方法回答“怎樣做”的問題;工具是為運(yùn)用方法而提供的自動(dòng)或半自動(dòng)的軟件工程支撐環(huán)境;過程是為了獲得質(zhì)量的軟件所需要完成的一系列任務(wù)的框架,它規(guī)定了完成各項(xiàng)任務(wù)的工作步驟。11、軟件的生命周期生命周期由軟件定義、軟件開發(fā)和運(yùn)行維護(hù)3個(gè)時(shí)期組成,每個(gè)時(shí)期又進(jìn)一步劃分成若干階段。⑦逆向需求說(shuō)明軟件系統(tǒng)不應(yīng)該做什么⑧將來(lái)可能提出的要求在設(shè)計(jì)過程中對(duì)系統(tǒng)將來(lái)可能的擴(kuò)充和修改預(yù)做準(zhǔn)備以便一旦確實(shí)需要時(shí)能比較容易的進(jìn)行這種擴(kuò)充和修改2、分析系統(tǒng)的數(shù)據(jù)要求分析系統(tǒng)的數(shù)據(jù)要求通常采用建立數(shù)據(jù)模型的方法3、導(dǎo)出系統(tǒng)的邏輯模型導(dǎo)出系統(tǒng)的邏輯模型綜合上述兩項(xiàng)分析的結(jié)果可以導(dǎo)出系統(tǒng)的詳細(xì)的邏輯模型,通常用數(shù)據(jù)流圖、實(shí)體聯(lián)系圖、狀態(tài)轉(zhuǎn)換圖、數(shù)據(jù)字典和主要的處理算法描述這個(gè)邏輯模型。4、獲取需求的方法獲取需求的方法①訪談②面向數(shù)據(jù)流自頂向下求精③簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)④快速建立軟件原型5、分析建模需求分析過程應(yīng)建立模型數(shù)據(jù)模型、功能模型、行為模型6、①實(shí)體聯(lián)系圖,描繪數(shù)據(jù)對(duì)象及數(shù)據(jù)對(duì)象之間的關(guān)系,是用于建立數(shù)據(jù)模型的圖形。②數(shù)據(jù)流圖,描繪當(dāng)數(shù)據(jù)在軟件系統(tǒng)中移動(dòng)時(shí)被變換的邏輯過程,指明系統(tǒng)具有的變換數(shù)據(jù)的功能,因此,數(shù)據(jù)流圖是建立功能模型的基礎(chǔ)。③狀態(tài)轉(zhuǎn)換圖狀態(tài)圖,指明了作為外部事件結(jié)果的系統(tǒng)行為。為此,狀態(tài)轉(zhuǎn)換圖描繪了系統(tǒng)的各種行為模式(狀態(tài)和在不同狀態(tài)間轉(zhuǎn)換的方式。狀態(tài)轉(zhuǎn)換圖是行為建模的基礎(chǔ)。7、驗(yàn)證軟件需求的正確性驗(yàn)證軟件需求的正確性①一致性所有需求必須是一致的,任何一條需求不能喝其他需求互相矛盾。②完整性需求必須是完整的,規(guī)格說(shuō)明書應(yīng)該包括用戶需要的每一個(gè)功能或性能。③現(xiàn)實(shí)性指定的需求應(yīng)該是現(xiàn)有的硬件技術(shù)和軟件技術(shù)基本上可實(shí)現(xiàn)的。對(duì)硬件技術(shù)的進(jìn)步可以做些預(yù)測(cè),對(duì)軟件技術(shù)則很難做出預(yù)測(cè),只能從現(xiàn)有技術(shù)水平出發(fā)判斷需求的現(xiàn)實(shí)性。④有效性必須證明需求是正確有效的,確實(shí)能解決用戶面對(duì)的問題。第五章第五章總體設(shè)計(jì)總體設(shè)計(jì)1、總體設(shè)計(jì)過程通常有兩個(gè)主要階段總體設(shè)計(jì)過程通常有兩個(gè)主要階段組成系統(tǒng)設(shè)計(jì)階段,確定系統(tǒng)的具體實(shí)現(xiàn)方案;結(jié)構(gòu)設(shè)計(jì)階段,確定軟件結(jié)構(gòu)。2、典型總體設(shè)計(jì)過程典型總體設(shè)計(jì)過程包括下面9個(gè)步驟①設(shè)想供選擇的方案②選取合理的方案③推薦最佳方案④功能分解⑤設(shè)計(jì)軟件結(jié)構(gòu)⑥設(shè)計(jì)數(shù)據(jù)庫(kù)⑦制定測(cè)試計(jì)劃⑧書寫文檔(系統(tǒng)說(shuō)明、用戶手冊(cè)、測(cè)試計(jì)劃、詳細(xì)的實(shí)現(xiàn)計(jì)劃、數(shù)據(jù)庫(kù)設(shè)計(jì)結(jié)果)⑨審核和復(fù)審3、設(shè)計(jì)原理設(shè)計(jì)原理①模塊化(P94)模塊是由邊界元素限定的相鄰程序元素的序列,而且有一個(gè)總體標(biāo)識(shí)符代表它。模塊化就是把程序劃分成獨(dú)立命名且可獨(dú)立訪問的模塊,每個(gè)模
下載積分: 6 賞幣
上傳時(shí)間:2024-03-15
頁(yè)數(shù): 7
大?。?0.05(MB)
子文件數(shù):