极小强支与圈控指数

本文给出极小强支的等价定义,并证明了极小强支与在文献[3]中给出的最强圈集合是一致的,讨论了极小强支与圈控指数的关系。     

又一个旋转体体积公式及其推导

本文用两种方法推导了以x为积分变量计算曲边梯形绕 y轴旋转所成旋转体的体积公式。     

幂群的置换表示

用群作用分别给出了有限群上幂群的置换表示和矩阵表示，进而给出了非空幂子集成幂群的条件。     

正确答案掩盖下的--忽视充要条件导致解题失误

数学解题过程实际上是一个不断转化的过程,在转化的过程中,一般都要求作等价转化,这样才能使所求得的解不至于扩大或缩小.所谓等价转化,就是寻求原问题的充要条件.但笔者在教学中发现:不少学生在解题过程中,由于有时寻求原问题的充要条件比较困难,或所寻求的充要条件很繁,不便于求解.于是他们便退而求其次,利用原问题的一个较弱的必要条件或者充分条件,即利用非等价转化来进行解题.但是最后须进行等价性检验.可遗憾的是:有些学生在解题过程中经常忽视对所得结果加以检验或证明,特别是当解题答案正确时,被其所蒙蔽,从而丧失了纠错的机会,这种情况更加严重,对此,笔者以学生的错解为例,谈一些感受和认识.     

一类图的伴随多项式基于挖补定理的因式分解及色性

通过研究L-类图簇的伴随多项式因式分解,给出并证明了这类图的补图的色等价图的结构性质和非色唯一性.     

两个凸函数定义的等价性证明

文章给出了两个常用凸函数定义的等价性证明.     

不用三角代换行吗?

文[1]通过8个例题说明三角代换在解决某些代数问题中的应用,笔者读后,深受启发．同时,笔者又给出另外解法．为了便于比较,文[1]中例题的顺序也不改变．     

一类S^φ^＊图的补图的等价性分析

通过研究一类S^φ^＊图的伴随多项式的因式分解,证明了这类图的补图的色等价图的结构性质。     

术语与机器翻译——实验结果分析与术语数据库的构建

术语管理是机器翻译的关键技术之一。通过机译术语与人工翻译术语的实验比较,发现机译效果尚有待于提高。基于平行语料库利用统计原理自动提取双语术语等价词对,有利于改进机器翻译的质量,但依据统计概率或面向人工的翻译词典来测评等值程度,不能全面反映历史典籍文本中特定语境下的术语意义及功能,从而影响术语等价词对的提取范围。基于翻译家英译历史典籍文本的语料提取术语,并从历史语境、语域、文体等译学特征入手进行人工验证,构建描述性术语数据库,有利于提高机器翻译的准确性和适切性。