关于剩余类环Z_m上的线性方程组

给出了剩余类环Zm中的整除、Zm上的矩阵的初等变换以及行列式因子等概念,并说明它在Zm上的线性方程组中的应用,由此很容易得出k个n元整系数线性型是正交组的充要条件.     

两个极限命题的证明

用归纳法证明了两个极限命题.(1)设m>1,pi(x)(I=1,2,….m)是[1, ∞)上的连续正函数,在满足一定条件下成立lim x→ ∞[∫x 1tm-1 p1(t)p2(t)…pm(t)dt]/xmp1(x)p2(x)…pm(x)=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1(2)设pjn,an(j=1,2…,m;n=1,2,…;m>1)均为正数,在满足一定条件下成立lim x→ ∞(n∑k=1 am-1 k p1kp2k…pmk)/amnp1np2n…pmn=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1.     

满足k阶严格雪崩准则的多值逻辑函数的谱特征

给出了剩余类环Zm上逻辑函数的k阶严格雪崩准则(SAC)的概念, 用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则, 并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。     

关于SL(2,Zm)的一些性质

通过研究SL(2,Zm)与GL(2,Zm)的关系,得到了SL(2,Zm)的阶.证明了GL(2,Zm)可解的充要条件是SL(2,Zm)可解,给出了SL(2,Zm)的直积分解.特别地,在m=pαqβ时,给出了SL(2,Zm)的生成元,其中p,q为不同素数,αβ为正整数.     

随机微分方程的概率生成函数解法

讨论了当难以求出随机变量的分布函数时 ,如何研究随机变量的数学期望、方差、相关系数等数字特征的有关问题 ,利用概率生成函数与概率分布函数及相应的数字特征的关系 ,给出了概率生成函数为 gx( s) =∑∞k=0pksk时数学期望与方差的确定方法 ,并应用概率生成函数方法 ,证明了随机微分方程ddt Pk( t) =-λPk( t) λPk- 1 ( t)　 ( k≥ 1)在边界条件 ddt P0 ( t) =-λP0 ( t) ,P0 ( 0 ) =1,Pk( 0 ) =0 ( k≥ 1)之下的解为　 Pk( t) =1k!e-λt( λt) k　 ( k=0 ,1,2 ,… ) ,而随机微分方程ddt Pk( t) =-λk Pk( t) λ( k -1) Pk- 1 ( t)　 ( k >1)在边界条件 ddt P1 ( t) =-λP1 ( t) ,P1 ( 0 ) =1,Pk( 0 ) =0 ( k>1)之下的解为　 Pk( t) =e-λt( 1-e-λt) k- 1 .     

一类恒等式的证明及应用

设Snk=∑ni=1ik(k=1,2,…).Pk(x)为经过点(i,∑ij=1jk)(i=1,2,…,k+2)的k+1次Lagrange插值多项式,通过探索发现并证明了Snk=Pk(n),并给出了数值例子。     

两个极限命题的证明

用归纳法证明了两个极限命题。(1)设m>1,pi(x)(i=1,2,…,m)是[1, ∞)上的连续正函数,在满足一定条件下成立li mx→ ∞∫1xtm-1p1(t)p2(t)…pm(t)dtxmp1(x)p2(x)…pm(x)=α2α3…αm α1α3α…1αα2m… αm… α1α2…αm-1(2)设pjn,an(j=1,2,…,m;n=1,2,…;m>1)均为正数,在满足一定条件下成立li mn→∞∑nk=1akm-1p1kp2k…pmkanmp1np2n…pmn=α2α3…αm α1α3α…1αα2m… αm… α1α2…αm-1     

含有2个不同素因子的k-盈不完全数

设p为质数,α为正整数,对于素数方幂pα,令ρ(pα)=pα-pα-1+pα-2-…+(-1)α.给出方程kρ(n)=n+d(k=3,4)的全部正整数解,其中,n只有2个不同素因子数,1≤d相似文献   

Zp上的四元数代数的矩阵表示

给出模p(p为奇素数)剩余类环Zp上的四元数代数Zp[i,j,k]的一种新的矩阵表示.     

