摘要:本文给出了在具有n^1-ε台处理器的WRAM机器上实现的并行表压缩算法,其时间在杂性为O(mn^ε+(s²)/(n^1-ε)),这个算法达到了线性加速。

摘要:FOREST是一个立足于无约束通孔优化的新的布线算法,它从总体上将布线过程分为拓扑布线和物理布线两部分,并把两者视为相互联系的整体。作为一种启发式算法,它试图综合考虑布通率、布线空间、通孔数和连线总长等因素,算法打破横竖严格分层的限制,并允许不同层线段重叠,FOREST算法适用于一般的通道布线,特别是不规则边界的通道,一些实例的试算表明,FOREST算法具有较好的布线效果,尤其在减少通孔数上,取得了比较满意的结果。

摘要:本文讨论“无用写”给调度的可串行化检验带来的影响,首先,我们定义了写—写、写—读、读—写和读—读约束,证明了在上述约束下,若不存在无用写,调度的可串行化检验的时间复杂性是多项式界的,进而将上述问题推广到多版本系统,得到一系列类似的有用的结论。

摘要:本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。

摘要:本文介绍作者所提出的因素空间理论,它为概念描述提供了一般的数学框架,本文不加证明地列出了有关的基本数学命题和结论。

摘要:本文描述了用于电脑刺绣编程系统的图象预处理系统CEIP的设计方法和实现技术,CEIP系统采用平板扫描仪输入刺绣画稿,经过图象预处理系统的识别和处理,成适合刺绣的画稿,本系统所使用的图象处理算法和技术,明显地提高了刺绣样板的生产效率和绣品质量。

摘要:本文基于传播值的概念,提出了一个新的传播式启发式图搜索算法PRA及PRA,算法PRA是可采纳的,且在运行时间上优于算法RA,本文还基于约束消解的概念,研究了算法RA与PRA之间在运行结果上的关系定理。

摘要:本文给出一个采用LFU策略的汉字二级存储系统,该系统采用汉字点阵压缩存储、C-tree~(TM)管理汉字库,大大地加快了汉字的访问速度。本文还使用该系统进行汉字访问序列符合正态随机分布的实验,给出了初步的实验结果并对其进行了讨论。

摘要:在这篇论文里,我们重点讨论在C语言里嵌入面向对象的查询语言OSDL所遇到的矛盾及处理方法,完整地提出了在C中支持使用OSDL的宿主语言接口OSDL-C。文中提出的宿主语言接口设计思想,对于如何在过程性语言里嵌入面向对象及语义数据模型的查询语言具有一定普遍意义。