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

搜索资源列表

  1. Web服务的形式化验证

  2. 将 Web 服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具 MCTK刻画贷款协议 Web 服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工具 MCMAS 进行建模，并验证该实例。实验结果表明，基于 MCTK的Web 服务模型检测方法比基于MCMAS的方法更有效。

  3. 所属分类：其它

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

  1. 数据挖掘论文集，很多论文打包2

  2. 全局和局部相结合的数据挖掘方法及应用研究.pdf 分类关联规则归纳算法及应用研究.pdf 分类数据挖掘中若干基本问题的研究.pdf 基于元知识的数据挖掘系统研究.pdf 基于描述逻辑的时态知识表示与推理研究.pdf 基于数据仓库的时序数据挖掘研究.pdf 基于数据挖掘技术的决策支持系统及其关键技术研究.pdf 基于独立成分分析的数据挖掘方法研究.pdf 数学概念的知识获取与分析方法研究.pdf 数据挖掘中关联分析算法研究.pdf 数据挖掘的新技术研究.pdf 维数约减算法研究及其在大规模文本

  3. 所属分类：其它

    • 发布日期：2011-07-11
    • 文件大小：50331648
    • 提供者：wtzmax

  1. 数据库系统导论（第7版）

  2. 目 录 译者序 第7版序言 第一部分 基础知识 第1章 数据库管理概述 1 1.1 引言 1 1.2 什么是数据库系统 3 1.3 什么是数据库 6 1.4 为什么用数据库 10 1.5 数据独立性 12 1.6 关系系统及其他 15 1.7 小结 17 练习 17 参考文献和简介 19 部分练习答案 19 第2章 数据库系统体系结构 22 2.1 引言 22 2.2 三级体系结构 22 2.3 外模式 24 2.4 概念模式 26 2.5 内模式 26 2.6 映象 27 2.7 数据库管理

  3. 所属分类：其它

    • 发布日期：2011-09-19
    • 文件大小：18874368
    • 提供者：erohuacty

  1. 数据库系统导论（第七版）

  2. 目 录 译者序 第7版序言 第一部分 基础知识 第1章 数据库管理概述 1 1.1 引言 1 1.2 什么是数据库系统 3 1.3 什么是数据库 6 1.4 为什么用数据库 10 1.5 数据独立性 12 1.6 关系系统及其他 15 1.7 小结 17 练习 17 参考文献和简介 19 部分练习答案 19 第2章 数据库系统体系结构 22 2.1 引言 22 2.2 三级体系结构 22 2.3 外模式 24 2.4 概念模式 26 2.5 内模式 26 2.6 映象 27 2.7 数据库管理

  3. 所属分类：其它

    • 发布日期：2012-03-31
    • 文件大小：18874368
    • 提供者：honeycsf

  1. web服务形式化验证

  2. web服务形式化验证,将Web服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工具MCMAS进行建模，并验证该实例。实验结果表明，基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。

  3. 所属分类：Web服务器

    • 发布日期：2013-07-20
    • 文件大小：342016
    • 提供者：u011176175

  1. 数据库导论7版

  2. 译者序 第7版序言 第一部分 基础知识 第1章 数据库管理概述 1 1.1 引言 1 1.2 什么是数据库系统 3 1.3 什么是数据库 6 1.4 为什么用数据库 10 1.5 数据独立性 12 1.6 关系系统及其他 15 1.7 小结 17 练习 17 参考文献和简介 19 部分练习答案 19 第2章 数据库系统体系结构 22 2.1 引言 22 2.2 三级体系结构 22 2.3 外模式 24 2.4 概念模式 26 2.5 内模式 26 2.6 映象 27 2.7 数据库管理员 27

  3. 所属分类：Oracle

    • 发布日期：2014-01-24
    • 文件大小：18874368
    • 提供者：pugongying8090

  1. 广东省成人学位英语2007-2012年考试真题及答案

  2. 英语水平考试大纲 一、考试性质 成人高等教育非英语专业学士学位英语水平考试是由各省级高等教育主管部门组织的统一考试，其目的是为了客观地测试非英语专业成人本科毕业生申请学士学位者的英语语言知识和英语运用等相关能力，考查其是否达到普通本科教育非英语专业英语教学大纲的一般要求。 二、考试要求 成人高等教育非英语专业学士学位英语水平考试要求考生能够较熟练地掌握英语基本语法和常用词汇，具有较强的阅读能力和语言综合运用能力。考生在英语运用能力方面应分别达到以下具体要求： （一） 会话技能 能够使用英语进行日

  3. 所属分类：讲义

    • 发布日期：2014-07-06
    • 文件大小：32505856
    • 提供者：u013404299

  1. 基于AUML状态机的多Agent系统模型检查方法

  2. 本文首先提出了一种基于AUML状态机模型和知识时态逻辑的多主体系统模型检查框架，并提供了一种使用AUML状态机进行多主体系统形式化建模的方法。 提出了一种将AUML状态机形式描述转换为ISPL语言的方法。 最后，使用转换工具AUML2ISPL完成了仿真

  3. 所属分类：其它

    • 发布日期：2021-03-24
    • 文件大小：336896
    • 提供者：weixin_38562725

  1. Web服务的形式化验证

  2. 将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：332800
    • 提供者：weixin_38742460