微机字处理软件CAI开发方法的研究

本文阐述了研究计算机软件ＣＡＩ开发方法学的意义，并介绍了字处理软件Ｗｏｒｄｓｔａｒ的教学软件的开发方法．     

MAPLE在微积分教学中的应用

极限是微积分的重点和难点。本文简述了数学软件MAPLE在极限教学中的应用。     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

命题演算中逻辑推理的推导法

本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握     

正则牛顿过程设计n分之一阶分抗电路(英文)

讨论基于一阶正则牛顿迭代求根过程进行任意阶分抗的近似求解方法.通过迭代求解n阶方程的正实根,作为分抗的模拟.给出迭代的精确公式,并分析其收敛必须满足的条件,最后给出相应的模拟无源电路实现方案.     

断裂力学中应力强度因子的2种解法

提出Fourier积分变换和有限元数值解法求解工程断裂力学中应力强度因子KⅠ的2种解法，而KⅡ可通过两者之间的关系导出，其解值与实际均基本吻合；初步分析和验证了后者解析解的误差关系。这2种方法具有简单方便的特点。     

基于运算微积的Stokes第二问题起动过程的精确解

为研究Stokes第二问题的起动过程,利用运算微积得到了问题的精确解。在时间趋于无限长时,该解逼近Stokes第二问题的精确解。研究发现:空间每一点的速度从初始时刻的零值开始增大,达到第一峰值后开始减小并进入振荡状态;流动开始为非等幅振荡,随时间进程最终发展为稳定的等幅振荡。在近壁面处,第一峰值低于该处达到稳定等幅振荡后的幅值;在远壁面处,第一峰值高于该处的等幅振荡幅值;之间存在一个临界距离,该处的第一峰值与等幅振荡的幅值相等。此外,平板振荡频率越低,流场达到稳态振荡所需时间越长,临界距离越短。研究还给出了频率和临界距离的定量关系,发现两者的乘积为一常数。     

英雄世纪的微积分与几点教学思考

从微积分创建的历史角度阐述微积分的思想方法以及对微积分教学的几点思考,使学生从形式、内容和方法上掌握微积分思想.     

极限的求导剥离法则

给出一种新的求函数极限的方法———求导剥离法,使许多常见的经典求极限之例得到巧解和扩充.     

定积分不等式证明的两种方法

给出定积分,二次累次定积分不等式的两种证明方法.