MAPLE在微积分教学中的应用

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

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

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

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

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

多阶段最优控制问题的最优性条件

最优控制问题的最优性条件是解决最优控制问题的主要方法之一，目前许多类型的最优控制问题的最优性条件得到解决，但在实际应用中经常遇到一类新的最优控制问题，即多阶段最优控制问题。针对一类多阶段最优控制问题，利用变分法给出该问题的最优解的必要条件。     

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

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

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

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

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

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

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

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

基于SOA和价值模型的采购物流系统建模分析

通过面向服务的架构(SOA),来搭建采购与物流一体化的服务系统,降低系统的成本.为了弥补SOA在服务质量分析方面的不足,将价值模型引入SOA的服务体系中,从功能性和非功能性两方面对顾客需求进行形式化描述;采用扩展的UML时序图对服务流程进行描述;使用Pi演算及价值状态图验证目标价值的可实现性;通过价值实现程度计算函数定量计算采购物流系统对顾客需求的满足情况.最后对一个采购物流系统实例的仿真数据进行分析验证,仿真结果表明,将价值模型引入SOA服务体系可以有效弥补SOA对采购物流服务组合的服务质量分析方面的不足,并对以后的服务组合优化提供指导.     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。