利用改善的静态隐含策略加速等价性验证

随着近年来高效SAT(Satisfiability)求解算法提出，SAT已成为集成电路形式验证方法中重要引擎之一。但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述，丢失了电路的拓扑信息。本文利用改善的静态隐含策略来提取有用子句作为预处理，来加快验证过程。本文算法在原有静态隐含技术的基础上，引入了关联节点隐含及隐含过程加速策略。给出的ISCAS85电路的实验结果表明算法的有效性。     

一种基于OFDM信号加窗设计的实现方法

给出一种基于OFDM信号加窗设计的FPGA的具体实现方法,并通过无线传输信号在加窗前后带外能量大小的比较,说明该方法可以迅速地降低无线传输信号的带外能量,减少无线传输信号的带外辐射,降低无线信道污染以及对周围设备的干扰.     

校园网论坛评论的人类动力学分析研究

基于校园网论坛评论的数据统计,从群体层面和个体层面深入挖掘学生用户在校园网论坛上活动行为的时间间隔分布的统计特性,以及给出学生群体兴趣度消失模型的实证研究.研究发现,论坛整体评论时间间隔以及用户个体活动时间隔服从幂律分布,学生群体兴趣度消失模型中,学生群体对于某个话题的兴趣逐渐消失,评论的时间间隔服从幂率分布,且对于比较敏感的话题,会存在兴趣再次上升的情况.     

电子浆料用超微细玻璃粉的等离子体改性

以六甲基二硅氧烷为单体,利用高频等离子体在超微细低熔磷酸盐玻璃粉体表面聚合硅氧聚合物包覆薄膜。用水和粉体压片之间的接触角变化表征了等离子体工艺参数对粉体表面能的影响。结果表明改性后粉体配制电子浆料的细度、黏度、流变特性提高显著。改性后可以改变或控制超微细粉体的表面能大小,从而可调节电子浆料的流变性和印刷适性。     

重量分布式约束的LDPC码性能研究

本文对"重量分布式约束的码集合内码性能"这一命题进行了初步研究,分别得到了码集合性能的上限和下限,本文给出了性能下限码的Fill-Shift构造方法,而且由LDPC码校验矩阵不变性可以对LDPC码的校验矩阵作必要的初等变换,这样可以在保持码性能不变的前提下降低编码复杂度和实现系统编码;此外,还可以利用该性质加强对重要信息符号的差错保护.     

反射式太赫兹返波振荡器成像系统及其应用

实现了基于返波管源的太赫兹波反射式成像系统.这是一种新型的无损探伤成像方式.从样品表面或者基底反射回来的太赫兹波被焦热电探测器收集,最后经过计算机处理成像.频率为0.7THz的成像系统被用来对一系列样品进行无损检测,如硬币、徽章、模型飞机以及预埋了人工缺陷的工业样品.结果表明,很多工业材料相对于太赫兹波都是透明的,尤其是一些在航空航天技术中具有广泛应用价值的吸收微波的材料.     

IPTV双模机顶盒终端技术在三网合一领域的应用

IPTV双模机顶盒作为广电双向交互业务开展的用户终端设备,其同时具备DVB-C与IP两种接入系统的方式。主要由软件和硬件两部分组成,整个硬件系统以高性能专用SOC SMP8635L为核心,辅以外围辅助芯片和电路所构成;软件部分则由嵌入式浏览器构成。随着三网融合业务和微电子技术的发展,IPTV机顶盒产品会越来越成熟,功能越来越强大。     

H.264 CABAC加速器的设计

H.264主要档次采用的CABAC熵编码技术在提高视频压缩比率的同时,严重增加了编/解码的计算复杂度,嵌入式系统由于其低成本低功耗的要求,需要专用硬件加速器来进行CABAC编/解码。设计了一个高性能H.264 CABAC硬件加速器,该加速器可配置为编码或解码模式,高效地实现CABAC编/解码操作。通过性能评估实验,在220 MHz时钟频率下,该加速器能够实现平均147 Mbps(1.5 cycle/bit)的编码速度和220 Mbps(1 cycle/bit)的解码速度。与软件实现相比,加速器获得50倍以上的性能提升。     

中国能见度长期变化及区域特征分析

为找出中国不同类型观测站点能见度的变化特征及其影响因素,对中国350余个气象观测站29年（1980-2008年）的能见度观测数据进行了分析,并使用人口密度分布数据对观测站点进行分类。结果表明,我国大气能见度在1980年后呈现缓慢下降趋势,整体表现出西高东低的特征,且东部能见度逐年下降趋势显著。能见度下降地区多集中于气候湿润或人口密度较高的地区,且人口越密集,能见度恶化程度越显著,低能见度事件发生频率越高。我国西北,包括内蒙、新疆等人口密度较小、气候较为干燥的地区,其能见度呈现逐年好转的趋势,这可能与我国北方地区沙尘暴次数减少及强度减弱有关。我国华南能见度下降幅度最为显著,人为经济生产活动可能是造成这一现象最主要的原因,而我国华北和华东的能见度变化的区域协同性正逐渐增强,从一个侧面反映了该地区所面临的区域性污染加重的现象。     

灰度图像处理的并行分布式加权识别系统模型

文章提出了一种可用于灰度图象处理的并行自适应加权识别系统模型,从理论上对该模型作了相应的数学描述和分析,并给出了将系统应用于灰度图象边缘检测的实例。