微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

Rumer's transformation,in biology,as the negation,in classical logic

In this article, we make a connection between the Rumer transformation, used in the study of the genetic code‐doublets, and the negation of classic logic. A unified classification is given, relying on two Klein's 4‐groups describing the symmetries of the 16 doublets of nitrogenous bases and those of the 16 binary connectives of classic logic, both groups being subgroups of a larger noncommutative group with eight elements we identify as the dihedral group D₄. Also, some connections with other works are briefly considered. © 2003 Wiley Periodicals, Inc. Int J Quantum Chem, 2003     

关于W.H.Young不等式形式的探讨

通过一个命题的证明，得出关于W．H．Young不等式的另一种形式，并说明这种形式的不必要性，借此来说明W．H．Young不等式形式的内在统一性和数学思维的严密性。     

线弹性体本构方程对称性的逆命题研究

基于线弹性体本构方程系数矩阵的对称性,提出了其对应的逆命题问题,即若材料本构方程是线性且对称的,能否由此确定物体是完全弹性的?论文通过构造势函数的方法对该问题给出了肯定的回答,从而论证了对于符合线性本构关系的材料,其本构方程的对称性与物体的完全弹性相互蕴含,因而是相互等价的.     

关于二项式系数的Jones问题

设n是正整数 ,J .P .Jones曾经猜测 :当n >3时 ,如果 2n - 1n ≡ 0 (modn3) ,则n必为奇素数 ,本文中运用初等数论方法证明了 :当n是偶数时 ,2n - 1n 0 (modn2 ) .由此可知Jones猜想在n为偶数时成立     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

一类椭圆方程弱解的存在性问题

研究一类椭圆方程弱解的存在性。获得了一个弱解的无界序列的存在性定理。其中Ω包函R^n是具有光滑边界的有界开区域。主要结果改进和发展了前人的一些相应结果．     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。