点击切换搜索课件文库搜索结果(770)
文档格式:PPT 文档大小:1.04MB 文档页数:42
(1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程
文档格式:PPT 文档大小:2.87MB 文档页数:65
一、介绍系统稳定性的基本概念,判断系统稳定性的基本出发点 二、系统稳定的充分必要条件 三、代数判据(Routh、Hurwitz判据) 四、Nyquist判据的基本原理和方法,Bode判据 五、相对稳定性的概念 六、掌握相位裕量和幅值裕量的概念及计算方法
文档格式:DOC 文档大小:149KB 文档页数:2
基于代数分解的快速算法 1、利用FFT的快速算法 余弦变换核实际上就是傅里叶变换核的实部。而变换计算中的乘法运算就是八x)与变换核 的乘法运算。一种自然的想法就是先对八x)执行FFI,然后对其取实部就可以了
文档格式:PDF 文档大小:703.9KB 文档页数:77
1-1 矢量代数 1-2 质点运动的描述 1-3 位矢和运动学方程 1-4 位移 速度 1-6 运动学两类问题 1-7 相对运动 1-5 加速度
文档格式:PPTX 文档大小:664.35KB 文档页数:61
2.1 关系模型的数据结构及其形式化定义 2.2 关系的码与关系的完整性 2.3 关系代数 2.4 关系演算
文档格式:PDF 文档大小:348.69KB 文档页数:6
对人耳识别中若干关键问题进行了研究.介绍了两种人耳图像归一化处理的方法,即基于外耳轮廓长轴的线标记法和基于外耳轮廓起始点的点标记法,并对这两种方法进行了对比.在分析现有人耳识别方法不足的基础上,提出利用核主元分析法提取人耳图像的代数特征,再利用支持向量机分类模型进行人耳识别.在带有角度、光照变化的北京科技大学人耳图像库上得到的识别率为98.7%,表明了该识别方法的有效性以及利用人耳图像进行身份识别的可行性
文档格式:PDF 文档大小:345.56KB 文档页数:6
对一种已有的自适应算法进行了改进,并将该算法思想引入到粒子群算法的改进中,在种群进化到一定代数时按照改进自适应算法改变搜索范围的大小,实现了自动调整搜索范围、提高收敛速度和精度并可有效防止粒子群算法早熟收敛的目的,同时通过实验仿真进行了验证.将该改进粒子群算法应用到热连轧机精轧机组的负荷分配优化计算中,程序运行时间小于5s,满足实时性的要求,为其提供了一种更为有效的优化手段
文档格式:PPT 文档大小:1.04MB 文档页数:42
(1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程
文档格式:PDF 文档大小:100.34KB 文档页数:8
6-2相量法的基本知识 一、复数 (1)代数形式A=a+jba—实部b—虚部 a=R[A]=R[a+jb]R取实部 b=m=mla+jm取虚部 一个复数可以表示在复平面上
文档格式:PDF 文档大小:432.01KB 文档页数:5
基于Bernoulli-Euler梁理论,分析了多跨变截面连续梁的动力特性.应用模态摄动基本原理,利用等截面连续梁的模态,将变截面连续梁微分方程的求解转化为代数方程组求解.该方法对于梁的截面函数的连续性要求较少,既适用于截面变化为阶跃形式的梁,也适用于截面函数连续的梁.通过算例分析表明,这一方法可有效地简化计算,同时计算结果具有较高的精度
首页上页4546474849505152下页末页
热门关键字
搜索一下,找到相关课件或文库资源 770 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有