多面体分子轨道的理论方法——Ⅱ、球谐函数的对称化

本文提出一个直接计算正多面体对称群变换系数的一般公式从这个公式可推出低对称群的不可约表示。     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

关于公理集合论的一些注记

一般人们把Bernays-G(?)de1(BG)系统中的类和Zerme1o-Fraenke1(ZF)系统中的集合相对应,从而认为前者既恢复了素朴概括公理又只使用有限条公理,远比后者优越.其实BG系统对集合的定义不大符合直觉,又使用两种变元,相当复杂,值得改进.而且BG中的类相当于ZF中的公式,BG中的集合才相当于ZF中的集合,因此所谓BG恢复了素朴概括公理的说法是不对的.如果我们把ZF集合论建基于二级谓词演算之上,那末ZF系统也只使用有限条公理.本文将说明建基于二级谓词演算的ZF系统,无论从概念(意义)上或形式推导上都优于BG系统.     

不可满足公式的完备证明系统

合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。     

基于任意特征标的一个组合公式和应用

本文证明了一个组合公式它是基于S_m的子群G的任意不可约特征标x的,本文也给出了此公式在对应于G和x的张量对称类上的应用.     

n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

带有指数为P的子群的群表示(续)

本文在[1]的基础上继续研究,S,A,P,m,n等的假设和[1]一样,有如下的结果:Th1,S的自伴随不可约表示,限制在A上可分解为p个互相共轭互不等价的不可约表示。证:设D是S的自伴随不可约表示,则D在A上可约。1.若在A上:D=D_1(?)D_2(?)……(?)D_r,D_i是A上的不可约表示且互不相同(i=1,2,……r),则     

論容有不可迁共形变換群的黎曼空間

§1.引言近年来,关于黎曼空間共形变換群方面有一系列的研究,T.Nagano証明了如下的事实:非共形平坦的正定黎曼空間V_n如容有共形变换群G_r,則必有另一黎曼空間(?)_n,它共形于V_n而以G_r为其运动群。由此可知,容許共形变换群的黎曼空間可分为二类,一类是共形平坦空間,另一类是和容有运动群的非共形平坦空間互相共形对应的空間。能作为黎曼空間的共形变換群也有二类,一类是欧氏空間的共形变換群及其子群,另一类是可作为黎曼空間运动群的变换群,但是这二类有公共部分,因为欧氏空間共形变換群的某些子群也可以作     

关于任意方向应变计算中应注意的问题

本文证明了在任意方向的应变计算中不能简单地应用平面上的应力公式进行对应变换.推出了在以使直角减小的剪应变为正和以使直角增大的剪应变为正时相应的剪应变新公式.     

三元系热力学图解计算方法——评Darken法与周国治法的内在联系

本文系统讨论了三元系中由已知一组元活度计算其它组元活度的图解计算方法,并侧重于间接计算方法(遵循(?)_1-(?)或R(R=G/(1-x_1))→(?)_2、(?)_3),借助于热力学基本公式,大大简化了Darden公式和周国治公式的推导过程,指出两种方法的内在联系,给出周国治公式中变量代换R,y的引入思路及意义。经过讨论,从理论上证明了周国治法实际上是Darken法的发展和完善,是三元系热力学计算的好方法。本文还提出两个有用的判别式,可由有关二元系的热力学数据分别对三元系实验结果和图解计算结果加以检验,使计算方法更加完善。     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

B_n型Weyl群的某些sl_2(■)型表示

本文引起了Coxeter复型的一些子复型,它们最高维的下同调模被分解成不可约的W-子模,其中W为有关的Weyl群。此分解的方法是很有意义的,因为对应的本原幂等元素的构造相当于李代数sl_2(?)的不可约的表示方法。     

时空能量论

本文从东方整体论的视角,提出了一个全新的宇宙时空观。将狭义相对论推广至复数,提出光速只是虚实物质运动速度的分界线,并以旋转坐标系中的标量旋转速度来定义狭义相对论中的速度v,将时空分为零时空、虚时空、实时空和复时空,将物质分为零质体、虚质体、实质体、复质体。提出物质的本质是时空量子,并以此为基础将光量子公式推广到了整个旋转有序系统。以上述方式对宇宙、时空、能量、质量进行重新思考,可以自然推出时空转换原理、能质转换原理和自发吸收原理,从而在尊重西方现有科学成就的基础上,利用开放非线性系统从宇宙空间提取能量。     

参数样条磨光与插值

一、参数样条磨光与插值公式的构造对于区间[a,b]的一个等距分划π:n=x_0相似文献   

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

水的蒸汽压和蒸发焓的简易测定

这个实验装置是在文献[1]装置(见图1)的基础上改进而成的,可作为学生的普通化学实验。一、原理如图2所示,在倒立量筒内封闭一定量的空气,用注射器调整使量筒与玻璃管两边的液面相平,此时量筒内水蒸汽与空气的总压力(P_水 P_空)就等于室内大气压P_外。在0℃附近,水蒸汽的分压P_水可以忽略不计,即可认为此时P_空=P_外,根据此时量筒内空气的体积V、温度T和室内大气压P_外,可由公式PV=nRT求出封闭在量筒内的空气摩尔数n空。当温度变化时,n空不再变化,因而可求得不同温度下量筒内空气的分压P_空,进而由P_水=P_外—P_空即可得到不同温度下水蒸汽的饱和蒸汽压P_水,再根据克劳修斯—克拉贝龙方程lgP=-(△(?)_b)/2.303RTB,作出tgP～(1/T)图,由直线斜率可求得水的蒸发焓△(?)_b。     

非线性酶动力系统——-ZZKK模型渐近分析(简报)

0 引言生物系统中的化学反应,除极少数外都是在酶的作用下进行的,本文讨论的 ZZKK 模型是一个典型的非线形酶动力系统,具有明显的生物学意义．考虑下面生化反应公式, A Y X′(?)2Y X,Y Z(?)P Z,B X(?)X′ Z Z(?)输出,A(?)Y,E X(?)X Z,X X′=C．其中 A,B,E 为反应浓度,P 为生成物浓度,X,X′,Y,Z 为中间物浓度．相应的 ZZKK 模型为     

管状面的平均曲率积分

设M是欧几里德空间E~(m+p)或球S~(m+p)中的m维封闭子流形,T_(?)是M的ε-管状超曲面.本文计算了T_e的各阶平均曲率的积分,把它用M的黎曼曲率张量表示出来.我们的公式是H.Whyl的管状面积公式的推广.     

广义Weyl-McCoy对应和附加势

在平坦空间中量子算符和经典量的对应一般取Weyl 对应,它又可纳入M(?)Coy 对应形式.在弯曲空间中Weyl 对应应该推广为〈(?)P(?)H((?),(?))(?)q_2〉=1/(g_1g_2)(1/4)∫d~vp/((2π)~N)e~(ip(?))h(p,(q_1 q_2)/2),(1)或要求其逆对应为h(p,q)=∫d~vve~(ipv)(?)(1)式也可纳入McCoy 形式,(1)式两边乘(?)积分得