基于SystemC的事务级AMBA总线模型的设计与实现

针对目前SoC设计中的时间瓶颈，根据系统建模语言SystemC对SoC进行事务级建模的方法。提出并实现了采用该方法构建基于AMBA规范的SoC片内总线模型的方案．模型采用了SystemC 2．0的接口、端口和通道的概念，这使模型具有很好的开放性和可扩展性．模型各部分间的通信通过调用各接口内定义的函数来进行，模型运行时只使用SystemC自带的轻量级仿真内核．实验结果表明：本总线模型完全符合AMBA2．0规范，可以有效克服目前SoC软硬件协同设计中的时间瓶颈．     

利用图像分析实现函件自动登单处理系统

针对邮局业务的自动化、信息化改革，利用图像处理和图像分析方法， 结合模式识别理论，从复杂的信封背景中提取有用字迹信息，设计了自动化的给据函件自动登单处理系统。详细介绍了该系统的软硬件结构和整个图像处理过程。对各种信封的处理实验结果表明，所提出的该图像处理方法能够很好的满足实际邮政业务的需要，提高了邮件处理的效率和水平，减轻了工作强度。     

植物生理信息采集处理系统研究

以虚拟仪器理论为基础研制的植物生理信息采集处理系统．应用了传感器技术、自动测量技术、微计算机软硬件技术及数据的数学处理方法．植物生理信息采集处理系统由传感器、信号调理电路、数据采集卡、通用计算机和数据采集软件、数据处理软件构成，实现了植物生理信息多通道数据的实时自动采集和处理功能．系统具有测量集成、植株活体无损测量、信息数字化、全自动记录、用数据库管理数据等特点．     

海运实时监控系统的设计与实现

应用面向对象的软件分析和设计方法,以海运智能交通系统中海运实时监控系统的设计与实现为出发点,将海运实时监控系统划分为总调控制中心子系统和船载子系统两部分,实现了信息自动采集、数据综合处理、目标跟踪显示、图上实时计算和网络通信等功能.     

基于模型设计的自动定制IP策略

为了克服传统手工定制IP的开发瓶颈,加快IP的设计与确认的进程.引入了基于模型的自动定制用户IP的新思想,给出了自动生成IP的完整工具链.即在System Generator可视化开发平台上,给出进行算法模型的功能验证、自动HDL代码的RTL级验证、定制IP前的硬件协同仿真,用户IP的自动生成及定制IP后的硬件测试等的方法.并以Fibonacci数列的IP定制为例,介绍了其IP的定制及软硬件验证与测试过程.     

基于NIOSⅡ多功能留言机的设计

设计了一款应用于家庭用户的多功能留言机.考虑可编程逻辑器件（FPGA）具有灵活的可配置性、升级方便、集成多IP核方便完成片上系统（SOC）的设计等特点,采用可编程逻辑器件（FPGA）和嵌入式软核NIOSⅡ处理器完成系统设计.本文设计基于50 MHz的系统时钟,利用SOPC定制用户系统,采用软硬件协同设计的方案,可于2min之内完成图像的采集和JPEG压缩,通过触摸屏方便与用户间的交互,支持语音留言、留言提示、电子钥匙、用户管理（播放、查看历史、备忘以及删除等）、电子时钟、语音报时、自动待机和屏保等功能.     

基于数据挖掘的入侵检测系统框架

提出了基于分布式数据挖掘的入侵检测系统框架，详细讨论了该系统的实现方案、模块结构和关键技术，最后给出了系统训练和评价方法。该系统以基于关联规则方法的分布式数据挖掘技术为核心，从而实现了规则库的自动生成和更新，并能有效检测大规模协同攻击。     

基于Web的作业平台系统设计

设计了一种较完备的基于Web的作业系统，该系统利用ASP实现了在网上各科作业的自动布置、提交、自动批改、统计及智能答疑，特别强调了师生之间的网上沟通。     

基于热感知的SoC布图规划

