摘要：鲁迅毕生从事翻译工作，硕果累累，他的译本除单行者之外，有不少被列入各种丛书；他本人也主持过好几种翻译丛书，主要有中期的《未名丛刊》和后期的《科学的艺术论丛书》、《现代文艺丛书》、《文艺连丛》。

摘要：在片上系统(SOC)的设计中,常常需要把某些单元摆放在某一预定坐标线附近相对较小的区域内,这一约束的来源是,在总线结构中,通过总线传递的数据,应当同步地出现在总线上,不能有较大的时延,对带有预定坐标线对齐(PCA)约束的模块布局问题进行研究,导出了约束模块之间的一系列关系,由此得到满足约束布局的必要条件。并且设计了多项式时间复杂度的算法,能够确保得到可行的模块布局。使用ami33和ami49对该算法进行了测试。实验结果证明,算法是有效的。

摘要：本文围绕提高程序设计语言课程的教学效果,探索教学规则,对程序设计语言课程的基本特点进行了分析,提出了教师需要建立完整有序的课程概念体系,逐步展开课程内容的基本思路,并选择适合本课程特点的教学方法和必须把握的教学重点。

摘要：在模拟集成电路设计中,关于X轴和Y轴同时对称的Stack,以及模块之间的合并,对于增加器件之间的匹配和控制寄生是至关重要的.描述了模拟集成电路二轴对称Stack生成算法和模块合并算法.通过对于对称欧拉图和对称欧拉路径的研究,得出了多项理论结果.在此基础上,提出了时间复杂度为O(n)的伪器件插入算法、对称欧拉路径构造算法和二轴对称Stack生成算法.生成的Stack,不但关于X轴和Y轴对称,而且具有公共质心(common- centroid)的结构.还描述了模块合并算法,给出了计算最大合并距离的公式.该算法本质上是独立于任何拓扑表示的.实验结果验证了算法的有效性.

摘要：传统的PDF内部口令加密机制具有繁琐、认证方式单一的缺点.为了弥补这一不足,通过剖析PDF格式的结构和语法,探究Acrobat标准加密方式的机制和原理,总结出PDF文档加密的一般流程.并在此基础上提出一种新的加密机制,将解密方的本地用户信息作为参数融入到认证信息中.同时设计并实现了一个基于网络环境下的PDF数字版权系统,该系统可以在Acrobat外部对文档进行高效灵活地批量加密.

摘要：旅行商问题(Traveling Salesm an Prob lem,TSP)是组合优化中最典型的NP难问题之一,长期以来人们都在寻求快速高效的近似算法以在合理的计算时间内准确地解决大规模问题,并设计出许多高效实用的启发式和宏启发式算法,其中循环LK算法是性能最好和最具代表性的算法之一.作者研究了该算法的运行时间分布:通过对TSPLIB中大量不同规模的TSP实例的运行时间分布的统计分析和拟合,发现求解TSP问题的循环LK算法的运行时间分布很好地服从W e ibu ll分布,并进一步给出了该分布对求解TSP问题的物理意义.作者同时首次给出了循环LK算法求解TSP问题得到的解的性能分布以及由此得到的一些有实际指导意义的结论.

摘要：在VLSI设计中,多点互连是物理设计阶段的关键问题之一,而互连的点数等于2或大于2分别对应于Manhattan空间上有障碍时的最短路径问题和最小Steiner树问题,显然前者是后者的基础.连接图是研究最短路径问题的有效工具,已有的典型连接图包括基于轨迹的GC和GT以及基于自由区的GF和GG.工作包括3个方面:设计并分析了在各种连接图上实现动态的点对之间的最短路径查询算法;分析了在各个连接图上构造3-Steiner树的算法,对于已有的GC上的3-Steiner算法,将其Steiner顶点的候选集合规模从O((e+p)2)降低到了O((t+p)2),其中e,t,p分别表示边数、障碍极边数和顶点数;设计了在GG上的3-Steiner树构造算法,其平均情况时间复杂度只有Q(t).

摘要：在有障碍时求两点间的最短路径是VLSI设计、机器人设计等领域中的基本问题,连接图是研究此问题的基本工具.现有算法构造的最好的连接图GF是基于自由区的概念而设计的,其顶数和边数分别为O(t)和O(tlogt),其中t为障碍的极边数.提出了广义自由区和极大正规划分的概念,在此基础上得到广义连接图GG,用来表征广义自由区之间的邻接情况,其顶数和边数均为Q(t),且具有平面图的性质.同时还提出了基于扫描线的极大正规划分构造算法,其时间复杂度为O(tlogt);并提出规范路径的概念,以及采用不改向启发式策略的A*算法在广义连接图GG中寻找两点间的最短路径,算法的时间复杂度由基于GF的现有算法的O(tlogt)降低到Q(t).

摘要：本文针对甚大规模集成电路的时延驱动布局问题提出了一个新的解决途径 ,其策略是将结群技术应用于二次规划布局过程中 .结群的作用是可大幅度地降低布局部件的数量 .本文设计了一个高效的结群算法CARGO ,其优点是具有全局最优性并且运行速度很快 .采用了一个基于路径的时延驱动二次规划布局算法对结群后的电路完成布局过程 .由于二次规划布局算法能够在很短时间内寻找到全局最优解 ,故本文的算法更有希望彻底解决甚大规模电路的布局问题 .在一组MCMC标准测试电路上对算法进行了测试 。

摘要：从材料、设计、施工等方面对钢筋混凝土预制箱梁产生的裂缝进行分析,并指出了裂缝产生的成因,为生产中尽量减少裂缝的产生提供参考。