氦原子及类氦离子基态能量与波函数研究

采用二元泛函变分的方法，求出氦原子及类氦离子Li^ ,Be^ ,B^ ,C^4 ,N^5 ,O^6 的基态能量与波函数，结果表明，二元泛函变分法比一元泛函变分法得到的结果更接近实验值，计算得到的氦原子及类氦离子基态能量值与实验值之差，比用一元泛函变分法得到的能量之差减小7％－15％。     

一种求Ramsey数的命题演算法

首先在矩阵中用谓词描述“含Kn”和“含－↑Km”，然后通过命题演算法逐行求出不含Kn也不含－↑Km的矩阵（aij)j=i 1,…，l^i=1,2,…l-1，若对于l≤r－1有这样的矩阵，而对于l=r却没有，则r为Ramsey数。     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。     

系统生物模型转换研究--从SBML到 Stochastic Pi Calculus

分析了系统生物标记语言（SBML）模型和用随机Pi演算对生物建模（BioSPI）的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程,提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想。     

基于分数阶微积分的机械臂滑模控制的研究

针对机械臂这类非线性与不确定性的系统,将分数阶微积分理论与滑模控制策略的优点相互结合,提出一种有效的分数阶滑模控制方法。在控制器的设计过程中,分别以分数阶趋近律与分数阶滑模控制律两种手段将分数阶微积分引入到滑模控制中,并运用Lyapunov理论进行证明,从而确保系统的稳定性。将提出的控制方法应用于二关节机械臂上,使用MATLAB仿真软件进行仿真验证。结果表明,所提控制策略可有效提高关节的跟踪速度与跟踪精度,控制器具有良好的有效性和鲁棒性。     

奇偶函数的积分求法

奇偶函数的积分计算是积分学中的一种特殊运算,在计算过程中如能巧用奇偶函数的性质,往往可以起到化难为易、简化计算的作用。本文从单变量函数和多变量函数微分学两个方面分别探讨了奇偶函数的积分计算,并结合具体实例进一步论证了自己的观点。     

APPROXIMATE SUBDIFFERENTIALS AND NONSMOOTH ANALYSIS FINITE DIMENSIONS

Ioffe's approximate subdifferentials are reviewed and some of his resultsare generalized.An extension of the calculus of the approximate subdifferentials forthe sums to any finite number of functions is provided along with a generalizationof the Dubovitzkii-Milyutin theorem.The presentation also indicates some of thelimitations of nonsmooth analysis and optimization.Restriction to the class offunction which is suitable for most of the purposes in nonsmooth optimization issuggested.     

＊系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系