Seifert and Van Kampen定理的一种特殊情形的有关讨论

代数拓扑是拓扑学的重要分支,它的特征是借助于一系列代数的对象、方法,如群、环、同态等,进行研究拓扑空间在连续形变下的不变性质.同伦论是代数拓扑的基础,而基本群是同伦论的一个重要概念.Seifert-Van Kampen定理主要用来确定某些较复杂的空间的基本群的结构,对于此定理的证明需要许多代数方面的知识,而且证明过程篇幅较长,本文仅用点集拓扑所涉及的方法给出Seifert-Van Kampen定理的一种特殊情形的证明.     

判定凸多边形可移动性算法的推广

文［１］研究了两个凸多边形可移动性问题的最优判定算法，讨论了简单多边形Ｐ和凸多边形Ｑ的可移动性问题。提出了一种与［１］具有相同时间复杂度的最优算法。     

区间值函数和Fuzzy值函数的常微分方程解的性质

将普通常微分方程解对初值的连续性和可微性加以推广，得到了区间值函数的常微分方程解对初值的连续性和可微性．在此基础上，应用Ｆｕｚｚｙ集的分解定性，讨论了Ｆｕｚｚｙ值函数的常微分方程解对初值的连续性和可微性．     

试论文化因素与翻译中的可译性限度

翻译不仅是两种语言问的语义转换,而且是两种文化间的交融.民族文化差异反映在民族语言差异中,从而增加了语际翻译中的不可译性,即可译性限度.本文把同构及其相对性原理作为探讨翻译的可译性及其限度的理论基础,揭示该原理在语言、文化方面的体现,试图证明采用适宜的交通补偿手段可以降低甚至超越可译性限度.     

可装配性设计系统——IDFA

介绍了可装配性设计系统——IDFA(Integrated Design for Assembly)的研制情况.系统的可装配性评价建立在三维CAD系统的基础上,讨论了CAD与DFA的信息共享问题,可装配评价问题和可装配性重设计建议的实现方法等.     

科技进步贡献率数学模型前提假定与误差分析

对应用产出增长型生产函数计算科技进步贡献率时的前提假定和约束条例进行了本质性分析,给出经济数学的解释,并讨论了减少计算误差、提高结果精度的途径.     

机器随机故障时使拖后工件数最少的单机调度问题

本文讨论了机器随机故障时，使拖后工件数最少的的单机调度问题，结果表明，确定情况下的Ｍｏｏｒｅ－Ｈｏｄｇｓｏｎ算法，在机器随机故障时，能以概率１确定最优工件排序。     

Valiant并行归并及排序时间复杂性的分析研究

深入分析研究著名的Ｖａｌｉａｎｔ并行归并及排序算法，并推导其关于ＥＲＥＷ（异步读写），ＣＲＥＷ（并发读异步写）和ＣＲＣＷ计算模型的修正的时间复杂性结果。     

二次映射式K路合并排序算法

在映射式Ｋ路合并排序算法的基础上提出了一种二次映射式Ｋ路合并排序算法，解决了当记录总数较少、关键宇最大值较大时，映射式Ｋ路合并排序算法存在的存储开销浪费大的问题，并保持时间复杂性不变。     

若干积分不等式及其证明

对一些积分不等式给出了证明，从而归纳出一些常见积分不等式的证明方法。