带有随机项Barbour单宿主模型正解的存在唯一性和最终有界性

考虑到血吸虫病传播过程受很多随机因素的影响,在Barbour模型的基础上引入随机项,建立血吸虫病随机模型.通过构造Lyapunov函数,利用It?积分证明了该随机系统正解的存在唯一性和最终有界性.     

模糊随机过程的Itô-Henstock积分

定义和讨论了适应的模糊随机过程关于Brownian运动的模糊Itô-Henstock积分和模糊Itô-McShane积分及其性质,给出了刻画定理,并讨论了两者之间的相互关系。结果表明,当模糊Itô-Henstock积分原函数Itô 绝对连续时,模糊Itô-Henstock积分和模糊Itô-McShane积分等价。     

与复合算子相关的Hardy空间的完备性

利用离散的多参数Calderón再生公式证明与不同齐性的算子复合相关的Hardy空间H_(com)~p(R~m)是完备的赋范空间.设T_1是迷向奇性的Calderón-Zygmund奇异积分算子, T_2是非迷向奇性的Calderón-Zygmund奇异积分算子,则T_1oT_2是L~p(R~m)(1 p ∞)有界的.当0 p≤1时,复合算子T_1oT_2在与不同齐性的算子复合相关的Hardy空间H_(com)~p(R~m)上有界.     

一类Valterra积分方程正解的存在性

利用Banach空间锥上的不动点指数证明了Volterra积分方程: μ(x)= integral from n=0 to x a(x—s)g(μ(s))ds正解的局部存在性,然后延拓到[0,十∞)上     

最终一致连续半群的条件

文中给出在Ｂａｎａｃｈ空间中一个Ｃ０半群当ｔ≥ｔ０（ｔ０＞０）或ｔ＞０时按一致算子拓扑连续的一些充分条件     

简单线性回归模型的分离参数估计方法

最小二乘法的参数估计方法虽然体现了拟合结果的整体优化特征，却没有体现出各参数估计量的自身统计特征，对此本文给出一种新的参数估计方法，同最小二乘法相比，该方法得到的参数估计值受统计数据的影响最小，文中还讨论了参数估计值自身具有的线性和无偏性。     

半序空间上的二级Stieltjes积分

在线性半序空间(下称K空间)上定义二级(或高级)Sticltjcs积分,建立这种积分与K空间上的Stieltjes积分和Hellinger积分的联系,并把它作为线性算子的解析表示。     

符号网络函数的求取和应用

本文证明了广义Sherman-Morrison公式,并由此导出了一个求取部分符号网络函数的新方法。这个方法具有计算量小、精度高等优点,优于现有的其它名类求解同样问题的方法。本文还推导了一系列网络函数及其导数的求值公式。综合应用这些公式可使网络分析和优化算法更为有效。     

Modeling expert forecasting knowledge for incorporation into expert systems

The use of continuous multivariate models to represent experts' knowledge of relations among a set of variables is reviewed. Such knowledge models can be incorporated into expert systems, complementing contingent rules, especially when representing experts' knowledge of functional relations among entities in noisy domains. Past work has most commonly involved linear averaging models in static domains, although nonlinear models and dynamic domains are also possible. Detecting errors in continuous multivariate models requires a different approach from detecting errors in collections of if-then rules. Methods for eliciting expert knowledge include modeling judgments made in real or hypothetical situations and using expert's self-insight directly to assist in construction of the model. Procedures for managing each of these methods have been computerized and could be included as elicitation tools in expert system building environments.