贵州电力职业技术学院《形式化方法和技术》2023-2024学年第一学期期末试卷.docVIP

装订线

装订线

PAGE2

第PAGE1页，共NUMPAGES3页

贵州电力职业技术学院《形式化方法和技术》

2023-2024学年第一学期期末试卷

院(系)_______班级_______学号_______姓名_______

题号

一

二

三

四

总分

得分

一、单选题（本大题共15个小题，每小题2分，共30分．在每小题给出的四个选项中，只有一项是符合题目要求的．）

1、计算机系统中的文件管理是一项重要的功能，它涉及到文件的存储、组织和访问。以下关于文件系统的描述，哪一项是不准确的？（）

A.文件系统负责为文件分配存储空间，并建立文件与存储位置之间的映射

B.不同的操作系统可能采用不同的文件系统，如Windows常用NTFS，Linux常用EXT4

C.文件系统能够保证文件的安全性和完整性，防止文件被非法篡改或删除

D.文件系统只管理本地存储设备上的文件，无法管理网络存储中的文件

2、在计算机编程语言中，函数的作用是将一段具有特定功能的代码封装起来，以便重复使用和提高代码的可读性。假设需要编写一个函数，用于计算两个整数的最大公约数。以下哪种算法可以用于实现这个函数？（）

A.欧几里得算法，通过反复用较小数去除较大数并取余数，直到余数为0

B.穷举法，从1开始依次判断每个数是否能同