扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

浅谈RFID应用

随着我国经济的迅猛发展,商品的流通也变的日益活跃起来。但是,由于我国目前法律制度还不够健全,国内外一些投机分子,利用假冒伪劣商品,牟取暴利,严重扰乱了我国市场经济的秩序。因此,迅速提高商品的防伪技术是发展健全我国市场经济的需要,同时也是维护守法企业和广大消费者利益的迫切需要。RFID利用电磁技术,进行高质量的数据自动识别,目前在商品的防伪、公共安全等方面有良好的表现,并有望在未来发挥更大的作用。     

基于开源平台的网络镜像部署方案

介绍了一种基于开源平台的网络镜像部署方案。方案基于C／S架构,客户端的安装采用了基于PXE的远程启动模式,因此不需要为客户端进行手动安装,从而可以使无系统客户机也能向服务端发起镜像部署请求。网络镜像部署的实现充分吸纳了UDPcast、Partclone以及tftpd32等优秀的已有开源项目,避免了重复的开发工作,编写的调度、UI模块解决了开源软件操作不友好的缺点。实际测试显示,该方案己具有良好的实用价值,所用的系统架构也值得推广到其他应用场合。     

基于FPGA的RAID6硬件加速器的实现

设计了基于FPIGA的RAID6磁盘阵列的硬件加速器,将占用大量CPU周期的RAID6校验算法,用FPGA硬件实现并设计了软件与加速器的交互接口,将CPU从繁重的计算任务中解放出来,系统的处理速度和响应速度得到很大提升.     

在CFIFLASH设备上实现JFFS2文件系统

本文首先介绍了JFFS2,FLASH和MTD的相关知识。之后详细介绍了如何利用MTD技术在flash上实现JFFs2文件系统。包括驱动程序编写,内核修改和配置,根文件系统的建立。最终使得JFFS2文件系统可以稳定、可靠地运行在ARM920开发板上。同时也指出了JFFS2的局限性和发展趋势。     

基于RFID技术的肉牛养殖质量安全可追溯系统研究

消费者和国际贸易对食品质量的要求日益提高,而运用监控、预警、追踪、追溯等技术在食品生产的关键环节上进行的质量监控是有效保障食品质量安全的重要手段。研究采用B/S（浏览器/服务器）模式结构体系,基于RFID技术构建了肉牛养殖可追溯系统。系统通过应用RFID技术,实现了对每头肉牛的养殖信息的自动采集,并针对每头肉牛形成可在Internet网络上进行查询的质量追溯档案。解决了牛肉在肉牛养殖环节（牛肉生产源头）上进行以肉牛个体为单位实施质量监控和实现可追溯的问题。     

RAID系统的双控制器研究及实现

本文介绍了RAID子系统中双控制器的结构,比较和分析了能够实现双控制器的两个方案,并针对通常的双控制器实现方案中存在的故障检测、故障处理和cache镜象等问题提出了相应的解决方案。     

RAID系统的结构化模型、

分析RAID系统组成,按功能分成target,内存管理,RAID管理和initiator四个部分,对各个部分的功能简单说明。     

模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。