带量词的合一算法

Ｒｏｂｉｎｓｏｎ于 １９６５年提出了归结原理，其主要工作是 Ｕｎｉｆｉｃａｔｉｏｎ算法。这个算法只能处理不带量词的子句公式，它不能用来发现定理的自然演绎证明。本文的算法能处理量词，它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Ａｎｄｒｅｗｓ；Ｂｌｅｄｓｏｅ和Ｐｅｌｌｏｔｉｅｒ挑战性问题。     

关于半群簇的几个判定问题

本文证明了，对于一个半群等式公理的有限集Ｅ定义的半群簇［Ｅ］，以下几个问题是可判定的：（１）是否每个Ｓ∈［Ｅ］都是正则的；（２）是否每个Ｓ∈［Ｅ］都是单的；（３）是否每个Ｓ∈［Ｅ］都是群；（４）是否每个Ｓ∈［Ｅ］都是一致周期的；（５）［Ｅ］是否平凡。     

代数运算律的逻辑关系

本文分别给出了代数运算律——结合律、分配律,交换律的更灵活,更深刻的定义,并通过该定义进一步详细地讨论了各种运算律的逻辑关系。     

Γ函数的性质研究

Γ函数是一个特殊函数,其定义表达式为广义积分式.定理1-定理7给出了它的估计区间、精确表达式和近似计算公式.     

集合上一些运算律的反例（Ⅱ）

给出一个集合上的两个（二元）代数运算分别满足或不满足交换规律、结合律和分配律的各类例子，同时给出了n元分配律成立而 n-1元分配律不成立的例子。     

基本集合运算法则的形式化推导

众多数学分支都要用到集合论的基本知识,集合的运算法则对于数学的许多分支来讲都是必要的。本文是从几条明显而又极易验证的法则出发,推演出集合运算的其他法则,方法独特,趣味盎然。     

关于Shannon采样定理的一点注记

利用Paley-Wiener定理证明了Shannon采样定理隐含在Hardy插植公式中。     

向量空间的线性性质

本文研究了刻画向量空间线性的8条性质，揭示出空间的线性本质上是比例关系的推广。     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

关于辅助函数的构造

构造辅助函数是转化问题的一种重要手段,下面将对选取和构造辅助函数作探讨。     

低山丘陵区统一年产值测算研究——以四川华蓥市为例

本文以四川华蓥市为研究区域,严格遵循国家法律、标准和规范对低山丘陵为主的华蓥市征地统一年产值进行测算,通过的大量的数据计算得出结果华蓥市的地区征地统一年产值为20520元,并用该结果与上一轮的价格进行比较和分析,提出了一些实用该结果的建议。     

邓小平和平统一方略在台湾问题上的历史性突破

台湾问题是中国共产党不断探索的重大历史课题之一。从第一代领导人提出的“和平解放台湾”到邓小平“和平统一，一国两制”方略的诞生，这是一次伟大的历史性飞跃，此方略在解决台湾问题上实现了三大突破。即解决问题方式上，构建完整战略框架上和具体方案上的突破。     

论在正弦电场下场和路的统一

麦克斯韦的全电流方程式与交流电路基本算符的综合形式是能统一的。本文揭示了一个重要的结果,那就是容性和感性两种统一算符分别为同一交流基本算符在以容性参数为主和以感性参数为主的电路系统中的具体表现形式,导纳统一运算方程组的规则适用于电介质材料基本电参数的定义,阻抗统一运算方程组的规则适用于磁介质材料基本电参数的定义。     

诸能量原理的统一性

多数弹性力学中的能量方法都是从П=U-W 及П~*=U-W~*出发,通过变分得到最小势能原理δП=0及最小余能原理δП~*=0.实际上,最小势能原理、最小余能原理只不过是虚位移原理及虚力原理的特殊情况,而虚位移原理是人为的用能量表示的平衡条件,虚力原理是人为的用能量表示的连续性条件.因此不需要讨论П及П~*的物理含义.本文把理论力学的虚位移原理,分析力学的哈密顿原理,弹性力学的最小势能原理都统一到虚位移原理,把材料力学的卡氏定理、莫尔定理,弹性力学的最小余能原理都统—到虚力原理。     

一体化与当代文学史书写的症结

“当代文学”是一个不断延伸的概念,它没有终点。它的使用造成了相关称谓的混乱。洪子诚提出的文学“一体化”的论断,对新中国文学的命名与中国当代文学史的学科建构均有启示意义。中国当代文学史的内部书写面临诸多问题,这些问题带来文学史的人为的断裂。分析当代文学史书写背后所存在的症结,有助于排除这些困扰,从而建立当代文学史的书写规范。     

美国对陈水扁"废统"的态度前后变化的原因分析

美国对陈水扁“废统”立场前后不一致,前硬后软明显。美国现行的战略危机、现阶段需要台海稳定、陈水扁“废统论”严重冲创美国的台海政策是美国对陈水扁“废统论”的态度强硬原因;美国的全球战略及其对中国的崛起态度、台湾问题持久存在对中国的危害、美国对于大陆的所谓台湾态度及有限利用台独是美国对陈水扁“废统”行为的态度转软原因。     

儒家“天人合一”思想与广东省生态文明建设

儒家思想博大精深。它的“天人合一”观念由来已久，至今绵延不断，并且不断演进、重构和发展。进入21世纪以后，“地球村”的生态环境发生问题。中国乃至广东都面临着生态文明建设的重要任务，从儒家思想中寻找生态伦理的本土资源，不仅具有历史借鉴作用，而且具有重要的现实意义。     

平面几何命题机器证明的Groebner基方法

探讨了初等平面几何命题机器证明的Groebner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.     

利用法律和经济手段强化环境监察职能

仅依靠单纯的行政命令解决环境问题已不适宜。因此，必须运用法律的手段处罚、遏止环境行政违法行为，通过环境监察现场执法，控制新污染源的产生，并且运用排污收费等经济手段，实现老污染源的治理，保护和改善生存环境。