问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

从前一大约在十年以前,你可能听说密码编码学( cryptography)对计算机安全没有作 出什么贡献。计算机安全是关于TCBs(可信计算基)的、引用监控、自主型和强制访问 控制、安全模型和系统规范的形式验证。按照这种观点,密码所起的作用实际上是外围 的。在安全操作系统当中,存储口令的单向函数仅仅是密码机制的一个明显的实例。 现在,倾向性却走到了另外一个极端。密码被看成了将解决所有计算机安全问题的神 奇的对策。安全操作系统由于太昂贵、使用太受限制和太远离用户的要求,而作为过去的 事不再考虑,它最终像恐龙绝迹一样消亡。密码能够提供这样重要的承诺吗?

1. 什么是状态图 状态图（statechart diagram）：主要用于描述一个对象在其生存期间的动态行为，表现一个对象所经历的状态序列（state sequence）、引起状态转移的事件（event）以及因状态转移而伴随的动作（action）

第六章Unix的安全 现在,我们已经考察了各种独立的安全机制。在真正的实现中,它们是互相依赖的。例如,访问控制和授权必 须协同工作,缺了任何一方,另一方都不能有效地工作。所以,我们现在转入对操作系统提供的安全机制的考察。 Unix是我们的第一个例子,它让我们有机会在一个相当具体的层次上考察安全机制

1.用例与协作（use case & collaboration） 一）用例(用况、用案） 定义1：用例是对一个参与者（actor）使用系统的一项功能时所进行的交互过程的一个文字描述序列。 定义2：用例是系统、子系统或类 与 外部的参与者（actor）交互的动作序列的说明，包括可选的动作序列和会出现异常的动作序列

分子中含有与碳直接相连的硝基(-NO2)的化合物叫做硝基化合物,它可以被看作是 烃的…个或多个氢原子被硝基取代生成的化合物通式为R-NO2(或ANO2)它和亚硝酸酯

一、定义: 烃分子中的一个或几个氢原子被卤原子取代面生成的化合物,叫做卤代烃R表示卤原子是卤代烃的官能团

12.2几个特殊运算符的重载 12.2.1增量减量运算符

1编写一个九九乘法表 2请在100-999中找出所有符合以下条件的数字条件:个位数的3次方+十位数的3次方+百位数的3次方=该数本身

SolidWorks 是一个尺寸驱动式的绘图软件，因此绘图的方式和以前传统的绘图方式有 很大的不同。在绘制草图的过程中应该注意以下几个原则。 根据建立特征的不同以及特征间的相互关系，确定草图的绘图平面和基本形状。 零件的第一幅草图应该以原点定位，从而确定特征在空间的位置