LSIS-III VLSI CAD 系统集成的研究

Submitted by zhangdi (zhangdi@red.semi.ac.cn) on 2009-04-13T11:45:31Z

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.

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

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

风光互补发电系统的优化设计（I）CAD设计方法

给出了一整套利用CAD进行风光互补发电系统优化设计的方法。为了精确确定系统每小时的运行状态，采用了更精确地表征组件特性及评估实际获得的风光资源的数学模型。为了寻找出以最小设备投资成本满足用户用电要求的系统配置，首先在风力发电机容量固定不变的前提下，计算了与该容量风力发电机匹配的不同容量的PV方阵和蓄电池所组成的风／光／蓄组合的全年功率供给亏欠率LPSP，根据总的设备投资成本最小化的原则筛选出一组与该容量风力发电机对应的满足用户给定系统供电可靠性即LPSP值的风／光／蓄组合；然后通过改变风力发电机的容量，优选出多个与不同容量风力发电机对应的既能满足用户用电要求同时总的设备购置成本又是最低的风／光／蓄组合，比较它们的成本最终唯一确定出以最小投资成本满足用户用电要求的优化的系统配置。

Homogeneous Epitaxial Growth of N,N '-di(n-butyl)quinacridone Thin Films on Ag(110)

The structural evolution of the ordered N-N' dibutyl-substituted quinacridone (QA4C) multilayers (3 MLs) has been monitored in situ and in real time at various substrate temperatures using low energy electron diffraction (LEED) during organic molecular beam epitaxy (MBE). Experimental results of LEED patterns clearly reveal that the structure of the multilayer strongly depends on the substrate temperature. Multilayer growth can be achieved at the substrate temperatures below 300 K, while at the higher temperatures we can only get one ordered monolayer of QA4C. Two kinds of structures, the commensurate and incommensurate one, often coexist in the QA4C multilayer. With a method of the two-step substrate temperatures, the incommensurate one can be suppressed, and the commensurate, on the other hand, more similar to the (001) plane of the QA4C bulk crystal, prevails with the layer of QA4C increasing to 3 MLs. The two structures in the multilayers are compressed slightly in comparison to the original ones in the first monolayer.

Improvement of FEM's dynamic property

The discretization size is limited by the sampling theorem, and the limit is one half of the wavelength of the highest frequency of the problem. However, one half of the wavelength is an ideal value. In general, the discretization size that can ensure the accuracy of the simulation is much smaller than this value in the traditional finite element method. The possible reason of this phenomenon is analyzed in this paper, and an efficient method is given to improve the simulation accuracy.

Di-nuclear systems studied with the velocity filter SHIP

Various nuclear reactions like quasi-fission, fusion-fission or particle and cluster evaporation from excited compound nuclei were studied in heavy-ion reactions at the velocity filter SHIP of GSI. The velocity filter offers the possibility to detect all reaction products under zero degree relative to the beam direction. Together with the measurement of the product velocity distribution this allows for an identification of the underlying reaction mechanism. This article is focussed on reactions of Mg-25 and Ni-64 beams on Pb-206,Pb-207 targets at energies of 5.9 x A MeV and 8.7 x A MeV. Besides evaporation residues from Mg-25 + Pb-206 collisions we found evidence for rotation and quasi-fission of nuclear molecules formed in the entrance channel after the capture stage. The break-up of the systems showed a preferred clustering leading to isotopes in the region 84 <= Z <= 88 and 122 <= N <= 127 of the chart of nuclei.

Nuclear potential and fusion cross sections for synthesizing super-heavy elements in di-nuclear systems

A double folding method with simplified Skyreme-type nucleon-nucleon interaction is used to calculate the nuclear interaction potential between two nuclei. The calculation is performed in tip-to-tip orientation of the two nuclei if they are deformed. Based on this methods, the potential energy surfaces, the fusion probabilities and the evaporation residue cross sections for some cold fusion reactions leading to super-heavy elements within di-nuclear system model are evaluated. It is indicated that after the improvement, the exponential decreasing systematics of the fusion probability with increasing charge number of projectile on the Pb based target become better and the evaporation residue cross sections are in better agreement with the experimental data.