可装配性设计系统——IDFA

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

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

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

若干积分不等式及其证明

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

约束流的r-矩阵

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

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

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

提高非嵌岩人工挖孔灌注桩承载力的方法—沿桩身设置多个嵌坎

对非嵌岩人工挖孔灌注桩提出采用多节扩头，即沿桩身设置多个嵌坎的方案，对于提高单桩竖向承载力，具有显著的经济技术效益，可拱设计时参考。     

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

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

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

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

图中含D_λ－圈的一个充分条件

设图Ｇ是一个ｎ阶简单图，Ｇ中的一个圈Ｃ称为Ｄλ—圈，如果Ｇ＼Ｖ（Ｃ）的每个连通分支的阶都小于λ．当Ｇ是３—连通图，且有ＮＣλ（Ｇ）≥ｎ＋４２－２λ时，Ｇ含有Ｄλ—圈或Ｇ是Ｐｅｔｅｒｓｅｎ图．