无界报酬折扣模型中ε(≥0)最优策略的性质

我们研究绝对平均相对有界折扣模型{S,(A(i),i∈S),q,r,V_β},其中S,A(i)(i∈S)均为可列集,q是时齐的,r满足 (1)存在数集{r(i):r(i)>0,i∈S}使得 (2)存在数d>0,使得以及V_β是折扣准则。 本文证明的关键是我们引入了如下概念:在策略π下,于时刻n可达的状态;可实现的历史。并引     

具有多个向量约束的折扣马氏决策规划

文献[1]讨论了具有一个向量约束的折扣马氏决策规划,该文将约束最优问题化为一个Lagrange规划问题.但该文没有解决约束最优策略的存在性问题,也没有给出有效的算法.胡光华文中讨论了具有一个实数值约束的折扣半马氏决策规划.在适当的条件下,该文证明了存在混合平稳策略是约束最优策略,并给出了算法.文献[2]给出了在马氏策略类及平稳策略类中求约束最优策略的算法.     

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

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

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献   

折扣马尔可夫决策规划最优策略的结构

本文所研究的马尔可夫决策规划:{S,(A(t),i∈S),q,r,V_s},其中状态空间S、每个状态可用的行动集A(i)(i∈S)均为可列集,转移律q是时齐的,报酬函数r是有界的,折扣目标是V_β(β∈(0,1))。其主要结果如下:     

初等线性群之间同构的提升

令R和A为含1交换环,m和n为≥3的整数,考虑同构E_m(R)E_n(A)何时以及怎样才能提升为相应Steinberg群之间的同构.已经证明,若E_m(R)同构于E_n(A),则m=n(见文献[1]),当,n≥4时,任一同构E_n(R)E_n(A)是标准形的,可自然且唯一地提升为St_n(R)到St_n(A)的同构。但情形n=3不同于n≥4,因3维线性群之间存在例外同构(文献[3]及[2]中给出的反例)。本文研究同构E_3(R)E_3(A)能够提升的充要条件。     

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

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

关于单K_4-群

确定某种类型阶的单群已有不少结果(见文献[1—6]),其中文献[2]证明了有限群G的阶的相异素因子数|π(G)|为3的单群是下述群之一:A_5,A_6,L_2(7),L_2(8),L_2(17),L_3(3),U_3(3)及U_4(2)。文献[7]称上述单群为单K_3-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

关于判定问题的两个注记

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

无穷维反应扩散过程的唯一性

本文用极大值原理证明所构造的无穷维反应扩散过程的唯一性,排除了文献[2]中的多项式增长条件,设Z_+为非负整数集,S为可数集,E=Z_+~S,对每一u∈S,给定Z_+上的函数C_u≥0和保守Q矩阵Q_u=(q_u(i,j)),为了方便,约定C_u(0)=0,q_u(i,j)=0,如j<0,再给定S上的转移矩阵P=(p(u,v)),取正可和数列{α(u);u∈S},使(?)P(u,     

部分线性模型中M型回归样条估计的一些新结果

考虑下列部分线性模型Y_1-X′_1β_0+g_0(T_1)+e_i,1≤i≤n,其中(T_1,X_1,Y_1),…,(T_n,X′_n,Y_n)是随机向量(T,X′,Y)的 i.i.d.样本,X∈R~d,T∈[0,1],β_0为未知参数向量,g_0是一光滑未知函数.这个模型在文献[1]中首次被提出,文献中研究过β_0和 g_0(t)的估计,例如,基于惩罚函数法的平滑样条估计;基于核方法的估计;用分段多项式来逼近 g_0,基于最小二乘法的估计.由于上述估计不稳健,文献[8]用分段多     

一类半p-交换p-群

我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。     

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

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

素变数三角和的一个Bombieri型均值定理

在Goldbach猜想、孪生素数猜想等数论经典问题的研究中,必须处理素变数三角和S(x;α)=sum from n≤to A(n)e(nα),其中α及x≥2是实数,A(n)是 von Mangoldt函数,而 e(α)=e~(2πiα).当α接近于分母较小的分数时,例如时,有渐近公式(参看文献[1])此处及以下,L代表logx,μ(n)和(?)(n)分别是M(?)bius函数和Euler函数,而带有下标的c总     

具有Barcan公式的若干正规量词模态系统的代数语义

对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S~*关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献[1]那样,通过验证性质(E)去证明。但是,除极少数系统外,(E)的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献[2]与[3]中的工作和高恒珊在文献[4]     

偶合扩散方程生成的半群

即在适当的定义域上以Ω为其生成元的半群。问题的物理背景见文献[1];这问题除有其本身的物理意义外,也是数学上进一步讨论相应马氏过程——偶合扩散的基础。这种过程是单纯扩散过程与马氏链的复合。因为一维扩散过程中的环流现象过于单纯,我们希望用偶合扩散的模型来研究环流的问题。本文所采用的方法见文献[2],这种方法就是Feller处理一维扩散的方法的推广,但在讨论偶合扩散时,Feller的方法不能用,文献[2]中所提出的方法却可以略加改动后采用。     

S波夸克偶素(0~(-+))的强子衰变与胶子有效质量

有许多作者已经讨论了胶子可能具有质量的问题。文献[2]的作者提出胶子具有有效质量很可能改进QCD对低能过程的预言。在文献[3]建议的胶子通过颜色对称自发破缺获得质量的方案的基础上,本文继续运用文献[4]的方法,计算S波夸克偶素(0~(-+))的强子衰变宽     

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

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

空间B(l~1(Γ),C(Ω))中的等距逼近问题

本文中使用的数域为K(=R或C),并假定Γ为一个无穷指标集和Ω为一个紧Hausdorff空间,关键词(除最后一个外)都采用文献[1]中的定义。 定义 Ω中的闭集族{A(i,λ):i∈I,λ∈A}称为具有α-互锁性是指