分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

WIZARD海军诱饵在北约实验中进行验证

2007年7月16日，以色列海法市，拉斐尔军事发展有限公司透露其WIZARD海军角反射器诱饵最近参加了北约海军每年举行的MCG／8电子战实验，该实验于上个月在挪威进行．     

SPAC系统中水热CO2通量光合作用的综合模型（Ⅱ）：模型验证

本文利用禹城综合试验站土壤－植物－大气连续体系综合观测场冬小麦田实测资料，对“SPAC系统中水热、CO2通量与光合作用的综合模型（Ⅰ）模型建立”一文所建立的模型土壤水分动态、蒸发蒸腾和冠层CO2通量等功能进行了验证，利用波文比观测水汽通量结果、土壤水分剖面监测结果分别与对模拟计算腾发量和土壤水分剖面的验证结果表明，模拟计算的腾发量和土壤水分剖面是比较准确的；将模拟的光合作用过程中的CO2通量与实测值对比表明，模拟值与实测值的变化趋势是一致的，但是数据上存在一定的差异，模拟光合作用过程和强度符合一般规律，总体说明，所建立的系统模型在上述功能的模拟上是可行的。     

爱色丽（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系统射频链路参数设计，可供移动通信工程技术人员参考。