命題演算和某些邏輯推断方法的根据

在过去两千年的时期內,邏輯被应用来发展数学,但数学却没有被用来发展邏輯。仅仅在19世紀数学才开始渗透到邏輯中去,并产生了巨大的效果。由于应用数学方法于形式邏輯的問題,結果出現了一个新的科学部门——数理邏輯(或譯数学邏輯,下同——譯者注)。数学学科的演繹体系提出研究它們的邏輯結构,查明在这个体系中应用的邏輯方法的問題。邏輯推断方法的理論的研究即是数理邏輯的对象。在本文中只討論数理邏輯的最簡单的部分——命題演算。     

中性介子的混合问题

采用Morpurgo关于正、反层子间存在两种相互作用势的简化假设后,本文将Isgure考虑过的0^-+,1^--,2⁺⁺两个中性介子混合问题扩充到SU（4）范围三个中性介子的混合。经计算表明,特别对于1^--介子,在质量谱与衰变行为两方面都与实验较为符合。     

倍边公式的簡化形式

学生在求边数倍增的圓內接正多边形的边长时,宁可采取別的方法,却很少运用現成的倍边公式。高中平面几何課本中关于圓的內接正多边形的倍边公式是这样給出的: a_(2n)=(2R~2-R(4R~2-a_n~2)~(1/2))~(1/2) (1)如果将(1)式根据代数上所讲的公式(a-b~(1/2))~(1/2)== ((a (a~2-b)~(1/2))/2)~(1/2)-((a (a~2-b)~(1/2))/2)~(1/2)进行变换,可变成a_(2n)=R((1 ((a_n)/2R))~(1/2)-(1-((a_n)/2R))~(1/2)) (2) (2)式和(1)式比較起来,不但形式簡单,便于記忆;而且由于(2)式比(1)式少了一层开方运算,也容     

环氧树脂的玻璃化转变

阿库京及其同工作者曾用热机曲线的方法研究了环氧树脂的固化问题,吴世康等亦用类以的方法测定了以30%顺丁烯二酸酐固化的经不同后处理试样的热机曲线,其结果示于图1。     

在地球上创造的黑洞环境

<正>一组研究人员利用高能激光束引爆了一个小塑料球,创造了类似于在黑洞外围所发现的情况。这一研究上的进展可以使科学家们对极端环境中物质和能量的性     

类星体创造了星系吗

<正>类星体和星系哪一个形成在前呢?长期以来,天文学家们认为年轻的星系滋养了位于中心的黑洞,一直到黑洞变成类星体。类星体是质量极大、威力极强的能量源。但是现在科     

塞曼激光陀螺磁屏蔽设计与实现

为提高塞曼激光陀螺精度,分析了塞曼激光陀螺磁的磁敏感特性,指出敏感轴方向是塞曼激光陀螺的最大磁灵敏度方向,该方向为产生磁误差的主要方向。研究了低频磁场屏蔽理论与加工工艺关键技术,结合激光陀螺的环境适应性要求,实现了固态激光陀螺磁屏蔽结构。在三轴磁试验台上进行了陀螺磁敏感性测试,陀螺磁灵敏度值减少到原来的1/1000,实测系数达到2.0(°)/(h.mT),该值满足中等精度激光陀螺的实用要求。     

基于联系云-证据理论的岩爆烈度预测模型

岩爆机理复杂影响因素众多且呈现多种不确定性,应用云模型预测岩爆问题虽能刻画指标的随机性和模糊性,但很难模拟非正态分布的评价指标及存在冲突数据融合失真问题.为克服这些缺陷,探讨了岩爆烈度的联系云-证据预测模型.该模型首先基于联系数定量表达评价指标,通过联系云构建评价矩阵,并应用D-S证据理论得到基本概率赋值,进而基于距离函数的组合权重与融合均值证据预测样本的岩爆等级.实例应用及与其他方法对比结果表明,该模型应用于岩爆预测是有效可行的,且克服了传统云模型和证据理论的不足,为岩爆烈度分级预测提供了一种新的途径.     

局部对称的黎曼流形中的极小子流形

主要研究了局部对称的黎曼流形中的定向紧致无边极小子流形的内蕴刚性问题,利用一个矩阵不等式,得到了这类子流形的一个刚性定理．所得结果部分改进了已有的一个结论．