-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架,对垃圾收集器的安全性和正确性,以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
虚拟仪器设计及实现的核心是软件的开发。本文在分析与研究虚拟仪器、虚拟仪器开发环境-LabVIEW、虚 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
如果电路中含有受控源,那么在利用电压源与电流源的等效变换、叠加定理、戴维南定理等方法时,就不能简单地 ...
by
宝啦宝呀|上传于 2015-05-11
|163次下载
-
开关电容网络是近十多年来发展的一个新型学科分支,并已应用于石油仪器。文章以开关电容网络中,基本而重要 ...
by
YYJ|上传于 2015-05-12
|163次下载
-
传统PI控制无法消除并网交流电流稳态误差,但关于稳态误差存在的根本原因相关文献描述较少,为揭示其本质 ...
by
YYJ|上传于 2015-05-07
|163次下载
-
【精品资料--高数线代概率论重要公式定理】 ...
by
龍鳳呈祥|上传于 2015-05-11
|163次下载
-
在有源噪声控制中引入基于Lyapunov稳定理论的目标函数,给出了应用于有源噪声控制的约束条件,推导 ...
by
宝啦宝呀|上传于 2015-05-07
|163次下载
-
源码操作说明:源代码使用方法是(以实例1为例):将该实例的源码,比如实例1的1.c文件(可以在001 ...
by
畅学电子|上传于 2015-05-04
|163次下载
-
包含以下内容:
第一部分 基础篇
001 第一个C程序
002 运行多个源文件 ...
by
畅学电子|上传于 2015-04-30
|163次下载
-
《C语言趣味编程100例》讲解了100个各种类型的C语言编程趣味题的求解过程,旨在帮助读者培养编 ...
by
畅学电子|上传于 2015-04-30
|163次下载
-
C/c++趣味程序百例(献给C/C++初学者)
----------【目录】--------- ...
by
畅学电子|上传于 2015-04-30
|163次下载
-
本书全面系统地介绍了由香农于1948年提出的信息论与编码理论的主要内容,以及近几十年来该领域的一些重 ...
by
永不止步步|上传于 2015-04-25
|163次下载
-
本课程主要讲解了飞思卡尔智能车教程-电路定理这一部分:(1)掌握运用电路定理对电路进行分析和计算;( ...
by
期待|上传于 2015-04-24
|163次下载
-
应用拉普拉斯变换求解线性电路的方法称为运算法。运算法的思想是:首先找出电压、电流的像函数表示式,而后 ...
by
Dabing|上传于 2015-03-28
|163次下载
-
作为趣味程序设计的入门,我们先来涉猎一些简单的例子,通过这些例子,让读者体验一下程序设计的乐趣。
...
by
Dabing|上传于 2015-03-06
|163次下载
-
电子类公司招聘笔试题.-经典必读.如
一、模拟电路 1基尔霍夫定理的内容是什么?(仕兰微电子) ...
by
期待|上传于 2014-12-10
|163次下载
-
基于戴维宁定理等效电阻采用实验方法求解中,当开路电压为零,短路电流也为零时,戴维宁等效电阻不能用实验 ...
by
永不止步步|上传于 2014-11-28
|163次下载
-
本设计以“飞思卡尔”杯全国大学生智能车竞赛为背景,以MKL26 单片机为主控 ...
by
永不止步步|上传于 2014-11-04
|163次下载
-
针对目前剩余数系统所处理数据动态范围较小,而且剩余数至二进制转换器的面积和延迟较大等方面的问题,基于 ...
by
永不止步步|上传于 2014-08-26
|163次下载
-
电路定理 ...
by
永不止步步|上传于 2014-05-30
|163次下载