全国计算机等级考试二级笔试试卷主要考察的是计算机基础知识和C语言程序设计能力。试卷中包含多项选择题，涉及数据结构、算法、软件工程、数据库管理、编程语法等多个方面。
（1）非线性结构的数据结构是指不是简单的一对一前后关系的结构，如题目中的二叉树（C）符合这一概念，而循环队列（A）、带链队列（B）和带链栈（D）都是线性结构。
（2）按照“先进后出”原则存取数据的数据结构是栈（B），而循环队列（A）、队列（C）和二叉树（D）都不是以这种顺序处理元素的。
（3）循环队列的队头指针可以在队尾之前或之后，因此选项D正确。循环队列允许队头和队尾在数组中形成一个循环，所以队头指针可以大于或小于队尾指针。
（4）算法的空间复杂度衡量的是算法在执行过程中所需的内存空间，选项A正确。其他选项（B）数据量，（C）指令条数，（D）临时工作单元数，虽然与空间利用有关，但不是空间复杂度的定义。
（5）软件设计中划分模块的原则是高内聚低耦合（B），意味着每个模块应具有高度内部相关性和低外部依赖性。
（6）不属于结构化程序设计原则的是可封装（A）。结构化程序设计原则包括自顶向下（D）、模块化（C）和逐步求精（D），而可封装是面向对象编程的一个原则。
（7）软件详细设计通常使用N-S图（A）来表示，它是一种流程图，便于描述程序的控制流。
（8）数据库管理系统是操作系统支持下的系统软件（B），用于管理和操作数据库。
（9）在E-R图中，菱形（C）用来表示实体之间的联系。
（10）关系T可以通过关系R和S进行并操作（D）得到，因为T包含了R和S的所有元组。
（11）程序设计不仅仅是编写代码和调试，而是包括确定数据结构、算法等多个方面，因此答案D是正确的。
（12）在C语言中，void（A）、unsigned（D）是保留字，不能用作用户标识符。而8_8（B）不合法，因为它包含数字和下划线的组合，而_0（C）可以用作标识符。
（13）在C语言中，case是关键字，不能用作变量名，因此程序编译错误（A）。
（14）表达式(int)((double)9/2)-(9)%2的结果是3（B），因为浮点数除法得到4.5，取整后为4，9除以2的余数为1，所以结果为4-1。
（15）x-=x+x 相当于 x = x - (x + x)，即x = x - 2x，因此x的值变为-10（B）。
（16）程序输出结果是1,2（D），首先执行b=a+b，b变为1，然后输出b的值1，接着a=2*b，a变为2，最后输出a的值2。
（17）选项A的if语句没有使用花括号，导致赋值语句a=b和b=c可能不会按预期顺序执行，与其他三个选项不同。
（18）程序运行后输出结果是3（A），因为default语句在case 2之后执行，只增加一次c。
（19）与给定语句k=a>b?(b>c?1:0):0功能相同的是if(a>b)&&(b>c) k=1; else k=0;（A），因为它们都只有在a大于b且b也大于c时才将k设为1，否则设为0。
这些题目涵盖了计算机科学基础的多个核心概念，对于理解计算机工作原理和程序设计有着重要的意义。解答这些题目有助于考生提升计算机科学理论知识和实践技能。
