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

搜索资源列表

  1. 计算机等级考试c语言公共基础知识

  2. 公共基础知识(1) 下面描述中，符合结构化程序设计风格的是______。 A. 使用顺序、选择和重复（循环）三种基本控制结构表示程序的控制逻辑 B. 模块只有一个入口，可以有多个出口 C. 注重提高程序的执行效率 D. 不使用goto语句 (2) 下面概念中，不属于面向对象方法的是______。 A. 对象 B. 继承 C. 类 D. 过程调用

  3. 所属分类：C

  1. 二级公共基础资料1.1 算法的复杂度

  2. 1.1 算法的复杂度 1．算法的基本概念 计算机算法为计算机解题的过程实际上是在实施某种算法。 算法的基本特征：可行性、确定性、有穷性、拥有足够的情报。 2．算法复杂度 算法复杂度包括时间复杂度和空间复杂度。 名称 描述 时间复杂度 是指执行算法所需要的计算工作量 空间复杂度 是指执行这个算法所需要的内存空间 1.2 逻辑结构和存储结构 1．逻辑结构 数据的逻辑结构是对数据元素之间的逻辑关系的描述，它可以用一个数据元素的集合和定义在此集合中的若干关系来表示。数据的逻辑结构有两个要素：一是数据元

  3. 所属分类：其它

    • 发布日期：2009-09-12
    • 文件大小：182kb
    • 提供者：wangjiaweigong

  1. 描述逻辑手册第二章中文PPT

  2. 描述逻辑手册第二章的中文PPT，丁树凯制作。介绍了描述逻辑的基础知识，主要参照英文版描述逻辑手册第二章。

  3. 所属分类：专业指导

    • 发布日期：2009-11-22
    • 文件大小：171kb
    • 提供者：jiangyue0011

  1. 描述逻辑中文PPT董明凯版

  2. 描述逻辑基础介绍，便于初学者入门学习，董明凯制作。

  3. 所属分类：专业指导

    • 发布日期：2009-11-22
    • 文件大小：587kb
    • 提供者：jiangyue0011

  1. C语言二级考试公共基础知识复习资料

  2. C语言二级考试公共基础知识复习资料 第一章数据结构与算法 1.1 算法 算法：是指解题方案的准确而完整的描述。 算法不等于程序，也不等计算机方法，程序的编制不可能优于算法的设计。 算法的基本特征：是一组严谨地定义运算顺序的规则，每一个规则都是有效的，是明确的，此顺序将在有限的次数下终止。特征包括： （1）可行性； （2）确定性，算法中每一步骤都必须有明确定义，不充许有模棱两可的解释，不允许有多义性； （3）有穷性，算法必须能在有限的时间内做完（算法的运行时间是有限的），即能在执行有限个步骤后终

  3. 所属分类：其它

    • 发布日期：2010-03-31
    • 文件大小：65kb
    • 提供者：lanzitai2008

  1. 描述逻辑手册第二章--描述逻辑基础

  2. 简单介绍了表示、推理知识的形式语言：描述逻辑。首先，给出了DL基本概念的简短综述；然后，介绍了句法和语义，包括应用在系统中或在文献中提到的基本结构，以及这些结构被用来建造知识库的方法；最后，定义了典型的推理问题，展现了它们是如何相互联系的，并且描述了解决这些问题的不同方法。

  3. 所属分类：专业指导

    • 发布日期：2010-10-16
    • 文件大小：1000kb
    • 提供者：gxl0216

  1. 描述逻辑手册

  2. 描述逻辑手册，语义组织推理的基础。。。。。用于语义网学习

  3. 所属分类：专业指导

    • 发布日期：2008-05-14
    • 文件大小：3mb
    • 提供者：iamznwodi

  1. 描述逻辑基础

  2. 2011年描述逻辑基础，比描述逻辑手册好。

  3. 所属分类：软件测试

    • 发布日期：2011-11-24
    • 文件大小：895kb
    • 提供者：gl_rayer

  1. 描述逻辑手册

  2. 描述逻辑 是目前语义网所使用的OWL语言的逻辑基础

  3. 所属分类：专业指导

    • 发布日期：2012-09-01
    • 文件大小：2mb
    • 提供者：mengcal

  1. 语义Web与逻辑

  2. 语义网的逻辑基础:1.语义网的基本思想 2.RDF/RDFS 3.OWL语言 4.OWL-DL及其与描述逻辑的关系

  3. 所属分类：Web开发

    • 发布日期：2012-09-23
    • 文件大小：6mb
    • 提供者：hhb2013

  1. 描述逻辑手册第二章中文版-------描述逻辑基础

  2. 简单介绍了表示、推理知识的形式语言：描述逻辑。首先，给出了DL基本概念的简短综述；然后，介绍了句法和语义，包括应用在系统中或在文献中提到的基本结构，以及这些结构被用来建造知识库的方法；最后，定义了典型的推理问题，展现了它们是如何相互联系的，并且描述了解决这些问题的不同方法。

  3. 所属分类：专业指导

    • 发布日期：2008-09-19
    • 文件大小：1015kb
    • 提供者：petrelhy

  1. 数字逻辑基础与verilog硬件描述语言答案

  2. 大学，数字逻辑基础与verilog硬件描述语言课后答案。通过verilog语言

  3. 所属分类：讲义

  1. 网络本体描述语言OWL.pdf

  2. 该文档纤细介绍了本体描述语言OWL的特点和用法，并举出具体例子来描述本体的概念，为全英文文档，需要具备一定的英文阅读能力。DAML-ONT 美国国防预先研究计划局于1997年提出,目 的是为 ieyuyiweb奠定基础。 采用面向对象和基于知识表示语言的设计思 想,并将这些思想与RDF(S)紧密继承 缺乏语义规范,引起人与机器处理的不 致,属性约束较弱cmn.com OIL ·与 DAML-ONT同时起步,设计目的也一致 将描述逻辑、框架等人工智能领域的工具和 XML、RDF(S)等Web标准

  3. 所属分类：专业指导

  1. 数字逻辑前两章节学习辅导与课后习题解答答案.pdf

  2. 数字逻辑前两章节学习辅导与课后习题解答答案 包含内容提要及重点，典型例题解析，习题全解。 包括数字逻辑概论、逻辑代数与硬件描述语言基础。

  3. 所属分类：其它

    • 发布日期：2020-07-03
    • 文件大小：11mb
    • 提供者：qq_43611382

  1. 可判定的时序动态描述逻辑

  2. 动态描述逻辑DDL(dynamic descr iption logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：871kb
    • 提供者：weixin_38738830

  1. 模糊空间描述逻辑及应用

  2. 摘 要： 提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础.FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义.随后给出了表推理算法,并证明了其正确性和完备性.最后,基于FSDL定义了模糊RCC5关系.

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：155kb
    • 提供者：weixin_38707240

  1. 基于描述逻辑的UML类图元模型的表示和验证

  2. UML类图元模型采用非形式化的表示，无法确定结构语义进行严格的描述，因此提出一种UML类图元模型基于描述逻辑表示及验证的方法。在对UML类图元模型进行分析的基础上，构建了UML类图元模型基于描述逻辑SHOIN（D）的约束规则集，并验证了UML类图元模型已实现模型间的一致性。

  3. 所属分类：其它

  1. 将描述逻辑和Horn规则与ARTIGENCE中的不确定性相结合

  2. 我们介绍了ARTIGENCE，这是一种将描述逻辑和Horn规则与不确定性结合在一起的表示语言。 ARTIGENCE功能超越了目前可用的类似混合系统，它包含三个组件：高度表达的描述逻辑ACLNR，一组概率性Horn规则和一组基础事实。 所描述的新功能是现实应用程序领域中经常需要的，可以概括为三个要点。 首先，我们在ARTIGENCE知识库中获得了一个合理，完整且可判定的推理算法，可判定性是该语言的计算复杂性对于实际应用而言可能是必不可少的重要指标。 第二。 设计ARTIGENCE的目的不仅在于结合

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：459kb
    • 提供者：weixin_38525735

  1. 支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

  2. 描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP(D),给出Fuzzy-ALCRP(D)的Tableau判定算法,并给出一个Fuzzy-ALCRP(D)在模糊RCC8空间中的推理实例。

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：425kb
    • 提供者：weixin_38653508

  1.  一种模糊时态描述逻辑

  2. 针对现实生活中信息的时间性和模糊性，在模糊描述逻辑和时态逻辑的基础上，提出了一种模糊时态描述逻辑FTDL，并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比，FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：481kb
    • 提供者：weixin_38625448
« 12 3 4 5 6 7 8 9 10 ... 41 »