一种关于图形拼接的算法

现代工程技术的发展，使它涉及的对象系统越来越大，为了对一个规模很大的系统结构图像者研究，通常要借助于计算机工具。而为了将庞大的结构图像输入，我们可以其拆散成各个局部的结构图，用一定的辅助工具（如扫描仪）等分别送入，而在计算机内部就存在如何将带原的问题，我们在这里为解决这个问题提出了一种有指导性的自动拼接算法。     

一种新颖的基于层划分的等价验证方法

提出了一种基于SAT问题的组合电路等价验证算法，该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为：1)基于层划分的配对点生成方法；2)基于值控制的回溯过程。ISCAS’85的实例很好地证明了该算法的有效性。     

超深亚微米集成电路串扰估计及优化

采用RLC模型来估计互连线间的耦合噪声并对模拟结果进行分析,在此基础上,提出了几种不同的算法实现了带串扰约束的集成电路布线结果调整.     

基于SRAM的FPGA的互连时延模型

本文提出现场可编程门阵列FPGA中的互连资源MOS传输管时延模型.首先从阶跃信号推导出适合50%时延的等效电阻模型,然后在斜坡输入的时候,给出斜坡输入时的时延模型,并且给出等效电容的计算方法.结果表明,本文提出的时延模型快速并且足够精确.     

计算天线相位中心的移动参考点法

通过对天线的相位中心和等相位面的计算和分析,提出了移动参考点法,并通过此法得出了角锥喇叭的相位中心、等相位面宽度以及它们与相位偏差之间的关系.由Muehldorf等人采用的求远场相位面曲率中心法只是本方法的一种特殊情况.     

山地住宅建筑设计标准化的途径

通过调查研究,我们深深地感到过去为平地所准备的住宅标准设计,用于山区有很大的局限性,特别是在坡度较陡,地形条件较复杂的情况下,更难以符合经济上和使用上的要求。根据党的八届十中全会所提出的,以农业为基础、以工业为主导的发展国民经济的总方针,在住宅建筑设计工作中,如何进一步节约用地,节约劳动力以大力支援农业;节约建筑材料、降低造价、缩短工期,是有极其重大意义的。为此,我们作了一些试探性的研究工作,并在此基础上,对山地住宅标准设计问题,提出以下三点建议。     

时延差驱动的门级功耗估算算法

提出一种基于 ROBDD图和时延差的组合电路门级平均功耗估算算法 ,该算法适用于单位延迟模型和一般的延迟模型 .算法用时匀质 Markov链模型描述信号的变化 ,电路中各节点的开关活动率用功能翻转与毛刺翻转之和来衡量 ;根据信号之间的再汇聚特性生成超门 ,构造局部的 ROBDD图 (最简有序二叉决策图 )来估算功能翻转 ;根据信号到达单元门各输入端之间的延迟差 ,构造毛刺产生模型 ,估算毛刺翻转 .该算法通过构造节点的有约束超门缩小了ROBDD的规模 ;在考虑信号再汇聚而导致的信号相关性的同时 ,还比较精确地考虑由于时延差而产生的毛刺功耗 .实验结果显示 ,与 Monte- Carlo统计模拟方法相比 ,算法的估算精度在 10 %以内 ,运行速度要快一个数量级 .     

美能源部计划勘探蓄水层的贮能潜在力

美国能源部(DOE)久已注视以地下蓄水层作为贮存热能的一种适当场所。如果与各界研究人员在1980年7月1日缔交的协议已经如期办妥。那么,这种设想不久就可以付诸试验。合同上将提到四个部分已于上一个秋季把建议送到 DoE。所有建议包括加热的冷或却的     

时序功能块的提取

介绍了基于功能块提取器（ＤＬＦＥ）工具的时序功能块提取工具和方法。整套工具用于从版图中构造层次化电路,以利于电路的验证和理解。时序功能块提取通过时序功能块的普遍特征来定位时序功能块,避免了手工定位的盲目性,大大加快了构造层次化电路的速度。实验证明,工具对时序模块的提取是十分有效的。     

基于矢量斜率的分段线性拟合*

介绍了用统计矢量斜率进行平面数据点分段线性拟合的算法.对于欲拟合的一系列平面数据点,一般是有先后顺序的.首先给出了矢量斜率的定义,然后计算每个平面数据点的统计矢量斜率,根据各点矢量斜率值接近的情况,将数据点分割成组,拟合各组数据形成线段,把各线段首尾连接起来就得到了平面数据点的分段线性拟合.定义的矢量斜率包含大小和方向两方面信息,主值区间为（－4～＋4）,它在主值区间的变化与角度在（－180°～180°）区间中的变化一一对应,且它们的关系曲线有很好的线性度.使用传统斜率进行分段线性拟合,存在斜率值与角度的关系曲线线性度差、斜率取值有时趋向无穷等问题,这些问题影响了拟合的精度,并限制了算法的使用范围.矢量斜率克服了上述问题,从而提供了拟合曲线的质量,且算法可适用于任意曲线.算法时间复杂度为线性.