远距离多点温度测试系统及单片机接口技术

介绍了一种远距离多点温度测量系统，利用V／F变换把传感器信号长距离高精度传输。该温度测试系统具有体积小、成本低、结构简单、精度高等特点，为慢变化量传感器信号远距离传输提供了一种切实可行的方案。     

新型气象参数测试仪的研制

研制了一种新型气象参数测量仪器,介绍了仪器的组成及功能、电路工作原理、软件设计、测试结果等。该仪器使用了高准确度的ITU温湿度传感器、气压传感器、风向传感器、风速传感器,采用先进的电子线路设计,具有准确度高、集成度高、稳定性好、电路设计先进、可扩展性强、软件设计灵活、性能价格比高等特点,满足了环境监测部门的特殊要求。     

多路数据采集与网络远程传输系统实现

针对多路模拟信号的实时采集和利用网络远程同步或异步数据传输等一系列问题,利用单片机、PC机和网络接口,设计了集多通道数据采集、传输和网络远程传输为一体的综合系统,实现了系统的硬件电路以及相关配套软件,使系统能够完成多路数据的采集和对采集数据的高速实时记录、处理、分析、显示和网络远程传输等功能;经实际应用后证实该系统抗干扰能力强,数据吞吐量大,运算速度快且不容易死机,操作灵活,使用和升级灵活方便,便于数据的查询和分析;同时也给故障排查带来了极大的便利,具有很强的实用性。     

基于FPGA的32位整数微处理器的设计与实现

CPU“软核”可以根据实际应用需要进行剪裁，因而CPU软核设计是soC设计实现的重要部分．在FPGA内部设计和调试完全嵌入式的整数微处理器软核，不仅涉及到通常CPU必需的算术逻辑累加器、寄存器堆、指令缓冲、跳转计数、指令集及指令编译等方面的设计实现，还要针对FPGA内部的结构特点对设计进行分析优化，例如流水线结构的选择、关键路径延迟的折衷平衡以及整体调试等．在Virtex1000FG680-4FPGA上设计实现的32位RISC整数微处理器，运行时钟频率可达30MHz，实现150条指令，占用FPGA逻辑资源7％．     

基于VC＋＋6．0的PC机和单片机串口通信

本文使用VC＋＋6．0提供的串行通信MSComm控件以及Windows API函数实现PC机和单片机之间的通信。详细介绍了实现的方法，给出了应用实例。     

Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability

We have verified the FM9801, a microprocessor design whose features include speculative execution, out-of-order issue and completion of instructions using Tomasulo's algorithm, and precise exceptions and interrupts. As a correctness criterion, we used a commutative diagram that compares the result of the pipelined execution from a flushed state to another flushed state with that of the sequential execution. Like many pipelined microprocessors, the FM9801 may not operate correctly if the executed program modifies itself. We discuss the condition under which the processor is guaranteed to operate correctly. In order to show that the correctness criterion is satisfied, we introduce an intermediate abstraction that records the history of executed instructions. Using this abstraction, we define a number of invariant properties that must hold during the operation of the FM9801. We verify these invariant properties, and then derive the proof of the commutative diagram from them. The proof has been mechanically checked by the ACL2 theorem prover.     

电气参数交流采样技术

分析了半波付里叶算法(Half-cycle Fournier Arithmetic)在电气参数测量装置中应用的基本原理，指出了影响该算法测量精度的各种因素，并结合80C196KC单片机交流采样测量系统，从算法、测频、采样步长划分、采样同步、单片机A／D转换、抗干扰以及参数计算等角度提出了相应的改进措施，从而提高了电气参数的测量精度，增强了半波付里叶算法在电气参数测量中的实用性。     

嵌入式Linux系统的设计与实现

近几年计算机硬件技术及网络水平的不断发展和提高,嵌入式系统在军事、政治、经济、生活等各个方面都得到了普遍的应用。 Linux操作系统具有代码公开、内核优化、占用资源少等多方面无与伦比的优点。因此,文中提出了一种嵌入式Linux系统设计及具体实现方法,其中包括硬件结构,软件设计主要分析了嵌入式操作系统的选择和驱动程序的实现。该系统采用微处理芯片来控制实现系统功能,并最终提出了一种使用软硬件技术开发的嵌入式Linux系统的方法。     

基于视频图像的远程火灾探测系统

将传感器技术用于大空间火灾探测时,存在距离短、误报率高、可靠性差等不足。为此,在TMS320DM642微处理器和TI的DSP/BIOS实时操作系统上,设计基于视频图像的远程火灾探测系统。建立RGB空间颜色模型,对连续数帧火灾图像做预处理,分析频闪特性并进行模糊聚类,提取疑似目标区域,以火焰相关性、面积变化率和圆形度3个特征作为火灾识别依据。实验结果表明,该系统提高了大空间图像型火灾探测的精度和速度,可满足远程火情监测需要。     

用W78E58微处理器实现对EPF10K10的配置

ALTERA公司SRAM工艺的可编程器件应用广泛,但专用配置器件比较昂贵.在具有微处理器和FPGA的综合应用系统中,使用微处理器来实现对FPGA的数据配置,是一种经济实用的方法.介绍了应用微处理器W78E58来实现对EPF10K10的数据配置方法.同时,给出了对FPGA的被动串行配置的时序和具体硬件、软件的实现方法.