数据结构可以形式化定义为 DS=（D,S），其中D代表数据元素间的关系的集合（）

A.算法

B.数据元素

C.数据操作

D.数据对象

A.能够完成预定功能和性能的可执行指令

B.使得程序能够适当地操作信息的数据结构

C.软件成本相当昂贵

D.描述程序的操作和使用的文档

设S为信号量，P、V操作的形式化定义如下图(a)和(b)所示，请完成该形式化定义，将应填入(n)处的内容写在答题纸的对应栏中。

【问题2】（4分）

设S为信号量，P、V操作的形式化定义如图5-2和图5-3所示，请完成该形式化定义，将应填入（n）处的内容写在答题纸的对应栏中（直接填写编号即可）。

图5-2 P操作的形式化定义

图5-3 V操作的形式化定义

A.知识表示就是把知识形式化或者模型化

B.知识表示具有一定的针对性和局限性

C.知识表示是一种计算机可以接受的数据结构

D.好的知识表示形式应便于理解

A.能真实、充分地反映现实世界，包括事物和事物之间的联系

B.能满足用户对数据的处理要求。

C.易于程序员理解，但不要求计算机的用户能够理解。

D.易于更改，当应用环境和应用要求改变时，能容易地对概念结构进行修改和扩充。

E.易于向计算机支持的数据结构转换。

A.S=Q/T

B.dS=Q/T

C.dS=Dq/T

D.S=dQ/t

阅读下列说明和程序，回答问题l至问题3．将答案填入答题纸的对应栏内。

【说明】

在开发某嵌入式系统时，设计人员根据系统要求，分别编写了如下程序，其中：

【程序1】;实现两个变量的值的互换；

【程序2】：完成某功能的C语言程序；

【程序3】和【程序4】:是P、V操作的形式化定义，设S为信号量。在多道程序系

统中，进程是并发执行的。这些进程间存在着不同的相互制约关系，主要表现为同步和

互斥两个方面。信号量是解决进程间同步与互斥的有效方法。

【程序1】

【程序3】

P操作的形式化定义

P (S)

{

(1):

If(2) {

阻塞该进程；

将该进程插入信号量S的等待队列

}

}

【程序4】

V操作的形式化定义：

V(S)

{

(3)

if(4) {

从信号量s的等待队列中取出队首进程

将其插入就绪队列：

}

}

【问题1】（6分）

执行【程序1】后，没有能够实现两个变量值的交换，为什么？请修改上述函数

实现两个变量值的交换，要求函数无返回值，形式为：void swap(...)。请将答案填写在

答题纸中对应的栏目。

【问题2】（3分）

请问【程序2】运行结果是什么？

【问题3】（6分）

请简述什么是临界资源？什么是临界区？

请完成【程序3】和【程序4】的形式化定义，将应填入(n)处的内容写在答题纸

的对应栏中。