分数阶控制系统微积分数值实现——分析与比较

介绍并对比了两种分数阶微积分的直接离散化数值实现方法：连分式展开（CFE）方法和递归Tustin方法。这两种方法都是采用直接离散方法得到近似模型，且都是得到具有最小相位的稳定系统。在频域里对这两种分数阶离散方法对比结果表明：CFE求解方法要优于递归Tustin方法。论文最后通过实例给出了仿真验证。     

混合过程控制系统基于广义对象的形式化开发

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求，对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型，可以从目标要求中直接提取系统需求，控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型，采用时段演算来描述系统的特性并进行控制器的开发。     

利用微分学理论证明不等式的几种方法

利用具体实例阐述了应用微分学理论证明不等式的五种方法。     

Lagrange中值定理证明中辅助函数构造的一点注记

本文从分析、几何等不同的角度讨论了Lagrange中值定理证明中所用辅助函数的构造成因与方法;同时提出了相应的教学建议。     

分数阶线性信号的Laplace处理方法及其几点性质

文章主要介绍近年来在信号处理学术界颇受关注的分数阶系统的基本轮廓。文章从拉普拉斯变换的角度介绍了信号的分数阶变换及其性质,并且分析了分数阶线性系统区别于传统的整数阶线性系统的相关性质。     

关于一类扩散过程的随机变分计算

对一类比较广泛的随机微分方程的解进行了随机变分计算，在一定条件下得到了相应的分部积分公式．     

中西早期微积分思想及其比较

追溯了微积分的早期思想渊源，对中西数学家所作出的贡献进行了比较。     

基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

化归在微积分学中的应用

化归是一种重要的思维方式,是方法论中解决问题的一般原则,也是解决数学问题的一种常用数学思想和方法。由于化归将问题转化、变形,使问题归结为能够或容易解决的问题,然后再返回求得原问题的解答,化归的目的是使问题化繁为简、化难为易。微积分学中有许多问题是通过化归的思想而得到解决的,为此,本文对化归在微积分学中的一些应用进行分析和讨论。     

莱布尼茨与微积分发明权之争——纪念莱布尼茨诞生360周年

莱布尼茨是卓越的数学家和哲学家，他和牛顿相互独立地创建了微积分。17世纪末，在欧洲爆发了一场激烈的旷日持久的微积分发明权之争。通过争论和调查，人们公认：莱布尼茨和牛顿都是微积分的发明人，他们的微积分各有特色。