Naver-Stokes方程的非协调四边形元的稳定化方法

作者给出了解NavierStokes方程的非协调混合四边形有限元（P~1-Q0和P~1-Q1,其中P~1表示P1非协调四边形元)的稳定化方法.P~1-Q0和P~1-Q1不满足inf-sup条件,因而所给的稳定化方法绕开了inf-sup条件对P~1-Q0和P~1-Q1元的限制.作者证明了该方法的稳定性和解的存在唯一性,并得到了最优误差估计.     

键合图法线性系统动态仿真

本文较详细地阐述了线性系统动态仿真的键合图法,给出了线性系统状态方程的统一表达式,利用该方法,对于具体问题按照键合图理论输入系统的结构参数及结型矩阵,就可以由计算机自动地以格式化的方式生成系统的状态方程并求解。同以前类似的方法相比较,本文所给出的系统状态方程的统一表达式,考虑了独立贮能场,非独立贮能场能的能量变量和共能量变量间关系存在耦合时的更一般情况,对前人的工作做了一些补充。     

语言的ψ—表达式和有限自动机状态方程的近似解法

1983年Tony.T.lee提出了有限自动机的状态空间方法,引进了语言的(?)—表达式,给出了∑={0,1}时的状态方程的解。本文将它推广到∑={δ_0,δ_1,…,δ_(2m-1)},并讨论了表达式的性质,将它的状态方程和Kleene's方程联系起来,并给出了不完全描述有限自动机的计算实例。     

基于MATLAB的连续系统状态方程求解方法分析

人工完成信号与系统中连续系统状态方程的求解方法十分的困难,计算量大,给工程实现带来难度.本文结合连续系统状态方程,在应用MATLAB工程计算语言的基础上给出了三种基本求解方法:拉普拉斯变换法,函数lsim,迭代法,从而简便解决连续系统状态方程的求解难问题.     

超高能重离子碰撞中夸克物质相变机制的讨论

本文首先给出由超高能重离子碰撞所产生夸克物质和强子物质约状态方程，然后讨论在两种不同情况下系统从夸克物质到强子所经历的时间。     

若干非交换P群的自同构群的阶

我们知道,交换P群的自同构群的阶的问题已经解决,但非交换P群的自同构群的阶的问题只解决了为数极少的几类群,比如2阶广义四元数群和二面体群等。本文给出P~3阶和P~4阶非交换P群的自同构群的阶。这些群的构造是已知的[1],其中P~3阶非交换群有两种,P~4阶非交换群有十种(当P=2时,仅有九种)。结果如下:     

线性系统状态方程的简化方法

本文在现有的线性系统动态仿真键合图法的基础上,较详细地给出了系统状态方程的简化方法,阐述了状态变量的不同选择对系统状态方程数目的影响。该方法具有格式化的特点,特别适用于在计算机上自动地实现。最后,给出具体算例。     

相似矩阵的初等变换求法

两个矩阵A与B相似,则存在可逆矩阵P,使P~(-1)AP=B,本文给出了用初等变换求P或B的方法。     

费米子系统的相变

本文给出一个中子系统热状态方程。讨论了该系统的相变。得出相变的临界温度T_c=1.034×10~(11)K,有效质量是M~*/M=0.973。     

带有一个不可用区间的两台平行机可拒绝排序问题（英文）

本文主要研究两台平行机排序问题,其中一台机器上有一个固定的不可用区间。此外,生产商可以通过支付惩罚费用来拒绝工件。目标是极小化最大时间表长与惩罚费用之和。本文针对工件可恢复和不可恢复两种情形,分别给出了时间复杂性为O(ns_1P~2)和O(np_(max)s_1P~2)的伪多项式时间动态规划算法.     

由2b-信号流图建立状态方程的系统方法

本文提出由2b-信号流图系统建立状态方程的一种新方法.2b-信号流图被化简为一种状态矩阵流图,籍助此流图状态方程可直接写出.状态矩阵流图仅含有态状变量节点,状态变量导数节点,独立源节点以及8个状态输矩阵.每个状态传输矩阵的计算公式都己求出.为了便于理解,文中还给出了一个计算实例.     