一类常微边值问题差分解的收敛性

设边值问题为y~(2p) m_1y~(2p-2) … m_p-1y~(2) m_py=f(x)(1) y~(2m)(0)=y~(2m)(1)=0,(m=0,1,…,p-1)(2) 这里f(x)为[0,1]上的连续函数,m_i(i=1,…,p)为常数. 本文讨论边值问题(1)、(2)的离散差分方程组的解Y_h对边值问题(1)、(2)的解y(x)的收敛性.当p=1,且m_1=0时,离散线性方程组的系数矩阵-A是负定的.由于发现了当p≥2时,离散线性方程组的系数矩阵S_h与A有确定的关系式,由此可以断定,当诸m_i满足某些条件时,Y_h收敛于y(x).而这些条件的验证是很方便的. 边值问题(1)、(2)的一个实际背景,是我们在进行“环肋加劲圆柱壳稳定计算”中碰到的,其中p=2.     

剩余类环Z_m及若干数论问题

本文使用Z_m的性质,比较简洁地证明了许多著名的数论问题,如:Wilson定理,二次剩余的Euler准则,Enler函数的积性……等等。     

多输出m值逻辑函数的谱特征

讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.     

一类不确定的非线性时滞大系统的鲁棒稳定性

针对具有分离变量的不确定时滞大规模系统,基于非线性的Lyapunov泛函和矩阵不等式的分析方法,获得了一些不依赖时滞的鲁棒稳定性判据.所考虑的不确定时滞大规模系统具有时变未知且有界的不确定参数和状态时滞,非线性的执行机构具有分离变量的形式.这类系统也可以看成线性系统的自然推广,其实际背景是把一个线性系统的部分线性元件换成了非线性元件.所获得的鲁棒稳定性判据适用于系统具有多个非线性执行机构的情形.     

具有时变时滞大系统稳定性的新判据

根据微分方程理论和矩阵指数特性 ,讨论了一类具有时变时滞线性大系统的稳定性 ,并导出了具有时滞相关和时滞无关线性系统稳定性的充分条件 .然后讨论了此类大系统的鲁棒稳定条件 ,并与相关文献进行了比较 ,计算实例表明 ,所得出的结果改进了现有文献的研究成果 .参 16     

线性随机系统的最优反馈控制及拟Riccati方程的解

主要研究了多维线性随机系统在非二次的目标泛函下的最优控制问题,给出了最优闭环控制以及系统对应的拟Riccati方程的表达式,讨论了特殊情况下的拟Riccati方程的经典解的存在惟一性,最后还求出了一类拟Riccati方程的经典解并通过求解拟Riccati方程得到了最优投资组合的解.     

环Zn上的线性正形置换和正形矩阵

线性正形置换具有很好的扩散性,在密码学上可以用于设计P-置换。本文给出了模n剩余类环上的线性正形置换和正形矩阵的定义,得到了剩余类环上的线性正形置换和正形矩阵的计数公式,为密码学上研究环上正形置换的性质提供了理论依据。     

整数环上线性方程的求解

运用整数环上消法变换，阐明了线性方程可解性的判定条件、通解结构和求解方法．     

欧氏环R上的线性方程组有解的充要条件及其解的结构

本文主要给出了欧氏环Ｒ上的线性方程组有解的充要条件及其解的结构。同时从文中定理的构造性证明中还可获得一种解欧氏环Ｒ上的线性方程组的有效方法．     

一类混沌系统的同步脉冲控制

基于脉冲微分方程的稳定理论,针对一类混沌系统,提出了一种脉冲控制同步的方法·该方法仅采用驱动系统与响应系统状态变量的线性误差反馈作为脉冲控制信号,实现了两个混沌系统的全局渐近同步·给出了两个混沌系统实现全局渐近同步的判据·当采用相同的脉冲控制矩阵和相等的脉冲间隔时,两个混沌系统实现全局渐近同步的判据可以被简化·该方法适用于一大类混沌系统的同步控制·以Lorenz混沌系统为例,进行了控制器的设计·所设计的控制器结构简单,易于实现,收敛速度快·理论分析和数值仿真结果证明了该方法的有效性·