2015软考软件设计师试题(7)[1]

【网络综合 - 程序员考试试题】
24.包含3个命题变元的命题公式中，能够出现__（116）__个真值赋值。包含3个命题变元的命题公式可以形成__（117）__个不同真值的命题公式。公式__（118）__是矛盾式，公式__（119）__是非重言式的可满足式。公式__（120）__是析取范式。

　　供选择的答案

　　（116）：　　A 3

　　B 8

　　C 27

　　D 64

　　（117）：　　A 4

　　B 16

　　C 64

　　D 256

　　（118）、（119）： A ┐（P→q）∧q∧r

　　B p→（p∨q）

　　C （p∧q） ∨（p∧┐q）

　　D ┐（p∧q）→┐p∨┐q

　　（120）： A ┐P∨（q∧-r） ∨（p∧r）q┐

　　B （p∨┐q）∧（q∨r） ∧┐r

　　C （p∨q） ∧┐（q∨┐r）

　　D （p→q） ∨（p∧r）

　　参考答案：（116） B （117） D （118） A （119） C （120） A
25.实体联系模型（简称ER 模型）中的基本语义单位是实体和联系。ER模型的图形表示称为ER图。联系可以同_（121）_实体有关。实体与实体之间的联系可以是_（122）_。

　　利用ER模型进行数据库的概念设计，可以分成三步：首先设计局部ER模型，然后把各个局部ER模型综合成一个全局的模型，最后对全局ER模型进行_（123）_，得到最终的ER模型。

　　ER模型向关系模型的转换 把一个实体类型转换成一个关系模式，实体的属性是关系的属性，实体的键是关系的键；是一个联系类型转换成一个_（124）_，参与该联系类型的各实体的键以及联系的属性转换成_（125）_，其中的键由实体与实体之间的联系决定。

　　供选择的答案

　　（121）：A 0个

　　B 1个或多个

　　C 1个

　　D 多个

　　（122）：A一对一和一对多

　　B一对一和多对多

　　C一对多和多对多

　　D一对一、一对多和多对多

　　（123）：A简化

　　B结构化

　　C最小化

　　D优化

　　（124）：A联系模式

　　B数据模式

　　C关系模式

　　D逻辑模式

　　（125）：A联系属性

　　B关系的属性

　　C数据属性

　　D关系的候选键

　　参考答案：（121） B （122） D （123） D （124） C （125） B
26.假设某程序语言的文法如下：

　　Ｓ→ＳａＴ∣Ｔ

　　T → T b R∣Ｒ

　　Ｒ→ Ｐd Ｒ∣Ｐ

　　Ｐ→ fＳｇ∣e

　　其中：VT＝｛a, b, d, e, f, g｝；VN＝｛S,T,R,P｝；S是开始符号。那么，此方法是＿（126）＿方法。这种文法的语法分析通常采用优先距阵，优先矩阵给出了该文法中各个终结符之间的优先关系系〔大于，小于，等于，无关系）。在上述文法中，某些终结符之间的优先关系如下：

　　b＿（127）＿a; f＿（128）＿g; a＿（129）＿a; d＿（130）＿d。

　　供选择的答案

　　（126）：A正则文法

　　B算符文法

　　C二义文法

　　D属性文法

　　（127）~（130）：A大于

　　B小于

　　C等于

　　D无关系

　　参考答案：（126） B （127） A （128） C （129） A （130） B
27.软件设计中划分模块的一个准则是＿（131）＿。两个模块之间的耦合方式中，＿（132）＿耦合的耦合度最高，＿（133）＿耦合的耦合度最低。一个模块内部的内聚种类中＿（134）＿内聚的内聚度最高，＿（135）＿内聚的内聚度最低。

　　供选择的答案

　　（131）：A低内聚低耦合

　　B低内聚高耦合

　　C高内聚低耦合

　　D高内聚高耦合

　　（132）：A数据

　　B非直接

　　C控制

　　D内容

　　（133）：A数据

程序员考试