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

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

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

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

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

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

提型杂种小麦恢复系选育技术研究

通过培养提型杂种小麦一代植株花粉,取得花粉植株,应用测交法,鉴定了单81～431花培植株恢复育性结实能力。其结果①单81—431可以部分恢复MS向阳4号和MS7117后代小穗结实,结实数分别为1.1粒和0.5粒;②单81—431测交F_1代恢复小穗结实力,同双亲小穗结实平均数比,分别为33.3％和15.4％;③单81—431花粉植株恢复后代小穗结实数同优良恢复系原恢L号的恢复后代小穗结实数比分别相当于原恢1号恢复小穗结实能力的58.3％和31.5％,具有部分育性恢复力。     

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

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

夫妻约定财产制的立法思考

本文在阐述夫妻财产约定制在我国的立法沿革和现实意义的基础上,从我国的现状和司法实践出发,以夫妻财产约定制为研究对象,以尊重契约自由和遵循法治为原则,力求突破婚姻法的传统理论,较系统地对夫妻财产约定制的效力问题、公示问题、客体问题等立法上有待完善的问题进行深入探讨。     

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

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

一类非协调元的耦合方法

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