相容双有限Domain的几个性质

在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论：相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.     

二项分布两种近似计算的讨论

泊松定理、隶莫佛-拉普拉斯定理给出了二项分布的近似计算公式.如何把握近似条件使近似更为准确?通过二项分布、泊松分布、正态分布的概率值的对比,得出泊松分布在p较小时、n不用太大即可近似较好;正态分布在p较小、n较大等三种条件下都能较好近似二项分布;在p较小、n足够大时两种近似均可的结论.     

Navier—Stokes方程的近似惯性流形方法

本文给出了Navier-Stokes方程的一个近似惯性流形∑,证明了它的存在性和全局吸引子进入这个流形领域厚度的估计,同时用一个简单的近似惯性流形序列∑_j逼近∑,且进行了误差估计,对近似惯性流形逼近与通常Galerkin逼近的计算复杂性进行了比较。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

带非线性边界条件的一维抛物方程的逼近能控性

讨论了带有非线性边界条件的一维抛物方程的边界输入逼近能控性，给出了较弱的充分条件．非线性抛物方程，边界输入，能达集，逼近能控性     

电阻及其微观机理

电阻是金属的最赋有表征性的特性。认识“电阻”的关健环节是电子散射机构问题。本文围绕着这一关键问题,对比了现代能带论与经典理论,并且用能带论更新了“电阻”的经典概念。     

关于双星系统的能量

本文利用广义相对论理论中的后牛顿近似结果，计算出双星系统的伴星的总能量．     

钢铁机器人—1操作手动力方程的建立

本文应用拉格朗日方程和保罗近似方法[1]来建立我院钢铁机器人—1操作手的动力方程。为了突出动力方程的物理意义,而根据操作手机构的动能和势能,来找出各关节力矩与各关节角加速度之间的简单关系式;为了实际应用,利用保罗近似方法来简化求导计算过程。     

一类非参数的ARMA模型

用任意的一元函数代替常数作为线性自回归滑动平均(ARMA)模型中自回归项的系数,提出并研究一类新的非参数ARMA模型.首先研究该模型的概率性质,获得了该模型的平稳性条件.分别用局域线性回归和全局的最小二乘方法估计模型中的函数系数和参数,在函数系数的局域线性估计中,推广了一个GCV准则以选择最优的窗宽.为了检验特殊的参数化模型是否已经足够描述实际数据的动态结构,提出了一个Bootstrap检验方法.随机仿真的例子表明本文的估计和检验方法是正确的和可行性的.进一步,用该模型成功地分析了一个实际数据集.