有限状态马氏环境中的P—S—D分枝过程

正是由于分枝模型在不同领域中的广泛应用,有关这一领域的研究一直很活跃.各类分枝模型的引人及深入研究,大大地丰富了这一领域的研究内容.Klebaner等研究了P-S-D分枝过程.文[3,4]研究了随机环境中的P-S-D分枝过程.G-W分枝过程的主要假设是物种的繁衍分布不依赖于物种群体的总数,而P-S-D分枝过程的繁衍分布依赖于物种群体的总数.在[3,4]所建立的模型的基础上,本文主要应用马氏链的比较定理研究了一类有限状态马氏环境中的P-S-D分枝过程.     

随机环境下的分枝粒子系统

利用文献[1]的结果,本文从随机环境下分枝粒子系统的一个模型出发,通过规整化取极限得到一类超过程。描述这类过程的发展方程比以前所知的形式有本质上的推广。因此这一结果使我们进一步认识了测度值过程与非线性方程之间的联系。     

二阶有限时滞微分方程的Hopf分枝及应用

近十几年来,已有一些学者对某些具体滞后型微分方程的Hopf分枝进行了研究,可参阅文献[1—4]。但对形式较一般的时滞微分方程Hopf分枝的研究还不多见。本文的目的是讨论一般形式的二阶有限时滞微分方程的Hopf分枝。所得结果还可用于讨论某些三阶时滞微分方程的Hopf分枝问题。     

环ZN上的两种Chrestenson谱之间的关系

谱是研究函数的一种重要工具,在研究多值逻辑函数时,引入了两种Chrestenson谱即Chrestenson线性谱和循环谱。文献[1]中基于频谱技术在流密码学中的应用说明了研究这两种谱之间的关系的重要性。冯登国、肖国镇给出了一般的有限域上的这两种Chrestenson谱之间的关系。本文将给出一般的剩余类环Z_N上的这两种Chrestenson谱之间的关系,从而彻底解决了文献[1]中的研究问题1。     

奇异型随机控制中的折扣费用及平稳问题

关于奇异类随机控制问题,已有很多文章进行研究,比如文献[1,2]等,而从某种意义上说文献[2]中的陈述较之以前的文献更为一般,关于文献[2]中两类模型(折扣费用模型及平稳模型)具体描述如下:     

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

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

关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

关于三值维持阻塞触发器的补充研究

多值逻辑在电子科学技术中的应用远不如二值逻辑那么普遍,其中一个原因就是缺乏合适的、而又不复杂的存储单元。文献[2]研究了具有三轨输出的三值主从触发器,解决了上述困难。文献[3]根据目前对三值维持阻塞触发器缺乏研究这一事实,设计了一种与文献[2]对应的三值维持阻塞D型触发器。但作为一个完整的触发器系列,还需要有一种计数型的维     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

一类具有n~2—n阶细焦点的平面n(偶数)次系统

对于右端为n次多项式的二阶微分自治系统,实域中的细焦点、细鞍点以及复域中的细临界型奇点其最高精细度M(n)?为多少,在文献[1]中就n=3提出了上述问题,并证明了M(3)≥7。文献[2]中则给出了E_3由中心点分枝出7个极限环的实例。对M(n)的估计显然与Hilbert第16问题密切相关,但对n≥4的情况几乎还没有结果。本文对任一偶数n,     

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

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

关于Columbus问题的几点注记

在Columbus问题的研究中,应用全充液腔体定点旋转运动稳定理论模型(以下简称定点模型)已有长期历史。最近,文献[13]认为“定点模型”是错误的,这是一个无视这个问题理论和实验研究历史的武断的结论。文献[13]中公式(5)和(6)只是小扰动条件下线性理论的结果,却被作为依据导出大扰动条件下的公式(7)。本文目的就是为了澄清这些问题,同时叙述了一项新的流体转子陀螺实验。     

轴向加速运动弦线的能量变化

