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

搜索资源列表

  1. 数学分析（华师版）第7章实数的完备性

  2. 数学分析（华师版）第7章实数的完备性 数学分析（华师版）第7章实数的完备性

  3. 所属分类：专业指导

    • 发布日期：2009-09-29
    • 文件大小：2097152
    • 提供者：mascoter

  1. 泛函分析及其在自动控制中的应用

  2. 柯西点列和完备度量空间 掌握柯西点列、完备度量空间的概念，学会使用概念和完备度量空间的充要条件判别完备度量空间. 柯西点列和完备度量空间(续) 目的要求： 再次巩固上次课学习的概念与定理，进一步掌握使用概念及定理判别完备度量空间的常用方法.

  3. 所属分类：专业指导

    • 发布日期：2009-10-24
    • 文件大小：7340032
    • 提供者：zcm10606

  1. NP完备理论 快快下载吧

  2. 讲解NP 完备性理论，以及多项式时间算法

  3. 所属分类：其它

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

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

  3. 所属分类：专业指导

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

  1. 可计算性和不完备性Computability and Incompleteness.pdf

  2. 可计算性和不完备性Computability and Incompleteness.pdf 计算机

  3. 所属分类：其它

    • 发布日期：2019-08-12
    • 文件大小：556032
    • 提供者：drjiachen

  1. 组态空间中Volkov态与Volkov传播子的完备性与正交性。

  2. Volkov状态和Volkov传播子是研究在强平面波电磁场存在下发生的QED过程的基本分析工具。 在本文中，我们提供了在固定时间的Volkov状态下的完整性和正交性的替代且相对简单的证明。 关于完备性，我们利用平面波中Dirac算子的格林函数的某些已知性质，而仅根据基于四个维度的高斯定理的几何论证证明了Volkov态的正交性。 关于沃尔科夫状态的完备性，我们还研究了狄拉克算子的格林函数在平面波中的某些解析性质，我们明确证明了其与配置空间中的沃尔科夫传播子是一致的。 特别地，借助于算子技术在平面波

  3. 所属分类：其它

    • 发布日期：2020-04-20
    • 文件大小：303104
    • 提供者：weixin_38554193

  1. 新的正项级数微分判别法及其完备性和非标准分析

  2. 新的正项级数微分判别法及其完备性和非标准分析，张一方，，对正项级数证明了一种新的微分判别法：f(k)是正项级数，令f(x) 是相应的正连续函数，且g(x)是f(x)倒数的导数，则如果fgx大于1，级数收敛

  3. 所属分类：其它

    • 发布日期：2020-03-12
    • 文件大小：208896
    • 提供者：weixin_38586200

  1. 非平衡系统类完备性过程的全拓展狭义相对论基础

  2. 非平衡系统类完备性过程的全拓展狭义相对论基础，李宗诚，，本文试图将系统的线性非平衡发展过程和它的整体惯性运动过程结合起来，从而将线性非平衡性平稳发展系统的类发展相对性假设和惯性

  3. 所属分类：其它

    • 发布日期：2020-03-03
    • 文件大小：522240
    • 提供者：weixin_38518958

  1. 面向飞机系统诊断排故的测试性建模分析方法研究与实现

  2. 面向飞机系统诊断排故的测试性建模分析方法研究与实现，苏艳，张蓉，为分析与验证飞机系统诊断排故能力，提高诊断模型的准确性与完备性，应用面向对象思想和多信号流模型思想，研究了基于系统功能层

  3. 所属分类：其它

    • 发布日期：2020-02-11
    • 文件大小：495616
    • 提供者：weixin_38517728

  1. 概率和信息理论的不完备性及其基于有限精度函数理论的改进

  2. 概率和信息理论的不完备性及其基于有限精度函数理论的改进，陈光，韩秀玲，发现了概率和信息理论的不完备性。这种不完备性表现为在连续随机变量的不同的取值点之间存在着非概率的关联以及Shannon的连续与离�

  3. 所属分类：其它

    • 发布日期：2020-02-05
    • 文件大小：607232
    • 提供者：weixin_38712092

  1. 基于契约经济学的公司激励契约的完备性分析

  2. 基于契约经济学的公司激励契约的完备性分析，王可瑜，，委托－代理理论对于建立完备契约，防治机会主义行为具有重要意义。笔者通过比较分析了三种参数化的委托－代理模型并得出如下结论

  3. 所属分类：其它

    • 发布日期：2020-01-17
    • 文件大小：360448
    • 提供者：weixin_38686924

  1. 非平衡系统类完备性过程的全拓展狭义相对论物理

  2. 非平衡系统类完备性过程的全拓展狭义相对论物理，李宗诚，，本文将主要从物质的基本类完备过程方面建立全拓展狭义相对论基本理论。

  3. 所属分类：其它

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

  1. 量子耗散系统交叉分析基础：类完备性耗散波

  2. 量子耗散系统交叉分析基础：类完备性耗散波，李宗诚，，本文将一般性地建立非线性类完备波概念，探讨非线性介质中的类完备波， 包括非线性类完备波的传播、类完备性耗散波、激波和色散�

  3. 所属分类：其它

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

  1. Riemann可积函数空间与Lebesgue可积函数空间完备性之比较

  2. Riemann可积函数空间与Lebesgue可积函数空间完备性之比较，夏波，杨广，本文从有理数的可数性出发，构造了有理数示性函数列，证明了部分和函数收敛于Dirichlet函数，并由Dirichlet函数的Riemann不可积性得出Riema

  3. 所属分类：其它

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

  1. 卫星轨道完备性监测研究

  2. 为了解决高精度定位中的卫星轨道粗差判别问题,采用轨道积分方法和轨道拟合方法,重点分析了卫星精密星历SP3文件的轨道积分精度,利用对卫星轨道加入不同粗差的计算方案,讨论了轨道积分的精度以及其对定位的影响,研究了利用卫星轨道积分精度实现完备性监测的方法。结果表明:通过卫星轨道积分精度的方法,可以反映卫星的粗差信息并予以将粗差卫星剔除;当剔除粗差卫星后,精密单点定位精度提高;当对正常卫星加入粗差,且随着加入粗差的增大,卫星轨道积分精度越来越差。该成果对完备性监测的研究具有一定的参考价值和指导意义。

  3. 所属分类：其它

    • 发布日期：2020-06-27
    • 文件大小：866304
    • 提供者：weixin_38603875

  1. 我国专项应急预案完备性评估指标与方法探讨

  2. 我国的应急预案编制工作已进入应用期,一份不完备的应急预案可能造成致命的后果,因此,有必要对应急预案的完备性进行评估.完备的应急预案应涵盖突发事件发生、发展、消亡的整个过程.通过鱼刺图分析构建了应急预案完备性评估指标体系,包括6个一级指标、19个二级指标和60个三级指标;通过层次分析法确定各级指标的权重;构建了应急预案完备性的评估模型;并通过例证表明,通过鱼刺图的方式确定应急预案完备性指标以及构建的评估方法具有一定的实用性和科学性.

  3. 所属分类：其它

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

  1. 实数的完备性ppt

  2. 实数的完备性 实数的完备性 实数的完备性 实数的完备性

  3. 所属分类：专业指导

    • 发布日期：2011-09-20
    • 文件大小：2097152
    • 提供者：processhjc

  1. Verifier提高验证完备性

  2. 随着集成电路设计技术的不断发展，电路设计中经常出现一些问题。因此，设计验证技术成为了电路设计中不可或缺的部分。如何提高验证完备性，是验证技术的难题之一。本文介绍了Cadence最新发布的适用于模拟设计的ADE Verifier的工具使用流程，以及根据海思业务需求定制的使用方法。该工具整合了验证工具ADE Explorer 和ADE Assembler的特性，完善了模拟电路设计验证流程，解决了模拟设计验证完备性中的问题。

  3. 所属分类：其它

    • 发布日期：2020-10-16
    • 文件大小：476160
    • 提供者：weixin_38637983

  1. 添加弱分离性公理的MTL的模式扩张

  2. 本文对MTL系统的一种模式扩张进行了研究. 首先在MTL代数中增加了弱于分离性公理, 并给出了这种若MTL代数的等式表示形式。 其次在MTL命题逻辑系统中增加了相应的弱分离性公理得到了MTL命题逻辑系统的一种模式扩张，并对该系统的完备性进行了证明。论文的结果对MTL命题逻辑系统及相应的模式扩张的研究具有积极的参考意义。

  3. 所属分类：其它

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

  1. 服务模型语义完备性判定方法与语义增强策略

  2. 为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：403456
    • 提供者：weixin_38715721
« 12 3 4 5 6 7 8 9 10 ... 27 »