关于二阶复微分方程f″(z)+A(z)f(z)=0解的非实零点的研究

考虑二阶复微分方程f″+A(z)f=0解的非实零点的收敛指数与解的增长级之间的关系,其中A(z)是多项式,给出方程非零解的非实零点序列的收敛指数等于增长级的一个充分条件.     

在CAD／CAPP／CAM集成化系统中基于特征零件模型的建立

结合研制的几个机械类型零件，在ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成化系统中，采用面向对象技术，将机械加工系统分解为零件、加工工艺、制造资源等对象并将其分类。利用面描述和体描述等方法，在不同层次上对零件特征进行分类，在总结归纳相互关系基础上介绍建立系统模型的原理和方法。并将该方法应用于实际。     

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

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

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

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

自旋—自旋相互作用对红宝石零场分裂的贡献

本文引入自旋－自旋相互作用，计算了红宝石等３种三角晶体中Ｃｒ＾３＋离子的零场分裂，理论计算与实验值一致，研究表明，自旋－自旋相互作用对三角晶场中ｄ＾３离子零场分裂的不应忽略。     

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

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

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

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

关于E_q~*—群

本文首先引入E_q~*-群的定义,讨论了E_q~*-群的若干刻划性质,给出了阶为n的群恒为E_q~*-群的充要条件。     

弧线锥齿轮和零度锥齿轮传动的计算机辅助设计

本文阐述弧线锥齿轮和零度锥齿轮传动计算机辅助设计的基本原理和方法。重点论述优化设计的数学模型、程序框图和计算机自动绘制锥齿轮零件图的编程原理。     

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

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