基面力的概念在势能原理有限元中的应用

为了改进传统的势能原理有限元方法,利用高玉臣(2003)的单元刚度矩阵精确表达式,给出了一种基于基面力概念的势能原理有限元计算方法和相应的积分显示有限元列式,利用MATLAB计算机语言编制出基面力有限元计算程序,针对几个典型的平面弹性理论问题进行数值研究.结果表明,数值解与理论解相吻合.     

不确定非线性时变时滞系统的可靠H∞控制

研究了不确定非线性时变时滞系统的可靠H∞控制问题.系统考虑了状态滞后、参数的不确定性、非线性及外部扰动.参数不确定性满足匹配条件,同时非线性满足有界条件.目的是设计一个状态反馈控制器,对于所有可允许的不确定性,使得当部分执行器失效时,系统仍能保持渐近稳定.基于Lyapunov泛函方法,通过求解一个线性矩阵不等式就可得到可靠H∞状态反馈控制器.用数值算例及仿真结果验证了所给方法的有效性.     

投影矩阵分解定理的一种证明

利用初等矩阵理论方法,证明了投影矩阵分解定理．此定理是研究复杂系统的基础定理．对称分析理论和正交分析理论是研究复杂系统的基本理论,而矩阵象是研究对称性和正交性的主要工具．此定理的主要作用是研究处理矩阵象的运算规律,这些规律是提出的GL算法、零成分搜索法、对称性全局方差分析、正交性全局方差分析等新方法的数学基础．     

一类广义Petersen图的L(2,1)-标号

图G的L(2,1)-标号是从图G的顶点集到非负整数集的一个映射f∶V(G)→{0,1,2,…},它满足对任意两个顶点x,y,当d(x,y)=1时,|f(x)-f(y)|≥2;当d(x,y)≥2时,|f(x)-f(y)≥1.研究了n≡0(mod3)的广义Petersen图G=P(n,t)的L(2,1)-标号数λ2,1(G),得到当t=0(mod3),5≤λ2,1(G)≤8,否则λ2,1(G)=5     

基于初等变换的量子码构造

为了探讨一般量子稳定子码的简单构造方法,在满足对偶包含条件C⊥(C)C的约束下,提出了从一类量子稳定子码C= [[N,K,D]]q到量子稳定子码C'=[[N-1,K+1,D']]q的基于矩阵初等变换的构造方法.该方法的优点在于码字构造时,量子稳定子码和经典纠错码都是在Fq上进行操作,无须做Fq2到Fq上的映射转换,也无...     

多支撑地下连续墙动态开挖过程中m值反分析

为了能够准确地确定m值,必须合理选择计算模型.采用弹性地基梁法,结合现场多支撑动态开挖的过程,建立了有约束非线性最优化设计模型.通过以实测与计算位移的相对残差平方和最小为目标,首先根据实测位移建立参数反分析的目标函数,然后采用Matlab有约束非线性优化技术对其进行优化,以达到分阶段多层动态施工反分析的目的,从而使所得...     

非奇异Hermite矩阵流形上的Jacobi场

讨论了非奇异Hermite矩阵流形H(n)的几何结构.定义其上的黎曼度量,给出了流形H(n)上的α-对偶联络和α-曲率张量.从微分几何的角度,研究流形H(n)上的Jacobi场,进而考虑测地线的收敛性,并举例说明结果.     

基于真假设比例广义推断的多重检验方法

研究了多重假设检验方法的改进问题,基于真假设所占比例的广义推断,利用其广义置信上限对现有的多重假设检验方法进行改进.该方法更好地利用了水平,在功效上有很大提升.采用广义推断方法,即使在假设个数比较小时,也能对真假设所占比例做出较好推断.模拟结果表明,该方法显著提高了传统方法的功效.     

正态模型下单边假设检验问题中频率与贝叶斯证据的一致性

假设检验问题中的频率与贝叶斯证据的一致性或和谐性是频率学派和贝叶斯学派所共同关心的问题.研究正态模型下单边假设检验问题中广义p-值以及Jeffreys无信息先验下的贝叶斯证据,证明了各种检验问题中两类证据的一致性.     

图的反全符号控制数

设G=（V,E）是一个非空图,对于一个函数f∶V（G）∪E（G）→{-1,1},则称f的权重为w（f）=∑x∈V（G）∪E（G）f（x）。若x∈V（G）∪E（G）,定义f[x]=∑y∈NT[x]f（y）。如果对所有的x∈V（G）∪E（G）都有f[x]≤1,则称f是图G的一个反全符号控制函数。G的反全符号控制数定义为γ＊...