形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

李群G在流形M上左作用的相关性质

本通过李群G在流形M上左作用，构造了M上单参数可微变换群，证明了其诱导向量场与李代数g之间存在同态映射，且诱导向量场是—李代数。     

同多钼酸根共振瑞利散射光谱法测定盐酸小檗碱

在弱酸性HCl NaAc缓冲溶液中,同多钼酸根能与盐酸小檗碱阳离子形成离子缔合物.它将导致共振瑞利散射(RRS)大大增强并产生新的RRS光谱,其最大散射峰位于373nm处.盐酸小檗碱在0～3×10-6mol/L范围内其浓度与RRS强度成正比.方法具有高灵敏度,对盐酸小檗碱的检出限(3σ)为8 9ng/mL.方法也具有较好的选择性,用于盐酸小檗碱片中盐酸小檗碱的测定,结果满意.文中还对反应机理及RRS与吸收光谱特征进行了比较研究.     

算子的模糊范数及其空间性态的刻画

利用模糊分解原理提出模糊赋范线性空间上算子的模糊范数的定义，指出赋此范数的模糊有界线性算子集构成模糊赋范线性空间且保持值域空间的完备性．     

一类笛卡积图的交叉数

确定了一类6阶图与路的笛卡尔积图的交叉数。     

一类钴基化合物的分子场理论分析

根据两格点分子场理论，在考虑重稀土与钴的磁矩偏离反平行倾角的基础上，分析了钴基化合物RCo5(R=Y，Pr，Nd，Gd，Tb，Dy)的磁化与温度的关系，采用数值拟合的方法得到了描述3种磁作用的分子场系数n(CoCo)，n(RCo)和n(RR)，计算出了Tc，结果表明，RCo5中的磁作用主要由钴3d电子问的交换所决定。     

完备Brouwer格上的T-型正则L-关系

利用完备的Brouwer格L上的无穷V-分配t-模T定义格L上的T-型正则L-关系，建立这些L-关系的基本性质，并给出T-型正则L-关系的最大T-型广义逆L-关系的两个计算公式．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

东大别超高压变质带构造研究进展

大别山造山带的形成和演化主要经过南北板块碰撞、碰撞后超高压变质岩折返和燕山早期穹隆构造形成3个构造阶段,其主体构造格架由碰撞后超高压变质岩折返过程中的伸展作用和燕山早期穹隆构造所形成.文中根据不同岩石单元在超高压变质岩折返和穹隆构造形成中的构造表现,以主期构造特征及其后构造演化的一致性为原则,将东大别造山带的变质岩系分为南大别岩片构造带、中大别穹隆构造带和北大别隆滑-逆冲构造带3个构造单元,系统论述了各构造单元构造变形的几何学和运动学特征,从造山带整体构造演化的角度厘定出3个阶段的5期变形,探讨了它们在大别山构造演化和超高压变质岩形成和折返中的动力学意义.     

不完备信息系统的数据挖掘

现有的数据挖掘系统一般是针对于完备信息进行的,而在实际问题中,不完备的信息系统是普遍存在的,这是由于数据库中的数据很少是完全的,待处理的数据常有某种程度的不完备.因此研究如何在这种不完备的信息系统上进行数据挖掘是非常重要的.