New Progression about Gravity Quantization in General Relativity Theory in Real Space-time

Professor Venzo de Sabbata,working at World Laboratory,Lausanne,Switzerland,and Department of Physics,University of Bologna and Ferrara,Italy,is a famous Italy Physicist in the world.He is engaged with a series of creating research works about gravity quantization of General Relativity Theory in the real space-time which attract the attentions of the world.This paper pays the attention to introduce the works of this field,containing mainly:1.quantizing the general relativity theory in the sense of Einstem-Cartan theory,i.e., general relativity adds the torsion,which means introducing spin into the theory of gravity.2. building a compact mathematical tool for research of gravity quantization,the geometric algebra in the real space-time--multivector algebra,i.e.,developing a spinor manifold in the real space-time.     

Application of Multivector Algebra in Real Space-time to Set Pair Analysis

The contact number is an important mathematical tool of systems theory and methods in the monograph Set Pair Analysis and Its Preliminary Applications written by Zhao Keqin for unitizedly processing the uncertainties due to the fuzzy, stochastic, intermediate and information uncomplete about something. The article applies the multivector algebra which is isomorphism with the real Dirac algebra in the real space-time adopted by Venzo de Sabbata to the contact number of set pair analysis, and consequently, the contact number is generalized correspondingly.     

逻辑恒等式的若干证法

全面系统地总结了逻辑恒等式的证明方法，在阐明各种证法的思想、方法的基础上，用形式多样的例子说明了逻辑恒等式的证明步骤，并简要的介绍了一些方法的使用技巧。     

向量组的正交化

利用初等变换方法对Schmit正交化方法进行了改进;同时对含有n-1重特征根的n阶实对称阵所对应的特征向量给出了正交化公式。简化了公式和计算过程。     

A Class of Planar 5 - Body Central Configurations

Newtonian n-body problem is an old, complicated problem. It is very significant to study it. Even about three problem, the completed solutions have not obtained so far. It is one hottest point studied in n-body problem. Based on some hypothesis of symmetric conditions, some necessary and sufficient conditions have been obtained with the purely algebra method. The classification of planar 5 - body central configurations is discussed , in which three class planar 5 -body central configurations are obtained.     

代数学中有关概念的演进及其教学意义

代数学中有许多概念之间既相互联系、又相互转化,这种演进关系不仅仅有理论研究方面的需要,也有实际应用方面的刺激。在教学中,如果能够把这两个方面与代数知识的传授、代数方法的训练以及代数思维能力的培养有机地结合起来,那么,就不仅能够激发学生学习代数理论的兴趣与动力,而且更为重要的是,这种有机结合还能够提升学生欣赏数学的品味。     

关系代数运算与SQL查询的对应关系

关系代数用传统的并，差-，交，笛卡尔积和选择，投影，连接，除来表达关系操作能力，是1种抽象的查询方式。是关系数据库标准语言SQL的理论基础，与SQL的各种查询要求有一一对应关系。     

应变能函数注记

证明了应变能函数的客观性意味着Cauchy应力张量的对称性，以及Cauchy应力张量的客观性将包含应变能函数的客观性，从而也导致Cauchy应力张量的对称性。     

基于能值理论的榆林市耕地可持续利用评价

应用能值理论对榆林市2003—2007年耕地系统的可持续性进行了评价。结果表明,在研究期内,榆林市耕地系统能值总投入并未大幅变动,其中购买能值投入逐年增加,不可更新资源环境投入呈降低趋势,2004年后购买能值所占比重最大,不可更新资源能值投入次之;对能值指标进行分析可以得到,该区域的发展更多地依赖于自然资源的投入,但依赖程度呈逐步降低的趋势。通过与其它区域耕地系统的对比可以得到,榆林市耕地系统存在发展水平较为滞后,农业机械化水平较低,发展严重依赖于自然资源的投入等问题;兼顾到该区域的农业发展水平并为维持区域的可持续性发展,提出该区域应大力发展有机农业和特色农业,在适度增加购买能值的基础上维持其可持续性。     

农业地理信息系统中对栅格图象无用数据的空间分析技巧

阐述了栅格图象处理过程中,对斑点噪声和无用数据的处理技巧,并且按照实施步骤列出了相应的地图代数函数。