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

搜索资源列表

  1. 可计算性与复杂性-周长林 李占山 编

  2. 可计算性与复杂性——周长林 李占山 编 目录 第一部分 预备知识 第一章 导 引……………………………………………………………….1 1.1集合的概念与相关运算………………………………………..2 1.2关系…………………………………………………………..3 1.2.1关系的基本概念及其性质………………………………...3 1.2.2等价关系…………………………………………………...7 1.2.3部分序关系………………………………………………...7 1.3映射………………………………………

  3. 所属分类：专业指导

    • 发布日期：2010-06-21
    • 文件大小：3145728
    • 提供者：jessiezhang0322

  1. 实数完备性的等价命题

  2. 这些定理构成极限理论的基础．我们不仅要正确理解这六大定理的含义，更重要的还要学会怎样用它们去证明别的命题．下面通过证明它们之间的等价性，使大家熟悉使用这些理论工具．

  3. 所属分类：专业指导

    • 发布日期：2010-10-25
    • 文件大小：227328
    • 提供者：jinh1980

  1. 并行k 均值聚类算法的完备性证明与实现

  2. ：对经典k 均值算法进行分析，证明如何在减少节点间通信代价的情况下，从局部聚类信息生成完备的全局聚类信息，使聚类质量 等价于相应串行算法，并具有较高的执行效率，在此基础上给出可信的基于消息传递接口的并行k 均值算法。实验结果表明，该算法是高 效的和可行的。

  3. 所属分类：C/C++

    • 发布日期：2011-03-28
    • 文件大小：101376
    • 提供者：azurehpc

  1. 定义拓扑空间公理的等价性

  2. 在一个集合上如何定义拓扑, 使之成为拓扑空间, 这在不同的拓扑文献中是不尽相同的。木文给出七个拓扑空间的定义, 并证明它们之间的等价性。

  3. 所属分类：专业指导

    • 发布日期：2012-12-21
    • 文件大小：165888
    • 提供者：k1125403307

  1. 1型文法两种定义的等价性

  2. 证明了乔姆斯基谱系中1型文法（上下文相关文法）两种定义形式的等价性。

  3. 所属分类：其它

    • 发布日期：2013-01-29
    • 文件大小：328704
    • 提供者：woodbean

  1. 逻辑回归和最大熵的等价性证明

  2. 二分类问题选择逻辑回归（logistic regression, LR )的证明，用最大熵原理进行解释，逻辑回归和最大熵原理具有等价性，论文

  3. 所属分类：机器学习

    • 发布日期：2018-06-13
    • 文件大小：217088
    • 提供者：lzyssy

  1. 右线性文法与有限自动机等价性的一个新证明_韩光辉.pdf

  2. 右线性文法，有限自动机，等价性的一个新证明。本文通过字母表上的右线性方程组及其最小解， 给出了右线性文法与有限自动机等价性的一个新证 明

  3. 所属分类：讲义

    • 发布日期：2019-06-23
    • 文件大小：1048576
    • 提供者：weixin_42835514

  1. 复合材料量子体的引力质量和能量的等价性是否存在？

  2. 我们定义了最简单的复合量子体-氢原子的被动和主动重力质量算子。 尽管它们没有与它的能量算符相对应，但被动和主动引力质量的期望值与能量之间的等价关系对于稳态量子态仍然存在。 在我们计算被动重力质量算符时，我们不仅考虑了动能和库仑势能，还考虑了氢原子中电子运动的相对论修正。 被动和主动引力质量与能量在宏观水平上的不等价被证明是作为固定量子态叠加的引力质量的期望值随时间的振荡而显示出来的。 在微观水平上，无源引力质量与能量之间的当量分解表明，自身是异常的电磁辐射，是由氢原子的宏观集合发出的，是由小型航

  3. 所属分类：其它

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

  1. 证明所有复曲面颤动的c极值化及其引力对等

  2. 最近已经提出了对一类（0，2）二维理论进行c极端化的引力对偶，该二维理论是通过D3布雷恩尺度理论的扭曲压紧而得到的，该理论生活在复曲面Calabi-Yau的三倍中。 在各种示例中已经检查了这种构造与c-极值化的等效性，并且也没有壳。 在本文中，我们证明了这种等效性适用于任意复曲面Calabi-Yau。 我们通过推广二维复曲面颤动的a最大化和体积最小化等价性的证明来做到这一点。 通过对R电荷的显式参数化，我们将试验的右移中心电荷c r映射到要在重力作用下被最大化的壳外功能。 我们还观察到，在ℂ4上

  3. 所属分类：其它

    • 发布日期：2020-04-18
    • 文件大小：678912
    • 提供者：weixin_38746738

  1. 论椭圆型方程边值问题与变分问题的等价性.pdf

  2. 证明了椭圆型偏微分方程边值问题等价于一个泛函变分的极值问题， 指出了将这类偏 微分方程边值问题转换为等价的泛函变分极值问题后所带来的好处。

  3. 所属分类：讲义

    • 发布日期：2020-03-30
    • 文件大小：108544
    • 提供者：qq_39538718

  1. 关于爱因斯坦框架和约旦框架的等价性的问号

  2. 通过一个明确的例子，我们证明，对于非最小耦合引力理论，即至少在量子水平上的布朗斯-迪克理论，约旦框架和共形变换的爱因斯坦框架显然导致不同的物理学。 所举的例子是布朗斯-迪克理论中空间上平坦的弗里德曼宇宙论。

  3. 所属分类：其它

    • 发布日期：2020-03-28
    • 文件大小：763904
    • 提供者：weixin_38647039

  1. 量规不变性引起的关系以及NLSM振幅不同方法之间的等价性

  2. 在本文中，我们通过在新发现的爱因斯坦-杨-米尔斯振幅图扩展上适当地施加规范不变性条件和降维，来推导针对色序杨-米尔斯振幅的广义Bern-Carrasco-Johansson（BCJ）关系。 这些关系还可以通过其他理论（例如双标量理论和非线性sigma模型（NLSM））中的色序幅度来满足。 作为量规不变性诱导关系的一种应用，我们进一步证明NLSM中的三种类型的BCJ分子分别来自费曼规则，Abelian Z-理论和Cachazo-He-Yuan（CHY）公式，得出相同的总数。 振幅。 换句话说，NL

  3. 所属分类：其它

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

  1. 杆系结构自由振动的精确有限元法与动力刚度法的等价性

  2. 杆系结构自由振动的精确有限元法与动力刚度法的等价性，袁驷，叶康生，本文论述了动力刚度法和精确有限元法的等价性，证明了等价性定理、梁氏定理及本文导出的微分等式定理，并为新近提出的导护型Newton

  3. 所属分类：其它

    • 发布日期：2019-12-30
    • 文件大小：321536
    • 提供者：weixin_38622962

  1. 数学 实数连续性九个定理等价的证明.

  2. 详细给出了实数连续性的九条公理的等价性证明，在思想上有很大的借鉴作用

  3. 所属分类：专业指导

    • 发布日期：2013-05-28
    • 文件大小：222208
    • 提供者：u010864591

  1. 抽象凸空间上弱KyFan点的存在性及其等价描述

  2. 为获得非紧集上不具有任何连续性函数的弱KyFan点的存在性及其等价描述,利用KKM方法和非线性分析中经典的不动点各种等价描述证明思想方法,得到空间不具线性结构、函数定义域不具紧性和函数不具任何连续性的条件下弱KyFan点的存在性及其等价性描述的一些结果.结果表明:弱KyFan点、弱KyFan截口点和弱Fan Browder不动点等的存在性等价.若增加空间的线性结构、定义域的紧性和函数的半连续性这些条件就能得到经典的KyFan点、KyFan截口点和Fan Browder不动点的存在性及其相应等价描

  3. 所属分类：其它

    • 发布日期：2020-06-28
    • 文件大小：169984
    • 提供者：weixin_38716460

  1. 两种语义安全性定义的等价性

  2. 对于语义安全性有两种不同形式的定义,一种基于模拟器,一种基于比较.我们采用Goldreich对语义安全性的基于模拟器的定义,证明了它与相应基于比较的定义都等价于不可区分性,得出了这两种定义确实等价的结论.该结论与Watanabe等人的结论相悖,原因在于他们采用的基于模拟器的语义安全性定义中允许敌手及其模拟器自己选择其输入的有关明文的附加部分信息,导致敌手模拟器与敌手选择的可能不同,这使该定义与不可区分性不等价,与公认的结论不符.

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：203776
    • 提供者：weixin_38660731

  1. 泽尼克多项式拟合干涉波面算法的等价性与可靠性研究

  2. 在实践中发现, 用泽尼克多项式拟合干涉波面时, 不论采用哪一种算法都无法绝对避免求解拟合系数过程中可能出现的失败或测量结果的突变。通过严格证明求解拟合系数的两种典型算法(最小二乘法和Gram-Schimdt算法)的等价性, 论证了两种求解泽尼克多项式拟合系数的算法具有相同的解稳定性。通过一系列实验研究, 发现采用泽尼克多项式拟合干涉波面的光学检测系统测量确保可靠性的基本条件: 泽尼克多项式的阶应小于被测光瞳内干涉条纹的数量, 并从理论上加以证明。

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：1048576
    • 提供者：weixin_38562492

  1. 无重叠生成文法的一义可解析性及图林等价性

  2. 为了实现有效的文法解析，定义了一种生成规则受限的短语结构文法，称为无重叠生成文法 。证明了该类文法的任何语言句子都可以被无回朔无失败地解析。尽管该类文法的生成规则受到很大的限制，但这种文法的生成能力仍然和图 灵机等同。

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：579584
    • 提供者：weixin_38707153

  1. 论两种改进内模控制系统的等价性

  2. 改进型内模控制有两种最常见的形式,针对这两种改进内模控制的研究一直认为它们是两种不同的控制,且其中一种比另一种更为优越.通过深入分析可以证明它们事实上是完全等价的,而且所得等价性结论具有一般性,无论采用何种设计方法,系统连续或离散,对象稳定与否都成立.

  3. 所属分类：其它

    • 发布日期：2021-01-15
    • 文件大小：410624
    • 提供者：weixin_38629206

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

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

  3. 所属分类：其它

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