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

搜索资源列表

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

  1. LINGO软件的学习

  2. LINGO是用来求解线性和非线性优化问题的简易工具。LINGO内置了一种建立最优化模型的语言，可以简便地表达大规模问题，利用LINGO高效的求解器可快速求解并分析结果。 §1 LINGO快速入门 当你在windows下开始运行LINGO系统时，会得到类似下面的一个窗口： 外层是主框架窗口，包含了所有菜单命令和工具条，其它所有的窗口将被包含在主窗口之下。在主窗口内的标题为LINGO Model – LINGO1的窗口是LINGO的默认模型窗口，建立的模型都都要 在该窗口内编码实现。下面举两个例子

  3. 所属分类：C

    • 发布日期：2009-08-08
    • 文件大小：312kb
    • 提供者：huxlaylyx

  1. EDA 技术实用教程

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

  3. 所属分类：硬件开发

    • 发布日期：2009-08-24
    • 文件大小：6mb
    • 提供者：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
    • 文件大小：4mb
    • 提供者：yanlihui13579

  1. EDA—EDA技术实用教程(pdf影印)

  2. 学习VHDL和FPGA的经典资料 第 1 章 概述 1.1 EDA 技术及其发展 1.2 EDA 技术实现目标 1.3 硬件描述语言VHDL 1.4 VHDL 综合 1.5 基于VHDL 的自顶向下设计方法 1.3 EDA 技术的优势 1.3 EDA 的发展趋势 【习题】 第 2 章 EDA 设计流程及其工具 2.1 设计流程 2.1.1 设计输入(原理图／HDL 文本编辑) 2.1.2 综合 2.1.3 适配 2.1.4 时序仿真与功能仿真 2.1.5 编程下载 2.1.6 硬件测试 2.2

  3. 所属分类：硬件开发

    • 发布日期：2010-06-07
    • 文件大小：8mb
    • 提供者：zt839486421

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

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

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：351kb
    • 提供者：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
    • 文件大小：4mb
    • 提供者：heirfr

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

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

  3. 所属分类：其它

    • 发布日期：2011-09-05
    • 文件大小：101kb
    • 提供者：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
    • 文件大小：4mb
    • 提供者：lzj1987

  1. 数理逻辑实验报告

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：网络攻防

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：嵌入式

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

  1. 模拟电路和数字电路笔试知识和面试知识.pdf

  2. 每次面试都被问到模电和数电，因此想给大家分享一份关于模拟电子技术的面试题，希望有所帮助电流放大就是只考虑输出电流于输入电流的关系。比如说,对于一个uA级的信号,就需要放大后才能驱动 些仪器进行识别(如生物电子),就需要做电流放大。 功率放大就是老虑输出功率和输入功率的关系。 其实实际上,对于任何以上放大,最后电路中都还是有电压,电流,功率放大的指标在,叫什么放大,只 是重点突出电路的作用而已 15.推挽结构的实质是什么? 般是指两个三极管分别受两互补信号的控制,总是在一个三极管导通的时候另一个截

  3. 所属分类：讲义

    • 发布日期：2019-08-18
    • 文件大小：614kb
    • 提供者：maosheng007

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

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

  3. 所属分类：其它

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：275kb
    • 提供者：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
    • 文件大小：676kb
    • 提供者：weixin_38638688

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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