面向CPU芯片的验证技术研究

CPU芯片规模大、复杂度高,在芯片设计的不同阶段进行多层次的验证,保证芯片的正确性非常关键。文章探讨了模拟验证、FPGA仿真、形式验证和静态时序分析等验证方法,提出了一种多级验证体系方法,实现CPU芯片的多层次验证,并成功地验证了自行设计的微处理器的正确性和兼容性。     

基于NPCA的盲源分离算法

主要讨论了基于非线性主分量分析(NPCA)的盲源分离,从理论与实验2个方面详细分析了算法的特性与效果。针对算法中的非线性函数选择的问题,采用了在线统计的方法,即根据不同的输入信号选择不同的非线性函数。从实验结果可以看出,该方法不仅可以很好地解决源信号为亚高斯信号混合的盲源分离问题,而且对源信号为亚高斯和超高斯信号混合的盲源分离问题也取得了很好的效果。     

激光功率和材料温度的涨落特性

研究了铜在CO2激光辐照下达到热平衡时表面的温度涨落.发现铜在达到热平衡后,铜块表面温度出现涨落,涨落的最大幅度不随幅照时间而改变.同时,这一温度涨落也反映了国产HGL895型5kW横流连续CO2激光器功率稳定性的一些问题,对采用反馈电路稳定激光输出功率这一工艺有参考意义.     

因子分解的故事

上帝创造了整数，其余都是人的工作．克罗内克（ｋｒｏｎｅｃｋｅｒ，１８２３－１８９１）每个小学生在算术课上都学过：大于１的整数ｎ都可唯一地分解成有限个素数（或叫质数）的乘积．所谓“唯一”指的是：ｎ的这样两个分解式至多只是素因子有不同的排列次序．如果把相同素因子合并起来，那么ｎ的素因子分解式就可唯一地写成ｎ＝ｐｅ１１ｐｅ２２…ｐｅｇｇ其中ｐ１，…，ｐｇ是不同的素数，ｐ１＜ｐ２＜…＜ｐｇ，而ｅ１，…，ｅｇ均是正整数；例如１２＝２２·３，５０＝２·５２等等；这个结果被称为“算术基本定理”，它是一门历史悠…     

多媒体远程教育网中基于超文本结构的数据组织

分析了现有远程教学网络中Ｗｅｂ 服务器与数据库连接方式的缺陷，在此基础上提出多媒体远程教育网络中基于超文本结构的数据组织方案，并详细设计了相应的虚拟超文本数据模型．     

超大规模集成电路的一些材料物理问题（I）——Cu互连和金属化

21世纪初，超大规模集成电路（ULSI）的特征尺寸将由150nm逐代缩至50nm。文章以100nmULSI器件为主，简要介绍与互连相关的一些材料物理问题，其中包括Cu互连、金属化及低介电常数介质。     

聚合物—碱金属盐复合物的离子导电性

一、导电机理聚合物-碱金属盐复合物导电材料,习惯上又称为固体电解质或聚电解质,由于它具有质量轻、体积小、结构稳定、挥发性低、电阻率可调、可塑性强、易于加工等诸多优点而引起了     

新型1,2,4-三唑并[3,4-b]-1,3,4-噻二唑类衍生物合成及其抗病毒活性

以没食子酸为先导,经甲基醚化、无溶剂闭环、缩合反应合成了8个未见文献报道的1,2,4-三唑并[3,4-b]-1,3,4-噻二唑类衍生物,其结构经1H NMR,13C NMR,IR和元素分析表征.初步生物活性测试结果表明,部分化合物具有一定的抗黄瓜花叶病毒活性.