高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学（RVM）和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

一种简化的分形压缩编码方法

分形编码是一种很有潜力的图像压缩算法,Jacquin在1989年提出了一种基于局部迭代函数系统（PIFS）,可以真正自动实现图像压缩算法——分形块编码算法,在此基础上形成了基本的分形编码方案．衡量一种压缩算法好坏的标准之一是该算法是否容易硬件实现,基本算法由于计算复杂,计算量大,硬件实现需要较多的资源．比例因子是该算法中的一个重要变量,本文给出了一种求比例因子的方法,该方法简化了求比例因子的计算,从整体上减小了基本分形算法的计算量．由于比例因子计算的简化与计算量的减小,该算法将会有利于分形压缩的硬件实现．     

涡虫成体干细胞研究进展

干细胞研究是当代生命科学研究的重点和热点之一,涡虫因具有结构简单、再生速度快、基因与脊椎动物同源性高等特点而成为研究再生的良好动物模型.涡虫的这种再生能力与其体内具有被称为neoblasts的多能干细胞群有关.文中结合近几年的研究成果从neoblasts与涡虫的再生关系、neoblasts的分子标记及研究方法3个方面进行综述,以促进neoblasts的研究.     

区域综合工业化指标体系及评价

在分析区域工业化内涵和要求的基础上，建立了5大类55个指标的区域工业化指标体系．通过因子分析法选取了13个指标，利用SPSS对21个省区域工业化水平进行了评价．     

数字信号处理专业基础课程实践教学探索

针对数字信号处理课程理论性强,可适用专业多,不同专业实践内容设置应差别化,青年教员实践教学水平有待提升等问题,提出了该专业基础课程的实践教学探索方法.通过强调针对不同专业的背景课题库设置,学员和教员不同要求的实践任务设置,以研促教和数学概念物理化,提升教员的实践教学能力,增强数学信号处理这门专业基础课的整体教学效果.     

活性粉末混凝土热物理性质的研究

通过高温试验获得了不同钢纤维掺量RPC的热传导、热扩散、比热容和热膨胀等热物理性质,分析了RPC热物理性质随温度和钢纤维掺量变化的规律,并与普通高强和高性能混凝土的热物理性质进行了对比.建立了RPC热物性参数随温度和钢纤维掺量变化的经验关系.利用传热学和固体物理方法分析了RPC传热过程与热传导性质变化的微观物理机制,推导了RPC的比热容和热膨胀系数的理论表达式,利用理论模型定量地分析了温度和钢纤维对RPC比热容和热膨胀性质的不同影响,并给出了判别条件,理论预测与试验观测相一致.     

导电聚苯胺/TiO2复合纳米纤维的制备和表征

在无模板条件下,利用苯胺在纳米TiO2微粒表面的原位化学氧化聚合,成功制备了一系列不同TiO2含量的导电聚苯胺/TiO2(PANI/TiO2)纳米复合材料.通过TEM,XRD,FT-IR,TG-DTA及电导率测量等技术手段对其进行了表征.结果表明:复合材料的形貌呈纤维状,直径约20~40 nm,长度在390~420 nm范围;其中TiO2的含量为23.8%且具有金红石矿结构,聚苯胺也有一定程度的晶化;在复合材料中,TiO2和聚苯胺分子链之间存在强的相互作用,并对复合材料的热稳定性起促进作用;TiO2的含量对复合材料导电性能有显著影响,当TiO2含量为11.1%时电导率达到极大值2.86 S/cm.     

导电聚苯胺纳米管的界面法合成

在室温下，采用界面自组装聚合法首次成功制备了磷酸掺杂的导电聚苯胺纳米管，利用TEM．FT—IR，UV—Vis及四探针等技术对其结构和导电性能进行了表征．结果表明：由该法合成的聚苯胺具有纳米管结构，内外管径分别为20nm和120nm。长度在3～4μm，长径比为30：1；在室温下，电导率约为0．35S／cm．通过控制苯胺单体的浓度、掺杂剂酸的浓度和聚合反应时间能够实现对聚苯胺纳米管管长和管径的控制．     

K-严格伪压缩映像不动点的粘滞算法

在Hilbert空间中,构造了一种粘滞逼近方法的复合迭代算法,并利用粘滞逼近方法和投影算子技巧证明了k-严格伪压缩映像不动点的强收敛定理。所得结果推广和改进了一些最新的结果。     

密度泛函方法研究甘油和3-羟基丙醛的结构和性质

采用密度泛函理论(DFT)广义梯度近似(GGA)-VWNBP水平和DND基组研究了甘油和3-羟基丙醛的全优化几何构型、电子结构、福井前线轨道和热力学性质,为研究该类化合物的结构与性质关系提供理论依据,为甘油脱水酶结构改造和分子设计提供配体数据.