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

搜索资源列表

  1. 人工智能 次协调逻辑推理系统.rar

  2. 人工智能 次协调逻辑推理系统.rar 人工智能 次协调逻辑推理系统.rar

  3. 所属分类：专业指导

    • 发布日期：2009-10-19
    • 文件大小：273408
    • 提供者：onezeros

  1. 人工智能次协调逻辑推理系统

  2. 本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。

  3. 所属分类：专业指导

    • 发布日期：2007-12-15
    • 文件大小：274432
    • 提供者：ning2008

  1. 基于P2P的语义检索系统设计

  2. 本文将语义网技术和P2P的优点结合起来，建立P2P网络的语义检索机制。通过建立基于本体概念的分布式倒排索引，使检索过程不再是关键词的精确匹配，而是通过不同节，点本体中的概念之间的语义关系的逻辑推理实现检索请求与文档在语义上的匹配。实验表明，本文提出的结构化P2P网络语义检索方法，比基于关键词精确匹配的检索方法有较高的查全率和查准率。

  3. 所属分类：网络基础

    • 发布日期：2010-10-03
    • 文件大小：429056
    • 提供者：qinzhishan

  1. 数理逻辑基础,主要介绍逻辑推理方法。

  2. 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

  3. 所属分类：专业指导

    • 发布日期：2011-04-20
    • 文件大小：3145728
    • 提供者：yanguangchao

  1. 论信息系统项目绩效评估策略

  2. 我是一家大型连锁超市信息部经理。公司原有信息系统是单店管理模式，无法适应公司发展需要。2003年公司高层决定实施ERP系统，并任命我为项目负责人。在系统实施之初，我们确定了实施ERP的绩效评估原则为：1、系统集成化程度高，2、业务流程合理，提高了各部门工作效率，3、绩效监控动态化，提高了公司管理水平。我们针对项目实施的不同阶段设计了绩效评估体系：1、项目启动阶段：技术指标、经济指标、风险指标。2项目实施阶段：进度完成率、费用达标率、工作失误次数和人员培训合格率。3、项目首尾阶段：系统稳定性、安

  3. 所属分类：软考等考

    • 发布日期：2011-07-18
    • 文件大小：27648
    • 提供者：lqcaccount

  1. 专家系统安装文件

  2. 专家系统安装文件，安装了可以使用专家系统进行逻辑推理。

  3. 所属分类：其它

    • 发布日期：2015-11-27
    • 文件大小：24117248
    • 提供者：yanyanhaohao

  1. 命题逻辑系统的自动推理

  2. 本程序用归结反演策略实现了命题逻辑系统的自动推理 归结方法的基本算法很简单，每次从子句集中选择两个可进行归结的子句，求它们的归结式，如果归结式为NIL，则算法结束，结论得证。如果归结式不为空，则将该归结式加入到子句集中，继续以上过程。

  3. 所属分类：其它

    • 发布日期：2008-12-21
    • 文件大小：7340032
    • 提供者：jay0lu

  1. 一个人工智能中的次协调逻辑推理系统

  2. 一个人工智能中涉及的次协调逻辑推理的系统。

  3. 所属分类：专业指导

    • 发布日期：2009-03-24
    • 文件大小：274432
    • 提供者：fool1025

  1. 离散数学-逻辑判断系统

  2. 离散数学逻辑推理判断系统.

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

    • 发布日期：2018-10-27
    • 文件大小：8388608
    • 提供者：qq_40946921

  1. 煤矸分拣机器人控制系统研究_李宁.caj

  2. (1)确定煤矸分拣机器人的基本结构,依据机器人的工作原理和煤矸分拣工作的控制需求,提出煤矸分拣机器人的总体控制方案。(2)研究模糊逻辑推理方法,根据识别区域待抓取矸石特性,构建待抓取优先级排序模型。为了解决拣矸胶带机上矸石的机械臂动态跟踪轨迹规划问题,采用比例导引法,建立机械臂拣矸过程的机械臂运动轨迹规划模型。考虑到大块矸石需要同步跟踪抓取的问题,基于七段式梯形曲线规划机械臂同步跟踪运动轨迹,为保证机械臂运动时间最短,基于遗传算法优化七段式梯形曲线中“匀加速”、“匀速”和“匀减速”阶段机械臂的运

  3. 所属分类：制造

    • 发布日期：2020-04-21
    • 文件大小：7340032
    • 提供者：u010632730

  1. 离散数学演示系统

  2. 离散数学演示系统，包含真值表计算，集合运算，命题逻辑推理，求关系的闭包，画函数图形，TCP求解旅行商问题，锁具装箱问题！

  3. 所属分类：Java

    • 发布日期：2011-11-30
    • 文件大小：1048576
    • 提供者：qq185501667

  1. 液压支架使用维护安全管理系统研究

  2. 以国内外公开发表的一千余篇液压支架科技论文为基础,加之充分的现场调研建立"知识数据库"和"安全评价体系";然后再编制易于操作和能够逻辑推理的安全管理系统软件。通过安全工程、计算机应用和机械工程跨学科研究形成"液压支架使用维护安全管理系统",本研究可促进液压支架正确操作和及时合理维护,实现液压支架可靠支撑,防止顶板垮塌,对人员和其他设备实施保护。

  3. 所属分类：其它

    • 发布日期：2020-05-28
    • 文件大小：449536
    • 提供者：weixin_38590355

  1. 基于模糊神经网络振动磨机控制系统研究

  2. 针对振动磨机破磨过程的复杂非线性,设计了二维模糊控制器;模糊控制过于依赖领域专家的先验知识,缺乏在线学习功能。将模糊逻辑推理与神经网络的自学习功能结合起来,提高整个系统自学习能力及表达能力,进一步改善了控制系统的动态性能,提高自适应能力。仿真实验证明了所提出BP算法的有效性。

  3. 所属分类：其它

    • 发布日期：2020-06-30
    • 文件大小：447488
    • 提供者：weixin_38651286

  1. 基于模糊逻辑推理的煤矿安全诊断系统研究

  2. 文章依据煤矿生产系统(CMPS)安全诊断信息的随机性和不确定性,基于模糊逻辑推理提出一种新型的安全诊断方法,该方法包括:安全诊断模糊化、模糊转化器、模糊规则库以及推理机。通过在煤矿巷道轨道交通系统的安全诊断系统中运用这一方法,可以实现对非线性模糊输入在一定范围内输出准确的信号,对后续的理论研究与工程技术应用有一定参考价值。

  3. 所属分类：其它

    • 发布日期：2020-07-14
    • 文件大小：677888
    • 提供者：weixin_38733245

  1. 基于虚拟仪器的同步伺服系统PID模糊控制器设计

  2. 双电机同步直流伺服系统是颤振激励系统的驱动单元,控制器作为伺服系统的核心,对整个系统性能的优劣起着非常重要的作用。本文结合LabVIEW 强大的数据采集功能及其 PID 和Fuzzy logic两个工具箱,基于模糊逻辑推理、分段线性化、同步控制算法开发出一个模糊PID控制器,较好地实现了同步伺服系统的速度跟随、速度同步、位置同步、差动同步功能。

  3. 所属分类：其它

    • 发布日期：2020-08-05
    • 文件大小：89088
    • 提供者：weixin_38643307

  1. FPGA在人工神经网络系统中的实现

  2. 神经网络是：思维学普遍认为，人类大脑的思维分为抽象（逻辑）思维、形象（直观）思维和灵感（顿悟）思维三种基本方式。逻辑性的思维是指根据逻辑规则进行推理的过程；它先将信息化成概念，并用符号表示，然后，根据符号运算按串行模式进行逻辑推理；这一过程可以写成串行的指令，让计算机执行。然而，直观性的思维是将分布式存储的信息综合起来，结果是忽然间产生想法或解决问题的办法。这种思维方式的根本之点在于以下两点：1.信息是通过神经元上的兴奋模式分布储在网络上；2.信息处理是通过神经元之间同时相互作用的动态过程来完成

  3. 所属分类：其它

    • 发布日期：2020-10-22
    • 文件大小：238592
    • 提供者：weixin_38534344

  1. rustoner:rustoner项目旨在在rust中创建描述逻辑推理器。 受益于语言的快速特性，我们旨在将逻辑与新近发展的数字思想相结合，以增强查询答案-源码

  2. rustoner：用rust编写的描述逻辑推理机 它现在可以工作 描述 允许快速而准确的推理系统。 这是DL的主要目标。 该项目的第一目标在实现的简单逻辑，推理 。 DL的工作原理类似于模型论，在模型中，您拥有公理（我们将其放置在TBox中）和一些基础知识（我们将其放置在ABoxes中）。 由此，您可以在所使用的逻辑的限制下（在此处dl_lite_r ）询问问题（查询），知道数据中是否存在问题（一致性验证），有时还可以在数据中询问隐式信息（原因和推论） ）。 使用 完成公理 假设您要完成一组“

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：8388608
    • 提供者：weixin_42101164

  1. 离散数学——逻辑推理系统-附件资源

  2. 离散数学——逻辑推理系统-附件资源

  3. 所属分类：互联网

  1. 离散数学——逻辑推理系统-附件资源

  2. 离散数学——逻辑推理系统-附件资源

  3. 所属分类：互联网

  1. 基于一阶逻辑推理的元模型一致性验证研究

  2. 非正式方法定义的领域特定元建模语言（DSMML）无法严格表示其结构语义，因此无法整体地，系统地验证其属性（如一致性）。 针对这种情况，本文提出了一种基于DSMML形式化的XMML形式验证模型一致性的方法。 首先描述了形式化的方法，然后提出了基于一阶逻辑推理的XMML及其元模型的一致性验证方法，最后，提出了形式化。设计了元模型的自动映射引擎，并进行了相关测试。展示我们正式方法的可行性。

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：401408
    • 提供者：weixin_38661087
« 12 3 4 »