地源热泵的运行特性模拟研究

依据圆柱源理论,建立起了耦合地面热泵机组和地下埋管换热器特性的模拟模型,该模型可用于长期运行的地源热泵系统的短时间步长运行特性模拟。探讨了模拟过程中有关参数的确定方法,并运用所建模型对地源热泵的冬季和夏季运行特性进行了模拟。运行特性模拟与实验数据的验证结果表明,所建模型可以对地源热泵的运行特性做出符合实际的预测。     

基于非锐化掩模的实时自适应图像增强算法

针对传统的非锐化掩模算法的局限性,依据图像中各像素点及以其为中心的若干相邻像素点的均方差值,提出了自适应图像增强算法的原理,并分析其硬件实现方法,然后给出了该算法与其它算法应用于图像增强的对比结果,最后在FPGA（field programmable gate array）实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强.     

CDMA塔顶放大器工程设计和测试

文章结合塔顶放大器工程实际案例，通过链路平衡计算和测试验证，介绍了CDMA系统射频链路参数设计，可供移动通信工程技术人员参考。     

无线局域网的安全分析

无线局域网是近年来发展迅速的新技术 ,它具有便利性、移动性 ,但也存在特有的安全隐患。文章介绍了无线局域网当前的安全现状、原有无线局域网安全技术及其漏洞 ,在原有无线局域网安全技术基础上介绍了新一代无线局域网安全技术     

SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。     

福禄克经过ATEX和FM验证的过程校准器

福禄克专为有爆炸危险的环境设计了一系列测试工具,Fluke 707Ex回路校准器是其中的第一款.707Ex达到Factory Mutual (FM)要求并符合最新的欧洲易爆气氛使用(ATEX-ATmospheric EXplosibles)规定.集成化的707Ex采用了环境改造学设计，将旋钮和按键校准器的优点结合在一台校准器上，用于特殊区域中电流环路的校准，     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。