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

搜索资源列表

  1. cbox dfdsadfdf

  2. sdafasdfasffffffffffffffffffffffffffffffasdf

  3. 所属分类：其它

    • 发布日期：2014-11-23
    • 文件大小：6mb
    • 提供者：atm_1234

  1. 嵌入式工控机（低功耗）ABOX-600单页资料.zip

  2. 嵌入式工控机（低功耗）ABOX-600单页资料zip,采用最新Intel atom 四代Bay trail 平台处理器，整机内部无线缆设计，同时集成众多I/O口保护措施，具有高性能、低功耗、无风扇、全铝合金铸造成型，结构紧凑、坚固、具有优秀防水防尘、散热、抗震能力等特点。

  3. 所属分类：其它

  1. 阿普奇嵌入式工控机ABOX-700（高性能）.zip

  2. 阿普奇嵌入式工控机ABOX-700（高性能）zip,ABOX-700系列挑战高端领域，颠覆传统的低功耗模式。全面支持最新Intel三代桌面酷睿i3/i5/i7多核桌面平台处理器，最高支持16GB DDR3笔记本内存。整机采用无线缆设计，主板功能和内部布局完全根据高可靠应用需求而设计。整机外观采用工业流线型设计，采用铝合金材质内部全封闭结构。超大面积铝鳍片，配合热导管与P WM辅助调速风扇的结合，提供更高效率更静音的散热方案，完美解决95W发热功耗,使其承受严苛工业现场应用。

  3. 所属分类：其它

  1. GenEd:具有通用语义的编辑器，用于关于视觉符号的形式推理-源码

  2. GenEd 使用Common Lisp和CLIM编写的具有关于形式化推理的通用语义的编辑器，用于视觉表示法 关于 我拥有25年历史的Lisp归档文件中的另一个Common Lisp＆CLIM（通用Lisp接口管理器）旧版软件:-)在2021年仍然可以完美运行。在32位Motif端口Ubuntu上使用LispWorks 6.1和CLIM进行了测试。 该程序写于1996年，是在汉堡大学计算机科学系Bernd Neumann认知系统实验室的一部分。 这项工作由Volker Haarslev监督，他

  3. 所属分类：其它

  1. 描述逻辑本体上的ABox绑架的一种可行方法

  2. 描述逻辑本体上的ABox绑架的一种可行方法

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：293kb
    • 提供者：weixin_38682076

  1. 语义网中的本体Abox概述方法

  2. 针对目前大部分语义物联网本体的Abox体积庞大庞大，不利于人们理解本体或利用本体进行推理等问题，利用等价关系，通过对等价实例的查找，映射，删除等操作，对本体Abox进行摘要，并设计，实现了其原型系统。对公共本体进行摘要测试，结果表明，该方法在保留本体原始语义的替代下，精减了Abox中的冗余断言，缩小了本体体积，降低了存储压力，方便了用户对本体的理解，重用等相关操作。

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：268kb
    • 提供者：weixin_38635092

  1. 查找基于ABox分解的可计算最低成本诊断数据可描述逻辑

  2. 本体诊断是一种用于处理基于描述逻辑（DL）的本体中的不一致的众所周知的方法，它计算本体的诊断，即本体中公理的最小子集，其移除可恢复一致性。 然而，本体诊断在计算上是困难的，尤其是计算最小成本诊断（MCD），该诊断是使得附接到其公理的去除成本之和最小化的诊断。 本文通过找到用于计算MCD的数据可处理的DL来解决此问题，该数据允许以给定本体的ABox的大小按时间多项式计算MCD。 ABox分解用于找到一个充分必要的条件，以在SHIN的所有片段中至少具有与DL-Lite_core相同的表达而没有反作用

  3. 所属分类：其它

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

  1. 直觉模糊粗糙描述逻辑中的推理

  2. 人们普遍认为，对不精确和模糊性的管理将产生更加智能和现实的基于知识的应用程序。 描述逻辑（DL）是用于管理结构化知识的合适的众所周知的逻辑，在过去的十年中已经引起了广泛的关注。 分析了数字图书馆中知识表示和推理的不确定性或不精确性的研究现状和存在的问题。 通过基于直觉模糊粗糙集理论提供直觉模糊粗糙DL，已尝试将直觉模糊DL理论与粗糙DL理论进行整合。 给出了直觉模糊粗糙DL的语法，语义和性质。 证明了直觉模糊粗糙DL的可满足性，包含性，内含性和ABox一致性推理可以分别降低到完整格上模糊DL中的

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：320kb
    • 提供者：weixin_38631729

  1. Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

  2. Towards Tractable and Practical ABox Abduction over Inconsistent Descr iption Logic Ontologies

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：593kb
    • 提供者：weixin_38643407

  1. Tractable Computation of Representative ABox Repairs in Description Logic Ontologies

  2. Tractable Computation of Representative ABox Repairs in Descr iption Logic Ontologies

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：246kb
    • 提供者：weixin_38613173

  1. noctua-models：这是使用Noctua工具堆栈（用于GO）创建和编辑的模型的数据存储库-源码

  2. 推论模型 这是使用Noctua for GO创建和编辑的模型的数据存储库。 有关Noctua工具的详细信息，请参见 。 模型以OWL的形式存储在目录中。 这些模型可以使用进行计算使用，也可以在Protege中进行调试。 OWL建模 Noctua模型的本机形式是OWL。 Noctua模型由ABox公理（即关于个人的公理）组成-与传统本体TBox公理（即类公理）形成对比。 当我们谈论带有实例化GO分子功能类的成员的ABox（即活动流程图）时，我们使用术语“ LEGO模型”。 更一般地说，当我们对

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：21mb
    • 提供者：weixin_42146086

  1. 如何实现小程序tab栏下划线动画效果

  2. 本文主要介绍了如何实现小程序tab栏下划线动画效果，分享给大家，具体如下： 最终效果 实现 wxml {{item}} wxss .abox{ display: flex; flex

  3. 所属分类：其它

    • 发布日期：2021-01-21
    • 文件大小：32kb
    • 提供者：weixin_38752907