基于规则的光学邻近矫正中规则的相关处理

讨论了如何选择适当的规则,如何建立简洁实用的规则库,如何应用规则库.提出了四种主要的光学邻近矫正规则,在实验结果中列举了规则库中的部分数据.利用规则矫正后的版图光刻得到的硅片图形有了明显的改善.规则库的自动建立部分 (OPCL)是基于规则的光学邻近矫正系统的重要组成部分.     

VEAP:基于全局优化的有效VLSI布局算法

本文中，针对规则的VLSI设计模式（门阵列，标准单元等），我们提出一种新的非常简单有效的布局算法．该算法基于严格的数学分析，可以证明能够找到全局最优解．在实验中发现，对于很大规模的电路，我们的算法比现有的所有算法都快．此外，我们的算法还能够同时适应于线长优化和时延优化模式．     

VLSI和PCB双层布线中的通孔最少化算法

本文提出了一个新的通孔最少化层分配的图模型．该模型克服了传统层分配算法对通孔度数和位置的限制，允许通孔自由地以任意度数和任何需要的位置出现．模型中还提出了通孔秩的概念，它比较能更精确地反映通孔的本质．在此基础上，本文将通孔最少化问题转化为图的最大割问题，并提出了一种启发式算法去求解图的最大割．算法已用Ｃ语言在ＳＵＮ工作站上实现．实验结果表明，算法十分有效且稳定．     

基于距离信息扩展原理的物体识别方法

利用稀疏距离图象与灰度图象相结合，通过射影变换可使灰度图象特征有条件地获取距离信息，这称为 基于射影变换的距离信息扩展原理。利用这些距离信息可计算物体表面平面图形的欧氏空间不变量并对景物中的 物体产生假设。由于初始假设建立在可靠的基础上，并使用了带反馈的混合控制策略，使这种基于模型的物体识别 定位技术具有实用的前景。此文讨论了整个方法的原理及其实施方案，并实验验证了原理的正确性与有效性。     

求解机械装配规划的新方法

本文提出一个求解机械装配规划的算法,其计算量～O(sN~2),其中s是零件所有可能装配方向的个数,N是工件的零件数(一般s～O(N)).而现行的求机械装配规划的算法,其计算量均随N的增加按指数律增加.     

分布系统中多米诺效应的分析与消除

分布系统中发生故障后,错误信息在进程间的传播,以及由此引起的系统恢复过程中的多米诺效应是分布系统容错恢复技术所面临的最重要与最困难的问题.目前各种研究工作偏重于具体的系统动态恢复技术.本文的研究重点在于首次揭示多米诺效应本身固有的数量特征及其与分布系统技术参数间的联系,给出多米诺效应动态消除技术,引入系统额外开销的下限,并针对动态技术的缺点,探讨多米诺效应的静态消除技术,为解决困难开辟新途径.     

清华大学计算机科学与技术学科本科专业教育培养体系

<正>ISBN:9787302253785定价:48.00元出版社:清华大学出版社本书阐述了清华大学计算机科学与技术系在高水平专业人才培养上的定位和目标以及人才培养理念和培养模式,在计算机科学与技术专业的知识体系、专业能力、课程体系、指导性教学计划和第二课堂教育等方面,完整地介绍了计算机系的     

V型立体纸雕的几何理论与算法的研究

立体书是一种独特的纸张艺术形式,有着精细的几何结构.针对一类特殊的V型立体纸雕进行了系统性的研究,给出了V型立体纸雕可实现性的充分条件,使其可以只借助2张支撑面的力量进行打开和关闭,同时在这个过程中所有的面片都保持刚性并且相互不产生自交.基于这些充分条件,文中分别实现了一个计算机辅助交互V型纸雕设计工具,以及一个基于体方法的自动生成算法.     

城市建筑点云的自适应分割方法

自动地提取城市建筑点云数据中的高层次结构是城市数字化等应用的重要基础步骤.通过提出"自适应分割"的概念来自动地获取三维城市建筑点云的一种灵活、层次化的结构表示.由于城市建筑的单元分布大都呈一种级联或者交错的形式,与之前采用全局规则格点进行分析的方法不同,文中采用一种自适应的方法对建筑点云进行分析;也可将自适应分割的概念用于建筑图像的分析上.最后给出了在不同类型的建筑点云和图像进行分析的结果以及一些相关的应用.     

基于Flash的关键变量容错存储技术研究

嵌入式系统中往往需要保存少量复位或掉电后依赖的关键变量,利用处理器片内Flash存储参数已经成为常规选择,但与常规Flash存储器件相比,片内Flash擦除次数更为有限,难以满足系统生命周期要求。研究了如何延长微处理器片内Flash使用寿命以及关键系统变量容错存储技术,针对典型嵌入式系统应用,分析Flash擦写管理机制,基于写磨损均衡算法进行改良,进一步提升系统容错能力。该技术在基于STM32单片机硬件平台进行了测试验证。