可装配性设计系统——IDFA

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

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

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

若干积分不等式及其证明

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

（v,e）——图正常2一着色的最大数目与极图

设Ｐ（Ｇ，λ）表示图Ｇ的色多项式。给定正整数ｖ，ｅ和λ，设ｆ（ｖ，ｅ，λ）＝ｍａｘ（Ｐ（Ｇ，λ），Ｇ是个（ｖ，ｅ）－ｌｔｕ ）。若一个（ｖ，ｅ）－图Ｇ使得Ｐ（Ｇ，λ）＝ｆ（ｖ，ｅ，λ），则称Ｇ是个λ－极图。本文指出文「２」给出的２－极图族是不完全的，并得到２－级图的完全族。     

约束流的r-矩阵

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

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

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

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

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

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

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

可迁格序置换群

给出了可迁置换群是单可迁的等价条件，证明了可数自由群及其直积可以嵌入到有理数集Ｑ的格序置换群Ａ（Ｑ）中。     

关于函数方程

确定函数方程Z；：；（（（（0）：0，以及另外三个方程的Lebesgue可积解。