公司出资形式法律问题研究

从制度变迁角度,通过对出资形式实质的研究,探析出资形式的真正限制条件,从而为进一步提出更加符合公司本质的出资形式提供理论性的借鉴。     

命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

关于一个半离散的Hilbert型不等式

应用权系数的方法及参量化思想,建立一个具有最佳常数因子的、半离散的Hilbert型不等式,并考虑了它的引入多参数的最佳推广式及等价式.     

多输入非线性控制系统线性化递推算法

本篇讨论多输入非线性控制系统线性化的递推算法.采用这种算法,每一步仅需求解一个同一类型的常微分方程组.而且方程的阶次一般都比较低.而已有的方法,为了实现线性化就必需一次性地求解一个高阶次的偏微分方程组,无疑这往往是很困难的.在递推算法的实施过程中,一些非线性系统的重要性质自然地显示了出来.     

波形阻力预估及船型优化

本文用线性兴波理论建立了波形阻力的理论公式（数学模型）,从理论上考虑了主尺度和系数、横剖面形心高及棱形曲线对波阻的影响;根据17艘肥大船模65种状态的实测波形资料,用统计分析法计算得出一组随傅氏数而异的波形阻力预估公式;为使数学模型付诸电算,定义了属统计学范畴的“广义相关系数”。本项研究发现横剖面形心高对波形阻力影响甚大,其对肥大船波阻之影响超过横剖面面积的影响;为判断船舶在某航速下,两者对波阻的影响何者更大,定义了“影响因子”及其曲线。本文用非线性规划理论复形法优化船型,使改进船比原船波阻显著下降。     

Cartan引理的推广

本文将现代微分几何中著名的Cartan引理,推广到二次外形式空间(?)~2(V~*),得出两个定理.     

钢筋混凝土连续梁结构非弹性内力分析

本文在试验研究的基础上分析了纲筋混凝土连续梁结构内力的非弹性特性,并指出目前国际上的两种极限设计法,即“部分极限设计法”和“完全极限设计法”所存在的问题。文中把纲筋混凝土连续梁内力发展的全过程归结为三个不同性质的阶段。第二个阶段,也即因裂矮而引起内力的非弹性重分布,是非弹性分析中的一个重要环节,可按建议的“虚梁法”进行简便计算,按照试验资料还分析了传统线弹性方法的误差。对完全非弹性分析所需的两个关键荷载——开裂荷载和塑性铰荷载的计算方法也进行了分析。     

关于李雅普诺夫函数最优性的探讨

给出了常系数线性系统李雅普诺夫函数最优性的一种定义，针对特征根本为实单根以及特征根具有共轭复根等情况，分别给出用二次型写出的最优李雅普诺夫函数公式。算例表明，用最优李雅普诺夫函数获得的吸引区域，较其它李雅普诺夫函数获得的吸引区域，更接近系统的真实的吸引区域。