注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 非线性代数方程组与定理机器证明（杨路等）

  2. 非线性代数方程组与定理机器证明（杨路等）。。。。。。。。。。。。。。

  3. 所属分类：专业指导

    • 发布日期：2009-05-29
    • 文件大小：4194304
    • 提供者：kelevin456

  1. 非线性代数方程组与定理机器证明

  2. 非线性代数方程组与定理机器证明非线性代数方程组与定理机器证明

  3. 所属分类：专业指导

    • 发布日期：2009-05-30
    • 文件大小：2097152
    • 提供者：wulinqww

  1. 非线性代数方程组与定理机器证明（杨路等）

  2. 非线性科学丛书 非线性代数方程组与定理机器证明（杨路等）

  3. 所属分类：专业指导

    • 发布日期：2009-07-16
    • 文件大小：4194304
    • 提供者：zx_su

  1. 数理逻辑与机器证明(陆钟万)

  2. 本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

  3. 所属分类：专业指导

    • 发布日期：2009-11-25
    • 文件大小：2097152
    • 提供者：pgser

  1. booth算法证明过程及其简介

  2. booth算法的由来，booth算法的优越性，booth算法理论依据，booth算法的介绍，booth算法的机器实现。

  3. 所属分类：其它

    • 发布日期：2010-09-03
    • 文件大小：476160
    • 提供者：lubo4551

  1. 机器证明.pdf

  2. 机器证明.pdf（吴文俊）

  3. 所属分类：专业指导

    • 发布日期：2008-05-08
    • 文件大小：4194304
    • 提供者：victor_he

  1. 非线性代数方程组与定理机器证明

  2. 非线性代数方程组与定理机器证明

  3. 所属分类：专业指导

    • 发布日期：2007-04-03
    • 文件大小：2097152
    • 提供者：adverse

  1. 机器证明-吴文俊

  2. 吴文俊老师的机器证明一书，有利于同学们自学

  3. 所属分类：讲义

    • 发布日期：2014-07-16
    • 文件大小：4194304
    • 提供者：ysm101

  1. 机器学习 习题答案

  2. 机器学习 习题答案 2.6 完成变型空间表示定理的证明（定理2.1） 定理2.1：变型空间表示定理 领X为一任意的实例集合，H为X上定义的布尔假设的集合。令c：X{0,1}为X上定义的任一目标概念，并令D为任一训练样例的集合{}。对所有的X，H，c，D以及良好定义的S和G： 证明：对VSH，D中任一h： ①当h∈S时，取s＝h，则有h≥gs成立 ②当hS时，即 (h1H）[(h>gh1)∧Consistent(h1,D)] 若h1S，显然h≥gs成立；

  3. 所属分类：讲义

    • 发布日期：2014-12-09
    • 文件大小：122880
    • 提供者：wadefk

  1. 概率与统计机器学习中常用的不等式机器证明

  2. 本文档介绍了统计机器学习领域常用的不等式及其证明过程。其中包括了Chernoff不等式，Markov不等式，Chebyshev不等式，Hoeffding不等式，大数定律，中心极限定律等

  3. 所属分类：讲义

    • 发布日期：2016-04-20
    • 文件大小：247808
    • 提供者：superkingcw

  1. 机器证明吴文俊.pdf

  2. 介绍了机器证明的公理体系、基础理论，泛函分析和计算机器理论的结合。

  3. 所属分类：专业指导

    • 发布日期：2009-01-17
    • 文件大小：4194304
    • 提供者：hutman

  1. 机器学习中的核覆盖算法

  2. 基于统计学习理论的支持向量机(SVM)方法在样本空间或特征空间构造最优分类超平面解决了分类器的构造问题,但其本质是二分类的,且核函数中的参数难以确定,计算复杂性高.构造性学习算法根据训练样本构造性地设计分类网络,运行效率高,便于处理多分类问题,但存在所得的分界面零乱、测试计算量大的缺点.该文将SVM中的核函数法与构造性学习的覆盖算法相融合,给出一种新的核覆盖算法.新算法克服了以上两种模型的缺点,具有运算速度快、精度高、鲁棒性强的优点.其次,文中给出风险误差上界与覆盖个数的关系.最后给出实验模拟

  3. 所属分类：机器学习

    • 发布日期：2018-07-11
    • 文件大小：243712
    • 提供者：qq_28339273

  1. Maple15和杨路教授机器证明软件完美配套版.part1

  2. Maple15和杨路教授机器证明软件完美配套版.part1.。。。。。。。。。。。

  3. 所属分类：教育

    • 发布日期：2018-02-25
    • 文件大小：220200960
    • 提供者：whhvc

  1. Maple15和杨路教授机器证明软件完美配套版.part2

  2. Maple15和杨路教授机器证明软件完美配套版.part2。。。。。。。。。。。。。。。

  3. 所属分类：教育

    • 发布日期：2018-02-25
    • 文件大小：200278016
    • 提供者：whhvc

  1. wz方法及其相关算法

  2. 众所周知，组合恒等式的机器证明理论是数学机械化的一个重要组成部分，其主要目的是利用计算机来证明难以用人工来证明的恒等式。自上世纪五十年代Sister Celine算法提出以来，随着计算机科学的进步，机器证明理论得以迅速发展。目前，利用已提出的多个漂亮的机器证明算法，人们可以证明很多繁琐的组合恒等式。 1991年，Wilf教授和Zeilberger教授基于Zeilberger算法和Gosper算法提了证明超几何定和等式的WZ方法。该方法简洁有效且实用性很强，被誉为90年代初期最振奋人心的数学发现

  3. 所属分类：教育

    • 发布日期：2018-09-28
    • 文件大小：472064
    • 提供者：jian2kun

  1. 基于机器学习的泵站优化运行方法研究-EI2.pdf

  2. 泵站的优化运行与泵组的特性曲线紧密相关，但泵组的特性曲线会随着磨损、大修等因素发生改变，这给泵站的优化运行带来了困难。从SCADA系统中获取泵组特性相关数据，并利用机器学习进行“噪声”过滤和模式识别，得到了泵组特性的“黑盒模型”。基于该模型使用智能算法求解，得到了基于经验的泵站优化运行方案。试验证明，该方法合理可行，可以在工程中推广应用。

  3. 所属分类：咨询

    • 发布日期：2020-04-10
    • 文件大小：1048576
    • 提供者：greenyuan

  1. 基于机器视觉的车距检测系统设计_程瑶.pdf

  2. 为了探测前车车距，采用机器视觉方式，以 CCD 构造单目成像系统采集前车图像，以检测车牌在图像 中像素的数量方式实现车距的测量。系统以单目摄像头的成像模型，通过物像位置关系及大小关系，建立车牌图 像与车距信息之间的模型; 以 CCD 成像原理，建立车牌图像与传感器像元像素之间的模型。由此构建测距检测算 法模型。采用 MATLAB 软件平台设计人机交互界面，对采集图像进行预处理提高图像的对比度; 通过匹配连通域 等算法，对车牌进行定位、分割，检测车牌水平方向像素数量; 在此基础上，采取小孔

  3. 所属分类：其它

    • 发布日期：2020-04-09
    • 文件大小：1048576
    • 提供者：tony2278

  1. 对抗神经网络的机器学习不确定性

  2. 机器学习是一种强大的工具，可以揭示和利用多维参数空间中的相关性。 从这种相关性进行预测是一项非常艰巨的任务，特别是当尚未完全理解理论模型的基本动力学细节时。 使用对抗网络，我们可以在训练过程中包括系统和理论不确定性的先验来源。 这为在逐个事件的基础上实现更可靠的事件分类铺平了道路，并为执行粒子物理数据的参数拟合提供了新颖的方法。 我们在一个示例中明确考虑了希格斯玻色子生产与喷头的有效场论扩展，明确证明了该方法的优势。

  3. 所属分类：其它

    • 发布日期：2020-03-26
    • 文件大小：1048576
    • 提供者：weixin_38748382

  1. Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明

  2. Coq数学定理的机器证明系统– Hausdorff最大原理和Zermelo假设的机器证明

  3. 所属分类：其它

    • 发布日期：2021-03-01
    • 文件大小：318464
    • 提供者：weixin_38687539

  1. 选择公理与Tukey引理等价性的机器证明

  2. 选择公理与Tukey引理等价性的机器证明

  3. 所属分类：其它

    • 发布日期：2021-03-30
    • 文件大小：515072
    • 提供者：weixin_38692162
« 12 3 4 5 6 7 8 9 10 ... 21 »