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

搜索资源列表

  1. 计算机要学哪些东西----(还有附赠哦)

  2. CS（计算机科学）知识体系 计算教程2010报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域（area），代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示，比如OS代表操作系统，PL

  3. 所属分类：其它

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

  1. 实现图的遍历算法 深度优先遍历

  2. 2． 系统设计 1．用到的抽象数据类型的定义 图的抽象数据类型定义： ADT Graph{ 数据对象V：V是具有相同特性的数据元素的集合，称为顶点集 数据关系R： R={VR} VR={|v,w∈V且P(v,w),表示从v到w的弧， 谓词P(v,w)定义了弧的意义或信息} 基本操作P： CreatGraph(&G,V,VR) 初始条件：V是图的顶点集，VR是图中弧的集合 操作结果：按V和VR的定义构造图G DestroyGraph(&G) 初始条件：图G存在 操作结果：销毁图G InsertV

  3. 所属分类：其它

    • 发布日期：2010-11-29
    • 文件大小：126976
    • 提供者：suibian211900

  1. 人工智能第四章推理技术

  2. 谓词公式的永真性和可满足性 置换与合一 谓词公式与子句集 消解推理规则 消解反演求解过程 规则正向演绎系统 规则逆向演绎系统 产生式系统 不确定性推理 非单调推理

  3. 所属分类：专业指导

    • 发布日期：2010-12-02
    • 文件大小：9437184
    • 提供者：kwdhdy

  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档 　　D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具　 B) 方法、工具和过程　 C) 方法、对象和类　 D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求 　B) 软件设计　 C) 风险分析 　D)

  3. 所属分类：C

    • 发布日期：2011-01-12
    • 文件大小：303104
    • 提供者：fengjliang2009

  1. 人工智能主要课程课件

  2. 人工智能主要课程讲解,包括绪论,谓词逻辑,知识表示,启发式搜索,贝叶斯网络等等,文件格式是PDF的

  3. 所属分类：网络基础

    • 发布日期：2011-01-16
    • 文件大小：4194304
    • 提供者：zhangyifan1118

  1. 前束范式生成器-数理逻辑辅助工具

  2. 数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要用二叉树实现。开发环境为VS2008，CLR

  3. 所属分类：其它

    • 发布日期：2011-01-22
    • 文件大小：1048576
    • 提供者：yjt98765

  1. PHP程序开发范例宝典

  2. 《PHP程序开发范例宝典》全面介绍了应用PHP进行网站开发的各种技术和技巧。《PHP程序开发范例宝典》分为20章，内容包括PHP的运行环境配置、表单及表单元素的应用、CSS与Javascr ipt脚本的应用、验证控件、构建PHP动态网页、PHP与MySQL的数据库技术、PHP与其他数据库技术、SQL查询相关技术、MySQL高级应用技术、字符串的处理技术、PHP面向对象编程技术、文件管理、图像和多媒体技术、信息提取与图表分析技术、报表与打印技术、网络通信技术、PHP与XML技术、安全技术、PHP

  3. 所属分类：PHP

    • 发布日期：2011-02-23
    • 文件大小：12582912
    • 提供者：ajiekaka

  1. 人工智能初级知识 知识表示方法

  2. 人工智能的定义 发展 主要学派及其认知观 知识表示方法 一阶谓词

  3. 所属分类：专业指导

    • 发布日期：2011-03-04
    • 文件大小：5242880
    • 提供者：bingningmeng510

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. 人工智能课件之3人工智能知识表示和推理

  2. 每种以知识和符号操作为基础的智能系统，其问题求解方法都需要某种对解答的搜索。不过，在搜索过程开始之前，必须先用某种方法或某几种方法的混合来表示问题。这些表示问题的方法，可能涉及状态空间、问题归约或谓词公式，或者把问题表示为一条要证明的定理，或者采用结构化方法等等。

  3. 所属分类：专业指导

    • 发布日期：2011-03-31
    • 文件大小：582656
    • 提供者：vanadis

  1. 空间数据库的索引技术

  2. 由于空间数据库中的数据量很大 ,因此空间数据库查询的开销一般要比关系数据库 大 ,特别是查询语句的条件谓词中包含一些对空间数据操作的函数 ,计算这些函数的开销远比数值 或字符串的比较要大。如果用顺序扫描的方法查询 ,则效率非常低。因此 ,为了提高查询效率 ,采 用空间索引是十分必要的。目前人们的研究工作更多地集中在空间数据的多维索引的研究上。全 面地总结了当前空间数据库领域中空间索引的研究进展 ,然后介绍了目前空间数据库中广为采用 且比较新的 4种索引方法: ( 1) R 树 (2) K -

  3. 所属分类：电信

    • 发布日期：2011-04-02
    • 文件大小：184320
    • 提供者：zk12141985

  1. Kd-tree.pdf

  2. 由于空间数据库中的数据量很大 ,因此空间数据库查询的开销一般要比关系数据库 大 ,特别是查询语句的条件谓词中包含一些对空间数据操作的函数 ,计算这些函数的开销远比数值 或字符串的比较要大。如果用顺序扫描的方法查询 ,则效率非常低。因此 ,为了提高查询效率 ,采 用空间索引是十分必要的。目前人们的研究工作更多地集中在空间数据的多维索引的研究上。全 面地总结了当前空间数据库领域中空间索引的研究进展 ,然后介绍了目前空间数据库中广为采用 且比较新的 4种索引方法: ( 1) R 树 (2) K -

  3. 所属分类：电信

    • 发布日期：2011-04-02
    • 文件大小：188416
    • 提供者：zk12141985

  1. Object-C的语法与Cocoa框架

  2. 阅读本文档，您最好有一定的C语言、JAVA语言的基础。 文档内容： 1. GNUStep的安装 2. 类定义 3. Object-C中的布尔类型 4. Object-C中的null 5. 与C混合编写 6. 对象的初始化 7. Object-C的descr iption方法 8. Object-C的异常处理 9. id类型 10. 类的继承 11. 动态判定与选择器 12. 类别Category 13. 协议@protocol 14. 内存管理 15. 常用的类型 16. 写入和读取属性 17

  3. 所属分类：3G/移动开发

    • 发布日期：2011-04-05
    • 文件大小：437248
    • 提供者：kikipu

  1. Objective-C的语法与Cocoa框架

  2. 1. GNUStep的安装 2. 类定义 3. Objective-C中的布尔类型 4. Objective-C中的null 5. 与C混合编写 6. 对象的初始化 7. Objective-C的descr iption方法 8. Objective-C的异常处理 9. id类型 10. 类的继承 11. 动态判定与选择器 12. 类别Category 13. 协议@protocol 14. 内存管理 15. 常用的类型 16. 写入和读取属性 17. 对象的复制 18. 多线程 19. KV

  3. 所属分类：iOS

    • 发布日期：2011-04-07
    • 文件大小：462848
    • 提供者：andrew830314

  1. Knowledge in action

  2. raymond reiter的心血之作，关于情景演算的

  3. 所属分类：其它

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

  1. posix 多线程城西设计

  2. 内容简介:目 录 序言 第1章 概述 1.1 舀水的程序员 1.2 术语定义 1.3 异步编程是直观的 1.4 关于本书的实例 1.5 异步编程举例 1.6 线程的好处 1.7 线程的代价 1.8 选择线程还是不用线程 1.9 POSIX线程概念 第2章 线程 2.1 建立和使用线程 2.2 线程的生命周期 第3章 同步 3.1 不变量. 临界区和谓词 3.2 互斥量 3.3 条件变量 3.4 线程间的内存可视性 第4章 使用线程的几种方式 4.1 流水线 4.2 工作组 4.3 客户/服务器

  3. 所属分类：C

    • 发布日期：2011-04-23
    • 文件大小：8388608
    • 提供者：zhangfukao

  1. ExProlog Core 1.0.0.3

  2. 预发布 IEPI.ExProlog core 1.0.0.3 此DLL库提供在C#语境中的prolog推理机的功能 详细资料将日后发布 1.0.0.3 增加推理功能，根据动态加载的子句推出新事实 1.0.0.2 添加shell，可以实现从文本或.pro文件导入horn子句 添加外部知识向导窗体，以管理知识库 事实和规则均可在运行时动态导入 1.0.0.1 支持带有中间变量的一级谓词 1.0.0.0 实现一级谓词PIE推理问答，不支持中间变量 支持回溯和截断

  3. 所属分类：C#

    • 发布日期：2011-04-23
    • 文件大小：162816
    • 提供者：heroius

  1. 数理逻辑基础（希尔柏脱 阿克曼）

  2. 希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算

  3. 所属分类：专业指导

    • 发布日期：2011-04-26
    • 文件大小：6291456
    • 提供者：judy0608

  1. 苹果开发学习笔记《Object-C 的语法与 Cocoa 框架》

  2. 这本学习笔记是一位多年从事 J2EE，最近改学苹果开发的 CocoaChina 会员 “beanwolf” 根据自身经历总结的 PDF 文档，共 55 页。里面没有历史、环境介绍之类的废话，句句从初学者需要出发，值得拥有一定基础（C、Java 等）转做苹果开发的技术人员阅读。 另外作者在文中介绍了 PC 上搭建苹果开发环境的方法，初学者可以尝试一下……长期、正式做苹果开发的话，还是买台 Mac 吧。 笔记的主要内容包括： GNUStep 的安装 类定义 Object-C 中的布尔类型 Obje

  3. 所属分类：iOS

    • 发布日期：2011-04-26
    • 文件大小：462848
    • 提供者：ycdx2001

  1. MYSQL常用命令大全

  2. MYSQL常用命令 1.导出整个数据库 mysqldump -u 用户名 -p --default-character-set=latin1 数据库名 > 导出的文件名(数据库默认编码是latin1) mysqldump -u wcnc -p smgp_apps_wcnc > wcnc.sql 2.导出一个表 mysqldump -u 用户名 -p 数据库名 表名> 导出的文件名 mysqldump -u wcnc -p smgp_apps_wcnc users> wc

  3. 所属分类：MySQL

    • 发布日期：2011-05-30
    • 文件大小：79872
    • 提供者：snowballer
« 1 2 3 4 5 6 78 9 10 11 12 ... 27 »