一类新的非线性混合拟变分包含的灵敏性分析

研究了一类新的非线性混合拟变分包含的灵敏性问题，通过使用预解算子及不动点技巧，证明了这类含参数的变分包含的解的存在唯一性及连续性，推广了近期有关文献的一些结果。     

非扩张映射不动点和等价范数

本文证明了每一Banach空间X都存在一等价范数。此范数下，X不具有正规结构。     

LF拓扑空间中T21/2分离公理的几个性质

给出LF拓扑空间中T212分离公理的三条重要性质,即弱同胚不变性、相对可积性和可和性.     

建筑外环境的人性化设计

通过研究和分析人的行为模式与环境的互动关系,了解人们的行为倾向与需求,得出相关的环境设计准则供城市空间的创设者作参考,期望能为人们提供更多舒适自然、可亲可近的人性场所。     

抽水引起岩土体内应力变化分析

针对开采地下水这一特定问题,以在抽水实践中地下水水位面是一以井心为顶点的旋转抛物面为出发点,研究了地下水开采过程中岩土体应力变化的时空规律。通过分析影响内部应力变化的宏观物理量—开采影响半径、井心水位下降和空间位置,可以方便的得到随着时间变化岩土体内部应力变化的全程规律。同时,分析了影响边界、下沉位置等因素对计算结果的影响。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

线性谐振子的计算机代数计算

采用计算机代数方法，通过Mathematica软件计算线性谐振子的波函数，几率密度和几率最大值的位置。计算方法简单、通用，易于推广。     

制作《空间解析几何》课件三维动画素材研究

本介绍了Ulead COOL3D这一优秀的三维动画创作工具的功能和特点，并通过一个实例动画的创作，阐述了它在创作《空间解析几何》课件三维动画素材中的突出作用。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。