D

[考点] 本题考查操作系统进程管理同步与互斥方面的基础知识。
   [解析] 系统中有6个进程共享一个互斥段N，如果最多允许2个进程同时进入N，那么信号量S的初值应设为3。假设6个进程依次进入N，那么当第一个进程进入N时，信号量S减1，等于2；当第二个进程进入N时，信号量S减1，等于1；当第三个进程进入N时，信号量S减1，等于0；当第四个进程进入N时，信号量S减1，等于-1；当第五个进程进入N时，信号量S减1，等于-2；当第六个进程进入N时，信号量S减1，等于-3。可见，信号量的变化范围是-3～3。
   根据PV操作定义，当信号量的值小于0时，其绝对值表示等待资源的进程数，所以第2空中，信号量S的当前值为-1，则表示系统中有1个进程请求资源得不到满足。

B

C

[考点] 本题考查面向对象的基础知识。
   [解析] 在采用面向对象技术开发的系统中，最基本的运行时实体是对象，对象既包括数据(属性)，又包括作用于数据的操作(行为)，即对象把属性和行为封装为一个整体。对象之间通过发送消息进行交互，对象在收到消息时予以响应。一组大体相似的对象定义为类，把对象的共同特征加以抽象并存储在一个类中，对象是类的实例。一个类所包含的操作和数据描述了一组对象的共同行为和属性，类是对象之上的抽象，类实例化生成对象。定义和实现一个类的时候，可以把一个已经存在的类(父类)所定义的内容作为自己的内容，并在此基础上加入若干新的内容，即父类和子类之间共享数据和方法的继承机制。在继承关系的保证下，不同类型的对象收到同一消息可以进行不同的响应，产生完全不同的结果，这种现象叫作多态。在使用多态的时候，用户可以发送一个通用的消息，实现细节由接收对象自行决定。
   面向对象程序设计语言满足面向对象程序设计范型，采用对象、类及其相关概念进行程序设计，即面向对象程序设计语言中提供对象及其引用、类、消息传递、继承、多态等机制，而并不限定必须支持通过指针进行引用。

D

B

[考点] 本题考查统一建模语言(UML)的基本知识。
   [解析] UML是一种面向对象软件的标准化建模语言，由3个要素构成：UML基本构造块、支配这些构造块如何放置在一起的规则和运用于整个语言的一些公共机制。3种构造块为：事物、关系和图。其中，事物包括：结构事物、行为事物、分组事物和注释事物4种。结构事物是UML模型中的名词，通常是模型的静态部分，描述事物或物理元素，主要包括类、接口、协作等。行为事物是UML模型的动态部分，是模型中的动词，描述了跨越时间和空间的行为，主要包括交互、状态机和活动。分组事物是UML模型的组织部分，由模型分解成的“盒子”，把元素组织成组的机制，主要包括包。注释事物是UML模型的解释部分，用来描述、说明和标注模型的任何元素，主要包括注解，即依附于一个元素或者一组元素之上进行约束或解释的简单符号。

D

C

[考点] 本题考查数据库中关系代数的基础知识。
   [解析] 第一空选项C是正确的。因为，∪是并运算符，R1∪R2的含义为R1关系的记录(元组)与R2关系的记录(元组)进行合并运算，所以R3=R1∪R2。

D

[考点] 本题考查数据库中关系代数的基础知识。
   [解析] 第二空选项D是正确的。因为，一是差运算符，R3-R2的含义为R3关系的记录(元组)与R2关系的记录(元组)进行差运算，即去掉R3和R2关系中的重复记录，所以R1=R3-R2。

D

[考点] 本题考查SQL的基础知识。
   [解析] 查询各部门人数大于2且部门员工的平均工资的SQL语句如下：
   SELECT部门, AVG(应发工资)AS平均工资
   FROM 工资表
   GROUP BY 部门
   HAVING COUNT(员工号)＞2;
   第一空的正确答案为选项D。因为，本题是按部门进行分组，ORDER BY子句的含义是对其后跟着的属性进行排序，故选项A和B均是错误的；GROUP BY子句就是对元组进行分组，保留字GROUP BY后面跟着一个分组属性列表。根据题意，要查询部门员工的平均工资，选项C显然是错误的，正确答案为选项D。
   第二空的正确答案为选项C。因为WHERE语句是对表进行条件限定，所以选项A和B均是错误的。在GROUP BY子句后面跟一个HAVING子句可以对元组在分组前按照某种方式加上限制。COUNT(*)是某个关系中所有元组数目之和，但COUNT (A)却是A属性非空的元组个数之和。COUNT(DISTNCT(部门))的含义是对部门属性值相同的只统计1次。HAVING COUNT(DISTINCT(部门))语句分类统计的结果均为1，故选项D是错误的；HAVING COUNT(员工号)语句是分类统计各部门员工，故正确答案为选项C。

C