您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. PVS中的时间自动机

  2. 介绍了自动机理论在PVS中的模型及定理证明的方法。
  3. 所属分类:专业指导

    • 发布日期:2009-06-20
    • 文件大小:205824
    • 提供者:blackxv
  1. 大型数据库课程设计机房上机管理信息系统

  2. 《大型数据库》课程设计 课题 机房上机管理信息系统 班级 学号 姓名 成绩 2008年11月12日—2008年11月30日 目录 第一章 数据库系统概述…………………………………………....2 1.1概述………………………………………………………….2 1.2问题定义及内容简介…………………………………………….4 1.3背景………………………………………………………….4 1.4本系统需求功能分析…………………………………………….5 第二章 系统需 求分析…………………………………………
  3. 所属分类:Oracle

    • 发布日期:2009-07-05
    • 文件大小:168960
    • 提供者:qcddylyg
  1. Verilog HDL程序设计与实践--云创工作室编著

  2. 有点大,分为两部分(上和下),还有一个超星阅读器 第1章 EDA设计与Verilog HDL语言概述   1.1 EDA设计概述   1.1.1 EDA技术简介   1.1.2 EDA与传统电子系统设计方法   1.1.3 可编程逻辑器件对EDA技术的要求   1.2 Verilog HDL语言简介   1.2.1 硬件描述语言说明   1.2.2 Verilog HDL语言的历史   1.2.3 Verilog HDL语言的能力   1.2.4 Verilog HDL和VHDL语言的比较  
  3. 所属分类:嵌入式

    • 发布日期:2009-08-04
    • 文件大小:14680064
    • 提供者:kygreen
  1. LINGO软件的学习

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

    • 发布日期:2009-08-08
    • 文件大小:319488
    • 提供者:huxlaylyx
  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
    • 文件大小:303104
    • 提供者:fengjliang2009
  1. 系统架构设计师教程

  2. 第1章 绪论    1.1 系统架构的概念及其发展历史    1.1.1 系统架构的概念    1.1.2 简要的发展历史    1.2 系统架构师的定义与职业素质    1.2.1 系统架构师的定义    1.2.2 系统架构师技术素质    1.2.3 系统架构师管理素质    1.2.4 系统架构师与其他团队角色的协调    1.3 系统架构师知识结构    1.4 从开发人员到架构师    第2章 计算机与网络基础知识    2.1 操作系统基础知识    2.1.1 操作系统的原理、
  3. 所属分类:软考等考

    • 发布日期:2012-03-12
    • 文件大小:45088768
    • 提供者:doremi0101
  1. 系统架构师教程

  2. 认识软件系统架构 从基础到精通学习系统架构,助你成为一个IT高新白领。 第1章 绪论    1.1 系统架构的概念及其发展历史    1.1.1 系统架构的概念    1.1.2 简要的发展历史    1.2 系统架构师的定义与职业素质    1.2.1 系统架构师的定义    1.2.2 系统架构师技术素质    1.2.3 系统架构师管理素质    1.2.4 系统架构师与其他团队角色的协调    1.3 系统架构师知识结构    1.4 从开发人员到架构师    第2章 计算机与网络基础
  3. 所属分类:其它

    • 发布日期:2012-08-02
    • 文件大小:45088768
    • 提供者:liliangaijava163
  1. LED照明中的LED灯具散热建模仿真关键问题研究(一)

  2. 摘 要: 有限元流体热分析软件(CFD)常被用于对LED 灯具散热进行建模仿真,与散热相关的参数分析、计算与设置等问题是影响仿真精度的关键因素。本文将从边界条件(环境温度、重力方向等)、热阻计算、热载荷分布和形式、散热材料导热系数和辐射率等几个方面,分析LED 照明灯具散热仿真建模中的关键问题,并通过实验室温度测量验证模型仿真结果的精度。   本文综合研究了边界条件设置、热阻计算、热量载荷分析和散热器等仿真建模的关键问题,并与实验室温度测量相结合来验证仿真方法的准确性。结果表明,该方法对室内照
  3. 所属分类:其它

    • 发布日期:2020-10-20
    • 文件大小:257024
    • 提供者:weixin_38717579
  1. 通信与网络中的一种多载波MFSK信道编码方案

  2. 摘 要:目前随着硬件和编码技术的提升,逐渐成熟的多载波技术在通信过程中得到广泛的推广和应用。为了在较严重的多径衰落条件下获取更高的频谱利用效率,采用静态多抽头信道建模的方式对无线信号传播进行模拟。以信道冲击响应数据的误码率作为分析基础,设计了一种引进正交频分复用及多天线技术概念进行改良的多载波MFSK 编码方案,并验证了在多径衰落条件下的频谱使用效率及误码率,从而证明了该方案在提高频谱效率方面的可行性。   0 引言   在实际的移动无线信道中,信道的复合冲激响应是一个与时延有关的时间函数。
  3. 所属分类:其它

    • 发布日期:2020-11-03
    • 文件大小:375808
    • 提供者:weixin_38664532
  1. PCB技术中的用于PCB品质验证的时域串扰测量法分析

  2. 本文讨论了串扰的组成,并向读者展示了如何利用泰克的TDS8000B系列采样示波器或CSA8000B系列通信信号分析仪来测量单面PCB板上的串扰。   随着通信、视频、网络和计算机技术领域中数字系统的运行速度日益加快,对此类系统中的印刷电路板(PCB)的品质要求也越来越高。早期的PCB设计在面临信号频率日益增高和脉冲上升时间日益缩短的情况下已无法保证系统性能和工作要求。在目前的PCB设计中,我们需要利用传输线理论对PCB及其组件(边缘连接器、微带线和元器件插座)进行建模。只有充分了解PCB上串扰
  3. 所属分类:其它

    • 发布日期:2020-11-10
    • 文件大小:389120
    • 提供者:weixin_38740201
  1. EDA/PLD中的OPB总线仲裁器的RTL设计与FPGA实现

  2. 摘要:本文详细介绍了OPB总线仲裁器的信号和仲裁机理。在QuartusII8.0平台上,分别用固定优先级算法和LRU算法,用硬件描述语言(verilog HDL)对OPB总线仲裁器进行了RTL硬件建模。并用FPGA进行实现,并比较了仿真结果和综合结果,两种算法都通过了RTL和网表之间的形式验证。   0 引言   随着 SOC 设计技术的发展,为了使IP 核集成更快速、更方便,缩短进入市场的时间, 迫切需要一种标准的互联方案。CoreConnect 正是在这一背景下为SOC 设计的总线架构。
  3. 所属分类:其它

    • 发布日期:2020-11-09
    • 文件大小:277504
    • 提供者:weixin_38631599
  1. 用于PCB品质验证的时域串扰测量法分析

  2. 本文讨论了串扰的组成,并向读者展示了如何利用泰克的TDS8000B系列采样示波器或CSA8000B系列通信信号分析仪来测量单面PCB板上的串扰。   随着通信、视频、网络和计算机技术领域中数字系统的运行速度日益加快,对此类系统中的印刷电路板(PCB)的品质要求也越来越高。早期的PCB设计在面临信号频率日益增高和脉冲上升时间日益缩短的情况下已无法保证系统性能和工作要求。在目前的PCB设计中,我们需要利用传输线理论对PCB及其组件(边缘连接器、微带线和元器件插座)进行建模。只有充分了解PCB上串扰
  3. 所属分类:其它

    • 发布日期:2021-01-19
    • 文件大小:550912
    • 提供者:weixin_38562026
  1. OPB总线仲裁器的RTL设计与FPGA实现

  2. 摘要:本文详细介绍了OPB总线仲裁器的信号和仲裁机理。在QuartusII8.0平台上,分别用固定优先级算法和LRU算法,用硬件描述语言(verilog HDL)对OPB总线仲裁器进行了RTL硬件建模。并用FPGA进行实现,并比较了仿真结果和综合结果,两种算法都通过了RTL和网表之间的形式验证。   0 引言   随着 SOC 设计技术的发展,为了使IP 核集成更快速、更方便,缩短进入市场的时间, 迫切需要一种标准的互联方案。CoreConnect 正是在这一背景下为SOC 设计的总线架构。
  3. 所属分类:其它

    • 发布日期:2021-01-19
    • 文件大小:371712
    • 提供者:weixin_38605538