您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 2009年 软设大纲

  2. 2009年 软设大纲 一、考试说明   1.考试要求:    (1) 掌握数据表示、算术和逻辑运算;    (2) 掌握相关的应用数学、离散数学的基础知识;    (3) 掌握计算机体系结构以及各主要部件的性能和基本工作原理;    (4) 掌握操作系统、程序设计语言的基础知识,了解编译程序的基本知识;    (5) 熟练掌握常用数据结构和常用算法;    (6) 熟悉数据库、网络和多媒体的基础知识;    (7) 掌握C程序设计语言,以及C++、Java、Visual、Basic、Visua
  3. 所属分类:其它

    • 发布日期:2009-08-31
    • 文件大小:88064
    • 提供者:sanjifeng
  1. 马尔科夫逻辑网工具包

  2. 马尔科夫逻辑网工具包 一种将概率模型和一阶谓词逻辑结合起来的机器学习算法
  3. 所属分类:其它

    • 发布日期:2009-09-08
    • 文件大小:2097152
    • 提供者:zongliang
  1. 计算机软件水平考试软件设计师考试大纲与培训指南(2009版)

  2. 计算机软件水平考试软件设计师考试大纲与培训指南(2009版) 一、考试说明 1.考试目标 通过本考试的合格人员能根据软件开发项目管理和软件工程的要求,按照系统总体设计规格说明书进行软件设计,编写程序设计规格说明书等相应的文档,组织和指导程序员编写、调试程序,并对软件进行优化和集成测试,开发出符合系统总体设计要求的高质量软件;具有工程师的实际工作能力和业务水平。 2.考试要求 (1) 掌握计算机内的数据表示、算术和逻辑运算方法; (2) 掌握相关的应用数学及离散数学基础知识 (3) 掌握计算机体
  3. 所属分类:其它

    • 发布日期:2010-03-25
    • 文件大小:226304
    • 提供者:z18863
  1. 2005-2009软件设计师历年真题

  2. 软件设计师考试真题 附带2010年的考试大纲 考试科目1:计算机与软件工程知识  1.计算机科学基础   1.1 数制及其转换      • 二进制、十进制和十六进制等常用制数制及其相互转换   1.2 数据的表示      • 数的表示(原码、反码、补码、移码表示,整数和实数的机内表示,精度和溢出)      • 非数值表示(字符和汉字表示、声音表示、图像表示)      • 校验方法和校验码(奇偶校验码、海明校验码、循环冗余校验码)   1.3 算术运算和逻辑运算      • 逻辑代数的
  3. 所属分类:其它

    • 发布日期:2010-05-18
    • 文件大小:8388608
    • 提供者:mathria
  1. 计算机要学哪些东西----(还有附赠哦)

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

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

    • 发布日期:2011-03-29
    • 文件大小:359424
    • 提供者:iwsdiwsd
  1. SQLServer2008技术内幕T-SQL查询包含源代码及附录A

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容,以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度,以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书,
  3. 所属分类:数据库

    • 发布日期:2011-10-27
    • 文件大小:4194304
    • 提供者:oraclecd
  1. Microsoft+SQL+Server+2008技术内幕:T-SQL查询含源代码及附录

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容,以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度,以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书,
  3. 所属分类:SQLServer

    • 发布日期:2012-02-16
    • 文件大小:4194304
    • 提供者:xiongliuzhao
  1. sql server 2008技术内幕t -sql查询

  2. 绝对的好书 如果你想sql能力很大的提升,这本书绝对的是你的首选,初学有点难度 目录 -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1:FROM阶段5 1.3.2 步骤2
  3. 所属分类:SQLServer

    • 发布日期:2012-05-04
    • 文件大小:40894464
    • 提供者:wp442638266
  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part1

  2. 这是中文版来的,由于文件大小为60几MB,但本人的上传权限只有50MB,所以分开两部分压缩上传。解压前必须与part2一起解压。part2在本人的资源里可以找到。 温馨提示:我的资源里还有英文版和源码下载,中英文结合开,效果更好! 目录: -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1
  3. 所属分类:SQLServer

    • 发布日期:2012-05-10
    • 文件大小:40894464
    • 提供者:lxm850918
  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part2

  2. 这是中文版来的,由于文件大小为60几MB,但本人的上传权限只有50MB,所以分开两部分压缩上传。解压前必须与part1一起解压。part1在本人的资源里可以找到。 温馨提示:我的资源里还有英文版和源码下载,中英文结合开,效果更好! 目录: -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1
  3. 所属分类:SQLServer

    • 发布日期:2012-05-10
    • 文件大小:19922944
    • 提供者:lxm850918
  1. SQL Server 2008 技术内幕 T-SQL查询(英文版+源码+附录A)

  2. 这是英文版来的,包含源码和附录A 温馨提示:我的资源里还有中文版part1、part2。可以中英文结合一起看,效果更好! 目录: 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1:FROM阶段5 1.3.2 步骤2:WHERE阶段9 1.3.3 步骤3:GROUP BY阶段10 1.3.4 步骤4:HAVING阶段11 1.3.5
  3. 所属分类:SQLServer

    • 发布日期:2012-05-10
    • 文件大小:4194304
    • 提供者:lxm850918
  1. 计算机要学哪些东西

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

    • 发布日期:2012-05-18
    • 文件大小:110592
    • 提供者:x31721019
  1. Microsoft SQL Server 2008技术内幕:T-SQL查询(第二卷)

  2. 注:分二卷,点击上传者查看第二卷地址。亲,本人纯手工添加了书签哦!!方便阅读 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容,以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度,以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会
  3. 所属分类:SQLServer

    • 发布日期:2012-10-22
    • 文件大小:8388608
    • 提供者:lioubiya52
  1. Microsoft+SQL+Server+2008技术内幕:T-SQL查询_源代码及附录 中文版

  2. 标准中文版的pdf和实例数据脚本,分享给大家 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容,以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度,以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案
  3. 所属分类:SQLServer

    • 发布日期:2013-02-21
    • 文件大小:60817408
    • 提供者:jilezhenren
  1. 面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

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

    • 发布日期:2014-07-22
    • 文件大小:11534336
    • 提供者:hrjzsb
  1. 广工人工智能谓词逻辑算法作业

  2. 结合课本习题3.23解答,通过编制一个程序执行,归结得到结果!
  3. 所属分类:C/C++

  1. 合一算法的Python实现–人工智能

  2. 考察 合一算法 求点赞,给作者一点分享的鼓励 代码没写GUI,因为不喜欢这玩意,直接在终端中进行人机交互 代码写的较为冗余,主要还是我没动力了,不想优化了,因为调试代码已经把我榨干了 文章目录合一算法是什么?由来合一算法思路及代码 合一算法是什么? 由来 如何解决 谓词演算归结 的一个问题,即决定那两个子句是否为亲本子句。例如,下面两个文字 是否能够成为亲本子句呢? L(f(x)) ∨ L(A) ~L(B) 合一算法正是为此而来 合一算法 在谓词逻辑中,一个表达式的 项 是 常量符号、变量符号
  3. 所属分类:其它

    • 发布日期:2020-12-20
    • 文件大小:107520
    • 提供者:weixin_38644599
  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
    • 文件大小:435200
    • 提供者:weixin_38653508
« 12 3 »