论文部分内容阅读
本文提出了统一通孔少化和线长量小化层分配的图论模型。它考虑不同层电性能不等对本长分布的特殊要求，给出了指定层上线长最小经的形式化描述。
一种用于VLSI的统一通孔最小化和线长最小化层分配算法
【摘 要】
：
本文提出了统一通孔少化和线长量小化层分配的图论模型。它考虑不同层电性能不等对本长分布的特殊要求，给出了指定层上线长最小经的形式化描述。
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1997年4期
【基金项目】
：
国家自然科学基金
其他文献
高级综合技术的研究在当前倍受关注．高级综合的第一步是将以算法形式给出的数字系统的行为描述转化为综合设计的内部表示，而后其它于任务在此基础之上进行．在对高级综合过程进行
本文提出将三次Ｂ－样条小波变换用于汉字字形无级放大处理的算法。该算法是在点阵汉字字形转化成轮廓线描述字形的基础上，将小波变换中的合成过程用于汉字字形的轮廓线放大，小波变
制备了使用于融雪除冰的钢纤维石墨导电混凝土,钢纤维掺量为3.5%。进行了不同交流电压下导电混凝土升温试验,通过在混凝土表面布设12个温度传感器观察升温过程的温度场。试验
比较普通混凝土与再生骨料混凝土,两者性能存在一定的差异,再生混凝土的抗剪性能还末见研究成果发表,两者的抗剪性能可能存在不同而需要研究。试验采用等高变宽梁,考虑混凝土
EFFECT OF ROSIGLITAZONE AND METFORMIN ON CLOMIPHENE CITRATE RESISTANCE IN WOMEN WITH POLYCYSTIC OVAR
Polycysticovarysyndrome(PCOS)isbyfar themostcommoncauseofhyperandrogenicanovu latoryinfertility.AlthoughPCOSwasdescribed morethanhalfacenturyago,theunderlyinget
期刊
本文使用随机3－SAT实例模型，对算法变换思想指导下设计的吴方法求解可满足性问题的算法进行了实验，并与语义归结、支持集归结和DP算法进行了对比．
本文基于扩展串的概念，独立地提出了一种与标准遗传算法的优化问题等价的遗传算法，从理论上探讨了遗传算法的收敛条件与收敛速度等问题，给出了等价遗传算法平均收敛速度的解析表
本文把Ｄｅｍｐｓｔｅｒ使用的随机集合概念推广到了布尔代数上，并用这个推广了的概念讨论了信息源上的不确定性结构与假设空间上的不确定性结构之间的关系。
约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的ＣＬＰ部分演绎的过程。该过程以程序－目标为输入，经过一系列程序变换后终止，输出结果程序－目标对。该