以太阳活动区模糊分类为基础的耀斑预报的评价

笔者之一(刘绪昭)在活动区模糊分类基础上进行了太阳耀斑预报工作的尝试。在本文中,我们分析文献[1]的结果。首先,我们用相关分析讨论所选取的因子,然后引进在心理学和气象学中所用的ROC方法评定文献[1]中预报的优劣。     

Horn集上RUE-NRF推理规则下的输入半锁反驳

文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传性以及替换性包括在这一推理规则之中,从而在整个定理反驳证明过程中不再出现任何等词公理。文献[3]证明了这一规则的正确性和完备性,并用布尔代数,群论和环论等十七个定理在计算     

水轮机过渡过程电算机数值模拟的迭代参数确定方法

水轮机过渡过程电算机数值模拟技术中关键问题之一是保证迭代计算过程的快速收敛。作者在文献[1]中给出了一种误差函数校正方法,直接根据迭代结果系列值的误差确定合适的下一步迭代值。本文试图根据过渡过程数学模型的结构分析,从理论上导出一组有较高精度的确定迭代参数的计算公式。     

生成同时求多项式全部零点并行迭代的一般方法

由于逐个地求复多项式全部零点所存在的固有困难,同时求其全部零点的并行迭代日渐受到重视。在已经提出的诸多迭代法中,利用Bell多项式对Halley迭代族进行并行化改造所形成的迭代族最为系统和丰满,事实上文献[5]是文献[2]的主要内容。 但我们也知道,同时求多项式f全部零点的这个并行迭代族依赖于f各阶导数计值的特点阻碍了它在求特征值问题上的应用,因为这时f导数的计值甚为困难。当f以其它非显式给出时,情形亦相类似。     

K~+P、K~-P、ΩP的弹性散射

我们前面的工作,提出了一种处理强子弹性散射的方法,文献[1]中讨论的粒子是由单成分的组分构成,文献[2]中讨论的复合粒子是由多成分的组分构成,这是一套简洁而有效的方法,而且能够得出解析的结果,从而发展了Glauber散射理论。但是在文献[1,2]中,我们讨论的强子与质子的弹性碰撞,只计算了PP、(?)P和πP,按照夸克模型P(uud),即质子由二个u夸克和一个d夸克构成(夸克指组分夸克,下同),(?),π(q),其中u是u夸克,     

黑龙江省夏季降水“多层递阶”长期预报模型

本文根据文献[1]提出的动态系统预报的新方法,适当选取输入变量,建立黑龙江省夏季降水“多层递阶”长期预报模型。由于这种新方法在预报过程中充分考虑到系统的时变特性,把预报问题分成了对时变参数的预报和在此基础上对系统的状态(或输出)预报两部分,克服了一般预报方法因固定参数模型而造成的较大误差,预报趋势准确率和预报精度都有所提高。     

论并矢Green函数在有源区域的并矢运算问题:矩形波导

一、引言并矢Green函数(简称DGF)是求解电磁理论中边值问题的一种十分有效的方法。我们知道,文献[1]仅用无散矢量本征函数和展开的常规电型DGF在有源区域内不满足电流连续性原理,需要一项具有奇异特性的附加项,其通常由并矢运算求出。目前文献中处理并矢运算主要有两种方法,一种是由矢量恒等式和不连续变量的二阶广义导数产生的具有δ函数的附加项得到运算结果,另一种是互换微分算子和展开式中的积分号进行并矢     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

一类高次缺插值样条函数

在文献[1]中,Meir和Sharma提出了一种五次缺插值样条函数,文献[2,3]改进了文献[1]中的结果。最近,沙震用类似方法讨论了七次、十一次样条。本文目的是给出一种一般的处理方法,不仅大大改进了已有结果,而且可用来讨论一般的插值偶次导数的样条。在§1中,通过Hermite插值样条讨论一种H-B插值样条给出收敛速度估计和渐近展开。     

关于徐-奥斯特洛夫斯基迭代方法对可微函数的局部收敛性

