布尔代数是计算机科学最重要的基础理论之 泛深关网络及数字电路的设计上有厂 的应用 布尔代数是计算机科学工作者必备的基础知 识,应掌握格与布尔代数的一般理论和方法 情减巽惩覆舞握据具体

掌握计算机病毒的抽象描述 掌握基于图灵机的计算机病毒模型 掌握基于递归函数的计算机病毒模型 掌握网络蠕虫传播模型 掌握计算机病毒预防理论模型

基于经典的叠层板理论和热弹性力学的有关理论,合理简化边界条件,建立了一维非对称热应力缓和型功能梯度材料(DFM)分析模型。推导出FGM在稳态温度场下温度分布函数及热应力分布函数。在此基础上,开发出了非对称热应力缓和型功能梯度材料计算机辅助设计系统FGMCAD.FGMCAD的作用在于能够通过改变FGM的各项设计参数来实现残余应力和工作应力在FGM中的分布达到最优。还给出了在设计1个FGM时系统的运行实例

以经典无限大叠层板理论和热弹性力学为基础,通过自行开发的计算机辅助设计系统对SiC/C FGM中的热应力分布进行了理论分析,得到制备SiC/C的功能梯度材料最佳工艺参数.采用热压烧结工艺,在1950℃,25 MPa和保温1h的条件下制备出了F4和F7两种无宏观缺陷的块体SiC/C功能梯度材料.采用SEM对FGM微观结构进行了观察.500℃室温淬水实验表明,按最佳参数制备的功能梯度材料F7具有良好的抗热震性能

一、计算机应用：与计算机使用相关联的领域。 二、计算机具体应用：计算机在各行各业的具体应用。 三、计算机应用技术：计算机应用于各具体领域的共性理论、方法和技术。 四、应用数学：计算机应用技术的基础理论

在经典控制理论中,用传递函数模型来设计和 分析单输入单输出系统,但传递函数模型只能反 映初系统的输出变量和输入变量之间的关系,而 不能了解到系统内部的变化情况。在现代理论中, 用状态控件模型来设计和分析多输入多输出系统, 便于计算机求解,同时也为多变量系统的分析研 究提供了有力的工具

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

通过本门课程的学习,学生应能掌握“审计”、“审计对象”、“审计职 能”、“审计分类”、“审计组织”、“审计目标”、“审计计划”、“审计 方法”、“审计证据”、“审计工作底稿”、“重要性”、“审计风险” “内部控制”“符合性测试”、“实质性测试”、“审计报告”、“政府审 计”、“内部审计”、“计算机审计”等基本概念、基本方法与基本理论:了 解审计产生发展的历程和审计产生的动因;熟悉收集审计证据的各种方法;在 熟练掌握上述内容的基础上,应能利用有关理论和方法,分析审计中的具体问 题,并能初步提出解决问题的方案

并行计算机的理论模型是从物理模型 抽象的; 为开发并行算法提供了一种方便的框 架; 用这些模型可求得并行计算机的理论 性能界限; 可在芯片制作前估算芯片区的VLSI复 杂性和执行时间