基于模块化设计方法实现FPGA动态部分重构

介绍了Xilinx FPGA的配置原理和FPGA模块化设计流程以及划分重构模块的原则.通过一个实例介绍了采用模块化设计方法实现Virtex-E FPGA动态部分重构的过程,能使重构模块在系统运行时改变其逻辑功能,而固定模块逻辑功能不中断,同时器件的重构时间大大减少.     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.     

管式间接蒸发冷却空调机组性能研究

对管式间接蒸发冷却空调机组进行了实验研究。分析了进口空气干球温度、相对湿度对空调机组降温及冷却效率的影响,为提高对管式间接段蒸发冷却空调机组性能的了解具有一定的指导意义。     

计算机硬件维修与故障检测分析

计算机现在已经变成了人们日常工作和学习必不可缺的工具,但在使用计算机的过程中,往往很多人对计算机的维护不熟悉,造成各种故障频频出现,本文针对这种现象,总结了计算机硬件故障检测、硬件维修的基本方法和基本步骤。     

采用混合时钟模式提高Linux时钟精度的方法

时钟精度直接影响到实时任务能否被及时响应和调度,数控系统要求其软件平台能提供微秒级的时钟精度。Linux操作系统由于其开放源代码的特点,非常适合开发具有自主产权的全软件数控系统,但是其毫秒级时钟精度明显过于粗糙。结合上述方法,提出一种混合多种时钟模式的动态时钟系统,提高Linux的时钟精度。通过仿真测试证明能满足数控系统的要求。     

提高局域网代理服务器性能的方法与实现

１代理服务器 随着因特网技术的迅速发展,越来越多的计算机连入了因特网,人们在享受它带来的“海量”信息的同时,也面临着诸如ＩＰ地址耗尽、网络资源争用和网络安全等问题。代理服务器就是为了解决这些问题而产生的一种有效的网络安全产品。代理服务器（Ｐｒｏｘｙ Ｓｅｒｖｅｒｓ）顾名思义就是提供网络代理服务的服务器,网络用户可以通过代理服务器来访问Ｉｎ－ｔｅｒｎｅｔ网上的Ｗｅｂ服务器、Ｆｔｐ服务器、Ｐｏｐ３服务器等等,以此来获得Ｗｅｂ浏览、Ｆｔｐ上传下载、Ｐｏｐ３收信等网络服务。２局域网中代理服务器的作用 在我…     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

2008年恶意代码的发展趋势

在过去的2007年,全国的计算机网络虽然没有出现大规模网络拥塞和系统瘫痪事件,但是,“熊猫烧香”、“艾妮”“av终结者”等影响较大的病毒事件相继发生,ARP欺骗、对抗安全软件、“Oday”攻击等技术被广泛应用于病毒制作,病毒的趋利性进一步增强。网上制作、贩卖病毒、木马的活动日益猖獗,利用病毒木马技术进行网络盗窃、诈骗的网络犯罪活动呈快速上升趋势。