解除方程组中四个变量为一组线性约束条件的数学处理方法

应用有限元方法求解流体力学或其他工程枝术问题,通常所得线性代数方程组的系数矩阵具有对称性。当方程组中有任意4个待定变量具有线性约束时,则可使用本文提供的数学处理方法,使原先n阶对称的系数矩阵在解除上述形式的约束条件后,方程组的阶次不变,而且系数矩阵仍具有对称性质。并且以此编制了计算机程序。     

对用消去法解常系数线性微分方程组的注记

可以借助于求某一未知函数。的二阶、三阶、…直至n阶导数，然后消去其余的未知函数，化为关于yk的高阶常系数线性微分方程，以求得一阶线性方程组（1）的通解．我们称这种方法为消去法．但在运用这种方法时，应注意如下的四个问题：1．应明确不是每一个常系数线性微分方程组都可化为关于某一个未知函数的高阶微分方程的．比如，方程组就不能化为关于未知函数y1或y1的一个二阶微分方程．2．运用消去法当化为关于某一个未知函数的高阶微分方程即可，其阶数1≤k≤n，即阶数不超过方程组中方程的个数．比如：例1解方程组解对y1，求至二阶导数时…     

周期性边界条件、间断点及第二类边界条件的数值处理

应用有限元方法求解流体力学、传热学以及其它的工程问题,一般讲,所得方程组的系数矩阵具有对称性。当方程组中某两个待定变量具有Q_i=Q_i G的约束条件时(这里Q_i和Q_i分别是第i个和第j个待求的变量,G是某一常量),可以使用本文提出的数学处理方法,使原对称、正定方程组在解除上述形式约束后,得到的新方程组仍保持对称的性质。文章证明了数学处理的合理性,并据此编制了ALGOL程序。     

线性微分方程组解的有界性及渐近型

引言设方程组 (dy_v)/(dt)=■v=1,2,……n (1)其中 P_(vj)(t)(v,j=1,2,……n)是定义在半轴[0,∞),上的函数,我们称(1)为线性齐次方程组.本文仿照 O.Perron 的方法给出组(1)解的有界性     

用压缩映射原理证明常系数线性常微分方程组解的存在性与唯一性定理

为了证明高阶常系数线性常微分方程组解的存在性与唯一性定理，首先把它化为一阶常系数线性常微分方程组，又把一阶方程组化为积分方程组，再利用压缩映射原理，证明积分方程组有且只有一组解．     

对合矩阵与对角矩阵相似的一种证法

我们利用向量组的线性相关性以及分块矩阵的运算性质给出了下列命题的另一种有趣的证法:若n阶对合矩阵A满足条件秩(A In)=r,则A相似于对角矩阵diag{Ir,-In-r}.这种证法连同Schmidt标准正交化方法一起,还可以用来证明:当上述矩阵A是实对称(Hermite)矩阵时,A正交(酉)相似于对角矩阵diag{Ir,-n-r}.     

高阶中立型时滞差分方程解的振动性

本文研究了l阶中立型时滞差分方程△~(l)(x_(n)-c_(n)x_(n)-m)=(-1)~(l)P_(n)x_(n)-k,n≥n_(0)解的振动性,给出了当C_(n)≥0 和C_(n)≤0 时方程(*)有界解振动的两个充分条件及当C_(n)=1时,方程(*)有界解振动的充分必要条件.     

2n阶J-自伴算子的谱是离散的充分条件

借助Naimark关于2n阶对称微分算式所生成最小算子L0之任何自伴扩张Lu的谱是离散的充分条件定理,利用Lidskii方法,得到了2n阶J-自伴微分算子的谱是离散的另一个充分条件.     

关于左定微分方程解的讨论

本文应用Gram矩阵有关理论,证明2n阶实系数对称微分方程∑ k=0(-1)~(n-k)(P_ky~(n-k))~(n-k)=λry(r是不定实权函数,λ∈c,且I_mλ≠0)至少有n个线性独立解属于Hibert空间H。     

对合矩阵与对角矩阵相似的一种证法

我们利用向量组的线性相关性以及分块矩阵的运算性质给出了下列命题的另一种有趣的证法：若n阶对合矩阵A满足条件秩（A＋In）=r，则A相似于对角矩阵diag{Ir，-In-r}．这种证法连同Schmidt标准正交化方法一起，还可以用来证明：当上述矩阵A是实对称（Hermite）矩阵时，A正交（酉）相似于对角矩阵diag{Ir,-n-r}．     

对卢卡奇《历史与阶级意识》中“计算性思维”范畴的探析

