ELNF归约演算

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

倍周期分岔及解稳定性的数值条件研究

本文利用最优设计中的一种新算法——连分式法隐函数理论以及不劝点理论,导出了能反映倍周期分岔数值条件以及周期解稳定情形的两个定理。     

用Millikan油滴实验探测分数电荷

本文采用Monte Carlo方法计算Millikan油滴实验的总不确定度及全分辨本领,结果表明,该实验可用于测量分数电荷。在此基础上,通过对123个油滴电荷的测定,观测到一个呈现分数电荷的事例。     

长江下游火山岩的二个变异趋势及其形成机制

长江下游地区若干盆地不同旋回火山岩的化学成分存在２个不同的变异趋势，即富硅趋势和富钾趋势。富硅趋势主要由分离结晶作用形成的。富钾趋势的成因较为复杂。庐枞富钾趋势的形成与分离结晶作用有关，溧水富钾趋势涉及分离结晶与混染作用。而宁芜富钾岩石是由独立的母岩浆形成的。     

分数阶Relaxation-Oscillation方程的一种分数阶预估-校正方法

涉及松弛（Relaxation）和震动（0scmation）基本现象的过程是与物理密切相关；从数学观点来看。众所周知由时间分数阶导数a,0〈a≤1或1〈a≤2来控制的现象。被称之为分数阶松弛或分数阶震动现象．本考虑分数阶Relaxation-Oscillation方程．证明了分数阶Relaxation-Oscillation方程解的存在惟一性，并利用格林函数给出了它的解析解．我们提出一种计算有效的分数阶预估一校正方法，导出了其误差估计．最后给出数值例子．     

分数阶系统的混沌特性及其控制

本文首先了介绍了分数微分的基本定义及其逼近方法,并对一个新的分数阶系统的混沌特性进行了研究.仿真结果表明,该分数阶系统出现混沌的最低阶数是2.4阶.最后,基于逆优化控制技术设计的简单线性反馈控制器对该分数阶系统的混沌行为进行了有效的控制.     

关于一类不可微非线性规划的约束品性

就一类在凸集C上目标函数为黎普希兹连续的带有可微不等式约束的非线性规划问题(P),在广义Kuhn-Tucker约束品性或广义Arrow-Hurwicz-Uzawa约束品性的条件下,研究了问题(P)的Kuhn-Tucker型必要条件.并且说明了当C为开集时相应的规划问题是问题(P)的特殊情况;目标函数为可微函数与凸函数的和时的相应的不可微非线性规划问题也是问题(P)的特殊情况;以及目标函数由黎普希兹连续的函数的商式构成的相应的分式规划问题也是问题(P)的特殊情况.     

广义分式规划Dinkelbach型算法的推广

就一类目标函数中有无限个分式的广义分式规划问题,在已有的相应的D inkelbach型算法的基础上作了进一步的推广,使其成为一簇算法;讨论了一个参数规划的性质和该簇算法的收敛性.结果表明:改进的D inkelbach型算法是该簇算法的一个特例,并且该簇算法在每次迭代时参数的取法有很大的灵活性,因而在求解时可允许有较大的误差而无损于相应的收敛速度.     

高等数学中几个难点问题的探讨

一元函数微积分学是高等数学的基础,直接影响学生数学素养的培养.讨论和分析了一元函数微积分学中的几个典型难点问题,探讨了一些教与学的方法,为改进教与学的效果提供参考.     

电离放电特征参量时空演变规律及其除尘应用的基础研究

本文详细介绍了电除尘技术的研究现状、现存问题及其研究趋势。认为目前电除尘技术的理论尚不完备,基本上还处于20世纪60年代的水平,属于经验工程的学科。并为此,本文深入研究了大气压电场电离放电特征参量的时空演变规律、电离放电通道中的带电粒子复合及其输运特性等,以便解决目前除尘电场的电离占空比、带电粒子输运项甚低等问题。进而强化了烟尘的荷电、凝聚物理过程,这将大幅度提高烟尘的驱进速度和除尘效率。