具有性质Γ(x)3■*K_3的距离正则图的一些结果

讨论了具有性质Γ(x)■3*K3的距离正则图当d=r 2,cr 1=2时的一些情形,证明出当d=r 2,cr 1=2时,ar 1≠5。     

关于强正则环的几个等价刻划

设R是一个环 ,如果对于任意的x ,y∈R ,有xy -yx∈C(R) ,那么下列条件等价 :( 1 )R是强正则环 ;( 2 )R是VonNeumann正则环 ;( 3)R是广义正则环 .设R是半可换环 ,则以下条件等价 :( 1 )R是强正则环 ;( 2 )R的每一个极大的本质的左理想是左GP -内射模 ;( 3)R的每一个极大的本质的右理想是右GP -内射模 .     

基于Matlab的神经网络在企业用水量预测的应用

企业用水量预测对工业企业的规划、运行具有非常重要的作用.文章以湖南某造纸企业10年的用水量时间序列记录资料作为训练样本,基于Matlab6.1 NNTool中的 Bayesian正则化法建立湖南地区造纸企业用水量预测模型.结果表明,由Bayesian法建立的BP网络能较好地反映造纸企业的用水量规律.     

主体认知正则活动的逻辑刻画

研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。     

一种基于机器学习的推理系统的设计与应用

通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过扩充领域推理规则,该平台能够自动检查复杂的应用领域推理过程的完善性和正确性,为特定领域的推理提供了重要的自动检查手段.     

不可压Navier-Stokes方程组和MHD方程组解的正则性研究进展

不可压Navier-Stokes方程组和MHD方程组模型作为一种描述物质运动的宏观模型,是认识与理解自然现象的两类非常重要的非线性偏微分方程组.关于这两类方程组的适定性研究是数学物理学界的核心研究领域之一.本文主要阐述它们的研究背景、理论依据、实际意义、研究内容、主要的研究方法以及国内外研究现状和经典结果.     

L-拓扑空间中的两个定理证明的修正

指出文献[1]中关于分离性和关于仿紧性性质的两个定理证明过程中的欠妥之处,并修正了证明.     

对曲面上参数曲线二等分角轨线微分方程的理解

对曲面上参数曲线二等分角轨线微分方程进行求解,解释u-曲线和v-曲线的切向量的表示方法,即以在某点张成二维向量切空间Tps的两个切向量-ru(u,v)和-rv(u,v)为基底,以-δr(u,v)在自然基底{-ru(u,v),-rv(u,v)}下的分量(δu,δv)为其切向量,并对参数曲线的二等分角θ1和θ2关系的两种情况θ1=θ2和θ1+θ2=π进行讨论,利用曲面的第一基本形式求解,使得曲面上参数曲线二等分角轨线微分方程更加易于理解,有助于初学者对微分几何课程更好地学习.     

Rarsons图G（2,b,q）的围长

证明了Ｐａｒｓｏｎｓ图Ｇ（２，ｂ，ｑ）的围长ｇ（Ｇ（２，ｂ，ｑ））≤４。而对某些ｂ∈ＧＦ（ｑ），有ｇ（Ｇ（２，ｂ，ｑ））＝３。同时证明了Ｇ（２，０，２ｎ）是可１－因子分解的。