< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
超声理论与技术的快速发展，使超声设备不断更新，超声检查已成为预测和评价疾病及其治疗结果不可缺少的重要方法。超声诊断技术不仅具有安全、方便、无损、廉价等优点，其优越性还在于它选用诊断参数的多样性及其在工程上实现的灵活性。 全数字B超诊断仪基于嵌入式ARM9+FPGA硬件平台、LINUX嵌入式操作系统，是一种新型的、操作方便的、技术含量高的机型。它具有现有黑白B超的基本功能，能够对超声回波数据进行灵活的处理，从而使操作更加方便，图象质量进一步提高，并为远程医疗、图像存储、拷贝等打下基础，是一种很有发展前景、未来市场的主打产品。全数字B型超声诊断仪的基本技术特点是用数字硬件电路来实现数据量极其庞大的超声信息的实时处理，它的实现主要倚重于FPGA技术。现在FPGA已经成为多种数字信号处理（DSP）应用的强有力解决方案。硬件和软件设计者可以利用可编程逻辑开发各种DSP应用解决方案。可编程解决方案可以更好地适应快速变化的标准、协议和性能需求。 本论文首先阐述了医疗仪器发展现状和嵌入式计算机体系结构及发展状况，提出了课题研究内容和目标。然后从B超诊断原理及全数字B超诊断仪设计入手深入分析了B型超声诊断仪的系统的硬件体系机构。对系统的总体框架和ARM模块设计做了描述后，接着分析了超声信号进行数字化处理的各个子模块、可编程逻辑器件的结构特点、编程原理、设计流程以及ARM处理模块和FPGA模块的主要通讯接口。接着，本论文介绍了基于ARM9硬件平台的LINUX嵌入式操作系统的移植和设备驱动的开发，详细描述了B型超声诊断仪的软件环境的架构及其设备驱动的详细设计。最后对整个系统的功能和特点进行了总结和展望。
上传时间： 2013-05-28
上传用户：sssnaxie
(1) 、用下述两条具体规则和规则形式实现.设大写字母表示魔王语言的词汇 小写字母表示人的语言词汇 希腊字母表示可以用大写字母或小写字母代换的变量.魔王语言可含人的词汇. (2) 、B→tAdA A→sae (3) 、将魔王语言B(ehnxgz)B解释成人的语言.每个字母对应下列的语言.
上传时间： 2013-12-30
上传用户：ayfeixiao
随着电信数据传输对速率和带宽的要求变得越来越迫切,原有建成的网络是基于话音传输业务的网络,已不能适应当前的需求.而建设新的宽带网络需要相当大的投资且建设工期长,无法满足特定客户对高速数据传输的近期需求.反向复用技术是把一个单一的高速数据流在发送端拆散并放在两个或者多个低速数据链路上进行传输,在接收端再还原为高速数据流.该文提出一种基于FPGA的多路E1反向复用传输芯片的设计方案,使用四个E1构成高速数据的透明传输通道,支持E1线路间最大相对延迟64ms,通过链路容量调整机制,可以动态添加或删除某条E1链路,实现灵活、高效的利用现有网络实现视频、数据等高速数据的传输,能够节省带宽资源,降低成本,满足客户的需求.系统分为发送和接收两部分.发送电路实现四路E1的成帧操作,数据拆分采用线路循环与帧间插相结合的方法,A路插满一帧(30时隙)后,转入B路E1间插数据,依此类推,循环间插所有的数据.接收电路进行HDB3解码,帧同步定位(子帧同步和复帧同步),线路延迟判断,FIFO和SDRAM实现多路数据的对齐,最后按照约定的高速数据流的帧格式输出数据.整个数字电路采用Verilog硬件描述语言设计,通过前仿真和后仿真的验证.以30万门的FPGA器件作为硬件实现,经过综合和布线,特别是写约束和增量布线手动调整电路的布局,降低关键路径延时,最终满足设计要求.
上传时间： 2013-07-16
上传用户：asdkin
ASIC对产品成本和灵活性有一定的要求.基于MCU方式的ASIC具有较高的灵活性和较低的成本,然而抗干扰性和可靠性相对较低,运算速度也受到限制.常规ASIC的硬件具有速度优势和较高的可靠性及抗干扰能力,然而不是灵活性较差,就是成本较高.与传统硬件(CHW)相比,具有一定可配置特性的场可编程门阵列(FPGA)的出现,使建立在可再配置硬件基础上的进化硬件(EHW)成为智能硬件电路设计的一种新方法.作为进化算法和可编程器件技术相结合的产物,可重构FPGA的研究属于EHW的研究范畴,是研究EHW的一种具体的实现方法.论文认为面向分类的专用类可重构FPGA(ASR-FPGA)的研究,可使可重构电路粒度划分的针对性更强、设计更易实现.论文研究的可重构FPGA的BCH通讯纠错码进化电路是一类ASR-FPGA电路的具体方法,具有一定的实用价值.论文所做的工作主要包括:(1)BCH编译码电路的设计——求取实验用BCH码的生成多项式和校验多项式及其相应的矩阵并构造实验用BCH码;(2)建立基于可重构FPGA的基核——构造具有可重构特性的硬件功能单元,以此作为可重构BCH码电路的设计基础;(3)构造实现可重构BCH纠错码电路的方法——建立可重构纠错码硬件电路算法并进行实验验证;(4)在可重构纠错码电路基础上,构造进化硬件控制功能块的结构,完成各进化RLA控制模块的验证和实现.课题是将可重构BCH码的编译码电路的实现作为一类ASR-FPGA的研究目标,主要成果是根据可编程逻辑电路的特点,选择一种可编程树的电路模型,并将它作为可重构FPGA电路的基核T;通过对循环BCH纠错码的构造原理和电路结构的研究,将基核模型扩展为能满足纠错码电路需要的纠错码基本功能单元T;以T作为再划分的基本单元,对FPGA进行"格式化",使T规则排列在FPGA上,通过对T的控制端的不同配置来实现纠错码的各个功能单元;在可重构基核的基础上提出了纠错码重构电路的嵌套式GA理论模型,将嵌套式GA的染色体串作为进化硬件描述语言,通过转换为相应的VHDL语言描述以实现硬件电路;采用RLA模型的有限状态机FSM方式实现了可重构纠错码电路的EHW的各个控制功能块.在实验方面,利用Xilinx FPGA开发系统中的VHDL语言和电路图相结合的设计方法建立了循环纠错码基核单元的可重构模型,进行循环纠错BCH码的电路和功能仿真,在Xilinx公司的Virtex600E芯片进行了FPGA实现.课题在研究模型上选取的是比较基本的BCH纠错码电路,立足于解决基于可重构FPGA核的设计的基本问题.课题的研究成果及其总结的一套ASR-FPGA进化硬件电路的设计方法对实际的进化硬件设计具有一定的实际指导意义,提出的基于专用类基核FPGA电路结构的研究方法为新型进化硬件的器件结构的设计也可提供一种借鉴.
上传时间： 2013-07-01
上传用户：myworkpost
VHDL是由美国国防部为描述电子电路所开发的一种语言，其全称为(Very High Speed Integrated Circuit) Hardware Description Language。 与另外一门硬件描述语言Verilog HDL相比，VHDL更善于描述高层的一些设计，包括系统级（算法、数据通路、控制）和行为级（寄存器传输级），而且VHDL具有设计重用、大型设计能力、可读性强、易于编译等优点逐渐受到硬件设计者的青睐。但是，VHDL是一门语法相当严格的语言，易学性差，特别是对于刚开始接触VHDL的设计者而言，经常会因某些小细节处理不当导致综合无法通过。为此本文就其中一些比较典型的问题展开探讨，希望对初学者有所帮助，提高学习进度。
上传时间： 2017-02-18
上传用户：nanshan
给定两个集合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
eeworm.com VIP专区 单片机源码系列 35资源包含以下内容：1. PIC单片机C语言程序设计实例精粹.rar2. Verilog HDL硬件描述语言.pdf3. 51单片机原理.doc4. AVR单片机C语言程序设计实例精粹.rar5. 16点阵字库的字模提取软件.rar6. 静态数码管优化.zip7. 十天学会单片机实例100.docx8. 最全面DS18B20中文资料.pdf9. 基于单片机的智能小车的设计与制作.pdf10. 技术报告-PWM电机测控.doc11. LY-51S V2.1开发板说明书.pdf12. 16矩阵键盘—在5110液晶显示.zip13. 几种基于单片机的数字频率测量仪的设计.pdf14. 模拟数字电路硬件基础.pdf15. Zimo21 （字模提取软件）.exe16. C语言条件编译.pdf17. 怎么样学好AVR单片机方法详解.pdf18. Keil库.PDF19. AD0809在单片机中的应用.pdf20. AVR单片机在线编程下载线电路图及HEX文件.zip21. 红外空调遥控器的设计.doc22. 基于uPSD3200的人机对话设计方案.pdf23. 基于MSP430的低频功率放大器设计.pdf24. 本科课程设计(单片机最小系统).doc25. 《AVR单片机C语言程序设计实例精粹》素材.rar26. 基于MSP430F149的触摸手写程序.zip27. 基于plc电动机正反转故障保护系统设计.doc28. 基于PLC的电动机故障保护系统设计-论文例文.doc29. (1小时学会C语言51单片机)C语言入门教程.doc30. 2012TI杯元器件清单详细参数.docx31. 51MCU中断和定时计数系统的工作原理.rar32. 2012黑龙江省赛区TI杯竞赛题.pdf33. 《RTX51中英文版》KEIL RTX51实时操作.rar34. 2012TI杯电子设计大赛 元件清单.doc35. 4×4矩阵键盘的工作原理.doc36. 单片机电路常识及设计经验.rar37. 51单片机定时器初值计算器.rar38. 单片机最基础的应用.docx39. 自制风扇调速系统电路图(原图下载).rar40. 51单片机串行口初值计算器.rar41. 51单片机串口通信实例.doc42. CortexM3_TRM.pdf43. 终极串口调试软件.rar44. 手把手教你学单片机C语言单片机开发教程.pdf45. CortexM3_Errata.pdf46. 单片机综合实例.ppt47. 低功耗数据采集系统的USB接口设计.pdf48. CoreSight_TRM_extract.pdf49. PIC单片机系统结构.ppt50. 基于Proteus的单片机外围硬件电路仿真.rar51. ARMv7M_Ref.pdf52. 单片机开发流程.ppt53. 基于Proteus软件的单片机仿真教学.rar54. 《C51单片机及C语言知识点必备秘籍》电子发烧友网创新系列电子书.rar55. 单片机常用外围设备接口电路.rar56. msp430+dypme007.rar57. 温湿度传感器AM2301.rar58. 74hc595(8位串行输入平行输入移位缓存器).pdf59. 基于MSP430的超声波测距.rar60. ME007+msp430.rar61. 电子工程师岗位职责.doc62. 单片机课——MCS-51+单片机的硬件结构件.rar63. 受控正弦信号发生器（B题）.doc64. 汇编矩阵键盘扫描原理.docx65. MSP430入门教程.pdf66. 学习单片机总结宝典.pdf67. 数显温度万年历.rar68. LCD_BUS4 lcd1602四线传输.rar69. 128x64图形点阵型LCD－4X8C显示.doc70. 十天学会单片机__完整版.ppt71. 51单片机C语言全新教程(学习单片机的好资料)..pdf72. led点阵中国地图.rar73. 80C51单片机硬件和软件学习.pdf74. 8X8_LED点阵显示原理与编程技术.doc75. 十天学会单片机实例100.pdf76. 16f877sl datasheet.pdf77. 超声波测距详细资料.pdf78. DS1B20时序说明.pdf79. 51单片机+DS18B20+NRF24L01+LCD1602无线温度传感——C代码公布.wps80. 基于两个单片机串行通信的电子密码锁资料.rar81. DA转换信号发生器.rar82. STC11F系列单片机使用手册.pdf83. 基于MSP430G2211实现的多路电源开关控制器（秦臻）.ppt84. 超声波与人体感应各种中文资料精华打包.zip85. AVR单片机熔丝位设置详细知识文档.docx86. 单片机C51串口中断接收和发送测试例程.pdf87. Keil中文版.rar88. PIC-图解入门.pdf89. 51单片机C语言程序设计源代码.docx90. 周立功写给学单片机的年轻人.doc91. AVR入门书籍推荐.docx92. 超声波测距仪的设计方案.pdf93. 51单片机步进电机正反转停止实验.docx94. MSP430F4152中文资料—ADC.doc95. 单片机小精灵（软件）.zip96. 51单片机步进电机加速减速匀速演示.docx97. LED编码器.zip98. 51单片机实验指导.rar99. PIC系列单片机的开发技术.pdf100. 单片机技术使用教程.rar
上传时间： 2013-08-05
上传用户：eeworm
VIP专区-嵌入式/单片机编程源码精选合集系列（27）资源包含以下内容：1. Verilog源码15.2. Verilog源码11.3. verilog基础知识.4. Verilog硬件描述语言教程.5. 手机电池电路智能化研究.6. wince平台evc实现的全屏.7. 数控仿真与网络控制系统(雏形).8. Interface 4x4 matrix keypad with 8051 IO.9. mifare射频卡读卡源程序.10. 关于uc/os嵌入式操作系统中的例程.11. 12864A液晶屏手册.12. 128*64点阵液晶操作.13. iar240*128LCD源码.14. 8位采样正弦波形发生器.15. 这个是用muxpulsII制作的有时钟功能的电路是属于数字逻辑的.16. 此乃MMC卡读写程序.17. 通向ip设计的必看的一本书籍.18. 嵌入式处理器设计应用文集(一).19. 块交织的verilog代码.20. 成型滤波器的verilog代码.21. CSP封装技术,最新IC封装技术..22. 智能电话系统的使用说明书.23. ucs2和GBK互相转换的code, 网上的一般是c++, 这是我自己写的. 嵌入式编程里非常有用的哦.24. 将BMP图片变成PCB版图.25. 计算机课程设计一件很详细.26. 软件I2C 驱动.27. PCB 设计指导-7.28. PCB设计指导-8.29. PCB设计材料汇总.30. BGA封装详细介绍.31. ecv编程的帮助文件,有关于串口的.32. 24c16的读写程序.33. Modelsim 5.8C_crack.34. 通过并口以及jtag烧写flash工作.35. lwip 是一个嵌入式TCP/IP协议.36. 华恒瑞科公司的S3C44B0开发板音频测试程序.37. 触摸屏控制器ADS7846的原理及应用.38. 一个免费的SMART CARD OS系统。.39. keil c开发使用的启动代码说明。.40. 彩色图片转16进制格式软件源码.
上传时间： 2013-04-15
上传用户：eeworm
VIP专区-嵌入式/单片机编程源码精选合集系列（55）资源包含以下内容：1. this file is for keil LCD.2. this file is for keil motor.3. 使用keil C51编译的DDS的LED显示源码.4. 使用QUARTUS 2编译的DDS的源码.5. 使用keil C51编译的计时器的LED显示源码.6. WINCE下数据库的一些操作.7. modbus协议栈.8. 2004液晶屏与89c52组成的电子钟.9. 1.汉明编码的硬件实现vhdl语言 2.测试用.10. 一个MCS51+1620LCD的液晶C程序.11. SD卡与ARM7在SPI模式下进行数据读写原代码.12. CPLD FPGA常用protel库.13. MSP430F149的两个USATR 在实现SPI通讯.14. protues 仿真 intel8255,很好的软件.15. protues 仿真 adc0808和dac0808,很好的软件.16. protues 仿真 UART发送hello,很好的软件.17. 用KEIL C编写的绘图型 LCD 数字时钟.18. alsa codec play music and i2c.19. 用C语言编的功能很齐全的交通灯程序.20. 12位11通道AD转换芯片tlv2553,12位双通道DA转换芯片tlv5638.21. Anlog 公司的DSP,ADSP-BF531并口模拟spi引导程序,是采用BF531从引导模式。.22. 用opengl实现的bsp管理3D场景的算法.23. 针对杭州中正公司的SM-62光学指纹识别模块在Atmega128芯片板上移植后的测试程序.24. 本段源码是将上海一维的指纹识别模块移植到ATmega128芯片后的测试程序.25. 这是基于立宇泰公司的ARM板开发的彩色液晶图象显示代码.26. DS18B20的温度采样C程序,思路简洁明了,希望适合的工程.27. 数字时钟:LCD+凌阳SPCEO61A,通过中断计时,LCD显示,界面简洁宜人.28. 时间和温度同时拥有,一次满足你两个愿望,而且友好的界面,一定合你心意..29. 硬件设计不可多得的资料.30. 实现温度检测功能.31. 基于MSP430的程序代码.32. 基于MSP430的程序代码.33. 实现气象站信息采集功能.34. 320*240液晶,Ra8803芯片控制程序,keil8.09编译..35. C51控制24CO2及24C04.36. matlab下.37. 四位BCD码数字显示电路.38. 介绍vhdl硬件描述语言的特点及设计思想.39. CRC 算法实现原理.40. 用verilog写的FIR滤波器,不错可以.
上传时间： 2013-04-15
上传用户：eeworm
