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

搜索资源列表

  1. 统一建模语言UML教程

  2. 统一建模语言（ U M L）是一个通用的可视化建模语言，用于对软件进行描述、可视化处 理、构造和建立软件系统制品的文档。它记录了对必须构造的系统的决定和理解，可用于对 系统的理解、设计、浏览、配置、维护和信息控制。UML 适用于各种软件开发方法、软件生 命周期的各个阶段、各种应用领域以及各种开发工具，是一种总结了以往建模技术的经验并 吸收当今优秀成果的标准建模方法。U M L包括概念的语义，表示法和说明，提供了静态、动 态、系统环境及组织结构的模型。它可被交互的可视化建模工具所支持，这些工具提

  3. 所属分类：专业指导

    • 发布日期：2009-07-31
    • 文件大小：12mb
    • 提供者：l95566505

  1. B方法课件（B method）

  2. B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。

  3. 所属分类：专业指导

    • 发布日期：2010-05-31
    • 文件大小：2mb
    • 提供者：liwenpeng00001

  1. veriloghl教程

  2. veriloghdl用形式化的方法来描述数字电路和设计数字电路，多用于ASIC和FPGA的设计

  3. 所属分类：硬件开发

    • 发布日期：2010-11-12
    • 文件大小：1mb
    • 提供者：rimugewei

  1. 软件形式化方法期末考试复习要点

  2. 软件工程形式化方法，Z语言，期末考试复习要点。包括各个章节的知识点可经典例题。

  3. 所属分类：专业指导

    • 发布日期：2011-11-11
    • 文件大小：390kb
    • 提供者：bigconvience

  1. B语言和方法与Z、VDM的比较

  2. 几种形式化开发方法的比较。介绍基于模型的三种形式化语言和方法的基本原理 和内容．然后再对其主要优缺点进行分析，最后对这三种语言和方法从七个方面加以分析比较，并列表总结。

  3. 所属分类：其它

    • 发布日期：2012-04-22
    • 文件大小：249kb
    • 提供者：weihuizhao

  1. Z语言的实时扩展及应用

  2. 在本文，我们归纳了Z实时扩展，提出了分类标准，一类是被称为集成的扩 展方法，它基于形式化说明语言z和其它形式化方法的集成，在这里由其它形式 化方法提供表示动态行为的结构；另～类称之为非集成的扩展方法则只使用z的 语义，而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说 明，完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法

  3. 所属分类：IT管理

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

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4kb
    • 提供者：yuxiaoyong

  1. 软件形式化方法Z语言.rar

  2. 北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

  3. 所属分类：讲义

  1. 形式化规约——Z语言

  2. 形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。

  3. 所属分类：讲义

    • 发布日期：2017-12-27
    • 文件大小：885kb
    • 提供者：panchuanggo2467

  1. 提升机故障诊断不确定性推理方法

  2. 针对提升机故障诊断过程中的若干不确定性问题,提出一种新的基于本体和贝叶斯网络的故障诊断不确定性知识融合推理方法。该方法对本体贝叶斯网络进行了形式化的定义,运用OWL本体语言扩展了本体对领域知识的不确定性表示,通过一系列的翻译规则和程序,实现了本体结构到贝叶斯网络结构的转换;然后建立了基于本体和贝叶斯网络的融合推理模型,利用本体推理完成对故障诊断本体知识的语法检查、语义一致性的验证以及本体的解析,采用基于启发式搜索树的贝叶斯网络进行不确定性推理,并在贝叶斯网络可视化推理平台Netica上进行了验证

  3. 所属分类：其它

    • 发布日期：2020-05-16
    • 文件大小：326kb
    • 提供者：weixin_38729607

  1. 统计自然语言处理

  2. 统计自然语言处理是一本很好的书籍，是一本很基础的书籍目录 序二 第2版前宣 第1版前言 第1章绪论 11基本概念 1.1.1语言学与语音学 2自然语言处理 11.3关于“理解”的标准 1,2自然语言处理研究的内容和面临的困难 1,2,1自然语言处理研宄的内容 1,22自然语言处理涉及的几个层次 1.2.3自然语言处理面临的困难 13自然语言处理的基本方法及其发展 13,1自然语言处理的基本方汏 3,2自然语言处理的发展 14自然语言处理的研究现状 本书的内容安挂 第2章顸备知识 2,1概率论基本

  3. 所属分类：Python

    • 发布日期：2019-03-04
    • 文件大小：24mb
    • 提供者：weixin_34749051

  1. 基于有穷自动机的自然语言状态转换

  2. 针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数、字母表规则、无差别地完成各种状态转换过程.研究结果表明:该方法能有效地完成自然语言状态下的机器人状态、动作间的转换,具有较好的实时性和可靠性.

  3. 所属分类：其它

  1. 软件形式规格说明语言-Z

  2. 1. 什么是形式化方法？ 2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。） 3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？ 第2章 1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句） 什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。） 什么是命

  3. 所属分类：外包

    • 发布日期：2020-06-21
    • 文件大小：14mb
    • 提供者：weixin_43441064

  1. 神经语言生成：形式化，方法与评价

  2. 基于神经网络的生成式模型的最新进展重新燃起了计算机系统能够与人类无缝对话并能够理解自然语言的希望。神经结构被用于生成文本摘录，在满足不同用户需求的多种上下文和任务中取得了不同程度的成功。

  3. 所属分类：机器学习

    • 发布日期：2020-08-10
    • 文件大小：1021kb
    • 提供者：syp_net

  1. 基于Wright的SA级测试路径生成方法

  2. 软件体系结构用来描述系统的高层结构和行为特征，软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上，引入了一种图形的表示方法，即以动态行为图（BG图）来表示相关的构件间的动态行为及它们之间的关系，并提出了软件体系结构测试覆盖准则。根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想。以C/S体系结构为例，验证了该方法在生成SA级的测试路径上是可行的。

  3. 所属分类：其它

    • 发布日期：2020-10-21
    • 文件大小：144kb
    • 提供者：weixin_38526421

  1. 基于系统行为序列的Petri网自动建模方法

  2. 要想用Petri网对系统进行有效的模拟和分析，就必须先建立起可靠准确的Petri网模型，目前很少有文献专门研究Petri网对系统的建模问题。对此，提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式，对于不同的系统，给出标注函数（即变迁和系统行为的映射关系），就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好，建立的模型标准规范，并且可实现机器自动建模，在目前的系统建模研究方面取得了进展。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：329kb
    • 提供者：weixin_38676058

  1. 嵌入式系统/ARM技术中的一种基于UML的嵌入式系统可视化开发方法

  2. 1 引言 　　随着信息产业和微电子技术的发展，嵌入式系统的功能日渐强大，结构也愈加复杂，传统的嵌入式开发方法已不能满足开发要求,人们开始尝试用一些形式化的开发方法进行开发。一种适合于嵌入式系统的形式化开发方法，不仅能缩短嵌入式系统开发的周期，还能减少开发成本，提高系统质量。本文结合统一建模语言UML，提出一种嵌入式系统可视化开发方法，并将其实际运用到了嵌入式远程温度监控系统的开发过程中，验证了该方法的可行性和有效性。 　　2 基于UML 的嵌入式系统可视化开发方法 　　2.1 　统一建模语

  3. 所属分类：其它

    • 发布日期：2020-11-05
    • 文件大小：218kb
    • 提供者：weixin_38668776

  1. 基于多种复合场景分析的火车站联锁系统形式化建模方法

  2. 为了确保火车站联锁系统的安全性，以路径创建子系统为案例研究，并提出了一种基于多种复合情景分析的形式化建模方法。 该方法采用多个UML序列图来指定系统的需求，并通过结合对象约束语言的前提条件和后置条件与领域知识来获得一致的需求规格，以分析多个UML序列图中的冲突。 此外，提出了一种将行为序列转换为有限状态过程模型的模型转换方法，尽管这些行为序列通常是同步，异步，并发和交替的，并且在UML序列图中相互影响。 最后，通过组合运算生成了系统形式模型的FSP模型，符合系统的功能要求。 铁路联锁系统的形式化

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：643kb
    • 提供者：weixin_38590784

  1. UML模型形式化B方法转换的实现

  2. UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：564kb
    • 提供者：weixin_38729685

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

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

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：875kb
    • 提供者：weixin_38678796
« 12 3 4 5 6 »