齐次可列马尔可夫过程构造论

关于Q矩阵,保守的Q矩阵以及Q过程的定义见资料[2]。设E=(1,2,…),Q=q_(ij)(i,j∈E)是一保守的Q矩阵,若-q_(ij)>0(i∈E)则称Q=(q_(ij))为双保守的Q矩阵。本文的目的是对任给的一个双保守的Q矩阵,把全部Q过程构造出来。对于一     

Q过程的唯一性准则

定义1 设E为可列集。称定义在E×E上的矩阵Q=(q_(ij))为Q矩阵,如果它满足     

区间参数矩阵的稳定性

一、引言 区间矩阵的稳定性问题的研究,最近取得了一些较好的结果。所谓区间矩阵的稳定性,即考虑n×n实矩阵P=(p_(ij))、Q=(q_(ij)),其中p_(ij)≤q_(ij), i, j=1, 2, …, n,记 N[P,Q]={A=(a_(ij)∈R~(n×n)|p_(ij)≤a_(ij)≤q_(ij), i,j=1,2,…,n},若对任意A∈N[P, Q]均有A稳定(即A的所有特征根的实部均小于零),则称区间矩阵     

含瞬时态生灭Q矩阵问题

设E为非负整数集Z_+或整数集Z.称E×E上矩阵Q=(q_(ij):i,j∈E)为生灭矩阵,如果Q满足以下条件: (ⅰ)q_(ij)=0 |i-j|>1,0相似文献   

布尔矩阵广义逆的一个充要条件

β={0,1}为二元布尔代数,矩阵A=(a_(ij)),a_(ij)∈β,称A为布尔矩阵。给定矩阵A,若存在矩阵G使AGA=A。称G是A的广义逆。如果A有一个广义逆B=(b_(ij)),对A的任何广义逆G=(g_(ij))     

关于循环自动机若干问题的多项式时间算法

自动机A=(Q,Σ,δ)称为循环的。如果存在状态q_0∈Q,使得对于任何状态P∈Q,有x∈Σ~*,成立ε(q_0,x)=P;q_0称为A的一个生成元。本文中所指的自动机均为有限自动机。自动机A=(Q,Σ,δ)的一个自同态是一个映射ξ:Q→Q,满足(?)_a∈Σ,P∈Q(ξ(δ(P,a))=     

m个半相依回归方程组系数的两步估计

考虑m(>2)个半相依回归方程组秩(x_i)=P_i,而 E(ε_i)=0,Cov(ε_i,ε_i)=σ_(ij)I, Σ=(σ_(ij))为正定矩阵。 对于β_i的两步估计及其有限样本性质,当m>2时,只有Kataoka对X_1,…,X_m是互     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

Preneel猜想的证明

GF(2)中的m×m矩阵V=(V_(ij))若满足ⅰ)V_(ij)=0,V_(ij)=V_(ji)(1≤i,j≤n),ⅱ)矩阵V在GF(2)中可逆,则该矩阵称为V型矩阵。最近比利时学者B.Preneel等提出了一个猜想:     

关于本原矩阵严格Hall指数的一个猜想

设B_n是所有n阶布尔矩阵的集合,对A=(a_(ij)),B=(b_(ij))∈B_n,若a_(ij)≤b_(ij),i,j=1,2,…,n,则记A≤B。如果存在正整数k,使A~k=J_n(全1方阵),那么A∈B_n称为本原矩阵。这样最小的k称为A的本原指数,记作γ(A)。B_n中所有本原矩阵的集合记为P_n。如果存在置换矩阵Q,使Q≤A,那么A∈B_n     

反应扩散过程的唯一性

一、引言 本文使用分析方法,证明作者所构造的反应扩散过程的唯一性。设Z+为非负整数集,S为可数集,E=Z_+~S。对每一u∈S,给定Z+上的函数C_(?)≥0,C_(?)(0)=0和保守Q矩阵Q_(?)=(q_(?)(i,j))。为方便,约定q_(?)(i,j)=0如j<0。再则,给定S上的转移矩阵P=(p(u,v))。过程的形式母元是     

关于 L(S)的一点结果

