课外练习及参考答案

<正>~~     

不分明化sp-拓扑空间及范畴FSPTop的拓扑性

基于连续逻辑值语义,研究了不分明化sp-拓扑空间,讨论了不分明化的sp-开集,sp-邻域,sp-闭包及sp-内部等性质,给出了不分明化sp-连续映射的概念,引入了范畴FSPTop,证明了范畴FSPTop是范畴Set上的拓扑范畴。     

模糊C-连续格

在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。     

关于《拓扑向量空间中的一类平衡问题研究》的注记

利用比较弱的锥连续性与著名的Fan-KKM定理,得到一类具有控制结构的强向量均衡问题的解,并讨论其解集的性质,改进了相关文献的主要研究结果.     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

L-fuzzy层双保序算子空间中的(ω_α,υ_α)-F紧性

首先引入层双保序算子空间中(ωα,υα)-F紧集的概念,并给出它的若干刻画。其次,说明它弱于(ωα,υα)-紧集,但也是Lowen意义下好的推广。再次,讨论(ωα,υα)-F紧性的一些拓扑不变性质。最后,建立(ωα,υα)-F紧性和(ωα,υα)--分离性之间的关系。     

板锥网壳结构的连续化分析

板锥网壳结构是一种受力性能合理，技术经济效益良好的新型空间结构形式。本文将板锥网壳结构连续化为能共同作用的特殊形式的三层薄壳，按薄壳理论建立其位移法和混合法的基本微分方程。通过对微分方程的求解，计算其整体位移及结构内力。该法具有一定的精度，可宏观地了解结构的力学性能，并可用于板锥网壳结构的初步设计。     

任意支承条件下连续板系结构的有限板块解法

本文基于薄板小挠度弯曲理论,构造出板元内部解析、边界挠度和边界法向弯矩以带补充项的付氏级数逼近、同时考虑域内多点支承作用的板元位移函数,给出了一个适用于任意支承条件下连续板系结构的有限板块法求解格式。数值计算结果表明:本文的方法具有良好的计算精度和计算效率,适于工程应用。     

多体系统Euler-Lagrange方程的最小二乘法与违约修正

针对受完整约束的多体系统动力学Euler-Lagrange方程,在其传统的直接增广算法和零空间方法基础上提出了当系统存在冗余约束情形下的最小二乘法.同时,对应于最小二乘法提出了改进的约束违约修正方法.本文还针对Euler-Lagrange方程的计算过程给出了相应Jacobi矩阵的QR分解和零空间连续正交基的算法.最后,以平行五连杆机构给出了数值结果并与部分现有方法进行比较.