 8.1 素数  8.2 单向函数  8.3 费马定理和欧拉定理  8.4 素性测试  8.5 计算乘法逆元素  8.6 求解ax mod n =b的问题  8.7 中国余数定理  8.8 离散对数问题  8.9 二次剩余问题  8.10 不经意传输

 1.1 OSI安全框架  1.2 安全攻击  1.3 安全服务  1.4 安全机制  1.5 网络安全模型

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮一连杆组合机构网上设计系统

应用弹性理论推导出了接头在不同工况条件下的应力表达式，并且在计算机上进行了模拟.计算结果与国外实验值有可比性，可用于工厂对套管进行力学性能分析

对按转子磁链定向的矢量控制系统进行了智能控制研究.根据矢量控制的特点,充分运用计算机丰富的逻辑判断和数值运算功能对控制系统进行设计,不仅可以实现模拟控制器的数字化,而且可以突破模拟控制器参数为定值的局限.重点介绍了根据系统的变量变化趋势来确定数字调节器参数的变化规则,同时对于各个不同的调节规律,采用不同的控制策略,使得系统具有更好的动、静态性能指标,更强的鲁棒性.最后通过仿真和实验证明了本文理论的正确性

在同时考虑络合剂离解平衡、金属离子水解平衡及络合平衡间的相互影响的情况下,分析了各离子分布系数理论计算的数学方程式,利用计算机对金属离子加络剂体系中各离子分布系数的计算进行解析,给出了最简便优化的运算方法及程序框图,详细讨论了多元酸络合剂体系中单络合剂及双络合剂的情况,并进一步将结果推广到更普遍的情况,对化学镀镍中常用络合剂体系的离子分布系数进行了计算

在弹塑性有限变形理论的基础上,应用大型通用有限元分析软件ANSYS对平三角孔型中轧件的变形进行了模拟.该分析软件是基于Newton-Raphson法的迭代过程,用一系列近似值逐渐收敛于实际的非线性解.为验证有限元模拟的准确性,还应用视塑性方法进行了实验研究.为保证实验精度,采用数控技术和激光技术刻制网格,并采用体视显微镜放大网格,以及采用计算机图像处理系统自动采集数据.计算结果与实验符合较好

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1、学习投影法的基本理论及国家标准制图的基本规定 2、能够绘制和看懂简单的零件图和装配图 3、培养空间想象和空间分析的初步能力 4、了解计算机绘图软件绘图的基本方法

采用由浅入深,循序渐进的方法,使学生较快掌握AUT0CAD2000基 本绘图、编辑命令的使用,掌握绘图技巧,在此基础上,理论联系实 际,插入与专业相关的大量操作实例,步骤详细,便于学生上机实践