共查询到20条相似文献,搜索用时 46 毫秒
1.
设M′=(Ma,f)是一个c阶半输入存贮有限自动机,其输入字母表为Y,输出字母表为X。本文证明:(1)若X和Y的元素个数相同,则M′是延迟0步前馈逆的充分必要条件为存在Ma的状态图的一回路,对于其上任何状态P和Y中任何元素y0,…,yc-1,f(y0,…,yc-1,Y,λa(p))和X的元素个数都相同;(2)若X=Y={0,1},则M′是延迟1步前馈逆的充分必要条件为存在Ma的状态图的一回路,对于其上任何状态P和Y中任何元素y0,…,yc,f(y0,…,yc,λa(p))都可表示为f′(y0,…,yc-1,λa(p))⊕yc的形式,或都可表示为f″(y0,…,yc-2,λa(p))⊕yc-1的形式。 相似文献
2.
《中国科学A辑》1996,39(6):570-576
用固态烧结法合成了新化合物Ca2PdWO6.用差热分析、x射线物相分析及点阵常数的精确测定等方法研究了Ca2PdWO6.的相变,该化合物在(806±5)℃存在一级位移型相变.低温相α-a2PdWO6属正交晶系,空间群为Pmm2,室温时点阵常数 a=0,79946nm,b=0.55404nm,c=0.58008nm.测量密度Dm=6.26g/cm~3,单位晶胞内具有2个化学式量.高温相β-Ca2PdWO6.属于立方晶系,空间群为Fm3m,在860℃时的点阵常数 a=0.8103nm.z=4,计算密度Dx=5.821g/cm~3.用x射线多晶衍射方法分别测定了上述α-Ca2PdWO6.和β-Ca2PdWO6.的晶体结构,并详细讨论了影响相变温度的因素. 相似文献
3.
用固态烧结法合成了新化合物Sr2FeWO6。用差示扫描量热法(DSC)、X射线物相分析及点阵常数的精确测定等方法研究了新化合物Sr2FeWO6的相变,证明该化合物在(360±5)℃存在一级位移型相变。低温相α-Sr2FeWO6,属四方晶系,空间群为I4/m,室温时点阵常数a=5.5702A,c=7.9094A。测量密度Dm=6.93g/cm~3,单位晶胞内具有2个化学式量。高温相β-Sr2FeWO6,属立方晶系,空间群为Fm3m,在400℃时的点阵常数a=7.939A,z=4。计算密度D=6.780g/cm3。 相似文献
4.
对于常系数线性偏微分算子(?),方程Lxu(x,y)=Lyu(x,y)的所有Cm解满足Asgcirsson均值等式的充分必要条件是Lx=c+a△x,这里a(≠0),c为常数,△x为Laplace算子. 相似文献
5.
6.
本文用差热分析、X射线物相分析及点阵常数的精确测定等方法,研究了新化合物——Sr2CdWO6的相变,证明该化合物在807℃±5℃存在一级位移型相变.低温相a-Sr2CdWO6属正交晶系,空间群为Pmm2,室温时点阵常数为a=8.1673,b=5.7436,c=5.8188.测量密度Dm=7.01g/cm3,单位晶胞内具有2个化学式量.高温相β-Sr2CdWO6属于立方晶系,空间群为Fm3m,在860℃时的点阵常数为a=8.201,z=4.本文还用X射线多晶衍射方法分别测定了上述a-Sr2CdWO6和β-Sr2CdWO6的晶体结构,并研究了相交机理和畸交度. 相似文献
7.
本文证明Lax提出的对KdV方程ul+6uux+uxxx=0的如下猜想:存在N个正常数ci,j=1,2,…,N和2N个常数θi±,j=1,2,…N对方程的任一解u(x,t)有其中S为一孤立波。 相似文献
8.
Formanek constructed the first central polynomial. i .e. G1+ G2+… + Gn where G1= G(x, y1,…, yn), G2= G(x, y2, y3,…, yn, y1) etc. Are called Forma nek's polynomials. Rosset in his nota [3] raised the question that whether all sgmmetic polynomials in Gi also give central polynomials. He showed that the basic sgmmetric polynomials in Gi are not all central. In this paper we shall show, for n≥3 each polynomial in Gj is not central, except f(G1+ …+ Gn, where f(x)is a polynomial at x. Hence Formanek's central polynomial is unique in some sense. 相似文献
9.
关于集值系统x∈F(x,y),y∈G(x,y)解的存在性 总被引:2,自引:0,他引:2
Let (E, ‖·‖) be a uniformly convex Banach space, X a nonempty compact and convex subset of E. Let F be a closed mapping of X×X into 2X, G a mapping of X×X into C(X). It is shown that if for any f∈C(X), x∈X, F(x,f(x)) is a closed and convex subset of X, and G(x,f(x)) is a continuous function and for any x,y1,y2∈X,H(x,G(x,y1),G(x,y2))≤‖y1-y2‖ then there exist X0,y0∈X such that X0∈F(x0,y0) and y0∈G(x0, y0). 相似文献
10.
用固态烧结法合成了新化合物Ca2FeWO6. 用差热分析和X射线物相分析等方法,研究了新化合物Ca2FeWO6的相变,证明该化合物在(706±5)℃存在一级位移型相变.低温相α-Ca2FeWO6,属正交晶系,空间群为Pmm2,室温时点阵常数为:a=0.770 5l nm,b=0.542 42 nm和c=0.551 08 nm。测量密度为Dm=6.04g/cm3,单位晶胞内具有2个化学式量.高温相β-Ca2FeWO6,属立方晶系,空问群为Fm3m,在750℃时的点阵常数为a=0.780 8 nm,z=4.计算密度为Dx=5.802 g/cm3.并用X射线多晶法分别测定了α-Ca2FeWO6和β-Ca2FeWO6的晶体结构.详细地阐明了相变机理. 相似文献
11.
作为全球卫星激光测距资料的辅助分析中心之一,借助于上海天文台的SHOR-DE精密定轨程序,处理了国际地球自转主联测期间,LAGEOS卫星的全球激光测距数据。取得了如下的结果:(1)一个地球自转参数(ERP)的序列——ERP(SHA)85L01。它自1983年9月初起每隔五天给出了极移两分量xp,yp和日长变化DR的一组解。其内符精度为:xp——2.1mas,yp——2.2mas,DR——0.13ms。至于轨道拟合后观测的总体中误差等于14cm。(2)试验了用五天弧段同时检测极移变化率的能力,表明测定的实际误差是1mas/d。(3)探讨了极移序列的实际精度与内符精度之间的关系,求得两者之间的比例因子约为0.7—1.0。结论是利用LAGEOS卫星激光测距资料测定ERP的实际精度现巳接近10cm。当力学模型进一步完善,观测沿卫星轨道的分布更加均匀时,这个精度还可提高。 相似文献
12.
13.
本文分析了在1980年8—10月,即地球自转短期联测(MERIT Short Campaign)期间,全世界13个测站对卫星STARLETTE进行激光测距所获得的631圈共54189个数据。由此推得了在这期间的极移两分量(xp和yp)以及日长的变化量(D=日长—86400秒)。经多项式拟合以后,所得解中,xp的残差的均方值是0″.014;yp的残差的均方值是0″.013;D的残差的均方值是05.0005。 相似文献
14.
15.
设有线性模型Y=(y1…yn)’=Xβ+ε=X(β1…βp)’+(ε1…εn)’,这里n≥p,X已知,ε1,…,εn相互独立,E(εi)=0,E(εi2)=σ2,E(εi3)=0,E(εi4)=3σ4,i=1,…,n,β∈Rp,0<σ~2<∞。令?={Y’AY:A≥0}。当损失函数为σ-4(d-σ2)2且X=In或者X=1n时,给出了 Y’AY(A≥0)在?中是σ2的可容许估计的充分必要条件。又当ε~N(0,σ2In)时,给出了Y’AY(A≥0)在σ2的一切估计类中是可容许的充分条件。 相似文献
16.
本文利用1412颗早型星的视向速度、距离和自行资料,对太阳附近银河系的运动学问题进行了详细的研究和分析。结果表明不同日心距离早型星相对太阳的平均运动分量(u0,v0)的差异是显著的;这一现象可以用三星流假设来加以解释,从而说明习用的本地静止标准可能存在着25km·s-1的向外运动。Oort常数及银河系径向运动参数的解算结果分别是(A,B)=(16.0±0.6,-14.4±1.7)km/s/kpc及(C,D)=(0.5±0.5,-2.0±0.4)km/s/kpc,与前人所得的数值符合得很好。利用解算得到的运动学参数及恒星基本自行资料所求得的岁差改正具有很高的精度,每世纪值为(△n,△k)=(0.″56±0.″04,-0.″33±0.″05),它与早期所得结果符合也较好。 相似文献
17.
18.
对于给定的正整数n,N(N>n>1)与实数δ(0≤δ≤1/2),要求在k1+k2+…+kn=N,ki≥1(i=1,2,…,n)都是整数 (1)的条件下,求出一组使文中定义的目标函数Lk1k2…kn(δ)取最大值的整数组(k1k2…kn),这整数组称为方程(1)的最优解。在本文中,将要证明:对于任何N>n>1与0≤δ≤1/2,一定能从适合(ⅰ)k1为偶数;(ⅱ)|ki-kj|≤2(1≤i,j≤n);(ⅲ)在k2,…,kn中出现的偶数k都有相同的数值等条件的那些(k1k2…kn)中找到方程(1)的一组最优解。特别对于δ=0与δ=1/2这两个重要的情形,给出了当N=n(e-1),而e≥4为一偶数时方程(1)的一组最优解。文中还证明了:对于δ=0与δ=1/2,以及N=nk(k≥2),从极限的观点看,(k,k,…,k)都是方程(1)的一个“相当不好”的解。 相似文献
19.
20.
对于非线性抛物型方程其中QT=Ω×(0,T)是上半空间R+n+1中的一个柱形区域,ST=Ω×[0,T]是Q_T的侧面,Ω是R~n中的一个有界区域,其边界Ω充分光滑,本文着重讨论函数ai(x,t,u,s)和a(x,t,u,s)关于变元s=(s1…,sn)按指数形式快速增长的情形.文中得到了强非线性抛物型方程(1.1)和(1.2)在空间中广义解的存在性.这个结果也包括了ai(x,t,u,s)及a(x,t,u,s)关于变元s=(s1..,sn)按幂次|s|n的形式增长的情形,改正了Ladyenskaja等的文献中第五章定理6.7的证明中的一个疏忽。 相似文献