【摘 要】
:
本文选择列随机平均矩阵T_n作为基本代换矩阵,建立了基于T_n的逐次差分代换方法.获得了R_+~n上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.
论文部分内容阅读
本文选择列随机平均矩阵T_n作为基本代换矩阵,建立了基于T_n的逐次差分代换方法.获得了R_+~n上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.
其他文献
利用Markov链与谱分析理论研究基于精英保留策略的基因表达式程序设计算法(ME-GEP)的收敛速度,获得了以下结果:(1)ME-GEP算法依概率收敛到全局最优解;(2)ME-GEP算法的收敛速度由算法对应的Markov链的状态转移矩阵的修正谱半径决定;(3)给出了修正谱半径的一个上界;(4)作为文中理论成果的应用,分析了多项式函数建模问题的ME-GEP算法的收敛速度,进一步证实了算法收敛速度与算
研华公司近期新推出了一款经济高效的入门级系统平台ARK-1310。该产品可作为独立平台应用,也可通过壁挂式、DIN导轨或VESA悬臂等安装方式嵌入在大型系统中应用。ARK-1310的坚固铝制机箱外壳不仅能够为系统提供
本文引入了主因子格的概念,讨论了完备主因子格中元素的结构.得到了完备主因子分配格有不可约并既分解的一个充要条件,证明了完备下连续的主因子格是有不可约并既分解的.最后讨论了完备主因子格中不可约并既分解的惟一性及可替换性,得到了完备下连续的主因子格有惟一不可约并既分解或者有可替换不可约并既分解的一些充要条件.
研究非规范格子离散机电耦合系统的Noether对称性和守恒律.对于这个系统,我们构造了右的和左的离散变换算符和离散导数算符.基于非规范格子耗散机电耦合系统的Hamilton作用量在关于时间、广义坐标和广义电量在无限小变换下的不变性,给出离散版本的广义变分公式;进一步得到机电耦合系统离散版本的广义Noether恒等式和广义准极值方程及其准极值方程的性质;还研究了机电耦合系统离散版本的Noether守
为了研究分次代数的Yoneda代数的有限生成性,Green和Marcos于2005年引进了δ-Koszul代数的概念并提出了三个公开问题.本文通过讨论分段Koszul代数的相关性质,给出了第三个问题的答案.
充液体动力学是流固耦合力学的一个重要分支.它研究物体与它内部所装液体的相互作用下的运动,如充液卫星、飞机的油箱等.对它的研究一般采用变分法,因为变分法的特点是从全局把握事物.我们考虑了充液体的弹性运动以及表面张力效应,建立该类型系统的拟哈密顿原理,并对所得泛函求驻值条件,得到了由先决条件、约束条件、驻值条件组成的完备的控制方程组,并在一种特殊情况下对控制方程进行简化得到一些已知的方程.
设H是Hopf代数,g是由Cartan矩阵A=(a_(ij))_(I×I)决定的广义Kac-Moody代数,这里的I是指标集,它或者是有限个整数{1,2,…,n},或者是整个自然数集N,用f,g表示从I到Hopf代数H的群象元素集G(H)两个映射,假如集合{f(i),g(i)|i∈I}中任何两个元素乘法可以交换,则可以在H(?)_g~f U_q(g)上定义一种Hopf结构,这里的U_q(g)是g量
介绍了对水下超声速气体射流的力学机制的实验研究.在自行设计研制的实验系统里,高压空气通过缩放喷嘴(拉伐尔)喷入一个3维水槽中.射流在不同的工况下运行,即过膨胀、适配和欠膨胀状态.用一台CCD摄像机,对射流流场进行了可视化.实验发现,超声速气体射流在水中的喷射,总是伴随着很强的流体振荡,而这种振荡与射流气相介质中的激波反馈现象有关.对射流压力场进行了详细的测量,证实了气相介质中的激波反馈现象.但是,
如果半单Lie代数g和有限维遗传代数Λ对应于相同的Dynkin图,则有量子群U_q(g)的正部分U~+典范地同构于Hall代数H(Λ).一个自然的问题是:如何将U+中的根向量分解为Chevalley生成元的单项式的线性组合?Chen和Xiao给出的两种算法分别利用了Λ-模的例外序列上的辫子群作用以及Λ的Auslander-Reiten箭图的结构.对于To(e|¨)n定义的导出Hall代数,本文提出
湍流的工程计算主要依靠湍流模式,而对于高超音速湍流边界层,气动热的准确计算迄今还没有很好的解决.文中以超音速及高超音速小钝头锥湍流边界层为对象,用直接数值模拟(DNS)方法和BL模式计算了同样的7个算例,比较了二者气动热计算的结果,发现产生差别的原因是在模式中对涡导热系数与涡黏系数严格成比例的假设是不合理的.在理论分析的基础上,提出了在湍动能峰值附近对涡导热系数加以修正的方法,在所算的7个算例中证