一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

关于n元线性丢番图方程的探讨

给出n元线性丢番图方程的一种基础解法.     

关于丢番图方程x~2+27y~2=4p

分类讨论了方程x2 +2 7y2 =4p解的存在性 ,给出其有解的一个充要条件 .     

关于Diophantine方程xp+2p=Dy2

设p是奇素数,D是无平方因子正整数。文章证明了:当p>3时,如果D不能被p或2kp+1形之素数整除,则方程xp+2p=Dy2没有适合gcd(x,y)=1的正整数解。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。     

微分代数控制问题的数值计算方法

描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。本文提出一些数值方法来计算这些控制问题的控制规律。对于一个模型问题,本文进行了稳定性分析,并且给出了稳定性区域。文中估计了这些方法的全局误差,它们给出控制误差与计算步长的关系。     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

仅用1表示数的最少个数

设n为正整数,f(n)是可以用1以及任意多个 号和×号(以及括号)来表示n时所用1的最少的个数.本文确定了n在若干情形时f(n)的值,改进了参考文献的部分结果,并提出了若干新的猜想.