【正文】 二、從本文節(jié)選的內(nèi)容可以看出《論語》的語言具有哪些特色？ 語?？鬃訌奈唇o“仁”一個固定不變的定義，而是在不同場合，針對不同對象，結(jié)合具體事例談?wù)摗叭省钡木唧w表現(xiàn)形式。這就是推己及人：別人與自己一樣是人，因而應(yīng)當像尊重自己一樣地尊重別人?？鬃訉ⅰ叭省贝_定為最基本的社會關(guān)系準則，并圍繞“愛人”的內(nèi)涵，構(gòu)造了仁學(xué)的思想體系?！叭省钡乃枷胧强鬃铀枷氲暮诵摹＆鑢 ⑤⑦ 合取由于最后一步r217。q 前提引入 ⑤￢r ④化簡律 ⑥r(nóng)217。p 證明：①p 結(jié)論的否定引入 ②p174。216。r218。216。r)前提引入 ⑤q174。p 前提引入 ③p ①②假言推理 ④p174。p,q 結(jié)論：s174。(q174。p 前提引入 ⑩p ⑧⑨假言推理(11)p217。q)⑤ 置換 ⑦（q174。t）217。t 前提引入⑤q171。r 前提引入 ②t ①化簡律 ③q171。q ③④拒取式 ⑥p174。216。216。r)前提引入 ②216。q證明：（2）①216。t,t217。p,q171。r),r 結(jié)論：216。q,216。1 219。r))219。(p218。216。((216。q218。p218。q218。r))218。q218。p217。219。q218。(q217。216。q218。(q217。r219。q)217。(p217。q217。p218。216。q217。∏(1)(2)主合取范式為：216。q)219。(p218。216。1217。q218。q218。p))217。(216。(216。q218。q)218。p217。q218。q)218。219。p)219。p→q)→(216。m3219。m0218。(p217。216。q)218。p217。216。q)218。p)218。q217。p)218。(216。216。p)(216。(216。216。p)(216。(216。(p218。219。216。q218。(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(216。p→q)→(216。(p∨q)∧216。1∧(p∨q)∧216。p)∧(216。p)∧(p∨q)∧(216。p∧q)219。p∧q))∧(216。p∧q)219。p→(q∧r)（4）(p∧216。216。p∨q)∧(216。(p∧q)證明（2）(p→q)∧(p→r)219。p∧q)219。(p→(q∧r))(4)(p∧216。p∨p∨q∨r219。p∨r)219。(216。p)0000000000所以公式類型為永真式（5）公式類型為可滿足式（方法如上例）（6）公式類型為永真式（方法如上例）第二章部分課后習(xí)題參考答案，對不是重言式的可滿足式，(1)216。p(p→q)→(216。p216。q)（6）((p→q)∧(q→r))→(p→r)答：（4）pqp→q216。(216。q→216。”答：p: p是無理數(shù)q: 3是無理數(shù)0r: 2是無理數(shù)s: 6能被2整除t: 6能被4整除0命題符號化為： p∧(q→r)∧(t→s)的真值為1，所以這一段的論述為真。并且，如果3是無理數(shù)，則2也是無理數(shù)。0→0219。q)219。0(4)（216。q∧r）?(p∧q∧﹁r)219。0.（3）（216。（0?1）∧(1∨1)219。 0∨(0∧1)219。第四篇：離散數(shù)學(xué)課后習(xí)題答案第一章部分課后習(xí)題參考答案 設(shè)p、q的真值為0；r、s的真值為1，求下列各命題公式的真值。(7)項目管理工作臺。(6)文檔工作臺。(5)配置管理(CM)工作臺。(4)交叉開發(fā)工作臺。支持軟件過程的分析和設(shè)計階段。由支持程序設(shè)計的一組工具組成。CASE工具組裝成一個工具臺后工具能協(xié)同工作，可提供比單一工具更好的支持。請敘述集成化CASE的五級模型。(2)支持某一過程所有活動或某些活動的工作臺。因而，CASE領(lǐng)域是一個應(yīng)用、集成和綜合的領(lǐng)域。什么是CASE?CASE工具有哪些分類?答：CASE是一組工具和方法的集合，可以輔助軟件開發(fā)生命周期各階段進行軟件開發(fā)。(3)不斷地采用新理論和新技術(shù)。當今軟件工具發(fā)展有何特點? 答：軟件工具的發(fā)展有以下特點：(1)軟件工具由單個工具向多個工具集成化方向發(fā)展。軟件工具是一個程序系統(tǒng)。(3)按集成化程度有第一代、第二代、第三代的開發(fā)環(huán)境。答：軟件開發(fā)環(huán)境可按解決的問題、軟件開發(fā)環(huán)境的演變趨向和集成化程度進行分類：(1)按解決的問題可分為：程序設(shè)計環(huán)境、系統(tǒng)合成環(huán)境、項目管理環(huán)境三類。(4)90年代出現(xiàn)一系列集成的CASE軟件產(chǎn)品，用以實現(xiàn)需求管理、應(yīng)用程序分析設(shè)計和建模、編碼、軟件質(zhì)量保證和測試、過程和項目管理及文檔生成管理等軟件開發(fā)工作的規(guī)范化、工程化和自動化。其開發(fā)環(huán)境表現(xiàn)在提高環(huán)境中工具的集成性方面，如“集成的項目支持環(huán)境”。(2)80年代中期與后期，主要是實時系統(tǒng)設(shè)計方法，以及面向?qū)ο蟮姆治龊驮O(shè)計方法的發(fā)展，它克服了結(jié)構(gòu)化技術(shù)的缺點。軟件開發(fā)環(huán)境的發(fā)展階段：(1)70年代，軟件開發(fā)與設(shè)計方法出現(xiàn)了結(jié)構(gòu)化分析技術(shù)的一整套相互銜接的SASD的方法學(xué)。具體地說，軟件開發(fā)環(huán)境是一組相關(guān)工具的集合。第十三章習(xí)題參考答案什么是軟件開發(fā)環(huán)境?請列出其發(fā)展情況。軟件工程標準化的意義是什么?都有哪些軟件工程標準? 答：軟件工程標準化可以為軟件工程各個階段的活動提供統(tǒng)一的行動規(guī)范和衡量準則，使得各種工作都能有章可循。軟件配置管理技術(shù)可以使軟件變更所產(chǎn)生的錯誤達到最小并最有效地提高生產(chǎn)率。軟件項目計劃中包括哪些內(nèi)容?答：軟件項目計劃內(nèi)容包括： 4成本估算(5)培訓(xùn)計劃軟件開發(fā)成本估算方法有哪幾種? 答：軟件開發(fā)成本估算的方法主要有：（1）自頂向下估算方法（2）自底向上估算方法（3）差別估算方法 以及專家估算法、類推估算法、算式估算法等幾類方法。冗余通常分為四類：，又分為靜態(tài)、動態(tài)和混合冗余三種。(4)在一定程度上具有容錯能力的軟件。(2)在一定程度上能從錯誤狀態(tài)自動恢復(fù)到正常狀態(tài)的軟件。說明容錯軟件的定義與容錯的一般方法。衡量軟件可靠性的兩個常用指標是平均失效等待時間MTTF和平均失效間隔時間MTBF。McCabe度量法：一種基于程序控制流的復(fù)雜性度量方法。(8)提高計劃和管理質(zhì)量。質(zhì)量保證的主要任務(wù)包括以下幾點：。影響軟件質(zhì)量的因素有哪些? 答：影響軟件質(zhì)量的因素分為可以直接度量的因素(如單位時間內(nèi)千行代碼中所產(chǎn)生的錯誤)和只能間接度量的因素(如可用性和可維護性)。 2確定操作的目標對象 6調(diào)整繼承(7)關(guān)聯(lián)的設(shè)計 第十一章習(xí)題參考答案軟件質(zhì)量與軟件質(zhì)量保證的含義是什么? 答：從實際應(yīng)用來說，軟件質(zhì)量定義包括三個一致性：；(2)與所成文的開發(fā)標準的一致性； 。答：功能建模的過程如下：（1）確定輸入、輸出值（2）建立數(shù)據(jù)流圖說明對象設(shè)計的步驟。3使用繼承來細化類。屬性是個體對象的性質(zhì)，通常用修飾性的名詞詞組來表示。兩個或多個類之間的相互依賴就是關(guān)聯(lián)。為所有建模實體準備一個數(shù)據(jù)詞典。然后去掉不必要的類和不正確的類。所有類在應(yīng)用中都必須有意義。(1)確定類。說明對象建模的過程。說明三種分析模型的關(guān)系。數(shù)據(jù)流圖說明數(shù)據(jù)流是如何從外部輸入、經(jīng)過操作和內(nèi)部存儲輸出到外部的。功能模型表明一個計算如何從輸入值得到輸出值，它不考慮所計算的次序。答：功能模型描述了系統(tǒng)的所有計算。狀態(tài)指明了對象對輸入事件的響應(yīng)。腳本是完成系統(tǒng)某個功能事件序列，側(cè)重于表達說明發(fā)生于系統(tǒng)執(zhí)行過程中的一個特定場景，用事件跟蹤圖表達。答：動態(tài)模型是與時間和變化有關(guān)的系統(tǒng)性質(zhì)，該模型描述了系統(tǒng)的控制結(jié)構(gòu)，它表示了瞬時的、行為化的系統(tǒng)控制性質(zhì)，它關(guān)心的是系統(tǒng)的控制，操作的執(zhí)行順序，它從對象的事件和狀態(tài)的角度出發(fā)，表現(xiàn)了相互行為。(信息隱蔽)(3)共享性。是指相同的操作或函數(shù)過程可以作用于多種類型的對象上并獲得不同的結(jié)果。是子類自動共享父類數(shù)據(jù)結(jié)構(gòu)和方法的機制，這是類之間的一種關(guān)系。（2）分類性。答：面向?qū)ο蟮奶卣魇牵海?）對象唯一性。發(fā)送一條消息的格式是“(參數(shù))”。接收消息的對象經(jīng)過解釋，然后給予響應(yīng)。(4)消息：對象之間進行通信的構(gòu)造叫做消息。上層的類具有整體性，下層的類具有成員性。整體部分結(jié)構(gòu)稱為組裝結(jié)構(gòu)，它們之間的關(guān)系是一種“與”關(guān)系，或者是“has a”關(guān)系。(3)類結(jié)構(gòu)：類與類之間的結(jié)構(gòu)關(guān)系，包括一般具體結(jié)構(gòu)關(guān)系和整體部分結(jié)構(gòu)關(guān)系。(2)類：具有相同或相似性質(zhì)的對象的抽象就是類。對象內(nèi)的數(shù)據(jù)具有自己的操作，從而可靈活地專門描述對象的獨特行為，具有較強的獨立性和自治性，其內(nèi)部狀態(tài)不受或很少受外界的影響，具有很好的模塊化特點。一個對象用數(shù)據(jù)值來描述它的狀態(tài)，對象的操作則用于改變狀態(tài)，對象及其操作就是對象的行為。對象包括有形實體、作用、事件、性能說明等類型。第十章習(xí)題參考答案說明對象、類、類結(jié)構(gòu)、消息的基本概念。屬于非整體開發(fā)模型。這種理想的、線性的開發(fā)過程缺乏靈活性，不適應(yīng)實際的開發(fā)過程。答:瀑布模型屬于整體開發(fā)模型，它規(guī)定在開始下一個階段的工作之前，必須完成前一階段的所有細節(jié)。(5)系統(tǒng)的易變性對測試有一定影響，難于做到徹底測試，更新文檔較為困難。還未建立起自己的開發(fā)標準。（4）通過實際運行原型，提供直接評價系統(tǒng)的方法，促使用戶主動參與開發(fā)活動，加強了信息反饋，促進各類人員的協(xié)調(diào)，減少誤解，適應(yīng)需求變化，能有效提高系統(tǒng)質(zhì)量。（2）可及早發(fā)現(xiàn)問題，隨時糾正錯誤。評價快速原型模型的優(yōu)缺點。用戶與開發(fā)者在這種循環(huán)過程中不斷接近系統(tǒng)的最終要求。（4）評價原型：在運行的基礎(chǔ)上，評價原型的特性，分析運行效果是否滿足用戶的需求，提出全面的修改意見。（2）構(gòu)造原型：在快速分析的基礎(chǔ)上，根據(jù)基本需求說明盡快實現(xiàn)一個可運行的系統(tǒng)。(3)演化型原型：它將原型思想擴展到軟件開發(fā)的全過程，就是及早向用戶提交一個原型系統(tǒng)，在得到用戶認可后，將原型系統(tǒng)不斷擴充演化為最終的軟件系統(tǒng)。實驗型原型：主要用于設(shè)計階段，考核實現(xiàn)方安是否合適，能否實現(xiàn)?？焖僭湍Ｐ陀袔追N，各有什么特點?答：快速原形模型根據(jù)原型的不同作用，有三類原型模型：探索型原型：把原型用于開發(fā)的需求分析階段，目的是要弄清用戶的需求，確定所期望的特性，并探索各種方案的可行性。增量構(gòu)造模型是在瀑布模型基礎(chǔ)上，對一些階段進行整體開發(fā)，對另一些階段進行增量開發(fā)。（5）改進程序的文檔。（3）建立明確的質(zhì)量保證。提高可維護性的方法有哪些？ 答：（1）建立明確的軟件質(zhì)量目標。什么是軟件可維護性？可維護性度量的特性是什么？答：軟件可維護性的定義：軟件能夠被理解、校正、適應(yīng)及增強功能的容易程度。（3）文檔副作用。數(shù)據(jù)副作用是修改軟件信息結(jié)構(gòu)導(dǎo)致的結(jié)果。（2）數(shù)據(jù)副作用。軟件維護的副作用有哪些？ 答：維護的副作用有以下三種：（1）編碼副作用。軟件維護費用增加的占有原因是軟件維護的生產(chǎn)率非常低。軟件維護的費用在總費用中的比重是在不斷增加的，這是軟件維護有形的代價。軟件生存周期中的開發(fā)階段沒有嚴格而又科學(xué)的管理和規(guī)劃，就會引起軟件運行時的維護困難。（2）維護的困難性。若不采用軟件工程的方法開發(fā)軟件，則軟件只有程序而無文檔，維護工作非常困難，這是一種非結(jié)構(gòu)化的維護。軟件維護的特點是什么？ 答：主要體現(xiàn)在三個方面：（1）非結(jié)構(gòu)化維護和結(jié)構(gòu)化維護。（4）預(yù)防性維護。（3）完善性維護。（2）適應(yīng)性維護。在軟件交付使用后，一些隱含的錯誤在某些特定的使用環(huán)境下會暴露出來。：所謂的軟件維護就是在軟件已經(jīng)交付使用之后，為了改正錯誤而滿足心得需要而修改軟件的過程。（2）適應(yīng)性維護：對程序使用期間發(fā)現(xiàn)的程序錯誤進行診斷和改正的過程，配合變化了的環(huán)境進行修改軟件的活動；（3）完善性維護：滿足用戶在使用過程中提出增加新的功能或修改已有功能的建議而進行的工作；（4）預(yù)防性維護：為了改善未來的可維護性或可靠性而修改軟件的工作。：（主要的實用標準）（1）系統(tǒng)用戶要求（2）可以使用的編譯程序（3）可以得到的軟件工具（4）工程規(guī)模（5）程序員的知識（6）軟件可移植性要求（7）軟件的應(yīng)用領(lǐng)域 （1）程序內(nèi)部的文檔（2）數(shù)據(jù)說明，應(yīng)易于理解便于查閱(3)語句結(jié)構(gòu)，盡可能簡單直觀（4）輸入輸出，遵守人機界面準則（5）效率，能媽祖用戶要求即可 ：為了發(fā)現(xiàn)程序中的錯誤代碼審查：人工測試源程序可以由審查小組正式進行，即稱為審查。調(diào)試途徑：（1）蠻干法（2）回溯法（3）：（1）靜態(tài)單變量模型（2）原因排除法 動太多變量模型（3）COCOMO2模型回溯法：從發(fā)現(xiàn)癥狀的地方開始，：標示，沿程序的控制流往回追蹤分版本控制，變化控制，配置審計，報析源程序代碼，直到找到錯誤告 原因為止。：單元測試、子系準以及任何專業(yè)開發(fā)的軟件產(chǎn)品都應(yīng)統(tǒng)測試、系統(tǒng)測試、驗收測試、平行測試。：就是通過計劃、組織和控制等 ： 一系列活動，：也稱為糾錯，作為成功測試的后果資源，以達到既定目標的過程 出現(xiàn)，：就是軟件與明確地和隱錯誤的過程。：是一種黑盒測試技術(shù)，這種技術(shù)把程序的輸入域劃分成若干個數(shù)據(jù)類，據(jù)此導(dǎo)出數(shù)據(jù)用例。黑盒測試是在程序接口處進行測試，它只檢查程序功能是否能按照規(guī)格說明書的規(guī)定正常使用，程序是否能適當?shù)亟邮蛰斎霐?shù)據(jù)產(chǎn)生正確的輸出信息，并且保持外部信息(如數(shù)據(jù)庫或文件)的完整性。：也稱為功能測試,它著眼于程序的外部特征,而不考慮程序的內(nèi)部邏輯結(jié)構(gòu)。白盒測試主要采用的技術(shù)有：路徑測試技術(shù)和事務(wù)處理流程技術(shù)，對包含有大量邏輯判斷或條件組合的程序采用基于邏輯的測試技術(shù)。（2）Beta：油軟件的最終用戶們在一個或多個客戶場所進行，開發(fā)者通常不在測試的現(xiàn)場用戶記錄在測試過程中遇到的問題，并定期把這些問題報告給開發(fā)者。開發(fā)者負責記錄發(fā)現(xiàn)的錯誤和使用中遇到的問題。：確認測試必須由用戶積極參與，或者以用戶為主進行。驗證：指的是保證軟件正確的實現(xiàn)了某個特定要求的一系列活動。:在集成測試的范疇中，所謂的回歸測試是指重新執(zhí)行已經(jīng)做過的測試的某個子集，以保證上述的這些變化沒有帶來非預(yù)期的副作用。(1)模塊測試（2）子系統(tǒng)測試（3）系統(tǒng)測試（4）驗收測試（5）平行運行：（1）模塊接口（2）局部數(shù)據(jù)結(jié)構(gòu)（3）重要的執(zhí)行通路（4）出錯處理通路（5）邊界條件4.（1）主程序：驅(qū)動程序也就是一個主程序，他接受測試數(shù)據(jù)，把這些數(shù)據(jù)傳送給被測試的模塊，并且印出有關(guān)的結(jié)果，（2）虛擬子程序：存根程序也可以稱為虛擬子程序，他使用被他代替的模