四川應(yīng)用技術(shù)職業(yè)學(xué)院《形式化方法和技術(shù)》2023-2024學(xué)年第一學(xué)期期末試卷

學(xué)校________________班級(jí)____________姓名____________考場(chǎng)____________準(zhǔn)考證號(hào)學(xué)校________________班級(jí)____________姓名____________考場(chǎng)____________準(zhǔn)考證號(hào)…………密…………封…………線…………內(nèi)…………不…………要…………答…………題…………第1頁(yè)，共3頁(yè)四川應(yīng)用技術(shù)職業(yè)學(xué)院

《形式化方法和技術(shù)》2023-2024學(xué)年第一學(xué)期期末試卷題號(hào)一二三四總分得分一、單選題（本大題共15個(gè)小題，每小題1分，共15分．在每小題給出的四個(gè)選項(xiàng)中，只有一項(xiàng)是符合題目要求的．）1、在計(jì)算機(jī)圖形用戶界面（GUI）設(shè)計(jì)中，需要考慮用戶體驗(yàn)和界面布局。假設(shè)要設(shè)計(jì)一個(gè)易于操作和美觀的手機(jī)應(yīng)用界面。以下關(guān)于GUI設(shè)計(jì)原則的描述，哪一項(xiàng)是不準(zhǔn)確的？（）A.界面應(yīng)該簡(jiǎn)潔明了，避免過(guò)多的元素和復(fù)雜的布局，使用戶能夠快速找到所需的功能B.顏色的選擇應(yīng)該協(xié)調(diào)一致，符合應(yīng)用的主題和用戶的心理預(yù)期，同時(shí)要考慮到色盲用戶的需求C.按鈕和控件的大小、形狀和位置應(yīng)該符合人體工程學(xué)原理，方便用戶點(diǎn)擊和操作D.為了增加界面的豐富性和吸引力，可以使用過(guò)多的動(dòng)畫和特效，即使這可能會(huì)影響性能2、隨著計(jì)算機(jī)技術(shù)的不斷發(fā)展，操作系統(tǒng)也在不斷演進(jìn)和更新。假設(shè)一個(gè)企業(yè)擁有眾多員工，需要一個(gè)穩(wěn)定、安全且易于管理的操作系統(tǒng)來(lái)支持日常辦公和業(yè)務(wù)運(yùn)作。同時(shí)，還需要考慮與各種辦公軟件和企業(yè)應(yīng)用程序的兼容性。以下哪種操作系統(tǒng)最為適合？（）A.Windows操作系統(tǒng)B.Linux操作系統(tǒng)C.macOS操作系統(tǒng)D.Android操作系統(tǒng)3、在計(jì)算機(jī)網(wǎng)絡(luò)安全中，加密技術(shù)是保護(hù)數(shù)據(jù)機(jī)密性和完整性的重要手段。假設(shè)要在網(wǎng)絡(luò)通信中對(duì)敏感數(shù)據(jù)進(jìn)行加密傳輸，以下關(guān)于加密算法選擇和應(yīng)用的描述，正確的是：（）A.對(duì)稱加密算法速度快，但密鑰管理困難；非對(duì)稱加密算法安全性高，但速度慢B.應(yīng)該始終選擇最復(fù)雜的加密算法，以確保最高的安全性C.加密算法的選擇與數(shù)據(jù)量和網(wǎng)絡(luò)帶寬無(wú)關(guān)D.一旦數(shù)據(jù)加密，就無(wú)需再采取其他安全措施4、在計(jì)算機(jī)圖形學(xué)中，圖像和圖形有著不同的概念和處理方式。假設(shè)在一個(gè)多媒體設(shè)計(jì)項(xiàng)目中，需要?jiǎng)?chuàng)建和處理各種視覺(jué)元素，如照片、插圖和圖標(biāo)等。以下關(guān)于圖像和圖形的描述，哪一項(xiàng)是錯(cuò)誤的？（）A.圖像通常是由像素組成的位圖，如數(shù)碼照片，對(duì)其進(jìn)行縮放操作可能會(huì)導(dǎo)致失真B.圖形則是由數(shù)學(xué)公式和幾何形狀定義的矢量圖，如標(biāo)志設(shè)計(jì)，無(wú)論如何縮放都能保持清晰C.在處理圖像時(shí)，常常需要進(jìn)行色彩調(diào)整、裁剪和濾波等操作D.圖形和圖像在計(jì)算機(jī)中的存儲(chǔ)方式相同，都占用相同大小的存儲(chǔ)空間5、計(jì)算機(jī)圖形學(xué)是研究如何利用計(jì)算機(jī)生成、處理和顯示圖形的學(xué)科。以下關(guān)于計(jì)算機(jī)圖形學(xué)應(yīng)用領(lǐng)域的描述，不準(zhǔn)確的是（）A.在計(jì)算機(jī)輔助設(shè)計(jì)（CAD）中，計(jì)算機(jī)圖形學(xué)用于繪制建筑藍(lán)圖、機(jī)械零件圖等，提高設(shè)計(jì)效率和精度B.在虛擬現(xiàn)實(shí)（VR）和增強(qiáng)現(xiàn)實(shí)（AR）中，通過(guò)創(chuàng)建逼真的虛擬環(huán)境和增強(qiáng)現(xiàn)實(shí)效果，為用戶帶來(lái)沉浸式的體驗(yàn)C.計(jì)算機(jī)圖形學(xué)在影視特效制作中發(fā)揮著重要作用，能夠創(chuàng)造出各種奇幻的場(chǎng)景和角色D.計(jì)算機(jī)圖形學(xué)只應(yīng)用于專業(yè)領(lǐng)域，如工業(yè)設(shè)計(jì)、娛樂(lè)產(chǎn)業(yè)等，對(duì)普通人的日常生活沒(méi)有影響6、探討操作系統(tǒng)的設(shè)備管理如何協(xié)調(diào)不同類型設(shè)備的工作并優(yōu)化I/O性能。7、在計(jì)算機(jī)圖形學(xué)中，圖像的表示和處理是重要的研究?jī)?nèi)容。假設(shè)需要對(duì)一張分辨率為1920×1080的彩色圖片進(jìn)行壓縮存儲(chǔ)，圖片中的顏色信息豐富，且存在大量的細(xì)節(jié)和漸變。以下哪種圖像壓縮算法在這種情況下能夠在保證一定圖像質(zhì)量的前提下實(shí)現(xiàn)較高的壓縮比？（）A.JPEG壓縮算法，利用離散余弦變換去除圖像中的冗余信息B.PNG壓縮算法，支持無(wú)損壓縮，保留所有圖像細(xì)節(jié)C.BMP圖像格式，不進(jìn)行壓縮，直接存儲(chǔ)原始圖像數(shù)據(jù)D.GIF壓縮算法，適用于簡(jiǎn)單的圖像和動(dòng)畫8、在數(shù)據(jù)庫(kù)設(shè)計(jì)中，關(guān)系模式的規(guī)范化是提高數(shù)據(jù)存儲(chǔ)效率和減少數(shù)據(jù)冗余的重要手段。假設(shè)一個(gè)數(shù)據(jù)庫(kù)需要存儲(chǔ)學(xué)生的課程成績(jī)信息，包括學(xué)生學(xué)號(hào)、課程編號(hào)、成績(jī)等。為了避免數(shù)據(jù)冗余和更新異常，以下哪種關(guān)系模式的規(guī)范化程度可能是最合適的？（）A.第一范式（1NF）B.第二范式（2NF）C.第三范式（3NF）D.巴斯范式（BCNF）9、在計(jì)算機(jī)網(wǎng)絡(luò)中，網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)決定了網(wǎng)絡(luò)的性能和可靠性。常見(jiàn)的網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)有星型、總線型、環(huán)型和網(wǎng)狀型等。假設(shè)你需要為一個(gè)大型企業(yè)園區(qū)設(shè)計(jì)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)，要求網(wǎng)絡(luò)具有高可靠性和可擴(kuò)展性。以下哪種網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)可能是最合適的選擇？（）A.星型拓?fù)?，所有設(shè)備都連接到中心節(jié)點(diǎn)，易于管理和維護(hù)B.總線型拓?fù)洌ㄟ^(guò)一條共享的總線連接設(shè)備，成本低C.環(huán)型拓?fù)?，?shù)據(jù)沿環(huán)單向傳輸，結(jié)構(gòu)簡(jiǎn)單D.網(wǎng)狀型拓?fù)洌?jié)點(diǎn)之間有多條路徑連接，可靠性高，可擴(kuò)展性強(qiáng)10、多媒體技術(shù)在計(jì)算機(jī)領(lǐng)域的應(yīng)用越來(lái)越廣泛，包括音頻、視頻、圖像等。假設(shè)要制作一段高質(zhì)量的視頻教程，需要進(jìn)行視頻編輯和處理，以下哪個(gè)軟件是常用的工具？（）A.AdobePremierePro，專業(yè)的視頻編輯軟件，功能強(qiáng)大B.MicrosoftPowerPoint，常用于制作演示文稿，也可簡(jiǎn)單編輯視頻C.WindowsMovieMaker，Windows系統(tǒng)自帶的簡(jiǎn)單視頻編輯工具D.Photoshop，主要用于圖像編輯，也可進(jìn)行一些視頻處理11、在操作系統(tǒng)的進(jìn)程通信中，有多種方式可以實(shí)現(xiàn)進(jìn)程之間的數(shù)據(jù)交換和協(xié)作。假設(shè)兩個(gè)進(jìn)程需要頻繁地交換大量的數(shù)據(jù)，并且要求通信效率高。在這種情況下，以下哪種進(jìn)程通信方式可能會(huì)被選用？（）A.共享內(nèi)存B.消息隊(duì)列C.管道D.信號(hào)量12、研究操作系統(tǒng)如何支持不同的文件壓縮格式和其在存儲(chǔ)和讀取時(shí)的性能差異。13、計(jì)算機(jī)病毒和惡意軟件是計(jì)算機(jī)系統(tǒng)的常見(jiàn)威脅。假設(shè)一臺(tái)計(jì)算機(jī)感染了一種未知的惡意軟件，以下關(guān)于病毒清除和系統(tǒng)恢復(fù)的描述，正確的是：（）A.立即格式化硬盤可以徹底清除惡意軟件和恢復(fù)系統(tǒng)B.安裝多個(gè)殺毒軟件同時(shí)進(jìn)行掃描能夠更有效地清除惡意軟件C.首先應(yīng)隔離受感染的計(jì)算機(jī)，然后使用專業(yè)的殺毒工具進(jìn)行掃描和清除，并根據(jù)情況進(jìn)行系統(tǒng)修復(fù)和數(shù)據(jù)恢復(fù)D.一旦計(jì)算機(jī)感染惡意軟件，就無(wú)法完全清除，只能重新安裝操作系統(tǒng)14、在軟件開(kāi)發(fā)過(guò)程中，軟件測(cè)試是保證軟件質(zhì)量的重要環(huán)節(jié)。假設(shè)一個(gè)新開(kāi)發(fā)的軟件即將交付使用，以下關(guān)于軟件測(cè)試方法和策略的描述，正確的是：（）A.只需進(jìn)行黑盒測(cè)試，無(wú)需進(jìn)行白盒測(cè)試，就可以確保軟件沒(méi)有缺陷B.測(cè)試用例的設(shè)計(jì)可以隨意進(jìn)行，不需要覆蓋各種可能的情況C.集成測(cè)試應(yīng)該在單元測(cè)試完成之后進(jìn)行，以確保各個(gè)模塊能夠正確協(xié)同工作D.軟件測(cè)試只需要在開(kāi)發(fā)結(jié)束時(shí)進(jìn)行一次，不需要反復(fù)測(cè)試15、在軟件工程的項(xiàng)目管理中，進(jìn)度管理是確保項(xiàng)目按時(shí)完成的關(guān)鍵。假設(shè)一個(gè)軟件開(kāi)發(fā)項(xiàng)目有明確的交付日期和多個(gè)階段的任務(wù)，需要對(duì)項(xiàng)目進(jìn)度進(jìn)行有效的監(jiān)控和調(diào)整。在這種情況下，以下哪種進(jìn)度管理工具和技術(shù)可能會(huì)被使用？（）A.甘特圖B.關(guān)鍵路徑法（CPM）C.計(jì)劃評(píng)審技術(shù)（PERT）D.以上都是二、簡(jiǎn)答題（本大題共4個(gè)小題，共20分)1、（本題5分）解釋程序設(shè)計(jì)語(yǔ)言的分類及特點(diǎn)。2、（本題5分）什么是智能交通出行規(guī)劃？簡(jiǎn)述其原理。3、（本題5分）簡(jiǎn)述數(shù)據(jù)清洗的目的和方法。4、（本題5分）簡(jiǎn)述嵌入式系統(tǒng)的開(kāi)發(fā)流程。三、論述題（本大題共5個(gè)小題，共25分)1、（本題5分）論述計(jì)算機(jī)技術(shù)在智能娛樂(lè)系統(tǒng)中的創(chuàng)新和影響。2、（本題5分）分析計(jì)算機(jī)技術(shù)在智能交通系統(tǒng)中的關(guān)鍵技術(shù)和挑戰(zhàn)。3、（本題5分）談?wù)勀銓?duì)計(jì)算機(jī)在葫蘆烙畫中的應(yīng)用了解。4、（本題5分）分析計(jì)算機(jī)在建筑設(shè)計(jì)中的地位和發(fā)展。5、（本題5分）論述計(jì)算機(jī)在日本傳統(tǒng)人偶制作中的應(yīng)用價(jià)值。四、操作題（本大題共4個(gè)小題，共40分)1、（本題10分）在Access中，創(chuàng)建一個(gè)學(xué)校選課系統(tǒng)的數(shù)據(jù)庫(kù)。設(shè)計(jì)課程表、學(xué)生選課表、教師授課表等，實(shí)現(xiàn)選課功能和課程安排的自動(dòng)化管理，生成選課情況報(bào)表和教學(xué)資源分配報(bào)表。2、（本題10分）在Word中，使用題注和腳注功