奥斯特洛夫斯基在文献[1]的1973年版中提出了一个对整函数具有某种大范围收敛性的求函数零点的迭代方法.但更一般的结果早在1964年就曾为徐利治所得到,并在吉林大学计算数学讨论班上报告过.当结果以摘要形式发表时,也正是1973年. 奥斯特洛夫斯基在[1]中还曾以很大的篇幅为可微函数研究了此方法的局部收敛性.由于大范围收敛性有它特定的条件,因此这种局部收敛性的研究显然也是有意义的工作.但是奥斯特洛夫斯基的结果([1]定理16.1)条件过强,这有碍于方法的理论分析和结果的实际应用.为此,我们用完全不同的方法重新研究了这个问题.结果在相当大的程度上放宽了奥斯特洛夫斯基定理的条件,方法也显得利索自然.     

三维FDS非线性波动方程初值问题的整体解

一 在文献[1]中提出了一类由数量场形成的三维孤立于问题,指出了这类非拓扑性孤立子解存在的必要条件,建立了依量子力学稳定性的一般定理,并对特殊问题给出了数值结果。在文献[2]中将此问题推广到具有非Abel内部对称性的情况。正如在文献[3]中指出,文献[1]中研究的方程组为     

含有反常质子的反常中子星

在文献[1]和[2]中,我们已经论证了可能存在两类中子星——由正常中子物态构成的正常中子星和由反常中子物态构成的反常中子星。文献[1]和[2]用的都是均匀星体模型近似。文献[3]讨论了非均匀星体模型,也得到了同样的结论。 按照李政道等所提出的反常核态理论,自然界可能存在一种强作用的同位标量O~ 介子,它与核子间的耦合相当于将核子的静止质量由m_n换成     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

完全分配格上保并映射类的交运算

文献[1]给出关于保并映射类中交运算的一个公式。本文将指出在几乎所有完全分配格中,这个公式是不成立的。也就是说,原证明是不对的。我们只在添加一个自然条件后,才可以给出该公式的证明。     

A.N.Prior的模态直觉主义演算MIPC具有13个模态辞

研究直觉主义系统的模态扩充,特别是在文献[1]中意义下属于S5型的有许多。这其中包括文献[2]中的系统IS5,以及文献[3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且     

向量值半Markov决策规划

关于向量值Markov决策规划,文献[1]研究了有限阶段与无限阶段模型之间的关系。文献[2,3]将标量模型的策略迭代算法推广到向量模型,给出了求最优策略的算法。其算法大致叙述如下:从任一平稳策略出发,在平稳策略类中不断进行策略迭代改进,求得不动点及其周围的可疑点,然后从可疑点开始迭代改进。上述过程反复进行,直到考察完所有平稳策略为止。最后在求出的不动点集合Γ中用穷举法求出全部最优策略。     

关于Fuzzy拓扑群

Fuzzy拓扑群的概念首先由Foster引进,由于所给定义本身的局限性,工作未能获得展开。本文作者在文献[2]中借助于加强“群运算的Fuzzy连续性”,提出了Fuzzy拓扑群的一个新定义,获得了一些结果。本文利用Lowen的Fuzzy拓扑定义(文献[2]利用的是Chang的Fuzzy拓扑定义),不再需要加强“群运算的Fuzzy连续性”,给出了Fuzzy拓扑群的又一新     

关于重力的de Sitter规范理论

一 自从我们建议用de Sitter群G_λ的规范场描写重力过程以来,曾先后提出了两种具体方案,并着重从几何角度阐述了局部de Sitter不变性的意义。这些工作,已在文献[1—3]中作过简要介绍。最近,国外相继开展了这方面的工作,有的重复了[1]的部分内容,有的得到了类似的结果。但是,仍有一些问题没有很好解决。     

结合环上全矩阵环的Behrens根

Szász在文献[1]中建议考察结合环上全矩阵环的Behrens根(Problem 69)。本文解决了这一公开问题。我们证明了     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*