随着芯片规模的增大及芯片中IP核数量的不断增加,SoC的功耗密度不断升高,导致局部温度迅速上升,从而影响芯片的稳定性.基于热感知的SoC布图规划实现芯片温度的均匀分布是解决这一问题的有效途径之一.结合传统布局规划,提出了调整部分模块面积的降温策略,发展了一种基于模拟退火的热感知SoC布图规划方法,所提出的方法应用于MCNC基准电路,结果显示电路温度最高可以降低23℃.     

智能家居系统的设计与实现

文中介绍了智能家居系统的基本设计思想．通过现有电话网络或互联网络实现了可以远程控制的智能家居系统．给出了系统核心部分——家庭网络终端的软硬件设计及实现方法．     

基于网络的数字视频监控系统

提出了一个基于网络的数字视频监控系统 ,该系统具有视频压缩、解码、网络传输、图像储存、图像索引回放、摄像机远程控制和图像内容报警等功能 .因采用了基于视频硬件压缩芯片以及快速以太网技术 ,该系统的图像质量和帧率指标远远高于一般基于电话线和软件压缩的监控系统     

基于CAN总线的楼宇温度检测系统

基于单片机实现传统温度检测技术的特点，提出了基于CAN总线的楼字温度检测系统方案．该系统方案的硬件平台主要包括温度检测模块和主控平台，并详细介绍了其硬件实现、软件设计思想及流程．实验表明：该系统可实现对楼宇温度的实时检测，并由LCD显示检测结果，对异常情况进行语音报警，从而实现对楼宇房间温度的有效监测．     

炼钢电弧炉STD微机控制系统

介绍了ＳＴＤ工业控制机在炼钢电弧炉控制中的应用。讨论了系统的控制原理，硬、软件组成及在环境恶劣现场的抗干扰问题。     

基于嵌入式Linux的多路视频监控系统的设计

提出一套基于嵌入式的数字视频监控系统,以高性能的ARM处理器、嵌入式Linux操作系统为核心,以Internet为支撑,介绍了系统的硬件设计和软件设计.该系统采用USB摄像头及嵌入式芯片为硬件基础,通过内嵌WebServer的方式访问系统进行视频监控.     

基于Visual Basic的微机线路保护实验台远程监控软硬件设计

通过一定的软硬件设计,提出了一种将现有的多台独立微机线路保护实验台借助Visual Basic平台与计算机联网的方法.在所编制监控软件环境下,充分运用计算机的数据处理和数据存储能力,实现了继电保护室的网络化和四遥功能,在继电保护整定计算等电力系统软件与实验装置问构建了桥梁,把实验室模拟成变电站自动化实时控制系统现场.     

基于2.4GHz的数字无线语音系统设计

基于2.4GHz微波信号抗干扰性好、穿透力强的特点,目前已被广泛应用于近距离无线通信领域.提出了一种基于此频率传输的具有纠错和加密功能的数字无线语音系统的实现方案,并给出以nRF2401无线收发芯片和ATmega8L单片机为核心的系统硬件和软件的设计.新系统具有成本小、功耗低、可靠性高、保密性好等特点,可应用于要求特殊的短距离无线通信领域.     

胶结充填计算机自动控制系统的研制

研制了一套用于矿山开采胶结充填生产工艺的计算机自动控制系统．介绍了该系统的工作原理，硬件电路组成，软件结构框图，以及系统的抗干扰措施、特点和功能．实践证明，该系统控制精度高，调节速度快，工作稳定可靠．     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

基于CAN/LIN总线的汽车车身网络研究

针对传统汽车电控单元多采用独立模式控制及系统可靠性不高的缺点,提出利用CAN/LIN总线构造汽车车身网络,阐述了该方案的软硬件实现方法,并通过实验室组网验证了其可行性.研究表明：采用CAN/LIN总线可简化线路、降低成本、提高各微处理器间的通信速度、降低故障率,使信息交换变得安全、迅捷、高效.