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

搜索资源列表

  1. 需求分析建模介绍的课件

  2. 该课件详细的讲述了如何进行需求建模，需求建模主要分为功能建模，数据建模，行为建模三大部分

  3. 所属分类：专业指导

    • 发布日期：2009-05-24
    • 文件大小：692kb
    • 提供者：zhouqu168

  1. 协议业务之PPP协议.doc

  2. 1 概述 5 2 术语、定义和缩略语 5 2.1 简单介绍 5 2.2 术语 6 3 PPP封装 6 4 PPP链路操作 8 4.1 概述 8 4.2 阶段划分框图 8 4.3 链路死亡（物理连接不存在） 8 4.4 链路建立阶段 8 4.5 认证阶段 9 4.6 网络层协议阶段 9 4.7 链路终止阶段 10 5 自动机协商选项 10 5.1 状态迁移图 11 5.2 状态 14 5.3 事件 15 5.4 动作 19 5.5 环躲避（循环避免） 21 5.6 计数器和定时器 21 6 LC

  3. 所属分类：网络基础

    • 发布日期：2010-03-30
    • 文件大小：204kb
    • 提供者：hoogle129

  1. 青牛呼叫中心系统开发文档

  2. 目 录 1 前言 1 2 USE概述 2 2.1服务部件 4 2.2统计数据库说明 5 2.3开发接口 5 2.4实用工具 6 3 USE开发指南 8 3.1 坐席软电话开发说明 8 3.1.1 API层开发 10 long USE_ConnectToAgent 12 long USE_DisconnectAgent 13 long USE_Login 14 long USE_LoginEx 16 long USE_Logout 17 long USE_ SetAgentStatus 18 l

  3. 所属分类：C++

    • 发布日期：2010-03-31
    • 文件大小：4mb
    • 提供者：jankaffy

  1. M2M平台与终端接口规范(WMMP)V2.0.pdf

  2. M2M平台为集团客户提供统一的M2M终端管理、终端设备鉴权，并对目前行业网关尚未实现的接入方式进行鉴权。支持多种网络接入方式，提供标准化的接口使得数据传输简单直接。提供数据路由、监控，用户鉴权、内容计费等管理功能。 M2M平台按照功能划分为通信接入模块、终端接入模块、业务处理模块、M2M标准应用模块、管理模块、EC接入模块、数据库模块、WEB模块。 目 录 1. 范围 1 2. 规范性引用文件 1 3. 术语、定义和缩略语 1 4. 网络结构 2 4.1. 网络结构图 2 4.2. 网元功能描

  3. 所属分类：网络基础

    • 发布日期：2010-04-01
    • 文件大小：526kb
    • 提供者：QQ1013182577

  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
    • 文件大小：296kb
    • 提供者：fengjliang2009

  1. 修道士与野人问题课程设计报告

  2. 这是一个古典问题。假设有n个修道士和n个野人准备渡河，但只有一条能容纳c人的小船，为了防止野人侵犯修道士，要求无论在何处，修道士的个数不得少于野人的人数（除非修道士个数为0）。如果两种人都会划船，试设计一个算法，确定他们能否渡过河去，若能，则给出一个小船来回次数最少的最佳方案。 要求： （1）用一个三元组（x1,x2,x3）表示渡河过程中各个状态。其中，x1表示起始岸上修道士个数，x2表示起始岸上野人个数，x3表示小船位置（0——在目的岸，1——在起始岸）。例如（2,1,1）表示起始岸上有两个

  3. 所属分类：C/C++

    • 发布日期：2011-07-13
    • 文件大小：304kb
    • 提供者：cqq20091001234

  1. 软件测试用例设计方法

  2. 此文描述了各种黑盒用例设计方法，包括：等价类边界值法，因果图判定表，流程分析法，状态迁移图，正交试验法，数据流测试法，花瓣查询法以及错误推测法。

  3. 所属分类：软件测试

    • 发布日期：2011-11-20
    • 文件大小：1mb
    • 提供者：zzzmmmkkk

  1. 图书管理系统

  2. 图书管理系统数据溜图 状态迁移模型实体—关系模型

  3. 所属分类：C/C++

    • 发布日期：2011-12-26
    • 文件大小：1mb
    • 提供者：kuai521

  1. 青牛呼叫中心开发文档

  2. 目 录 1 前言 1 2 USE概述 2 2.1服务部件 4 2.2统计数据库说明 5 2.3开发接口 5 2.4实用工具 6 3 USE开发指南 8 3.1 坐席软电话开发说明 8 3.1.1 API层开发 10 long USE_ConnectToAgent 12 long USE_DisconnectAgent 13 long USE_Login 14 long USE_LoginEx 16 long USE_Logout 17 long USE_ SetAgentStatus 18 l

  3. 所属分类：Java

    • 发布日期：2012-10-21
    • 文件大小：3mb
    • 提供者：moveuirt

  1. 经典模型验证论文

  2. 摘要 模型检测是一种用来验证有限状态反应系统的自动验证技术，例如时序电路设计和通信协议，这种技术用时态逻辑来表示规约，将反应系统构建成一个状态迁移图模型，通常用一种有效的搜索过程来确定这个状态迁移图是否满足该规约。 论文描述了基本的模型检测算法，并且说明了结合该算法和二叉决策图如何验证大规模状态迁移图的性质。同时也对抽象和组合推理技术进行了探讨，即通过利用复杂电路设计和协议的层次结构来扩展模型检测技术的使用。

  3. 所属分类：软件测试

    • 发布日期：2012-11-19
    • 文件大小：1mb
    • 提供者：jmye1965

  1. RFID 15693 状态迁移

  2. 15693协议的状态迁移图，中文的 帮助你快速理解

  3. 所属分类：硬件开发

    • 发布日期：2013-11-21
    • 文件大小：180kb
    • 提供者：u012062927

  1. PMAC上位机_构造安全的工业程序

  2. 该资源为博客配套演示文件，演示了如何利用状态迁移图和状态列表的方式辅助构建安全的工业程序，并给出演示代码。

  3. 所属分类：C++

    • 发布日期：2015-05-18
    • 文件大小：4mb
    • 提供者：wenzhou1219

  1. TCP/IP状态迁移图

  2. TCP/IP协议状态迁移图、状态列表及说明 ..................................................................

  3. 所属分类：网络基础

    • 发布日期：2018-07-08
    • 文件大小：42kb
    • 提供者：juyin2015

  1. 状态机编程介绍

  2. 状态机的概念；状态机的要素；状态迁移图（STD）；状态迁移表；用状态机思路实现一个时钟程序

  3. 所属分类：其它

    • 发布日期：2018-12-28
    • 文件大小：78kb
    • 提供者：wangguchao

  1. 状态图法.doc

  2. 1. 定义 　　状态迁移图法主要关注在测试状态转移的正确性上面。对于一个有限状态机，通过测试验证其在给定的条件内是否能够产生需要的状态变化，有没有不可达的状态和非法的状态，可能不可能产生非法的状态转移等。通过构造能导致状态迁移的事件，来测试状态之间的转换。 　　2. 应用的范围 　　一个功能的状态比较多的情况下,比如mp3，堆栈操作等.

  3. 所属分类：讲义

    • 发布日期：2019-05-25
    • 文件大小：131kb
    • 提供者：weixin_45125874

  1. 基础电子中的状态机设计

  2. 状态机设计是几乎每个设计人员都会遇到的问题，状态机一般用在需要逐个串行执行事件的场合。状态机设计有两点需要注意，一是不要滥用状态机。笔者发现一些初学者发现状态机的好处之后，容易滥用。明明是一个计数器就可以完成的工作，而要用一个状态机实现。FPGA的一个较大的好处在于并行处理的高效高速，如果滥用状态机的话，有时就失去了FPGA的优势；二是状态机的写法，推荐使用双进程的状态机的结构来构造状态机好处是结构清晰，构造输出容易。因为可以早一拍得到次态逻辑，所以可以容易构造出干净的寄存器输出。 　　例如，

  3. 所属分类：其它

    • 发布日期：2020-11-17
    • 文件大小：85kb
    • 提供者：weixin_38738528

  1. 单片机与DSP中的单片机的状态迁移与复位操作

  2. 本文以经典的80C51单片机为例，利用工作状态及其状态辽移的新概念、新观点和新方法，揭示一些单片机运作的内在规律，对于单片机学习者和应用开发者具有一定的启迪作用和实际意义。 1 单片机的工作状态及其状态迁移 80C51单片机的各种活动，可以描述成多个不同的工作状态或工作模式。这里利用笔者构思的一个单片机工作状态迁移图(如图1所示)来说明。不过，这里重点关注的是复位状态。 经过仔细分析之后，从图1中可以看出： ① 把单片机经历的所有生存状态归纳和描绘成5个状态--1个非工作

  3. 所属分类：其它

    • 发布日期：2020-12-08
    • 文件大小：136kb
    • 提供者：weixin_38672794

  1. 车载系统的电源状态及迁移

  2. 车载系统的电源状态及迁移 在车载系统开发过程中，无论是软件开发还是硬件开发，都会涉及到“电源状态迁移”，这个是一个最基础的知识，但是往往在实际工作中，即使有过几年车载开发经验的人，也不能够很透彻地说清楚“电源状态迁移”，的确很尴尬，这里详细讲解一下。   目前我们的汽车中有各种各样的用电设备，如下图：车载系统电源布局图，这里只标注了部分用电设备，实际上汽车中的用电设备要远远超过这些，各种用电器由蓄电池供电，而每个用电设备都由专用的车载ECU控制，从而形成一个复杂的车载控制系统。        

  3. 所属分类：其它

    • 发布日期：2021-01-06
    • 文件大小：163kb
    • 提供者：weixin_38537315

  1. 一种UML状态图模型检测方法

  2. 为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率.

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：275kb
    • 提供者：weixin_38706531

  1. 基于扩展有限状态机测试用例生成方法

  2. 目前，扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径，然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的，采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法，通过对扩展有限状态机状态迁移树的分析，获取基于该树的测试路径，再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性，分析且构造测试用例，最终得出该方法有效减少了测试用例生成的复杂性，提高了基于扩展有限状态机模型的测试效率。

  3. 所属分类：其它

« 12 3 4 5 6 »