给定两个集合A、B，集合内的任一元素x满足1 ≤ x ≤ 109，并且每个集合的元素个数不大于105。我们希望求出A、B之间的关系。 任 务 ：给定两个集合的描述，判断它们满足下列关系的哪一种： A是B的一个真子集，输出“A is a proper subset of B” B是A的一个真子集，输出“B is a proper subset of A” A和B是同一个集合，输出“A equals B” A和B的交集为空，输出“A and B are disjoint” 上述情况都不是，输出“I m confused!”
标签：
上传时间： 2017-03-15
上传用户：yulg
在伺服系统中，为了实现高精度的控制，往往需要实时地检测出电动机转子的位置。用来检测电动机转子位置的角度传感器主要有光电编码器和旋转变压器。光电编码器虽然能够达到很高的精度，但是它的抗干扰性差，不宜应用在条件恶劣的场合中；相比较而言，旋转变压器（简称旋变）由于结构简单，坚固耐用，抗干扰性强，能够应用在各种条件恶劣的场合中，所以获得了越来越广泛的应用。 本文采用的旋变样机是一种新型的磁阻式旋转变压器。分析了它的定转子结构、定子绕组的连接方式以及转子形状的优化；并在此基础上，推导出了它的正余弦输出反电势的表达式；最后在电磁场分析软件Ansoft中，以样机为原型建立了仿真模型，分析了它内部的电磁场分布以及正余弦输出反电势的波形。 其次，本文设计了一种以DSP为核心的R2D电路系统。它以振荡电路产生的正弦波电压信号作为旋变的激励信号，加上相关的外围电路，构成了旋转变压器一数字转换器，解算出了旋变的轴角θ；并在此基础上，分析了产生角度解算误差的各种因素，同时计算出了旋变的转速n。 最后，在上述解算方案的基础上，本文又给出了第二种解算方案，即：DSP产生的方波经过滤波之后作为旋变的激励信号，解算出了旋变的轴角θ；然后比较了这两种解算方案的优缺点，重点分析了激励信号中的谐波分量对正余弦输出反电势以及角度解算的影响。
上传时间： 2013-04-24
上传用户：pioneer_lvbo
开发与利用新能源是我国21世纪的重要能源战略。风能是一种“取之不尽，用之不竭”、环境友好的可持续性能源，已受到了越来越广泛的重视，并成为发展最快的新型能源。但是风电具有间歇性和随机性的固有缺点，随着大量的风力发电接入电网，势必会对电力系统的安全、稳定运行以及保证电能质量带来严峻挑战，从而限制风力发电的发展规模。风电场短期风速和发电功率预测是解决该问题的有效途径之一。中国的风电场大都是集中的、大容量的风电场，而且处于电网建设相对比较薄弱的地区，因此，中国更需要进行风电场短期风速和发电功率预测的研究，而发电功率的预测主要源自风速的预测。在此背景下，选择风电场短期风速预测方法作为主要研究内容，主要包括以下几个方面： 首先运用统计学方法来分析风速的时间序列特性及其预测方法和应用特点，说明现实中的风速序列具有很强的非平稳性。然后运用具有“数字显微镜”之美誉的小波变换来分析历史纪录的风速数据，通过运用二进正交小波变换Mallat算法对香港和河西走廊地区风速序列进行分解和重构，分离出风速序列中的低频信息和高频信息。对Mallat算法分解后的信号，运用最小二乘支持向量机分别进行向前一步预测，然后再把各预测结果合成，得到预测值。建立了基于小波变换和最小二乘支持向量机的短期风速预测方法。应用Matlab对该算法进行了仿真，仿真试验表明，小波变换是非平稳风速序列时频分析的有效工具，对风速序列的高频和低频信息起到很好的分离作用；最小二乘支持向量机的应用提高了预测的准确性。应用香港地区与河西走廊地区小时平均风速历史数据，验证了方法的有效性。
上传时间： 2013-04-24
上传用户：xg262122
本文以滤波技术飞速发展，小波滤波优越性的凸现，以及虚拟仪器的易操作等良好特性为背景，以简单易行和滤波效果良好为研究目的，展开本文信号滤波处理的研究工作。 在深入研究三种小波滤波方法原理和优缺点的基础上，本文提出了一种新的优化滤波方法，包括以下三个方面： 首先，将静态小波变换(SWT)应用于滤波处理。利用SWT的平移不变性和冗余性来进行含噪信号的分解，这样不仅弥补了正交小波变换的不足，而且提高了滤波性能。 然后，提出了基于空域相关的优化阈值函数滤波算法。该算法把小波系数间的相关性应用于阈值滤波。它是在构造出基于空域相关的显著性函数和基于显著性函数的阈值滤波过程的基础上，提出了基于空域相关的优化阈值函数，并且把极小化广义交叉验证(GCV)得到均方差(MSE)意义下的最优阈值作用于该优化阈值函数。该滤波算法不仅实现了噪声的有效去除，而且信号的重要特征也保留完好； 最后，引入了新型锁相环--正交锁相环(QPLL)。鉴于QPLL不仅具有锁定范围宽、入锁速度快、锁定后精度高的性能，而且还具有良好的抑制谐波、噪声的能力，以及对波形畸变不敏感等良好特性，所以QPLL的引入达到了信号锁定和优化滤波的目的，使优化滤波方法的设计更具新意，而且取得了更好的滤波效果。 为了验证优化滤波方法，本文搭建了实验平台，它是由FPGA信号采集部分和LabVIEW软件滤波处理两个部分构成。通过传感器采集信号，经过A/D转换后送入FPGA。以FPGA为CPU控制A/D转换，并进行波形数据缓存，在接收到LabVIEW的命令后，将存储的数据送给串口。在LabVIEW中，从串口检测所需的波形数据，然后通过优化滤波方法将数据进行滤波处理，最后在前面板中把实验结果显示出来。 实验结果表明，该优化滤波方法不仅能实现优良的滤波功能，而且简单易行，是一种有效的滤波方法。
上传时间： 2013-07-20
上传用户：gokk
本文针对工业测试现场中方波频率信号的高频噪声污染问题，选用LabVIEW 中提供的脉宽滤波、数据采集等功能模块组建了虚拟计数滤波器，设计并实现了一种可靠、便捷的方波频率信号的数字滤波。工程实践
上传时间： 2013-04-24
上传用户：jackgao
电磁导波检测技术因其非接触耦合的特性已被广泛应用于各种金属管道无损检测领域中，但导波的激励脉冲群重复频率的确定长久以来却没有一个有效的解决方法。为此，本文提出了以有、无缺陷的重复脉冲群检测信号的相关性作为判别标准，选取电磁导波激励脉冲群最佳重复频率，并从检测信号特征提取和识别的角度验证了本文选取的激励脉冲群最佳重复频率可有效提高导波检测信号之间的区分度，减小检测信号间的干扰，提高缺陷识别的准确性。
上传时间： 2013-11-04
上传用户：ywcftc277
导波雷达物位计是一种利用时域反射原理实现的高性能物位计。为了实现导波雷达物位计这一高精度时差测量系统，采用了CPLD和MSP430单片机协同工作的电路设计。CPLD为信号收发模块的核心，为发射电路中提供窄脉冲产生电路的周期触发信号，并在接收电路中控制可编程延时器件AD9500实现等效时间采样，把高频的回波脉冲信号在时间轴上放大为低频信号。以MSP430为核心的信号处理模块根据收发模块传来的信号计算物位，并把物位信息以4~20 mA信号、串口等方式输出，同时MSP430还对液晶屏、按键等外围器件进行控制。实际试验表明系统各模块的工作状态与理论分析相符。
上传时间： 2013-11-05
上传用户：hphh
MSP430系列flash型超低功耗16位单片机MSP430系列单片机在超低功耗和功能集成等方面有明显的特点。该系列单片机自问世以来，颇受用户关注。在2000年该系列单片机又出现了几个FLASH型的成员，它们除了仍然具备适合应用在自动信号采集系统、电池供电便携式装置、超长时间连续工作的设备等领域的特点外，更具有开发方便、可以现场编程等优点。这些技术特点正是应用工程师特别感兴趣的。《MSP430系列FLASH型超低功耗16位单片机》对该系列单片机的FLASH型成员的原理、结构、内部各功能模块及开发方法与工具作详细介绍。MSP430系列FLASH型超低功耗16位单片机 目录 第1章 引 论1.1 MSP430系列单片机1.2 MSP430F11x系列1.3 MSP430F11x1系列1.4 MSP430F13x系列1.5 MSP430F14x系列第2章 结构概述2.1 引 言2.2 CPU2.3 程序存储器2.4 数据存储器2.5 运行控制2.6 外围模块2.7 振荡器与时钟发生器第3章 系统复位、中断及工作模式3.1 系统复位和初始化3.1.1 引 言3.1.2 系统复位后的设备初始化3.2 中断系统结构3.3 MSP430 中断优先级3.3.1 中断操作--复位/NMI3.3.2 中断操作--振荡器失效控制3.4 中断处理 3.4.1 SFR中的中断控制位3.4.2 中断向量地址3.4.3 外部中断3.5 工作模式3.5.1 低功耗模式0、1（LPM0和LPM1）3.5.2 低功耗模式2、3（LPM2和LPM3）3.5.3 低功耗模式4（LPM4）22 3.6 低功耗应用的要点23第4章 存储空间4.1 引 言4.2 存储器中的数据4.3 片内ROM组织4.3.1 ROM 表的处理4.3.2 计算分支跳转和子程序调用4.4 RAM 和外围模块组织4.4.1 RAM4.4.2 外围模块--地址定位4.4.3 外围模块--SFR4.5 FLASH存储器4.5.1 FLASH存储器的组织4.5.2 FALSH存储器的数据结构4.5.3 FLASH存储器的控制寄存器4.5.4 FLASH存储器的安全键值与中断4.5.5 经JTAG接口访问FLASH存储器39第5章 16位CPU5.1 CPU寄存器5.1.1 程序计数器PC5.1.2 系统堆栈指针SP5.1.3 状态寄存器SR5.1.4 常数发生寄存器CG1和CG25.2 寻址模式5.2.1 寄存器模式5.2.2 变址模式5.2.3 符号模式5.2.4 绝对模式5.2.5 间接模式5.2.6 间接增量模式5.2.7 立即模式5.2.8 指令的时钟周期与长度5.3 指令组概述5.3.1 双操作数指令5.3.2 单操作数指令5.3.3 条件跳转5.3.4 模拟指令的简短格式5.3.5 其他指令第6章 硬件乘法器6.1 硬件乘法器6.2 硬件乘法器操作6.2.1 无符号数相乘(16位×16位、16位×8位、8位×16位、8位×8位)6.2.2 有符号数相乘(16位×16位、16位×8位、8位×16位、8位×8位)6.2.3 无符号数乘加(16位×16位、16位×8位、8位×16位、8位×8位)6.2.4 有符号数乘加(16位×16位、16位×8位、8位×16位、8位×8位)6.3 硬件乘法器寄存器6.4 硬件乘法器的软件限制6.4.1 寻址模式6.4.2 中断程序6.4.3 MACS第7章 基础时钟模块7.1 基础时钟模块7.2 LFXT1与XT27.2.1 LFXT1振荡器7.2.2 XT2振荡器7.2.3 振荡器失效检测7.2.4 XT振荡器失效时的DCO7.3 DCO振荡器7.3.1 DCO振荡器的特性7.3.2 DCO调整器7.4 时钟与运行模式7.4.1 由PUC启动7.4.2 基础时钟调整7.4.3 用于低功耗的基础时钟特性7.4.4 选择晶振产生MCLK7.4.5 时钟信号的同步7.5 基础时钟模块控制寄存器7.5.1 DCO时钟频率控制7.5.2 振荡器与时钟控制寄存器7.5.3 SFR控制位第8章 输入输出端口8.1 引 言8.2 端口P1、P28.2.1 P1、P2的控制寄存器8.2.2 P1、P2的原理8.2.3 P1、P2的中断控制功能8.3 端口P3、P4、P5和P68.3.1 端口P3、P4、P5和P6的控制寄存器8.3.2 端口P3、P4、P5和P6的端口逻辑第9章 看门狗定时器WDT9.1 看门狗定时器9.2 WDT寄存器9.3 WDT中断控制功能9.4 WDT操作第10章 16位定时器Timer_A10.1 引 言10.2 Timer_A的操作10.2.1 定时器模式控制10.2.2 时钟源选择和分频10.2.3 定时器启动10.3 定时器模式10.3.1 停止模式10.3.2 增计数模式10.3.3 连续模式10.3.4 增/减计数模式10.4 捕获/比较模块10.4.1 捕获模式10.4.2 比较模式10.5 输出单元10.5.1 输出模式10.5.2 输出控制模块10.5.3 输出举例10.6 Timer_A的寄存器10.6.1 Timer_A控制寄存器TACTL10.6.2 Timer_A寄存器TAR10.6.3 捕获/比较控制寄存器CCTLx10.6.4 Timer_A中断向量寄存器10.7 Timer_A的UART应用 第11章 16位定时器Timer_B11.1 引 言11.2 Timer_B的操作11.2.1 定时器长度11.2.2 定时器模式控制11.2.3 时钟源选择和分频11.2.4 定时器启动11.3 定时器模式11.3.1 停止模式11.3.2 增计数模式11.3.3 连续模式11.3.4 增/减计数模式11.4 捕获/比较模块11.4.1 捕获模式11.4.2 比较模式11.5 输出单元11.5.1 输出模式11.5.2 输出控制模块11.5.3 输出举例11.6 Timer_B的寄存器11.6.1 Timer_B控制寄存器TBCTL11.6.2 Timer_B寄存器TBR11.6.3 捕获/比较控制寄存器CCTLx11.6.4 Timer_B中断向量寄存器第12章 USART通信模块的UART功能12.1 异步模式12.1.1 异步帧格式12.1.2 异步通信的波特率发生器12.1.3 异步通信格式12.1.4 线路空闲多机模式12.1.5 地址位多机通信格式12.2 中断和中断允许12.2.1 USART接收允许12.2.2 USART发送允许12.2.3 USART接收中断操作12.2.4 USART发送中断操作12.3 控制和状态寄存器12.3.1 USART控制寄存器UCTL12.3.2 发送控制寄存器UTCTL12.3.3 接收控制寄存器URCTL12.3.4 波特率选择和调整控制寄存器12.3.5 USART接收数据缓存URXBUF12.3.6 USART发送数据缓存UTXBUF12.4 UART模式，低功耗模式应用特性12.4.1 由UART帧启动接收操作12.4.2 时钟频率的充分利用与UART的波特率12.4.3 多处理机模式对节约MSP430资源的支持12.5 波特率计算 第13章 USART通信模块的SPI功能13.1 USART同步操作13.1.1 SPI模式中的主模式13.1.2 SPI模式中的从模式13.2 中断与控制功能 13.2.1 USART接收/发送允许位及接收操作13.2.2 USART接收/发送允许位及发送操作13.2.3 USART接收中断操作13.2.4 USART发送中断操作13.3 控制与状态寄存器13.3.1 USART控制寄存器13.3.2 发送控制寄存器UTCTL13.3.3 接收控制寄存器URCTL13.3.4 波特率选择和调制控制寄存器13.3.5 USART接收数据缓存URXBUF13.3.6 USART发送数据缓存UTXBUF第14章 比较器Comparator_A14.1 概 述14.2 比较器A原理14.2.1 输入模拟开关14.2.2 输入多路切换14.2.3 比较器14.2.4 输出滤波器14.2.5 参考电平发生器14.2.6 比较器A中断电路14.3 比较器A控制寄存器14.3.1 控制寄存器CACTL114.3.2 控制寄存器CACTL214.3.3 端口禁止寄存器CAPD14.4 比较器A应用14.4.1 模拟信号在数字端口的输入14.4.2 比较器A测量电阻元件14.4.3 两个独立电阻元件的测量系统14.4.4 比较器A检测电流或电压14.4.5 比较器A测量电流或电压14.4.6 测量比较器A的偏压14.4.7 比较器A的偏压补偿14.4.8 增加比较器A的回差第15章 模数转换器ADC1215.1 概 述15.2 ADC12的工作原理及操作15.2.1 ADC内核15.2.2 参考电平15.3 模拟输入与多路切换15.3.1 模拟多路切换15.3.2 输入信号15.3.3 热敏二极管的使用15.4 转换存储15.5 转换模式15.5.1 单通道单次转换模式15.5.2 序列通道单次转换模式15.5.3 单通道重复转换模式15.5.4 序列通道重复转换模式15.5.5 转换模式之间的切换15.5.6 低功耗15.6 转换时钟与转换速度15.7 采 样15.7.1 采样操作15.7.2 采样信号输入选择15.7.3 采样模式15.7.4 MSC位的使用15.7.5 采样时序15.8 ADC12控制寄存器15.8.1 控制寄存器ADC12CTL0和ADC12CTL115.8.2 转换存储寄存器ADC12MEMx15.8.3 控制寄存器ADC12MCTLx15.8.4 中断标志寄存器ADC12IFG.x和中断允许寄存器ADC12IEN.x15.8.5 中断向量寄存器ADC12IV15.9 ADC12接地与降噪第16章 FLASH型芯片的开发16.1 开发系统概述16.1.1 开发技术16.1.2 MSP430系列的开发16.1.3 MSP430F系列的开发16.2 FLASH型的FET开发方法16.2.1 MSP430芯片的JTAG接口16.2.2 FLASH型仿真工具16.3 FLASH型的BOOT ROM16.3.1 标准复位过程和进入BSL过程16.3.2 BSL的UART协议16.3.3 数据格式16.3.4 退出BSL16.3.5 保护口令16.3.6 BSL的内部设置和资源附录A 寻址空间附录B 指令说明B.1 指令汇总B.2 指令格式B.3 不增加ROM开销的模拟指令B.4 指令说明（字母顺序）B.5 用几条指令模拟的宏指令附录C MSP430系列单片机参数表附录D MSP430系列单片机封装形式附录E MSP430系列器件命名
上传时间： 2014-04-28
上传用户：sssnaxie
该信号源可输出正弦波、方波和三角波,输出信号的频率以数控方式调节,幅度连续可调。与传统信号源相比,该信号源具有波形质量好、精度高、设计方案简洁、易于实现、便于扩展与维护的特点。
上传时间： 2013-10-11
上传用户：ippler8
该信号源可输出正弦波、方波和三角波,输出信号的频率以数控方式调节,幅度连续可调。与传统信号源相比,该信号源具有波形质量好、精度高、设计方案简洁、易于实现、便于扩展与维护的特点。
上传时间： 2013-10-17
上传用户：asaqq
