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

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

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

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

基于单元规则度信息的提取和实现的Data-Path布局算法

提出了一种有效的Data-Path布局算法DPP,该算法基于一个新的"不规则度"概念来评价电路单元之间连接关系的规则性信息,并根据这些规则性信息提取规则化的单元形成规则矩阵;然后算法把规则矩阵转化为二次布局的约束条件进行最终的布局.与Cadence公司布图工具SE的对比实验表明,DPP是一种有效地针对Data-Path子电路的布局算法,它在时延平衡方面可以得到非常满意的结果.     

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

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

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

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

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

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

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

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

一种密钥管理的新方案

本文提出了一种新的4级密钥管理方案.该方案通过一个密码操作核心的精心设计,为各用户使用系统的各种功能提供了方便的手段,同时确保了系统的安全性.此外,该方案还大大降低了系统开发费用和保密通信的复杂度.因此,该方案克服了以往方案中的缺陷,已被正在开发的系统SUTU采用.     

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

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