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

对负载感应型泵控系统进行理论分析,建立了描述其动特性的数学模型.在此基础上开发了仿真软件.理论计算与实验结果进行对比,说明提出的设置假想容积的方法所建立的数学模型是可靠的.管路中液体按集中参数处理可加快计算速度

针对轧件弹塑性变形与轧辊弹性变形计算分离的弊端,用轧制力分布系数将这2个模型结合起来,并解决了此2个模型之间的耦合问题.理论计算结果在1700mm热连轧机组样品进行验证,理论和实践两者符合较好

第一节 水力学的任务及其发展概况 一、水力学的任务 二、水力学发展简史 第二节 液体的主要物理性质及作用于液体上的力 一、液体的质量和密度 二、液体的重量和容重 三、液体的粘滞性 四、液体的压缩性 五、液体的表面张力 六、作用于液体上的力 第三节 液体的基本特征和连续介质的概念 一、液体的基本特征 二、连续介质假设 三、理想液体的概念 第四节 水力学的研究方法 一、科学试验（试验研究方法） 二、理论分析（理论研究方法） 三、数值计算（数值研究方法）

通过煤自然发火实验和松散煤体粒度与氧化自燃性关系实验,推算出煤自燃过程中一些特性参数的计算公式.根据多孔介质流体力学、传质和传热学理论,建立了松散煤体漏风流流场、氧浓度场和温度场的数学模型.通过实验和理论分析,建立了松散煤体自然发火的三维动态数学模型,分析了模型边界条件的确定方法,并采用有限差分法对二维模型进行了数值求解

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

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

串匹配(String Matching)问题是计算机科学中的一个基本问题,也是复杂性理论中研 究的最广泛的问题之一。它在文字编辑处理、图像处理、文献检索、自然语言识别、生物 学等领域有着广泛的应用。而且,串匹配是这些应用中最耗时的核心问题,好的串匹配算 法能显著地提高应用的效率。因此,研究并设计快速的串匹配算法具有重要的理论价值 实际意义

一、课程性质与任务 结构力学是土木工程专业的一门主要技术基础课,属必修课性质。在学习 理论力学和材料力学的基础上,通过本课程的学习,使学生进一步掌握杆件结 构的计算理论和计算方法,了解各类结构的受力性质

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