设A_(m×n)是行和为R=(r_1,r_2,…,r_m)、列和为Q=(q_1,q_2 …,q_n)的(0,1)矩阵。设δ_i=(1,…,1,0,…,0),其中前r_i个位置为1,其余为0,A_(m×n)=称为A_(m×n)的极左矩阵,记其列和向量为S.设L(S)={S|SS,S的分量递降且为非负整数}。若S、TεL(S),S≠T,ST,且不存在V L(S),V≠S,V≠T,满足SVT,则称S是T的直接后继。设S=(S_1,S_2,…,S_n),T=(t_1,t_2,…,t_n),我们有定理1 若S是T的直接后继,则存在i、j’满足S_i+1=t_i,S_j-l=t_j,S_k=t_k(1≤k≤n,     

收敛系统和回归模型中最小二乘估计的强相合性

考虑多元回归模型此处x_(ij)是已知常数,β_1,…,β_p是未知参数,y_i,e_i分别为第i次量测值和量测随机误差。以下,我们记设计矩阵(x_(ij))_(1≤i≤n,1≤j≤p)为X_n,并令Y_n=(y_1,…,y_n)′),β=(β_1,…β_p)′。β的基于前n次量测值Y_n及设计矩阵X_n的最小二乘估计b_n=(b_(n1),…,b_(np))′为     

随机线性方程组的一个极限性质

考虑随机线性方程组这儿W_n=(w_(ij))_(nxn),w_(ij),i,j=1,2,…为一列iid随机变量序列且EW_(ij)=0。V_n=(α_1,…,α_n)′为n×1列向量,{α_n},n=1,2,…为一列常数序列。这类方程组在一些物理大系统中起着十分重要的作用.Geman和Hwang(参见Z.wahrsch.     

关于无限方阵的Jordan标准形

本文讨论在任一不可数代数闭域上及任一有限域上把某些无限方阵化为Jordan标准形的问题.所用的方法主要是沟通有限方阵与无限方阵的紧致性论证,其根据是文献[1]中的结果及模型论中的紧致性定理.本文中设F为一不可数代数闭域或有限域.对F上的无限方阵A附加某些条件(见定理1～3),证明这些A可以在一种弱意义下相似于Jordan标准形或对角形(关于“弱意义”的含意,见定理1后面的说明).定义1 设A为F上的无限方阵.如果A的每一行都只含有限个非0元,称A为行有限的(这样的A,可用以左乘F上的任何无限方阵).仿此定义列有限性.定义2 设B=(b_(ij))为F上的无限方阵.如果B适合:诸b_(ii)相等,诸b_(ii+1)均为1,其他b_(ij)均为零,则称B为一无限Jordan块.     

Einstein流形中超曲面的平均曲率流

Huisken证明了Riemann流形中满足适当凸性条件的超曲面沿其平衡曲率向量演化时收缩成一点。本文研究了在正拼嵌(pinched)的Einstein流形N~(n+1)中一类非凸的初始超曲面M_0的演化方程,获得同样的收敛结果。 以g=(g_(ij))和A=(h_(ij))分别表示M_t的诱导度量和第二基本张量,以H=g~(ij)h_(ij)和A~2=h~(ij)h_(ij)表示它的平均曲率和第二基本形式的模长平方。是N~(n+1)的Riemann曲率张量,是它的共变导数。证明如下:     

关于用相似性法鉴别双生儿类型的准确率

关于用相似性法鉴别双生儿类型,本文给出较一般的准确率公式,并指出文[1]中存在的问题.设双生儿有n 个指标x_1,x_2,…,x_n 一致,其中第i(i=1,2,…,n)个指标x_i 来自婚配型A_(ij) 的概率为P_(ij),并且sum j=1 to n_i p_(ij)=1,而婚配型A_(ij)中出现这第i 个指标x_i 的概率为q_(ij)(j=1,2,…,n_i).又设一对双生儿为二卵性起源(即一对双生儿为双合子双生儿(二卵双生儿或异卵双生儿))的概率为p,而且上述事件都互相独立,那末上述n 个指标一致的一对双生儿为双合子双生儿的概率为     

线性模型中最小二乘估计的强收敛速度

考虑线性模型如下:y_i=x_i~′β+e_i,i=1,2,…, (1)其中x_i~′=(x_(ij),…,x_(ij)为已知常值向量,β′=(β_r,…β_p)为未知参数向量。令设计矩阵X_n=(x_1…,x_n)′;Y_n=(y_1,…,y_n)′;S_n~(-1)=(X_n~′X_n)~(-1)(?)(S_(ij)~n)1≤i,f≤n。熟知β的最小二乘估计(n)有如下表达式     

广义循环布尔矩阵半群的极大子群

本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布尔矩阵是指元素a_(ij)∈B的这样一个矩阵A=(a_(ij)),其中除第一行外,其余各行元素都是由它们的前一     

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)