动力传输带、录音机磁带等诸多工程系统可以模型化为轴向运动弹性弦线 ,其振动和稳定性问题己有大量研究[1 ] .运动弦线研究的一个方面是考察振动过程中的能量变化 .1989年Ｗｉｃｋｅｒｔ和Ｍｏｔｅ研究了轴向运动弦线的总机械能变化[2 ] ,1997年Ｌｅｅ和Ｍｏｔｅ进行了更一般的分析和数值验证[3 ] .1998年Ｒｅｎｓｈａｗ等进行了更准确的阐述[4] .在上述工作中 ,弦线均是作匀速轴向运动 .本文研究一般的变速轴向运动弦线的总机械能变化 .　　考虑单位长度质量为 ρ的均匀弹性弦线 ,其张力为Ｔ ,轴向运动速度为ｖ.弦线通过相距为ｌ的固定小…     

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

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

非线性尘埃-漂移波的局域多峰结构

近十年来 ,尘埃等离子体 ,由于它在空间环境研究和等离子体材料加工过程研究中的广泛应用 ,越来越引起人们的普遍关注 .等离子体中强电尘埃的存在不仅改变了等离子体中的电磁特性 ,修正了原有的波动模式 ,而且可以激发新的极低频的波动模式 .不少作者对尘埃等离子体中的非线性现象进行了研究 ,发现了极低频静电波和电磁波 .Ｌｉｕ等人[1 ] 和Ｃｈｅｎ等人[2 ] 分别研究了非磁化和磁化尘埃等离子体中的非线性尘埃声波 ,并得到了局域孤立结构 .最近 ,Ｃｈｅｎ等人[3 ,4]研究了尘埃等离子体中一种新的极低频的电磁波 ,即尘埃 -阿尔芬波 .研究结…     

证明构造性几何定理的数值并行法

洪加威在文献[1]和[2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目前难以实施。本文应用文献[3]中提出的数值并行法来处理这类命题,即用验证多个例子的真伪来判断几何命题之真伪,使这一困难得以解决。这里的“例子”可能是平面几何中实际上不存在的,故而称此方法为数值并行法较多点例证法更为妥贴。这种方法的显著特点在于高度     

判别Boole函数组的独立性的一个充要条件

文献[1]中给出了Boole函数组相互独立的定义,研究了独立平衡Boole函数组的性质和构造方法,讨论了它们在密码学中的应用.本文给出了判别平衡Boole函数组的独立性的一种方法,这种判别方法将判别平衡Boole函数组的独立性问题转化为判别Boole函数的平衡性问题,在某些应用场合十分方便.置换可视作一种特殊的独立平衡Boole函数组,由本文的结果不难推出文献[2]和[3]中的主要结果.文中的结果可推广到剩余类环和任意有限域上,这将对剩余类环和任意有限域上的函数组的独立性、平衡性、正交性的讨论带来更多的方便.     

随机环境中多物种分枝紧邻游动

Baillon和Greven等研究了随机环境中单物种分枝紧邻游动模型,解决了质点密度的增长速度问题.本文建立了随机环境中多物种分枝紧邻游动模型,对这一模型的质点密度矩阵,(F,S)质点密度矩阵以及密度矩阵的行列式等问题进行了研究.Z表示整数集,Z_+表非负整数集,E是Z_+~n上n维分布函数所成之空间,在E上给定σ代数ε.在(Z_+~n)~Z上给定转移概率族{p(F;·,·,):F∈(E~n)~z},又给定随机序列F(w)={F_x~(w)}_(x∈Z),其     

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

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

技术创新推动古海洋磷循环理论新突破

<正>技术创新是科学进步的重要推动力.纵观整个科学史,许多重大的科学发现和理论突破均以技术创新为驱动^[1].例如,光学显微镜的发明揭示了细胞结构,从而催生了细胞生物学这一全新学科;粒子加速器的建设揭示了基本粒子的组成和运动规律,进而推动了高能物理学的发展.地球科学的发展同样受益于技术创新^[2].举例来说,氧同位素温度计的开发为古温度的重建提供了可能,奠定了古气候研究的基础^[3];近年来非传统稳定同位素指标的开发及运用,为研究地球各圈层演化提供了新的思路^[2].近期,中国地球科学领域学者通过技术手段的创新^[4],在古海洋磷循环这一前沿科学问题上取得了重要突破^[5].该研究作为技术创新推动科学进步的又一案例,可为中国未来科研路径提供有益启示.