边值线性系统的最优控制（Ⅱ）

本文讨论了离散边值线性系统的Green矩阵序列及其状态方程的解的形式，并给出了这类系统有关最优控制的一般解法。     

一类非线性控制系统的全局稳定性

讨论了一类由若干非线性子系统互连组成的复杂非线性控制系统的全局稳定性问题。首先给出系统的描述，得出系统的状态方程，然后讨论并得出了系统存在唯一平衡点及全局指数稳定性的充分条件。     

改进的总包性立方型状态方程

改进了Ｍａｒｔｉｎ提出的总包性立方型状态方程．验证表明，Ｍａｒｔｉｎ总包性立方型状态方程为本文改进总包性立方型状态方程的特例，由改进后的总包性立方型状态方程可推导出迄今为止前人提出的各种类型的立方型状态方程，且较Ｍａｒ－ｔｉｎ方程的推导更为简捷．此外，在Ｖｅｒａ－Ｐｒａｕｓｎｉｔｚ的普遍化ｖａｎｄｅｒＷａａｌｓ稠密流体理论基础上，结合本文给出的普遍化ｖａｎｄｅｒＷａａｌｓ流体的分子位能表达式，导出了改进的总包性立方型状态方程     

一类线性时变系统状态观测器的设计

在本文中,我们使用线性时不变系统状态观测器的设计方法,给出了状态方程为时变的而观测方程是时不变的状态观测器的设计。当状态方程是时不变的,这个设计方法就给出了线性时不变系统的状态观测器的设计。     

一类具有潜伏感染细胞的时滞HIV-1传染病模型

提出了一类具有潜伏感染细胞的时滞HIV-1传染病模型,定义了基本再生数R_0,给出了无病平衡点P_0(x_0,0,0)和慢性感染平衡点P~*(x~*,ω~*,y~*,v~*)的存在条件.首先利用线性化方法,得到了无病平衡点和慢性感染平衡点的局部渐近稳定性.进一步通过构造相应的Lyapunov函数,并结合LaSalle不变集原理,证明了当R_0≤1时,无病平衡点P_0(x_0,0,0,0)是全局渐近稳定的;当R_01时,慢性感染平衡点P~*(x~*,ω~*,y~*,v~*)是全局渐近稳定的,但无病平衡点Po (x_0,0,0,0)是不稳定的.结果表明,模型中的潜伏感染时滞和感染时滞并不影响模型的全局稳定性,并通过数值模拟验证了所得结论.     

整环上矩阵可对角化的一个判别定理

本文讨论整环上矩阵的可对角化问题,即给出整环R上的一个矩阵A,判别是否存在R上可逆矩阵P(P~(-1)也是R上的矩阵)使得P~(-1)AP为对角阵。结果表明:A可对角化的充要条件是A的每个特征模均有基,且任意选择每个特征模的一个基,其并集为R~n的一个基。     

Jordan标准形新求法

本文从寻求对应若当形矩阵的基底出发,利用有关特征值的理论给出了求矩阵A的若当标准形J=P~(-1)AP及可逆矩阵P的方法。     

高温高压火药气体状态方程的一个物理模型

本文主要研究了高温高压火药气体的状态方程,通过对有关状态方程的分析和比较,建立了适用于高温高压火药气体的状态方程:Z=1/(1-y)~4+4y(B/b-1),其中,y=bp/4,第二维里系数B和余容b都是温度的函数。利用本文提出的状态方程计算压力并与实测值比较,结果令人满意。最后,本文还计算了亥姆霍兹自由能,对其他一些热力学量则给出相应的解析计算公式。     

整数分拆中的一个计数公式

文章给出了整数分拆时部分数中含有1的分拆P~((1))(n k)的定义,利用分拆的计数公式以及分拆的意义,给出了P~((1))(n k)的计数公式.