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

搜索资源列表

  1. 工作流模型及其形式化描述

  2. 详细论述各个子模型及其相互关系,并给出三维工作流模型的形式化描述。

  3. 所属分类：其它

    • 发布日期：2007-08-10
    • 文件大小：203kb
    • 提供者：alexjm

  1. 移动Agent系统的Z语言形式化描述

  2. 移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述

  3. 所属分类：专业指导

    • 发布日期：2009-05-13
    • 文件大小：280kb
    • 提供者：iajj_ren

  1. 基于数据并行的形式化描述

  2. :由于图形处理器（GPU）的快速发展，基于GPU的通用计算已经成为了一个新的研究领域。通过对通用计算GPU编程模型研究，提出了数据并行的形式化描述，并详细描述CUDA编程的方法、优化处理原则等。采用了对比实验，结果表明了CUDA在并行计算上有很强的能力，为GPU的通用计算提供了新的方法和思路

  3. 所属分类：专业指导

    • 发布日期：2009-06-22
    • 文件大小：252kb
    • 提供者：zhaohuacheng

  1. 软件需求的形式化转换模型.pdf

  2. 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。

  3. 所属分类：专业指导

    • 发布日期：2009-06-25
    • 文件大小：127kb
    • 提供者：bjpu_cpnet2009

  1. P2P网络模型的形式化描述方法

  2. P2P网络模型的形式化描述方法 本资源为英文原版文献用于介绍p2p的网络模型，可以让初学者更加容易了解p2p的结够

  3. 所属分类：网络基础

    • 发布日期：2009-08-25
    • 文件大小：319kb
    • 提供者：z804768186

  1. Z语言--一种形式化描述语言

  2. 一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

  3. 所属分类：专业指导

    • 发布日期：2009-10-14
    • 文件大小：648kb
    • 提供者：ddzddggz

  1. 软件体系结构课件，适合研究生用

  2. 软件体系结构概念，形式化描述，综述等。个人总结，适合研究生用

  3. 所属分类：专业指导

    • 发布日期：2010-09-17
    • 文件大小：1mb
    • 提供者：xiezw56

  1. 嵌入式原理方法工具课件--形式化描述

  2. 形式化描述 科大嵌入式系统原理 方法，授课教师 李教授

  3. 所属分类：硬件开发

    • 发布日期：2011-02-21
    • 文件大小：1mb
    • 提供者：bailyzheng

  1. 可视化语言文法形式化描述.pdf

  2. 可视化语言文法形式化描述.pdf

  3. 所属分类：专业指导

    • 发布日期：2008-04-18
    • 文件大小：501kb
    • 提供者：petrelhy

  1. 工作流模型及其形式化描述

  2. 工作流模型及其形式化描述

  3. 所属分类：专业指导

    • 发布日期：2008-07-19
    • 文件大小：203kb
    • 提供者：jacket001

  1. 树突细胞算法的形式化描述

  2. 尽管DCA算法在各种入侵检测方面的成功应用证实了DCA在检测率方面具有很好的性能,但到目前为止,对DCA算法仍然缺乏一种严谨的、形式化的定义与描述。在总结前人的研究成果的基础之上,通过采用数学函数定义方法,定义了算法元素的数据结构,访问数据结构的过程操作函数,目的在于对DCA算法进行简单的形式化描述,将其应用于DCA算法中的伪代码当中,具有一定的有效性,为对DCA算法进行理论分析奠定了基础。

  3. 所属分类：其它

    • 发布日期：2020-06-23
    • 文件大小：463kb
    • 提供者：weixin_38745925

  1. 基于GTP单纯剖分的地下实体拓扑关系形式化描述方法

  2. 以点集拓扑学为基础,用集合对单纯形和单纯复形进行了形式化描述;讨论了GTP模型进行单纯剖分的必要性和形式描述的完备性,在给出确定GTP模型顶点编号方法的基础上,对GTP模型进行单纯剖分和形式化描述;利用代数运算和集合运算相结合的方法计算出GTP模型内部和边界及相互之间的交集,运用维度扩展法判断交集的维数,并定义了一个拓扑关系集合{disjoint,touches,within,crosses,overlaps,contains,equal},进一步采用面向对象的方法,推导和描述了三维实体之间的拓

  3. 所属分类：其它

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

  1. 使用时钟理论对网络物理系统进行形式化描述

  2. 使用时钟理论对网络物理系统进行形式化描述

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：212kb
    • 提供者：weixin_38736652

  1. 树突细胞算法的形式化描述

  2. 树突细胞算法的形式化描述

  3. 所属分类：其它

  1. 方块苗文动态构造方法的形式化描述

  2. 方块苗文动态构造方法的形式化描述

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：291kb
    • 提供者：weixin_38624315

  1. 基于FUG的藏语句法形式化描述

  2. 基于FUG的藏语句法形式化描述

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：224kb
    • 提供者：weixin_38621312

  1. 基于FUG的藏语句法形式化描述

  2. 基于FUG的藏语句法形式化描述

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：225kb
    • 提供者：weixin_38516956

  1. 论证体篇章结构的形式化描述

  2. 随着词语、句子等语言单位的语义表示和自动理解研究的逐渐深入，篇章一级的语义表示和自动分析理解也开始成为研究的焦点。由于篇章语义分析与篇章组织结构密切相关，自动准确地获取篇章的组织结构，有助于实现篇章级语义的自动分析。文章为实现论证体篇章组织结构的自动分析，在前人研究工作.基础上，以中文论证体篇章为研究对象，研究论证体篇章组织结构的形式化描述方法，提出了论证体篇章中的基本论证结构EAS、递归论证结构RAS等重要概念，同时提出了一种层次结构的数字表示方法，并用实例分析方法来进一步解析如何对论证体篇章

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：875kb
    • 提供者：weixin_38678796

  1. 数字隐写模型及形式化描述

  2. 为了使数字隐写模型研究与隐写技术研究同步发展，从通用到具体，依次提出3个数字隐写模型，并对各模型进行形式化描述，总结梳理隐写算法的本质原理，以指导隐写技术的进一步发展。首先，针对已有模型无法描述新兴隐写算法的问题，提出一个通用数字隐写模型，以描述当前所有隐写算法；其次，鉴于载体修改式的隐写算法在隐写术研究中的重要地位，提出基于载体修改的加性噪声隐写模型；然后，针对当前主流的图像自适应隐写算法，提出具体的最小化失真的数字图像自适应隐写模型。选取4个典型的隐写算法实例，采用所提隐写模型进行对应描述，

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：921kb
    • 提供者：weixin_38546024

  1. 面向行为可信的大数据安全系统形式化描述

  2. 摘要：大数据的存储和分析通常是在云计算环境下利用Hadoop计算框架进行处理，而基于云的大数据安全风险来源于云计算服务商以及远程数据应用者对未授权文件及内容的越权操作。针对云中大数据应用的安全问题，提出了面向行为可信的大数据服务系统。采用Z形式化方法对该系统进行描述，给出了读取、更新、添加及删除操作的抽象行为定义。根据模型中的抽象行为，划分可信行为与恶意行为，并给出了各个操作的安全分析。最后通过Z／EVES工具对该系统描述的正确性进行了证明和验证。

  3. 所属分类：其它

« 12 3 4 5 6 7 8 9 10 ... 15 »