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

搜索资源列表

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理，(英文版) 介绍的内容包括逻辑表达，模型检测，程序验证等

  3. 所属分类：专业指导

    • 发布日期：2009-11-13
    • 文件大小：2mb
    • 提供者：yuxizi1987

  1. 面向计算机科学的数理逻辑系统建模与推理.PDF

  2. 面向计算机科学的数理逻辑系统建模与推理.PDF

  3. 所属分类：专业指导

    • 发布日期：2010-03-23
    • 文件大小：2mb
    • 提供者：lvxinliang

  1. 面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science

  2. 面向计算机科学的数理逻辑系统建模与推理（原书第二版） 绝对中文版

  3. 所属分类：专业指导

    • 发布日期：2010-11-21
    • 文件大小：11mb
    • 提供者：tianshuo001

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2008-04-08
    • 文件大小：2mb
    • 提供者：kittyjie

  1. 面向计算机科学的数理逻辑:系统建模与推理(英文版)

  2. 面向计算机科学的数理逻辑:系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2012-03-28
    • 文件大小：2mb
    • 提供者：luckyhouc

  1. 面向计算机科学的数理逻辑

  2. 英文原版 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2012-10-04
    • 文件大小：2mb
    • 提供者：oyangbanxian

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. The aim of logic in computer science is to develop languages to model the situations we encounter as computer science professionals, in such a way that we can reason about them formally. Reasoning about situations means constructing arguments about

  3. 所属分类：专业指导

    • 发布日期：2012-11-19
    • 文件大小：2mb
    • 提供者：hfc001

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理.pdf login in computer science modeling and reasoning about systems

  3. 所属分类：专业指导

    • 发布日期：2013-02-03
    • 文件大小：2mb
    • 提供者：starry225

  1. 本体建模及推理

  2. 一个很好本体建模及推理的文章，以计算机网络课程领域为例，研究并实现本体建模，利用 Jena 对其进行解析与推理，构造推理规则，设计一个基于本体的课程资源查询系统，对其体系结构及功能进行描述。实验结果证明，该方法能够解决传统学习资源查询缺乏语义支持的问题，比传统的学习资源查询有更高的查全率和查准率。

  3. 所属分类：Java

    • 发布日期：2013-07-21
    • 文件大小：97kb
    • 提供者：w0625f

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：专业指导

    • 发布日期：2014-01-02
    • 文件大小：2mb
    • 提供者：zhaojq6624

  1. 面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

  2. 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

  3. 所属分类：其它

    • 发布日期：2014-07-22
    • 文件大小：11mb
    • 提供者：hrjzsb

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理

  3. 所属分类：讲义

    • 发布日期：2017-01-01
    • 文件大小：2mb
    • 提供者：baidu_37223029

  1. 面向计算机科学的数理逻辑 系统建模与推理（全部） 答案

  2. 面向计算机科学的数理逻辑 系统建模与推理 答案（全部） logic in computer science modelling and reasoning about systems solutions

  3. 所属分类：专业指导

    • 发布日期：2018-08-15
    • 文件大小：400kb
    • 提供者：qq_17759721

  1. 计算机科学的数理逻辑 、系统建模与推理的答案

  2. 课程作业，面向计算机科学的数理逻辑 系统建模与推理的答案，针对这个课程，可以进行强化训练

  3. 所属分类：讲义

    • 发布日期：2018-12-22
    • 文件大小：378kb
    • 提供者：zq131466

  1. 基于GTP修正的R3DGM建模与可视化方法

  2. 将广义三棱柱(GTP)的辅助几何要素———对角线———修正为四面体,解决了R3DGM(真三维地学模型)中数据组织与几何要素的不一致和空间操作中的几何裂缝问题.修正后的GTP模型集成了TIN,GTP和四面体模型的优点,构建算法简单且空间操作无缝.R3DGM过程分3步进行:①根据钻孔孔口数据点与断层露头约束,按约束Delaunay法则生成地表不规则三角网(CD-TIN);②按地学推理规则,将CD-TIN中三角形沿钻孔迹线向下扩展生成GTP;③根据最小顶点标识法,将GTP模型转换成四面体.介绍了基于G

  3. 所属分类：其它

    • 发布日期：2020-07-18
    • 文件大小：194kb
    • 提供者：weixin_38628552

  1. 基于模糊推理的驾驶员车速决策行为建模与仿真

  2. 基于模糊推理的驾驶员车速决策行为建模与仿真

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：234kb
    • 提供者：weixin_38645669

  1. 直接甲醇燃料电池温度响应的建模与仿真(英文)

  2. 给出了一种用于直接甲醇燃料电池(DMFC)温度响应的人工智能建模方法。采用BP网络、Elman神经网络与自适应神经模糊推理系统(ANFIS)避免了精确数学模型的复杂性。详细描述了辨识结构、算法和模型训练方案。通过不同模型之间的仿真对比,得出了三种网络的最优结构参数。仿真结果满足精度要求,得出ANFIS模型性能最优。在ANFIS模型基础上对DMFC温度响应特性作了简要分析。通过仿真模型可快速得到其输入输出特性,使DMFC温度响应的在线预测与控制成为可能。

  3. 所属分类：其它

  1. stats-ii-lab:统计建模与因果推理2020-I教程存储库-源码

  2. 统计建模与因果推理2020-I教程 统计建模与因果推理2020-I教程存储库 概述 任期： 2020年Spring授课教师： Marina Wyss和Sebastian Ramirez Ruiz 地点：柏林赫蒂学校第1组：计算机实验室1.61，10-12，星期三第2组：星期四，8-10，房间3.61 第3组：星期四，10-12，计算机实验室1.61 第4组：星期四，12-14，计算机实验室1.61 资料库 该存储库将在“统计建模与因果推理”课程的教程课程中使用。 在这里，您将找到实验室幻灯片，代

  3. 所属分类：其它

    • 发布日期：2021-03-11
    • 文件大小：22mb
    • 提供者：weixin_42143806

  1. 基于自主计算的流行病网络建模与推理

  2. 摘要：现有的传播网络结构假定方法大都针对信息传播过程，所能处理的数据与获取的流行病监控数据形式和特性均不相同，不适合处理具有粗粒度，时空多尺度和数据缺失等特性的流行病监控数据。针对该问题，提出了基于自治计算的流行病传播网络建模方法和网络结构示意图方法。该方法采用多自治体建模传播网络结构和流行病传播过程，采用蒙特卡罗模拟结合群智能优化的反馈过程调节系统参数，以缩小模拟系统涌入为与真实监控数据间差异为目标，改变自治体的行为，转化模拟系统向真实系统逐步演进，由此方式替代出传播网络结构及与流行病相关的主

  3. 所属分类：其它

    • 发布日期：2021-03-01
    • 文件大小：896kb
    • 提供者：weixin_38695773

  1. 基于SimHydraulic的加注系统建模与故障仿真

  2. 航天器在轨服务技术是未来重要的发展方向之一。实际故障数据的获取成本高且风险大，为了研究在轨加注过程中系统的可靠性，得出系统故障征兆并对典型故障进行辨识，采用Matlab中的SimHydraulic对加注系统进行建模。结合在轨加注系统各部分工作原理以及器件物理参数分析及更改的方法，对模型进行参数设置以及器件搭建，最终实现常见故障状态下加注系统参数变化趋势。通过对模型故障仿真分析，为故障诊断专家系统的建立提供推理依据。

  3. 所属分类：其它

« 12 3 4 5 6 »