卢卡奇在其成名作《历史与阶级意识》一书中第一次提出了物化理论,并进行了详细的论证。而要想深入探讨这一理论,就必须从他对"计算性思维"范畴的阐述中去分析,进而探析这一范畴和商品、物化理论的关系以及其当代的价值。     

计算语言学中的英语语言歧义现象分析

本文介绍了计算语言学的概况及自然语言歧义研究的重要性。从语言符号的特点和计算机处理自然语言的过程两个方面分析了歧义的根源 ,说明了歧义存在的必然性。按歧义的来源对英语语言中的歧义进行了分类 ,并分别举例予以分析。     

基于Gold矩阵的计算关联成像研究

测量矩阵是决定计算关联成像图像重构质量和成像速度的重要因素之一。本文提出一种新的测量矩阵优化构造方法,利用伪随机序列生成Gold矩阵,该矩阵同时具有Random矩阵的随机性和Hadamard矩阵的确定性。数值模拟和实验结果表明:在满采样条件下,Gold矩阵和Hadamard矩阵均能够实现完美的重构图像;在欠采样条件下,Gold矩阵重构图像质量明显优于Random矩阵和Hadamard矩阵。     

从比较中看应用语言学

通过对《牛津应用语言学手册》和《应用语言学手册》的比较分析,我们对应用语言学的定义和研究领域有了一个更为深刻的认识.尽管目前仍没有一个统一的应用语言学定义,但该领域绝大多数学者都认同,应用语言学是一门解决人类在现实生活中遇到的各种语言问题的学科.     

基于CGE 模型的中国农民工就业问题模拟分析

中国经济的一个显著的特点是存在着巨大的城乡差距,而农民工问题又是中国当前普遍关注的一个热点问题,文章以一般均衡模型的原理为基础,构建了中国经济的可计算一般均衡模型,模拟分析了当农民工在城市各个行业的就业比例发生变化时,城乡居民的收入变化以及宏观经济指标的变动。     

在本科力学课程中引入计算力学内容的可行性分析

力学是土木建筑工程、机械动力工程及水利工程等专业的必修基础课。目前的本科教学内容主要是经典力学理论和方法 ,难以反映理论解析、实验测试和数值计算方法三足鼎立这一力学学科的发展状况 ,对开阔学生思路、培养和提高创新能力也显不足 ,因此 ,有必要在教学中引入计算力学内容。本文从教学内容、教学目标、实施条件、实施效果等方面探讨了在本科力学课程中引入计算力学内容的可行性。     

烟熏炉螺旋管换热器换热仿真模型研究

换热器是肉食品热加工的烟熏炉的重要组成部分,一般有螺旋板式与U型2种不同形式。目前根据热加工要求 设计换热器时,结构参数的选择存在一定的盲目性,即换热器的尺寸是否满足要求完全凭经验及依赖事后验证。文中针 对某一类型烟熏炉螺旋管式换热器进行流动传热分析,建立换热器的一圈为基本单元的数值分析模型。借助CFD技 术,分析了不同圈数对出口温度分布的影响。结果显示不同圈数对换热器的温度分布影响较大,且基本单元截面的温度 值与基本单元数量呈二次函数关系。拟合不同圈数下各截面的温度值,得到各基本单元的出口温度与基本单元个数（圈 数）的函数关系。该函数关系能够有效地反映换热器温度降趋势,从而指导具体的换热器设计。     

计算金融学研究发展评述——基于投资者异质性的视角

以人工金融市场模型为代表的计算金融学建模方法是一个非常有效的金融市场分析工具,也是金融学领域的国际研究前沿之一。论文从异质性主体模型的发展和演变角度,梳理了计算金融学建模的理论基础和实现手段,对计算金融学的研究进展作了系统评述,最后分析了计算金融学建模中存在的问题与不足,并进一步指出该领域未来的发展方向。     

双层侧进式搅拌槽固液流动研究

由于对大型双层侧进式搅拌槽进行实验方法研究比较困难,采用数值模拟的方法对其进行研究。利用计算流体 动力学( CFD),通过gambit建立模型并划分网格,利用Fluent软件进行计算求解,探讨不同转速下的固相分布情况,临界 离底悬浮转速、颗粒直径对临界悬浮转速的影响。结果表明固相颗粒主要分布在搅拌槽底部和双层搅拌器之间的区域, 在搅拌槽的上部区域形成一个明显的清液层,双层侧进式搅拌器的使用可以有效地减少由于提高搅拌转速而增加的密 封难度和功率消耗。