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

搜索资源列表

  1. 数字显示仪表课程设计

  2. 第1章 数显仪表工作原理 1 1.1 数字式显示仪表的基本构成 1 1.2 数字仪表的主要技术指标 2 1.3 线性化问题 3 第2章 数字仪表的制作 3 2.1 ICL7107双积分A/D转换器 3 2.2 ICL7107D的双积分A/D转换 3 2.3 ICL7107的逻辑电路 4 2.4 时钟脉冲发生器 4 2.5 数字计数器 4 2.6 时序逻辑控制电路 5 2.7 LED显示器 5 2.8 发光二极管 5 2.9 主要集成块 5 第3章 数显仪表的安装 6 3.1 数显部分安装 6

  3. 所属分类：专业指导

    • 发布日期：2009-07-19
    • 文件大小：565248
    • 提供者：ruanhuibao

  1. EDA 技术实用教程

  2. 目 录 第1 章 概述.......................................................................................................................... 1 1.1 EDA 技术及其发展................................................................................................ 1

  3. 所属分类：硬件开发

    • 发布日期：2009-08-24
    • 文件大小：6291456
    • 提供者：sfhgky

  1. Verilog_HDL教程

  2. 第1章 EDA技术综述 1 本章内容简介 1 1.1 引言 1 1.2 EDA技术及其发展 2 1.3 设计方法与设计技术 3 1.3.1 Top-down设计 3 1.3.2 Bottom-up设计 5 1.3.3 IP复用技术与SOC 5 1.4 EDA设计的实现 6 1.5 硬件描述语言 7 思考与练习 9 第2章 EDA设计软件与设计流程 10 本章内容简介 10 2.1 EDA软件工具概述 10 2.1.1 集成的CPLD/FPGA开发工具 10 2.1.2 输入工具（Design

  3. 所属分类：嵌入式

    • 发布日期：2009-12-21
    • 文件大小：4194304
    • 提供者：yanlihui13579

  1. 单片机应用技术选编（7）

  2. 内容简介 　　 《单片机应用技术选编》(7) 选编了1998年国内50种科技期刊中有关单片机开发应用的文 章共510篇，其中全文编入的有113篇，摘要编入的397篇。全书共分八章，即单片机综合 应用技术；智能仪表与测试技术；网络、通信与数据传输；可靠性与抗干扰技术；控制系统 与功率接口技术；电源技术；实用设计；文章摘要。 　　 本书具有重要实用价值，书中介绍的新技术、新器件以及单片机应用系统的软、硬件资 料有助于减少产品研制过程中的重复性劳动，提高单片机应用技术水平，是从事单片机应用 开发技

  3. 所属分类：硬件开发

    • 发布日期：2010-05-19
    • 文件大小：13631488
    • 提供者：zgraeae

  1. 程序重构预处理在提高软件模型检测效率中的应用

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

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. Verilog_HDL经典教程实用手册

  2. 第1章 EDA技术综述 1 本章内容简介 1 1.1 引言 1 1.2 EDA技术及其发展 2 1.3 设计方法与设计技术 3 1.3.1 Top-down设计 3 1.3.2 Bottom-up设计 5 1.3.3 IP复用技术与SOC 5 1.4 EDA设计的实现 6 1.5 硬件描述语言 7 思考与练习 9 第2章 EDA设计软件与设计流程 10 本章内容简介 10 2.1 EDA软件工具概述 10 2.1.1 集成的CPLD/FPGA开发工具 10 2.1.2 输入工具（Design

  3. 所属分类：嵌入式

    • 发布日期：2011-06-02
    • 文件大小：4194304
    • 提供者：heirfr

  1. 想要学习线性时序逻辑的论文

  2. 关于线性时序逻辑的好资料，适合对于状态空间描述的学习者用。

  3. 所属分类：其它

    • 发布日期：2011-09-05
    • 文件大小：103424
    • 提供者：mawubin525

  1. Verilog_HDL教程.pdf

  2. 第1章 EDA技术综述 1 本章内容简介 1 1.1 引言 1 1.2 EDA技术及其发展 2 1.3 设计方法与设计技术 3 1.3.1 Top-down设计 3 1.3.2 Bottom-up设计 5 1.3.3 IP复用技术与SOC 5 1.4 EDA设计的实现 6 1.5 硬件描述语言 7 思考与练习 9 第2章 EDA设计软件与设计流程 10 本章内容简介 10 2.1 EDA软件工具概述 10 2.1.1 集成的CPLD/FPGA开发工具 10 2.1.2 输入工具（Design

  3. 所属分类：嵌入式

    • 发布日期：2012-03-12
    • 文件大小：4194304
    • 提供者：lzj1987

  1. 数理逻辑实验报告

  2. 本文档为我数理逻辑的实验报告，实验报告中有ispin的安装，promela语言，线性时序逻辑，线性实现逻辑实例，希望对初学时序逻辑的同学带来一定的方便！

  3. 所属分类：专业指导

    • 发布日期：2013-01-16
    • 文件大小：323584
    • 提供者：xuejiren

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

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

  3. 所属分类：网络攻防

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

  1. petri网性质的线性时序逻辑描述与Spin检验

  2. 对研究petri网和时序逻辑理论知识的有很大的启发作用

  3. 所属分类：其它

    • 发布日期：2014-10-18
    • 文件大小：243712
    • 提供者：lyqing405

  1. 模电 数电 单片机笔试及面试问题.pdf

  2. 该文档包括数电、模电、单片机、计算机原理等笔试问题，还讲解了关于面试的问题该如何解答，对大家有一定的帮助电流放大就是只考虑输岀电流于输入电流的关系。比如说,对于一个uA级的信号,就需要放大后才能驱动 一些仪器进行识别(如生物电子),就需要做电流放大 功率放大就是考虑输出功率和输入功率的关系。 其实实际上,对于任何以上放大,最后电路中都还是有电压,电流,功率放大的指标在,叫什么放大,只 是重点突出电路的作用而已。 15.推挽结构的实质是什么? 般是指两个三极管分别受两互补信号的控制,总是在一个三极

  3. 所属分类：嵌入式

    • 发布日期：2019-10-12
    • 文件大小：664576
    • 提供者：fromnewword

  1. 海浦蒙特选型手册(v1.1).pdf

  2. 海浦蒙特选型手册(v1.1)pdf,海浦蒙特选型手册(v1.1)智造精品感动顾客 产品选型 品类别 通用产品 行业专用产品 产品名称 HD20系列 HD30系列 HD50系列 HD31系歹 HD5E系列 HD5L系歹 MONT70系列 MONT10 MONT 13 简易型变频 多功能变频器 矢量控制变顽 高性能矢量控制驱动 多供水专用变频器 扶梯专用驱动控制器电梯专用照动控制器电梯体化控制器 同步异步一体化门异步门机控制器直流门机控制器 机控詞 应用行业 风机与泵.吻料输送机械、线拉丝行业 装机

  3. 所属分类：其它

    • 发布日期：2019-09-14
    • 文件大小：5242880
    • 提供者：weixin_38744153

  1. 通过线性时序逻辑的最优巡逻路径规划

  2. 通过线性时序逻辑的最优巡逻路径规划

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：1048576
    • 提供者：weixin_38592405

  1. 基于场景的并发系统需求验证方法研究

  2. 为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：314368
    • 提供者：weixin_38661100

  1. 多智体系统时序认知规范的SPIN模型检测

  2. ＳＰＩＮ 模型检测器主要用来检测线性时序逻辑描述的规范， 而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用 ＳＰＩＮ 模型检测线性时序认知逻辑的方法， 根据局部命题的理论， 将模型检 测 知 识 算 子 和 公 共 算 子 表 述 的 规 范 规 约 为 模 型 检 测 线 性 时 序 逻 辑 的 问 题， 从 而 使ＳＰＩＮ 的检测功能由线性时序逻辑扩充到线性时序认知逻辑。本文通过一个 ＲＰＣ 协议分析实例来说明模型检测线性时序认知逻辑的方法。

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

  1. 有界模型检测的优化

  2. G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：692224
    • 提供者：weixin_38638688

  1. 一种基于离散时间自动机的LTL性质检测工具

  2. 模型检测是一种自动完成性质验证的算法过程，在模型检测过程中会遇到状态空间爆炸的问题，即随系统规模的增长状态空间的大小呈指数增长，如何缓解此问题一直是研究者研究的重点。目前利用模型检测方法对线性时序逻辑(LTL)性质进行检测的工具还比较少，且效率都较低。介绍了一种基于离散时间自动机的LTL性质检测工具，采用了在状态空间中存储延迟序列(DS)的技术，对状态进行压缩存储，减小了时间空间的消耗，加快了检测速度。实验表明，该工具的检测效果是不错的，要好于同类工具，如DTSpin。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：414720
    • 提供者：weixin_38690376

  1. 通过线性时序逻辑的最优巡逻路径规划

  2. 通过线性时序逻辑的最优巡逻路径规划

  3. 所属分类：其它

    • 发布日期：2021-03-31
    • 文件大小：393216
    • 提供者：weixin_38740397
« 12 3 »