基于机器视觉的煤炭分拣技术研究

基于机器视觉的煤炭分拣的技术,分析提取的实时图像,判断传送带上是否有物料,如果有物料时,提取图像中物料轮廓,然后计算出轮廓中红色和蓝色颜色分量的平均值,与所设定的阈值进行比较,从而判断出物料的种类。该技术具有高效、可靠的特点,使用该技术将提高生产效率,进而降低煤炭企业的生产成本。     

归纳、猜想与数学归纳法的证明

归纳、猜想与证明这类题目对培养学生的创造性思维,具有很好的训练作用。这类题型是:第一步给出命题(与自然数有关)的结构;第二步要求学生计算出最初的三个至四个初始值;第三步要求学生通过已计算出的初始值,应用不完全归纳法,发现其命题的一般性规律,作出科学的猜想和判断——敢于猜想,善于猜想,最后用数学归纳法对所作的猜想——般性结论,作出完整科学的证明。     

人工智能消费场景中的女性性别歧视

人类社会正快速步入人工智能时代,人们无时无刻不处于人工智能消费场景中。人工智能不仅是一个技术问题,更是一个道德问题。然而,貌似客观中立的人工智能技术并未带来预想的性别平等,反而造成女性性别歧视现象丛生,招致越来越多的批评与抗议。人工智能与大数据是人类社会的镜像,虚拟世界出现问题,病根在人类世界。因此,构建机器伦理,加强行业自律,推进人工智能立法,增强女性在人工智能行业中的话语权,让男女平等观念深入到虚拟世界与机器世界,方是根治人工智能消费场景中女性性别歧视的善治之道。     

黎曼猜想什么时候会被证明出来?

首先从对数学猜想证明的理解得出了影响证明数学猜想的两个重要因素,即数学猜想的证明依赖于必要的数学进展和合适的数学家;接着对这两个因素进行分析;由于对黎曼猜想的证明来说,无论是所需要的数学知识和方法是否具备还是是否有合适的数学家二者都是不确定的,因而无法肯定该猜想什么时候才能被证明出来。     

三维摄影条件下视差角光束法平差模型的适用性研究

为了论证视差角光束法平差模型在短基线摄影条件下的适用性,将视差角光束法平差(PBA)模型中基于二维假设的数学证明扩展到三维,研究视差角参数对观测噪声的敏感性、法方程奇异性以及线性化程度,并基于2.11×10^-8～2.11×10^-12弧度的小交会角的短基线摄影条件进行仿真和真实实验。理论分析和实验结果表明,目前的PBA模型仅适用于二维摄影,不能解决三维摄影条件下短基线的平差问题。     

积分学在不等式证明中的应用

不等式证明在数学中有着举足轻重的作用．主要介绍利用积分的定理与性质证明不等式的一些基本技巧和方法，如积分中值定理、柯西-施瓦兹不等式、变上限积分等．较好地解决了不等式的证明问题．     

机器人参加东京大学“高考”

成绩比肩普通高三生 “东Robo君”是日本国立信息学研究所等机构于2011年开启的人工智能开发项目，目标是在2021年度之前“考取”东京大学。不过，今年（2014年）秋天参加了日本全国大学入学考试，在其考试成绩公布中，尽管离东京大学录取标准还相差很远，但较去年有所进步。     

民诉证明妨碍法律效果之重构——对单一法理择定基准的反思

证明妨碍法律效果与其法理基准是"性状"与"基因"的关系,"基因"决定"性状"的表达,法理基准则决定了证明妨碍法律效果的具体制度设计。目前我国以"制裁"法理为基准,对于案件事实的认定,立法上设计了对实施证明妨碍行为当事人进行不利推定的法律效果模式。我国当前证明妨碍法律效果依托于单一的"制裁"法理,导致制度设计上存在立法层级低、法律条文简单模糊、法律效果指向对象范围窄、法律效果对证明妨碍当事人主观心态归责种类范围窄及法律效果具体操作模式单一等问题,致使当前立法不能满足日益复杂的民事审判需求,不能对已经实施或意欲实施证明妨碍行为的当事人充分起到"惩罚"和"预防"的效果,亦不能对被妨碍的当事人进行有效"救济"。对此,我国应探索适用"公平"与"制裁"相结合的多元法理基准,以证明妨碍行为实施人在本证中是否负证明责任为分类标准,在多元法理基础上对证明妨碍法律效果重新进行制度设计。     

归纳、猜想与数学归纳法的证明简

归纳、猜想与证明这类题目对培养学生的创造性思维,具有很好的训练作用.这类题型是：第一步给出命题（与自然数有关）的结构：第二步要求学生计算出最初的三个至四个初始值;第三步要求学生通过已计算出的初始值,应用不完全归纳法,发现其命题的一般性规律,作出科学的猜想和判断——敢于猜想,善于猜想,最后用数学归纳法对所作的猜想——般性结论,作出完整科学的证明.     

百万美元数学难题的解决……

破解这一数学难题将会使破解者变得富有,但是它对于我们所有人的价值却是无法计算的。如果P=NP,为什么会关系如此重大,《新科学家》杂志为此作出了解释——"亲爱的同事们,我很高兴地宣布,我已经证明了P不等同于NP,这一证明用10磅和12磅的字体附在后面"。维奈