链路连通性验证在链路管理协议中的研究

首先对链路管理协议中链路连通性验证功能进行了系统地分析,详细描述了其实现过程,然后对比性地讨论了链路连通性验证在SDH/SONET和DWDM网络中的修正和扩展.     

爱色丽（X-Rite）收购AMAZYS控股公司

美国密歇根州Grandville／瑞士Regensdorf,2006年1月31日——爱色丽有限公司（Nasdaq：XKIT）和Amazys控股公司（SWX：AMSN）今天联合宣布已达成最终协议，爱色丽公司将收购Amazys控股公司已发行的全部登记股票，每股收购价为77瑞士法郎，外加爱色丽2．11股股份，交易总价近2．8亿美元。爱色丽有限公司和Amazys控股公司（旗下拥有GretagMacbeth品牌）同为世界范围内颜色管理领域的领先供应商，提供用于颜色数据验证和交流的硬件，软件和服务。     

验证计划报表工具VMM Planner

本文介绍了Synopsys公司最新推出的验证计划报表工具VMM Planner。该工具能够帮助用户验证过程的计划阶段，用该工具特有的描述语言HVP语言或者通用的MS Office Excel工具，系统地、层次化地描述验证计划，并且在验证计划的实施过程中，将测试得到的各类数据，反标到验证计划中，产生相应的状态报告，追踪验证进程。     

对增量CRL应用的一些研究

本文对PKIX依从系统中增量CRLs的应用进行了一些研究，包括：增量CRL的时间跨度对性能的影响及其最优选择；基于完全CRL与增量CRL检查证书状态以及构造新的完全CRL的算法。     

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

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

数据的VV&C研究

数据的可信性是建模与仿真领域中一个重要的问题。该文首先介绍了数据校核、验证与证明 (VV&C)的基本概念。然后确定了数据VV&C评估的主要策略 :过程模型以及支持数据质量的元数据模板等几方面内容。接着对数据的VV&C和建模与仿真的VV&A的关系作了简要比较。最后举出了一个综合环境评估和检查工具的例子。     

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

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

基于E语言的外部存储器接口的功能验证

在SoC设计中，传统功能验证方法已显示出其缺点，主要问题有：复杂验证场景难以构建；边缘情况难以覆盖。针对这些问题，业界提出了一种新的功能验证方法学——受限随机矢量生成的功能验证，该方法在满足约束条件的前提下，随机产生验证矢量。本文研究了受限随机矢量生成的功能验证在SoC设计中的应用，并以基于E语言和Specman验证平台验证了SoC芯片中的外部存储器接口，给出了具体的验证环境和验证步骤。验证结果表明，复杂验证场景和边缘情况的覆盖率均达到了100％。极大地提高了验证的效率和质量。     

无线局域网的安全分析

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

SOC设计验证讲述

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