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

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

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

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

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

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

可装配性设计系统——IDFA

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

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

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

若干积分不等式及其证明

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

约束流的r-矩阵

经典γ-矩阵和Poisson结构在可积系统研究中具重大作用,因为它们蕴含了系统的许多内在性质.近年来,依赖于动力系统变量的动力γ-矩阵及相联系的推广的Yang-Baxter方程的研究已引起越来越多的兴趣.然而,孤立子方程约束流的经典Poisson结构和γ-矩阵至今尚未被研究过.实际上,约束流的γ-矩阵具有丰富的结构,其中有些是动力型的,且满足推广的带矩阵附加项的Yang-Baxter方程.因此,这些γ-矩阵不仅给出研究约束流可积性质的途径,而且为研究动力γ-矩阵的内在结构提供了例子.本文以AKNS方程族为例阐述有关内容.AKNS方程族的约束流的Lax表示为     

一类不可微优化的一阶最优性必要条件

考虑下述不可微优化问题：其中为Ｒｎ上的拟可微函数（在Ｄｅｍｙａｎｏｖ和Ｒｕｂｉｎｏｖ意义下）上的局部Ｌｉｐｓｃｈｉｔｚ函数．本文给出该问题的ＦｒｉｔｚＪｏｈｎ必要性条件．推文了以往Ｌｉｐｓｃｈｉｔｚ优化和拟可做优化的ＦｒｉｔｚＪｏｈｎ必要性条件．     

关于K—可换性与K—正规性

本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。     

物理掺铅法改善电解二氧化锰可充性的研究

将日本电解二氧化锰粉末与含铅（Ⅱ）离子的溶液混合搅拌制备了掺铅电解二氧化锰，化学分析表明，当溶液中铅离子浓度高时，制得地掺铅二氧化锰样品中璃子的含量高，视比重略有增大，而二氧化锰的百分含量是结合水含量略有减小，充放电循环实验表明，充放电的前６０循环，含铅离子重量为０．７％的掺杂样比空白样的累积容量和容量维持系数分别增加了７８％和３４％。循环伏安充放电结果表明，掺入铅可显著改善放是深度达－０．５７Ｖ