论文部分内容阅读
该文简单介绍泛函分析方法在力学和工程中的若干应用，包括泛函观点下的结构数学理论、直交投影法、超圆方法、变分法、变分不等式与凸分析、算子的特征值与谱方法、与实验技术有关的泛函方法等，并介绍当前非线性分析中的部分动态。（本刊录）
泛函分析在力学和工程中的应用
【摘 要】
：
该文简单介绍泛函分析方法在力学和工程中的若干应用，包括泛函观点下的结构数学理论、直交投影法、超圆方法、变分法、变分不等式与凸分析、算子的特征值与谱方法、与实验技术
【机 构】
：
复旦大学
【出 处】
：
中国力学学会现代数学方法会
【发表日期】
：
1986年期
其他文献
循环不变式在算法程序的设计及形式推导和证明中有重要作用。该文指出Ｄｉｊｋｓｔｒａ－Ｇｒｉｅｓ标准循环不变式开发策略存在的局限性，为证明现有程序正确和开发新的算法程序分别提出了两种新的循环不变
该文进一步探讨了用R函数方法在处理由二元系热力学性质预示三元热力学性质的各种模型计算中的优越性。具体的推导了在用高阶多项式表示二元性质时各种模型的计算公式。并给
该文将Zadeh定义的Fuzzy集隶属函数的取值扩充到闭区间，得到了新的Fuzzy聚类F[*→（U）。在F→（U）定义了反意算子：U[**]C＝-UA，使得（F[*→（U），U，n，C[*-*]形成DeMorgan代数系统，并讨论了F[*→*]（U
该文分析了在空间交错的两轴之间十字轴双万向联轴器等速传动的条件。文中推导了输入、输出轴处于一般位置时各种几何参数之间的关系，并且制作了有关线图，提出了利用这些线图对
作者在分析了Turner归约模型中组合算子表达式的组合膨胀原因后，提出了一种快速组合算子归约模型FCRM。该文描述了FCRM的形式体系，转换规则T和归约规则R[*vC*]，并且证明和验证了