描述了系统的静态特征（数据结构）、动态特征（数据操作）和完整性约束条件，这就是数据模型的三要素。
（数据库）索引技术、日志文件
目的：提供多种存储路径，加快查找速度。
建立索引需要考虑的问题：1.没有查询、统计的需要则不建2.数据增删改频繁，系统会花费许多时间来维护索引，从而降低了查询效率 （数据库）完整性与安全性的区别 完整性和安全性是两个不同的概念。前者是为了防止数据库中存在不符合语义的数据，防止错误信息的输入和输出造成的无效操作和错误结果，而后者是防止数据库被恶意的破坏和非法的存取。当然，完整性和安全性是密切相关的。特别是从系统实现的方法来看，某一种机制常常既可以用于安全保护亦可用于完整性保证。
（离散）无向图中某条边出现在所有生成树中的充要条件 这条边是割边（删去这条边后，连通分支会增加） （编译）LR(0)
（离散）一棵树有1个度为4的结点，1个度为3的结点，1个度为2的结点，其余全为叶子结点，问一共有多少个叶子？ 5个
（编译/离散）闭包运算
数学中，对一个集合的成员进行某种运算，生成的仍然是这个集合的成员，则该集合被称为在某个运算下闭合。 例如，实数在减法下闭合，但自然数不行: 自然数 3 和 7 的减法 3 ? 7 的结果不是自然数。
（离散）17条边的简单图最少多少个顶点
n阶完全图的边数n(n-1)/2，完全图的度是最大的 n>=7
（软工）白盒测试、黑盒测试
黑盒测试也称功能测试或数据驱动测试，它是在已知产品所应具有的功能，通过测试来检测每个功能是否都能正常使用，在测试时，把程序看作一个不能打开的黑盆子，在完全不考虑程序内部结构和内部特性的情况下，测试者在程序接口进行测试，它只检查程序功能是否按照需求规格说明书的规定正常使用，程序是否能适当地接收输入数锯而产生正确的输出信息，并且保持外部信息（如数据库或文件）的完整性。 白盒测试也称结构测试或逻辑驱动测试，它是知道产品内部工作过程，可通过测试来检测产品内部动作是否按照规格说明书的规定正常进行，按照程序内部的结构测试程序，检验程序中的每条通路是否都有能按预定要求正确工作，而不顾它的功能，白盒测试的主要方法有逻辑驱动、基路测试等，主要用于软件验证。
灰盒测试，确实是介于二者之间的，可以这样理解，灰盒测试关注输出对于输入的正确性，同时也关注内部表现，但这种关注不象白盒那样详细、完整，只是通过一些表征性的现象、事件、标志来判断内部的运行状态，有时候输出是正确的，但内部其实已经错误了，这种情况非常多，如果每次都通过白盒测试来操作，效率会很低，因此需要采取这样的一种灰盒的方法。
（离散）独异点的*运算表包涵什么
通常也会多加上另一个公理：
（离散）什么是联结词完备集 设S是一个联结词集合，如果任何n(n≥1)元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联 结词完备集
S={┐,∧,∨}是联结词完备集 （软工）什么是UML 统一建模语言（UML，英语：Unified Modeling Language）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂系统进行建模方面，特别是在软件架构层次已经被验证有效。 （算法）阐述对一个数据集进行等价类划分的基本思想和过程 并查集应用:数据结构书p267
（离散）简述欧拉回路的基本含义及一个应用。另，哈密顿回路 对于一个给定的连通图，怎样判断是否存在着一个恰好包含了所有的边，并且没有重复的路径？这就是一笔画问题。用图论的术语来说，就是判断这个图是否是一个能够遍历完所有的边而没有重复。这样的图现称为欧拉图。这时遍历的路径称作欧拉路径（一个环或者一条链），如果路径闭合（一个圈），则称为欧拉回路 一笔画问题
哈密顿图（英语：Hamiltonian path，或Traceable path）是一个无向图，由天文学家哈密顿提出，由指定的起点前往指定的终点，途中经过所有其他节点且只经过一次。在图论中是指含有哈密顿回路的图，闭合的哈密顿路径称作哈密顿回路（Hamiltonian cycle），含有图中所有顶的路径称作哈密顿路径。
第29/33页
（？）简述对一个集合可能的表示方法（至少描述两种） 列举法，描述法..
（离散）简述逻辑命题与逻辑谓词的关系 ？
（编译）简述用于定义语言句法的文法类型及其主要特征
乔姆斯基把方法分成四种类型，即0型、1型、2型和3型。 0型，无限制文法。无限制文法是对文法的产生式左右两侧都没有限制的。
1型，上下文相关文法。此文法对应于线性有界自动机。它是在0型文法的基础上每一个α→β,都有|β|>=|α|。这里的|β|表示的是β的长度。另外允许S", ε
2型，上下文无关文法。它对应于下推自动机。2型文法是在1型文法的基础上,
再满足：每一个 α→β
都有α是非终结符。如A->Ba,符合2型文法要求。
3型，正规文法。它对应于有限状态自动机。它是在2型文法的基础上满足:A→α|αB（右线性）或A→α|Bα（左线性）。
（编译）简述预测分析法LL(1)的基本思想 自顶向下句法分析以文法开始符号为根，试图构造以输入符号串为树叶的推导树，每次都以最左边的那个非终结符为子树根，选择适当的产生式，往下生长子树。 预测分析表进行处理。
（编译）简述LR(1)分析法的基本思想 “向前看”，减少移近-规约冲突。
（编译）简述在程序流图中寻找循环的基本思想 注意Back Edge 第30/33页
（离散）举例偏序关系、全序关系，说明区别
偏序只对部分元素成立关系R，全序对集合中任意两个元素都有关系R。 例如：
集合的包含关系就是半序，也就是偏序，因为两个集合可以互不包含； 而实数中的大小关系是全序，两个实数必有一个大于等于另一个； 又如：复数中的大小就是半序，虚数不能比较大小。 知识面
（广）图灵机 图灵机，又称确定型图灵机，是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
（离散）罗素悖论
（广）ACM全称，是哪国的
计算机协会（Association of Computing Machinery, 简称 ACM
）
是一个世界性的计算机从业员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会。 （广）IEEE全称
电气电子工程师学会（英语：Institute of Electrical and Electronics Engineers，简称为IEEE，英文读作“i 第31/33页
triple e”*ai tr?pl i:]）是一个建立于1963年1月1日的国际性电子技术与电子工程师协会，亦是世界上最大的专业技术组织之一，拥有来自175个国家的36万会员。
除设立于美国纽约市的总部以外，亦在全球150多个国家拥有分会，并且还有35个专业学会及2个联合会。其每年均会发表多种杂志、学报、书籍，亦举办至少300次的专业会议。 （广）图灵奖及获得者
图灵奖（Turing Award，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家，英国曼彻斯特大学教授艾伦·图灵（Professor Alan Turing），这个奖设立目的之一是纪念这位现代电脑、计算机奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。 （广）图灵测试
图灵测试（英语：Turing test，又译图灵试验）是图灵提出的一个关于判断机器是否能够思考的著名试验，测试某机器是否能表现出与人等价或无法区分的智能。
如果一个人（代号C）使用测试对象皆理解的语言去询问两个他不能看见的对象任意一串问题。对象为：一个是正常思维的人（代号B）、一个是机器（代号A）。如果经过若干询问以后，C不能得出实质的区别来分辨A与B的不同，则此机器A通过图灵测试。 （广）实时系统的分类
实时系统（Real-time operating system,RTOS）的正确性不仅依赖系统计算的逻辑结果，还依赖于产生这个结果的时间。实时系统能够在指定或者确定的时间内完成系统功能和外部或内部、同步或异步时间做出响应的系统。因此实时系统应该在事先定义的时间范围内识别和处理离散事件的能力；系统能够处理和储存控制系统所需要的大量数据。 强实时 强实时系统（Hard Real-Time）：在航空航天、军事、核工业等一些关键领域中，应用时间需求应能够得到完全满足，否则就造成如飞机失事等重大地安全事故，造成重大地生命财产损失和生态破坏。因此，在这类系统的设计和实现过程中，应采用各种分析、模拟及形式化验证方法对系统进行严格的检验，以保证在各种情况下应用的时间需求和功能需求都能够得到满足。 弱实时
弱实时系统（Soft Real-Time）：某些应用虽然提出了时间需求，但实时任务偶尔违反这种需求对系统的运行以及环境不会造成严重影响，如视频点播（Video-On-Demand，VOD）系统、信息采集与检索系统就是典型的弱实时系统。在VOD系统中，系统只需保证绝大多数情况下视频数据能够及时传输给用户即可，偶尔的数据传输延迟对用户不会造成很大影响，也不会造成像飞机失事一样严重的后果。 （广）并行技术有哪些
并行计算（英语：parallel computing）一般是指许多指令得以同时进行的计算模式。在同时进行的前提下，可以将计算的过程分解成小部份，之后以并发方式来加以解决。
相对于串行计算，并行计算可以划分成时间并行和空间并行。时间并行即流水线技术，空间并行使用多个处理器执行并发计算，当前研究的主要是空间的并行问题。以程序和算法设计人员的角度看，并行计算又可分为数据并行和任务并行。数据并行把大的任务化解成若干个相同的子任务，处理起来比任务并行简单。
空间上的并行导致两类并行机的产生，按照麦克·弗莱因（Michael Flynn）的说法分为单指令流多数据流（SIMD）和多指令流多数据流（MIMD），而常用的串行机也称为单指令流单数据流（SISD）。MIMD类的机器又可分为常见的五类：并行矢量处理机（PVP）、对称多处理机（SMP）、大规模并行处理机（MPP）、工作站机群（COW）、分布式共享存储处理机（DSM）。 （广）什么是系列机
系列机指基本指令系统相同、基本体系结构相同的一系列不同型号的计算机。系列机的概念就是指先设计好一种系统结构，而后就按这种系统结构设计它的系统软件，按器件状况和硬件技术研究这种结构的各种实现方法。并按照 第32/33页
速度、价格等不同要求，分别提供不同速度、不同配置的各档机器。系列机必须保证用户看到的机器属性一致。
（广）多核处理器存在的问题
目前在多核技术的开发中需要解决3个重要问题：一是多核之间的竞争关系如何协调，二是多核的负载均衡如何实 现，三是对如何实现对多核中内存、cache等的管理。要解决这些问题，就需要软件开发和硬件开发在早期阶段进行合作，对某些功能进行定义。 （广）什么是IP电话
IP电话（简称VoIP，源自英语Voice over Internet Protocol；又名宽带电话或网络电话）是一种透过互联网或其他使用IP技术的网络，来实现新型的电话通讯。过去IP电话主要应用在大型公司的内联网内，技术人员可以复用同一个网络提供数据及语音服务，除了简化管理，更可提高生产力。随着互联网日渐普及，以及跨境通讯数量大幅飙升，IP电话亦被应用在长途电话业务上。由于世界各主要大城市的通信公司竞争日剧，以及各国电信相关法令松绑，IP电话也开始应用于固网通信，其低通话成本、低建设成本、易扩充性及日渐优良化的通话质量等主要特点，被目前国际电信企业看成是传统电信业务的有力竞争者。