初值非光滑的Stokes方程半离散混合有限元解法的二阶误差估计

在某些关于求解定常Stokes方程的混合有限元解法的抽象假设下,讨论了相应的非定常问题的半离散(时间连续)格式的误差估计问题。得到了初值非光滑时关于流速的L~2(Ω)~V和H~1(Ω)~V-误差估计和关于压力的L_0~2(Ω)-误差估计。并给出了满足假设的具体例子。     

关于总刚度方程的变带宽紧缩存储与迭代法

本文讨论总刚度方程的变帝宽紧缩存储及迭代解法,并给出IBM PC FORTRAN77程序。     

带有效时间区间的模糊时态关联规则的挖掘

随着市场竞争的日趋激烈和业务环境的不断变化，企业数据中的时间信息的管理问题受到人们普遍关注。时态数据挖掘成为数据挖掘研究的一个热点。考虑到用户的时态需求常常是非确定和非精确的，在采用模糊时态代数来表达时态需求的基础上，提出了一种带有效时间的模糊关联规则，并给出了一种基于FP-树的挖掘方法。最后用一个例子对该方法的执行过程进行解释。     

非线性不稳定导热的有限元素法

本文将以热物性为温度的弱多项式函数的非线性不稳定导热问题,转化为线性方程求解,并提出有限元素方法求解的数值计算公式。     

柱塞泵往复密封理论模型计算及实验分析

本文叙述了对三柱塞泵往复密封的理论计算。利用Navier—Stokes方程和有限元理论,对密封件的压力沿轴向的分布规律、泄漏量与压力变化关系进行了计算。通过试验,验证了理论计算结果的重要性,从而揭示了它的密封机理。     

基于FSM的通信协议形式描述与验证技术

本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FSM的有关改进形式技术;最后给出了有关结论。     

有限单元法的IBM PC FORTRAN77数据文件

本文讨论了节省存储单元和时间的数据结构,并给出IBM PC FOTRAN77的数据文件。     

一种三角形网格下保对称有限体元方法的预条件技术

在三角形网格剖分下,针对一类椭圆型方程的保对称有限体元格式,给出了一种预条件子构造技术,并从理论上严格证明了新的PCG方法条件数的一致有界性.实验结果进一步验证了理论的正确性.     

用渐近均匀化方法计算水泥土的等效弹性常数

把数学上的渐进均匀化方法应用到水泥土复合材料的等效弹性性能计算中.同时提出了水泥土的简化计算模型,且用FORTRAN自编了计算程序,并与实验结果相对照.