. 本书针对大数据决策理论中涉及的安全可靠风险问题,以及可靠性与精确性的制约折中优化的问题,将研究的重点主要集中于基于Bayesian统计推断的粒子滤波算法的研究和应用,在论述粒子滤波算法的同时,主要融入了作者新的研究思想,即点估计观测值 先验概率,同时将多尺度的概念融入粒子滤波中,形成了具有多尺度粒子滤波的算法,利用不同粗细尺度对动态系统状态空间中的一条马尔可夫链进行交替耦合采样,借助于传递和更新状态信息及参数信息来搜索状态和参数的最大联合后验分布似然函数。细尺度的重要采样能保持精度,粗尺度的重要采样能提高运算效率,粗细尺度交替耦合采样则能有效抑制粒子的退化现象。本书为深度学习人工智能并深入研究奠定坚实的理论基础。 本书适合对大数据、统计信号处理、数字孪生系统故障传播根因诊断以及人工智
本书是作者在为研究生开设代数拓扑学课程的讲义基础上整理而成的,全书共九章,第零章为预备知识,前三章介绍单纯同调论,第四章为当前流行的范畴论,从第五章开始介绍在一般空间上的连续同调论。后四章是CW空间、一般系数的同调论、乘积空间的同调论和Steenrod运算。本书论述严谨,深入浅出,作者力图从较直观的几何概念出发引出极为抽象的概念。
本书分两部分,上部为堆垒素数论;下部为指数和的估计及其在数论中的应用。第一部分是关于堆垒素数论方面苏联维诺格拉陀夫院士的研究方法和作者自己的研究方法的总结性论著.在这部分中给予维诺格拉陀夫院士的中值定理以显著的中心地位,并且改进了它.作者把华林问题与哥德巴赫问题的研究方法结合起来,井把华林问题一方面推广到每一加数是整系数多项式的情形,一方面限制变数仅取素数值.作者把塔锐问题也加上了变数只取素数值的限制,同时又讨论到更广的素未知数的不定方程组。下部主要讨论了指数和的各种估计方法及其应用,特别讨论了这些方法对Waring问题及问题的应用.除此而外,也谈到了解析数论的其他一些问题与方法.这部分不仅综合了这几方面的结果与文献,更重要的是对其中绝大部分重要的结果都给出了较完各的提纲性的证明。
全书基本涵盖了《高等数学》中所需的初等数学内容。本书按初等数学的学习顺序分八章进行编写,章代数式、第二章方程与不等式、第三章函数概念与二次函数、第四章指数函数与对数函数、第五章数列、第六章三角函数、第七章平面解析几何、第八章复数简介。每章后附有精选的习题,全书的给出了习题的答案和证明题的提示。本书的编写精简、扼要,能在较短的时间内补足学习《高等数学》所需的预备知识。 本书适合于各大专院校的学生复习;各类国家高等教育自学考试的学生、网络学院的学生、广播电大的学生自学补习或集体补习初等数学之用。
无
《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容,提高教学水平和教学能力。全书分章按问题编排,各问题之间相对独立,便于读者查阅。
橄榄又称白榄、青果、黄榄,原产中国南部地区,是我国南方的热带南亚特产水果和药用植物。橄榄在我国已有2000多年的栽培历史,以福建、广东种植最多,广西、中国次之,海南、四川、重庆、云南、贵州、浙江等地也有一定栽培面积。 ?? ?? ??橄榄味酸涩,香甜之味久嚼方得,所以民俗取其苦尽甘来的寓意,把它当作吉祥如意的象征;橄榄气味特别清香,能增进食欲,舒畅神志,为茶余酒后佳品。除鲜食外,还可以开发出多种蜜饯、果汁等食品。橄榄属于卫生部批准的既是食品又是药物的69种物品之一,药用价值很高。近年的研究成果表明:橄榄富含钙和有机铬,在水果中名列前茅;橄榄性味甘酸涩平,有解毒生津,清肺利咽之功效,还有减肥降脂的作用,其根、果、仁、核、叶、花粉等均可入药。因此,橄榄综合开发利用价值很高。 ??本书主要介绍了
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。