简介：合成孔径雷达（SAR）图像的小波系数间存在重要的相关性．通过对这种相关性的精确建模可以改善图像的去斑效果。提出了一种新的基于自相关函数建模的小波域SAR图像去斑方法。首先对原始SAR图像进行对数变换．再用可控金字塔作多尺度和多方向分解．分别对图像和噪声系数的自相关函数精确建模．并在图像自相关函数中引入方向性解析式．再利用维纳滤波得到去噪后的小波对数图像，最后经指数变换得到去斑后的SAR图像。对合成图像和实际sAR图像的去斑实验表明，该方法较其他经典方法的去斑效果要好。

简介：为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否合理，而静态Formal验证技术采用数学穷举的方法，利用断言对设计中的同步器进行快速验证，确保数据的可靠传输，有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查，并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性，可极大地提高复杂设计的验证效率和鲁棒性。

简介：文章提出一种基于DCT系数值排序预测的加密域JPEG图像可逆信息隐藏方案,该方案能够抵抗针对JPEG图像加密的轮廓攻击方法。区别于现有加密域JPEG图像信息隐藏方法,文章利用混沌加密方法置乱JPEG图像标识符,掩盖了加密域JPEG图像中的分块信息,利用基于DCT系数值排序预测的方法将秘密信息可逆嵌入加密JPEG图像中。在进行信息嵌入和提取的过程中,基于DCT系数值排序预测的可逆信息隐藏方法无需利用JPEG图像的分块信息,且信息嵌入的效率高,提取准确。实验结果显示,文章方案的安全性和嵌入容量都得到很大程度的提升,含密图像的图像质量也有一定程度的提高。

简介：针对小波域维纳滤波图像降噪存在计算速度慢和降噪效果较差，本文提出一种改进的小波域维纳滤波算法，将阈值化处理引入小波域维纳滤波，通过阈值化处理小波变换后的系数来提高降噪效果。依据改进算法的具体过程和算法步骤，运用MATLAB进行算法仿真，仿真结果表明，改进的小波域维纳滤波算法进行图像降噪可以有效地提高图像的信噪比，降噪效果良好，同时计算速度较快，节约时间。

简介：康文伟义是北京少有的同时拥有施乐和惠普Indigo数码印刷机的快印中心。“我的施乐2060月印量10万，在圈里是最高的”，总经理陆卫东告诉我们。而从5月24日装机惠普Indigopress1000以来，康文伟义成为京城首批“惠普Indigo数码短版印刷服务”市场拓展计划的合作伙伴之一。几个月来，Indigo设备的印量增长势头良好。为此，我们走访了康文伟义，与总经理陆卫东一起分享了从业数码快印的种种经验和感受。

简介：

简介：随着虚拟化技术在X86平台上的逐渐成熟，用户已经感受到它的好处：降低运维成本，提升运维效率。受硬件环境的影响，数据传输方面一直受磁盘读写速度和网络带宽限制。本文阐述的技术是通过半虚拟化内存页面重映射机制实现文件访问过程，避免网络带宽限制。

简介：用多个分布式小卫星构成星座,可以完成多项雷达探测任务,如地面动目标检测(GMTI)、地面高程测量等,其探测性能可比单个卫星明显提高.分布式小卫星也可用来提高SAR的横向分辨率,主要是解决高横向分辨率与宽测绘带的矛盾.小卫星用横向孔径小的天线(为提高横向分辨率)和较低的重复频率(为加宽测绘带),其回波信号会产生多普勒模糊,但多个小卫星的空间自由度可用来解模糊,从而可以实现宽域(宽观测条带)和高方位分辨率SAR成像.本文对分布式卫星解多普勒模糊的方法进行了讨论,并提出了对卫星星座构形的要求.如果星座构形已定,则应微调脉冲重复频率以满足解多普勒模糊的要求.

简介：数字版权管理存在跨域认证问题上仍有些技术难题,针对现有的问题设计了更为合理的模型,以提升数字版权管理的科学性和有效性。对现有的跨域认证模型中未考虑用户平台环境因素的问题,提出了一种基于可信等级的跨域认证模型。通过给定平台可信等级、用户可信等级和域可信等级,并依据可信等级评估值动态地建立域间信任关系。安全性分析表明,使用该认证方法进行跨域认证可以有效地保护用户及平台环境的隐私。

简介：OBGP是一种分布式协议，通过在多域光网络中传递路由和信令信息，使网络边缘的客户能够建立，管理和控制自己的光路。通过扩展OBGP，提出了一种新的DiffServ—awareOBGP机制来解决目前仍然存在的一些问题，比如域的接入控制以及通过对客户请求进行区分来解决资源请求竞争问题。文章定义了对目前OBGP消息的基本扩展，以及在光路建立过程中提供区分服务所需要的其他扩展，并且详细描述了在该机制下的光路创建过程。仿真证明了新机制不仅能够根据客户请求较好地创建端到端的光路，同时在资源竞争的情况下高优先级别的客户有更高的成功率来创建所需的光路。

简介：本文通过比较5个商业软件包的精确度和执行时间，研究了具有固定时间和变换时间的网络仿真方法的性能差异。包含了多个三相二极管整流器和一个PWM电压源逆变器的一系列基准实例显示：对于线性电路来说，固定时间步长法的仿真时间更短一些；然而，为了得到精确的结果，即使对于低开关频率的PWM应用都可能需要非常小的时间步长。否则，如果使用的时间步长过大，即使波形看起来是正确的，PWM逆变器控制信号也可能有严重的错误。

简介：

简介：<正>编者:我国房地产商业模式一直沿用的是香港的"全能开发商"模式,房地产调控政策往往是"高高举起、轻轻落下",调控的边际效用不断递减,形成调控-上涨-再调控的恶性循环怪圈。美国的"房地产系统运营商"模式将成为未来行业发展的方向,房地产资产证券化和地产私募基金对于房地产行业增加供给、去泡沫化也将具有制度性意义。这也正是陈义枫和他的团队正在努力经营的事业,打造中国房地产私募基金领域的领航者。