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

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

基于ZigBee的无线测温管理系统的应用研究

为及时测量变电站运行设备中大电流回路连接点发热的温度,设计出一种基于ZigBee技术的无线测温管理系统。详细阐述了无源传感器节点的工作原理和实现方案,给出了硬件电路设计和系统软件构成。通过可视化程序设计语言Visual Basic 6.0设计的监控界面,易于实现无线传感器网络温度信息的实时采集、及时报警和有效管理,做到设备发热实时监控及远距离遥测。     

预裂化理论研究:基质表面酸性位类型及不同类型酸性位接触顺序对裂化过程小分子烯烃收率的影响

在区分氢负离子转移反应与氢转移反应、非选择性氢转移反应与总的氢转移反应的情况下,通过合成物性相近但酸性不同的氧化铝,用以作为裂化催化剂基质材料,在固定床反应器上考察了催化裂化过程,基质酸性位类型及基质表面Lewis及Brönsted酸性位接触顺序对小分子烯烃(丙烯、丁烯)收率的影响。结果表明,催化裂化生成小分子烯烃过程中,分子筛与基质所呈现出的反应特点存在较大的区别,前者活性虽高,但总的氢转移反应活性过强。基质材料裂化活性虽低但其表面以氢负离子转移反应为主,反应路径角度更有利于小分子烯烃收率的提高。另外,基质表面存在Brönsted酸性位,或原料油首先与基质表面Lewis酸性位相接触再与Brönsted酸性位反应的预裂化过程,会在促进裂化反应发生的同时抑制总的氢转移反应,更有利于小分子烯烃收率的提高。     

976 nm高效率半导体激光器

976 nm高效率半导体激光器是这几年研究的热点,在固体激光器泵浦领域有广阔的应用。通过优化半导体激光器材料外延结构中包覆层和波导层的铝组分,降低了工作电压;通过采用微通道水冷系统,并进行优化降低了热阻,从而提高了室温下的电光转换效率。25℃室温连续测试条件下,1 cm的线阵列(巴条),2 mm腔长,50%填充因子,在110 A下,出光功率为114.2 W,电压为1.46 V,电光转换效率为71%。15条微通道封装成的垂直叠阵,进行光束整形后,获得了室温976 nm连续输出功率1 500 W,电光转换效率大于70%。     

关于分数次Marcinkiewicz积分在Hardy空间上的有界性

本文研究了核函数粗糙的分数次Marcinkiewicz积分μΩ,α在Hardy空间上的有界性.利用Hardy空间的原子分解定理,获得了算子μΩ,α的H1,Ln-nα型和(Hp,Lq)型的有界性结果.     

SP800-53A信息安全控制措施评估研究

主要介绍了SP 800-53A特别出版物的目标、内容和应用,研究了对信息安全控制措施实施评估的过程,分析了对风险管理框架和美国信息安全保障体系的支撑作用.     

SP800-53信息安全控制措施研究

主要介绍了SP 800 - 53特别出版物的目标、内容和应用,研究了信息安全控制措施的分类和基线以及如何选择安全控制措施,分析了对风险管理框架、FIPS信息安全标准和美国信息安全保障体系的支撑作用.     

ICT供应链风险管理标准研究

分析了ICT供应链风险管理的研究现状,解析了ICT供应链风险管理相关标准,并从ICT供应链风险的来源、管理以及安全控制方面重点探讨了NIST SP 800-161的主要内容。最后提出了积极制定符合我国国情的ICT供应链风险管理标准等工作建议。     

Zn_(1-x)Mn_xTe/ZnTe超晶格的多声子拉曼谱

Ｚｎ１－ｘＭｎｘＴｅ／ＺｎＴｅ超晶格的多声子拉曼谱陈辰嘉李海涛王学忠李晓莅孙允希王晶晶周赫田（北京大学物理系北京１００８７１）Ｍｕｌｔｉ┐ｐｈｏｎｏｎＲａｍａｎＳｐｅｃｔｒａｏｆＺｎ１－ｘＭｎｘＴｅ／ＺｎＴｅＳｕｐｅｒｌａｔｉｃｅＣｈｅｎＣｈｅｎｊ...