The design and verification of FPGA CAD toolset

This paper introduces a complete CAD toolset for the implementation of digital logic in a Field-Programmable Gate Array (FPGA) platform. Compared with existing academic toolsets, this toolset introduces formal verification in each step of the tool flow, especially the formal verification of the configuration bitstream. The FPGA CAD tool verification flow using Formality is presented in detail. Using plug-in technology, we have developed an integrated FPGA design kit to incorporate all tools together.

电子级气体N2、H2、O2、Ar、He、HCl、CO2、NH3 28种杂质分析技术及质量监控

于G批量导入至Hzhangdi

Effects of annealing treatment on the formation of CO2 in ZnO thin films grown by metal-organic chemical vapor deposition

Post-growth annealing was carried out on ZnO thin films grown by metal-organic chemical vapor deposition (MOCVD). The grain size of ZnO thin film increases monotonically with annealing temperature. The ZnO thin films were preferential to c-axis oriented after annealing as confirmed by Xray diffraction (XRD) measurements. Fourier transformation infrared transmission measurements showed that ZnO films grown at low temperature contains CO2 molecules after post-growth annealing. A two-step reaction process has been proposed to explain the formation mechanism of CO2, which indicates the possible chemical reaction processes during the metal-organic chemical vapor deposition of ZnO films.

基于知识重用的服装CAD系统

针对当前CAD软件对设计知识重用支持不足且大多基于WIMP交互方式等问题,设计并实现一个基于知识重用的服装工艺设计系统。该系统框架主要包括知识推荐和知识编辑2个模块。针对知识推荐和知识编辑,分别提出基于草图相似性的实时知识推荐算法和基于笔手势的知识编辑方法,给出系统的应用实例。该系统已应用于北京某羊绒企业的生产中,实践表明该系统能改善人机交互,提高设计效率。

CO2置换开采天然气水合物研究进展

介绍了近年来CO2置换开采天然气水合物技术的研究进展；论述了CO2与天然气水合物中CH4置换反应在热力学上的可能性；认为正确理解置换反应机理、探索新的反应技术并提高反应速率是置换开采技术走向产业化的关键。

Effects of metal catalysts on CO2 gasification reactivity of biomass char

The effects of five metal catalysts (K, Na, Ca, Mg, and Fe) on CO2 gasification reactivity of fir char were studied using thermal gravimetric analysis. The degree of carbonization, crystal structure and morphology of char samples was characterized by X-ray diffractometry (XRD) and scanning electron microscopy (SEM). The CO2 gasification reactivity of fir char was improved through the addition of metal catalysts, in the order K>Na>Ca>Fe>Mg. XRD analysis indicated that Na and Ca improved the formation of crystal structure, and that Mg enhanced the degree of carbon structure ordering. SEM analysis showed that spotted activation centers were distributed on the surface of char samples impregnated with catalysts. Moreover, a loose flake structure was observed on the surface of both K-char and Na-char. Finally, the kinetic parameters of CO2 gasification of char samples were calculated mathematically.