基于SS序列集成电路布线技术

集成电路（IC）是在半导体基片上形成的完整的电子线路。当前芯片里的电路与系统日趋复杂,超大规模集成电路（VLSI）设计技术水平也在逐渐提高。VLSI设计中一般采用分级设计的方法。布图设计过程是整个VLSI分级设计中非常关键的步骤之一。基于Single-Sequence的集成电路布图就是在SS编解码的应用下对芯片中各单元的摆放进行优化从而达到芯片面积利用率最大化。本文重点介绍了在SS序列生成版图后各单元间连线的设计以及如何根据水平／垂直约束图提取版图中各单元的坐标。并根据要连模块的位置关系对其连线经过的模块进行有条件加线宽的处理。     

基于SS序列集成电路不规则模块布图算法

针对Single-Sequence的集成电路布图,在SS编解码应用对芯片中各单元的摆放进行优化,从而达到芯片面积利用率最大化.重点介绍了利用SS序列解决不规则模块摆放问题,使得SS布图功能更灵活多变.     

基于序列的子问题相容性技术

研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性(SSAC),并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2～3倍。     

基于图论模型的一类集成电路布线算法

针对具有曼哈顿模型的一类通道布线,提出了一个依据图论模型的最优轨道高度布线算法。算法根据通道上结点的水平约束图和垂直约束图,依次安排好每一个结点的布线轨道,进而通过通孔可以把所有的结点在2层轨道上布线完成。通过计算分析,该算法相对以前的算法能够达到更优的布线高度,并且其复杂性保持不变。     

装配序列规划问题的CSP模型及其符号OBDD求解技术

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.     

基于序列图像车道线检测的自主导向方法

为了改善视觉导向的精度和计算性能,提出一种基于序列图像车道线检测的自主导向方法。首先,将获取的图像转换成HSV图像格式,划定车道线感兴趣区域(Region of Interest, ROI),对S和V通道的图像采用提出的区域垂直斜分OTSU算法实现二值化;然后,融合H、S和V通道二值化后的图像,对其进行边缘提取,依据提出的参数约束Hough变换,辨识出车道标识线;最后,结合序列图像的车道线位置,计算出车体的位姿,根据建立的导向控制模型,控制无人智能车的左右打轮幅值。理论分析和实验结果表明,该方法可以增强车道线辨识的实时性和鲁棒性,提高导向的精度。     

基于蚁群优化算法的目标拆卸序列规划

为了能够以较高的效率求解出产品中目标零件的拆卸方案,基于产品中零件间的拆卸优先约束关系,提出并建立目标零件的拆卸层次信息图模型,将目标零件的拆卸序列规划问题转化为对该图模型中具备最优值的路径的搜索和寻优问题.同时,提出一种改进蚁群优化算法,以实现对目标零件拆卸层次信息图的构建和对拆卸方案的搜索与寻优.最后通过实例验证了该方法的可行性和计算效率.     

建设校园网络结构化布线系统

为给全校教师、科研人员、管理人员、学生提供一个先进的计算机网络环境,并将计算机引入教学、科研、管理和学习等各个领域,学校应计划在校内建立校园内部网并通过千兆位链路连接与国际互联网相连,而网络结构化布线是建立校园网络的根基,如何进行科学的网络布线是笔者要讨论的重点内容。     

协同模板中几何约束关系的表示与解释

模板设计标记语言TDML是协同模板中描述设计信息的标记语言，主要用于表示设计对象的部件信息、部件属性信息、部件位置装配关系信息、操作和连接信息等。设计对象是由一系列部件按照一定的约束关系装配而成的，所以约束信息是设计对象重要的结构信息。文章分析并总结了设计对象之间的几何约束及装配位置关系，采用TDML语言加以描述和解释，并用三维建模器ACIS实现了设计部件间位置关系的可视化。     

基于UML的数据库建模技术研究

论文主要探讨以UML对象类图作为数据库建模的方法：在UML的对象类中得到关系模式的键,把关联的多重性分配到关系模式中去,把泛化（继承）联系转换为关系模式,把行为（操作）转换为触发器和存储过程;从而将UML与关系数据库技术相结合,方便数据库的设计。     

基于双重约束的角色挖掘算法

针对基于角色的访问控制(role-based access control,RBAC)中的约束问题,提出一种基于双重约束的角色挖掘算法。将用户权限分配关系转化为二分图表示,在约束条件下,利用二分图中寻找最小完全二分图覆盖的方法,得到满足权限基数约束和用户基数约束的初始角色集,通过图优化的方法优化角色状态构建角色层次,得到最终的角色集。实验结果表明,利用该算法得到的角色集,能够有效实施约束策略,保证RBAC系统的安全。     

基于Single-Sequence布图规划边界约束问题的研究

布图规划是VLSI设计中非常重要的步骤。在计算机辅助设计中,布图被表示成编码以使其容易被计算机处理。Single-Sequence就是一种非常有用的表示布图的编码方法。一个布图中,一些模块如输入输出模块,必须放置在芯片的边界处,这种限制被称为边界约束。本论文提出了用模拟退火算法寻求最优布图的方法,有效地解决了布图规划的边界约束问题。     

基于Single-Sequence布图规划边界约束问题的研究

布图规划是VLSI设计中非常重要的步骤.在计算机辅助设计中,布图被表示成编码以使其容易被计算机处理.Single-Sequence就是一种非常有用的表示布图的编码方法.一个布图中,一些模块如输入输出模块,必须放置在芯片的边界处,这种限制被称为边界约束.本论文提出了用模拟退火算法寻求最优布圈的方法,有效地解决了布图规划的边界约束问题.     

基于图的具有时空约束的可信赖委托授权模型分析

分布式环境下需要可传递授权机制,而传统委托授权模型的委托授权不但缺乏对时间和空间的约束,而且仅是基于主体间的信任关系人为的确定可委托授权的主体,是不精确且模糊的。针对上述问题,文章提出了基于图的具有时空约束的可信赖委托授权模型,不仅利用模糊理论来确定可信赖的委托主体,而且增加了时间和空间的约束,分析并解决了循环授权和授权撤销问题。该模型满足了应用中的时空约束、可信赖传递授权等安全需求,具有普遍适用性。     

一种基于最少边数的最短路径算法

确定两点之间最短路径,通常要求该路径满足两点之间的权之和最小。为此采用层次遍历图的思想,设计了一种新的结构存放路径选择信息,找到一种确定这种最短路径的算法,并给出了算法描述以及实例。     

基于Client/Server数据完整性约束的实现技术

主要讨论基于Client/Server数据完整性约束及其如何实施了企业业务规则，并以SQLServer和PowerBuilder5．0为例，介绍了数据完整性约束的实现技术。     

一种结合图割与双水平集的图像分割方法

针对水平集方法在图像分割中需要多次迭代,且计算量大的问题,提出一种基于图割与双水平集的图像分割方法。首先在目标边界内外部各设置一条初始轮廓线和一个阈值,通过双水平集方法对轮廓线进行演化。当轮廓线的能量变化率小于给定阈值时,终止水平集演化。将得到的两条轮廓线化为源点和汇点,通过图割方法得到最终目标边界。该方法有效减少了水平集迭代次数,提高了分割效率,而且给出了一种终止水平集迭代的方式。实验表明该方法具有较好的分割效果和较高的分割效率。     

一种设计分解的正确性证明

二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示．通过设计分解可以提高几何约束求解的效率和数值稳定性．给出了一种基于图论的设计分解方法及其正确性证明．该方法可以（1）处理结构欠约束系统的分解;（2）检测出冗余约束．分解算法在有限步内终止,其结果是结构相容的