矢量波动方程的时空高阶方法

文章将Gauss-Lobatto-Legendre多项式的高阶矢量谱元方法应用于矢量波动方程.由于矢量波动方程可以表示为一个无穷维Hamilton系统且经空间上的有限元方法离散后是一有限维Hamilton系统,利用4阶辛分块的Runge-Kutta方法来求解该有限维Hamilton系统,以期保持系统整体的能量和结构.     

Excel在数理统计计算中的应用

介绍了一些利用Excel 进行数理统计计算的方法和技巧.用Excel 能方便计算的数理统计方法有一元线性回归、曲线回归、方差分析以及假设检验统计量的临界值等.     

物元模型及其在农业中的应用

介绍了综合评价中的物元分析的新方法，并利用它来评估全国乡镇企业经济效益。     

广义四元数代数的线性表示及其乘法的可易性

给出了广义四元数代数的两种线性表示,导出了两个广义四元数代数同构的充要条件;推出了广义四元数矩阵乘法的可易性.     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

一类非协调元的耦合方法

在区域的两个不同部分分别采用协调元和非协调元来研究二阶椭圆问题．证明了这种耦合方法的收敛性并给出了相应的误差估计．     

网格:下一代的因特网

网格作为20世纪90年代才提出的新概念,作为下一代Internet的模型,引起了许多科研组织和团体的重视本文讨论了网格的基本概念,网格计算的要素,最后讨论了现今具体的网格项目的特点以及网格对未来社会产生的影响。     

中国大学生英语口语中强调性元话语的使用研究

本研究运用中国学习者英语口语语料库(COLSEC),并以圣塔芭芭拉美语口语语料库(SBCSAE)为参照,研究中国大学生英语口语中强调性元话语的使用特点和规律.研究结果发现:第一,中国大学生在英语口语中使用的强调性元话语呈现出典型性与层阶性的特点.第二,中国大学生在英语口语中使用的强调性元话语与英语母语者相比在使用类型上基本相似.第三,中国大学生在英语口语中使用的强调性元话语与英语母语者相比在使用频率上有不一致现象,主要表现为very等词的过度使用.     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。