基于等价性形式验证的逻辑综合引擎设计研究

本文描述了一个基于等价性验证的逻辑综合引擎，它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性，所以综合引擎本身的正确性是本文首要关注的问题。为了提高等价性验证引擎的工作效率，本文还提出并实现了一系列保持电路相似性的方法。最后，本文以SYNOPSYS的等价性验证工具FORMALITY作为比较，试验结果表明本系统是有效的。     

基于实际光线追迹的共形光学系统设计

提出了基于实际光线追迹的共形光学系统设计方法,获得了较好的设计结果.共形光学系统具有偏心、倾斜特性,需用两个视场参量来描述--关联视场和瞬时视场.随着关联视场的变化,系统的球差与各类轴外像差呈现出动态变化特性.共形光学系统中,像散和彗差是最重要的两种像差,强烈地影响系统成像质量.与一般的光学系统相比,共形光学系统光学设计难度进一步提高.已发表的有关共形光学系统设计的文章都基于泽尼克多项式像差理论,限制了系统像差的进一步详细分析.为此,通过建立实际光线追迹像差模型有效克服了上述难点.实例结果表明,该方法能有效指导共形光学系统设计.最后在整个关联视场内得到较好的成像质量.     

“军卫一号”工程的实施

我院于1999年3月着手启动医院信息系统(“军卫一号”工程)建设，按照医院信息系统中的费用信息流和病人信息流划分为两期进行实施：从2000年元月开始，根据费用信息流实施运行了门诊挂号、门诊划价收费等子系统，启用了80多个工作站；从2002年起又根据病人信息流实施了门诊医生工作站、病房医生站等，已覆盖了医院的各个医疗科室和职能部门，共设工作站300多台。目前，医院信息系统运行稳定，提高了医院的科学化、规范化管理水平和工作效率。在“军卫一号”工程建设中，我们除了加强医院信息化建设中的组织领导、加强人员的计算机培训之外，主要做了以下几点：     

电子产品的散热设计

随着电子产品的复杂性提高,产品的发热也随之上升.对于现在的产品设计而言散热已经成为一个挑战,这是每个设计人员都必须面对的问题.本文就热设计做以介绍.     

大规模MIMO信道测量与建模综述

归纳了国内外已开展的大规模多天线协作通信系统的无线信道测量活动,总结了国际标准化机构关于大规模多天线无线信道的相关提案和候选模型,分析了大规模多天线无线信道在实际测量环境中的传播特性,基于实际测量的问题,讨论了传统的建模方法以及基于大数据理论和人工智能理论的大规模多天线无线信道建模方法,最后提出了未来的研究方向。     

基于PSTN网的远程视频监控系统

计算机和网络的迅速普及,以及人们对各种视频信息的迫切需求,使得更多的视频图像将通过网络来传输。同时,随着计算机多媒体技术,特别是图像压缩技术的不断发展,视频业务,如可视电话、视频监控也焕发了新的活力。本文介绍一种ＰＳＴＮ网远程视频监控系统的设计方案。 系统简介 系统由监控现场、监控中心、通信网、软件构成。 监控现场 监控现场的原理如图１所示,控制解码器用来控制云台、镜头、灯光、雨刷等动作。摄像机用于摄取监视现场的图像,拾音器用于监听现场的声音。视音频切换单元用于从多个监视目标选取一个目标的视音频信号…     

JEM-1010型透射电镜计算机故障的检修

我所电镜室的JEM-1010型透射电子显微镜采用计算机控制系统,通过计算机可设定电镜的一些工作条件和设定照相底片记录文字,它还具有显示各工作点的数值、机内测量数值等功能,它令电镜的操作变得比较简便。在这台电镜几年的运转过程中,该计算机曾数次出现所谓“死机”的故障,电镜计算机“死机”的原因很多,现将我室电镜计算机因电器方面的故障而引起“死机”的情况介绍如下,供同行们参考。JEM-1010型透射电镜有一计算机操作显示屏,它显示电镜有关的各种数据、设定,当计算机出现“死机”时,则不能通过键盘输入指令(在显示屏上光标不移动),这…     

水文测验工作质量管理上的三个问题

论述９０年代相继颁布的新水文测验技术标准的适用条件和范围。介绍标准中没有提出质量的指标值时该值的制订方法，并提出质量控制要注意的问题。     

多色飞秒激光场产生高能量超宽带太赫兹辐射的研究进展

飞秒激光聚焦在空气中能够产生高能量超宽带的太赫兹辐射,这种强场太赫兹辐射在物态操控、太赫兹通信、生物医学成像等领域具有重要的应用价值。采用双色乃至多色激光场是提高气体等离子体中太赫兹辐射强度的关键路径之一。本文回顾了多色场驱动空气等离子体太赫兹辐射源的发展历程,按照单色场、双色场到三色场的发展脉络,从实验方案、理论原理、优化探索三方面综述了国内外多色飞秒光场驱动气体等离子体太赫兹辐射的研究现状和最新成果,并对该方向的未来发展进行了展望。     

高剂量离子注入直接形成Ge纳米晶的物理机理

研究了单束双能高剂量Ge离子注入、不经过退火在非晶态SiO2薄膜中直接形成镶嵌结构Ge纳米晶的物理机制．实验中利用不加磁分析器的离子注入机，采用Ge弧光放电离化自动形成的Ge+和Ge2+双电荷离子并存的单束双能离子注入方法，制备了1e16～1e18cm－2多种剂量Ge离子注入的Si基SiO2薄膜样品．用GIXRD表征了Ge纳米晶的存在，并仔细分析得到了纳米晶形成的阈值剂量．通过TEM分析了Ge纳米晶的深度分布和晶粒尺寸．用SRIM程序分别计算了双能离子在SiO2非晶层的射程和深度分布，与实验结合，得到纳米晶形成的物理机制，即纳米晶的形成与单束双能离子注入时Ge＋和Ge2＋相互碰撞产生的能量沉积在SiO2中形成的局域高温有关．