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值的风／光／蓄组合；然后通过改变风力发电机的容量，优选出多个与不同容量风力发电机对应的既能满足用户用电要求同时总的设备购置成本又是最低的风／光／蓄组合，比较它们的成本最终唯一确定出以最小投资成本满足用户用电要求的优化的系统配置。

CAD/RP系统间数据模型的转换方法与发展

分析了当前 CAD和 RP系统间数据模型的各种转换方法，并指明了进一步的发展方向。 STL交换标准的局限和不足已日趋明显，由 CAD模型直接分层得到的 CLI格式将成为与 STL文件并存的一种接口格式。

CAD/CAM一体化的应用与开发

文章概要地介绍了CAD/CAM系统的结构、CAD/CAM一体化的工作流程,提出实现CAD/CAM一体化的几种可行方案,并以具体零件机床为例,给出从设计到数控编程和机床加工的全过程。

Cadê o carbono que estava aqui?

2007

Progettazione e sintesi di nuovi antagonisti CB1 a struttura pirazolica come potenziali radiofarmaci per la PET imaging

Cannabinoid receptors are members of the large family of G-protein coupled receptors. Two types of cannabinoid receptor have been discovered: CB1 and CB2. CB1 receptors are localised predominantly in the brain whereas CB2 receptors are more abundant in peripheral nervous system cells. CB1 receptors have been related with a number of disorders, including depression, anxiety, stress, schizophrenia, chronic pain and obesity. For this reason, several cannabinoid ligands were developed as drug candidates. Among these ligands, a prominent position is occupied by SR141716 (Rimonabant), which is a pyrazole derivative with inverse agonist activity discovered by Sanofi-Synthelabo in 1994. This compound was marketed in Europe as an anti-obesity drug, but subsequently withdrawn due to its side-effects. Since the relationship between the CB1 receptors’ functional modification, density and distribution, and the beginning of a pathological state is still not well understood, the development of radio-ligands suitable for in vivo PET (Positron Emission Tomography) functional imaging of CB1 receptors remains an important area of research in medicine and drug development. To date, a few radiotracers have been synthesised and tested in vivo, but most of them afforded unsatisfactory brain imaging results. A handful of radiolabelled CB1 PET ligands have also been submitted to clinical trials in humans. In this PhD Thesis the design, synthesis and characterization of three new classes of potential high-affinity CB1 ligands as candidate PET tracers is described.