平顶山市土地资源永续开发利用研究

分析了土地资源永续开发利用的概念和内涵 ,平顶山市土地资源及开发利用概况、开发利用中存在的问题 ;土地资源永续开发利用与社会可持续发展的关系 ,指出了平顶山市土地资源永续开发利用的战略     

《体育心理学》考试命题设计的实证分析

以《体育心理学》考试命题设计为实证,分析了体育心理学课程考试命题设计的方法、原则、试卷编制的内容和试卷质量的评价指标.探讨最优化的考试命题设计模式,以期有效地考查教师的教学水平和学生的学习效果,为考试命题设计提供参考依据.     

新场气田蓬莱镇组气藏整体增压开采方案研究

新场蓬莱镇组气藏为一浅层中型整装砂岩气藏,经过9年多规模开发已处于开发中后期低压阶段,受管网压力制约,气藏产量递减迅速,稳产困难,为维持气藏稳产,在气藏可采储量研究基础上,采用ReO软件对气藏生产系统进行建模并进行了21种增压开采方案优化模拟,研究表明气藏以川孝161、163、156三个井区为单元进行整体增压开采可以维持气藏稳产,较自然开采可多采出天然气2. 344 7×108m3,气藏单井平均采收率可提高8. 26%,气藏进行整体增压开采不仅能较快收回全部投资,而且能获得较好开发效益。关键词     

垃圾填埋场沼气控制与利用的方案评选法

为了保护环境,实现对垃圾填埋场气体的资源化利用,目前国内外对垃圾填埋场气体采取了广泛的控制利用方案。笔者从环境、经济和社会的整体效益出发,提出沼气利用方案的评价指标体系,并采用层次分析法进行了方案的优选,对合理作出决策提供科学依据。     

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

关于余氏猜测的一个命题

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

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

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