关于二项式系数的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是具有光滑边界的有界开区域。主要结果改进和发展了前人的一些相应结果．     

关于余氏猜测的一个命题

设ａ，ｂ１，ｂ２是整数，ａ＞１，（ａ，ｂ１）－（ａ，ｂ２）＝１．则偶数ｍｂ１＋ｂ２（ｍｏｄａ）都可以表示为ｐ＋ｐ４，这里ｐ是素数，ｐ４是至多４个素数的积，且Ｐｂ１（ｍｏｄａ），ｐ４ｂ２（ｍｏｄａ）．     

建立电工技术课程试卷库的一些体会

论述建立电工技术课程试卷库的重要性,就考核模式和建设方案提出了一些看法.     

余新河命题的一个等价命题

给出了余新河命题的一个等价命题,并且由之导出了一个较Goldbach猜想弱的推论。     

贵州矮杨梅资源考察

文章详细阐述了以下内容:1.矮杨梅在贵州的分布区。2.贵州矮杨梅集中连片分布地区的面积、密度、年产果量及雌雄株比。3.矮杨梅的生态环境。4.矮杨梅分布与煤矿分布的相关性。5.矮杨梅优尊单株简介。6.对资源的保护与利用的意见。     

能够表示缺省知识的模糊推理方法

模糊推理是人工智能中的一种不精确推理方法。本文采用基于max—⊙复合运算下的新的复合推理规则,在基于R_b的模糊推理框架中,利用可能性量化语句,提出了一种能够表示缺省知识的模糊推理方法,从而,提高了模糊推理表示和知识处理的能力。     

“实数的十进位小数表示”与实数连续性等价

证明“实数的十进小数表示”与“单调有界数列必有极限”等价。从而也证明了“实数的寸进小数表示”与实数连续性等价。