一个改变了地球面貌的伟大公式

1971年,尼加拉瓜共和国政府发行了一套著名邮票,共10枚。邮票除图案制作精美外,还在每一枚邮票上别出心裁地印上一个公式。E=MC2也在其中,它和其他9个公式一起,被誉为是改变了地球面貌的10大公式。这个当代最伟大的公式是现代物理学之父爱因斯坦于1907年对“狭义相对论”进行理论推导时,获得的     

电子计算机与数理逻辑

由于数理逻辑的兴起以及电子技术的发展,于二十世纪中期导致电子计算机的产生,从而可以用机器代替人们进行推理与计算。数理逻辑还给出了可以使用电子计算机的准则,即当存储量以及计算时间可以无界地增大时,它恰巧可以计算一般递归函数(可能行计算的函数),如果考虑到计算机的现实的物质设备时,则只能计算其时间(空间)复杂度受多项式所界的函数(可现行计算的函数)。使用电子计算机时,必须先进行程序设计,而且我们不应该枝节地就逐个问题而考虑编程序,而应该有一套关于程序设计的理论(软件理论),这其中将讨论程序正确性的核实,程序在运行过程中如有出错如何检查,不同程序之间其优劣如何判定(这又牵涉到程序的结构问题),此外还可讨论计算复杂性对程序的影响等等,这些问题的研究都涉及数理逻辑。最近人们常常谈到第五代计算机,这其间从理论,总体设计(平行计算问题)到具体设计都有大量的数理逻辑问题,是有待探索与解决的。可以说,数理逻辑是计算机科学的一个主要支柱。     

空气老化的后果

在现实生活中,我们看见过塑料制品、橡胶制品老化以后报废的现象,也讨论过人口老化问题给社会带来的压力,可是有谁听说过空气老化也会给地球环境带来负面影响的事呢?事实上,所有生命赖以为生的空气确实在一步步老化,空气老化的具体标志是其中的氧气含量下     

矢量中值滤波在林业TM影像处理中的应用

介绍了改进的矢量中值滤波法算法,并使用该算法对广东省九曲水林场TM图像数据进行滤波消噪处理O 以图像基本统计信息、典型地类分类精度和平滑指数FI为评价指标将矢量中值滤泼的处理结果与传统的滤波算法(均值滤泼、中值滤泼、统计滤泼、自适应滤波和高斯滤波)进行了对比分O析结果表明,对林区TM图像而言,矢量中值滤波器具有出色的平滑去噪能力,并且保持了很好的分类精度,可以替代传统的滤波方O 法。     

浅议高校本科生参与教师科研过程机制的探索

为适应社会发展对人才素质提出的要求,提高高校大学生的创新精神和研究能力,应加强教学与科研的有机结合,倡导学生,尤其是低年级学生参与教师的科研工作,鼓励把研究性教学贯穿于教学的全过程。     

高级函词与约束词的本质

在狭义谓词演算中我们讨论了函谓词,即以个体为值的函词和以命题为值的谓词。通常它们以个体为变目,但这种限制太严了,我们应该容许命题亦作为变目。此外,我们又讨论了量词与摹状词,它们合称约束词。根据同样理由,我们也容许它们的作用域可为项(不限于公式),它们的指导变元可为命题变元。在高级谓词演算中,我们还讨论高级函谓词和高级约束词。通常我们把高级函谓词和高级约束词看作是本质不同的。在本文中,我们指出: 第一,二级函谓词和一级约束词是一样的。例如,对二级函谓词φ及二元一级函谓词A而言,φ(A)亦可表为φ_(xy)A(x,y),这里φ_(xy)为具有两个指导变元的一级约束词。另一方面,对一级约束词lim而言,lim f(x)亦可表为lim(a,f),这里lim是二级函谓词,它有一个个体变目和一个函谓词(一级)变目。一般说来,n 1级函谓词和n级约束词是一样的(但参看下文)。其次,当我们把二级函谓词(亦即一级约束词)作用于一级函谓词以作成一项或一公式时,并不是前者(级数较高)以后者(级数较低)为变目,(这是通常的说法所断定的),而是前者填充后者的变目,至少是前者约束后者的变目,无论如何,我们不能说后者是前者的变目。因此通常的表达式Axα(x)和limf(x)应该写成(αA和(flima,或写成Aα(i)和lim af(i)。(我们约定,约束词应依序约束)。第三,由于二级函谓词永不以一级函谓词为变目,也就没有产生更高级函谓词的可能。因此,我们只有个体、命题、(一级)函谓词和(一级)约束词四者,因此广义谓词演算也就变得更简单了。     

关于板的极限曲面的界限

本文讨论了等厚各向同性板在多种载荷作用下极限分析的上下界不等式。得到了板的极限曲面的上下界限,运用它可十分简单地计算载荷在任何组合情况下的上下界限值。本文提出的方法可适用于钢筋混凝土板的极限设计。     

环形简支栅格板的优化

本文用Prager-Sheld优化准则探讨了简支环形栅格板的优化,提出了Ⅱ型解,它是对[1]工作的补充。另外研究了考虑自重时简支环板支承位置的优化。所得结果由价值灵敏度的计算和对偶原理进行了检查。     

关于正则语言的一点注记

《计算机学报》5卷(1982年)2期郭聿琦等同志一文[2]定理3的证明有误(当L接受空字时,该证明所作的文法不合用),从而所得的中间结果(下文的(a))亦有误;该文接着引用[1]定理3.4的证明但却曲解为下文的(b)(事实上,[1]的原文显然与(b)不同);由(a)(b()两项结果作者便得出下文的(c)。事实上,无论(a)(b)或(c)都是错误的。     

开裂前后钢筋混凝土板的有限元分析

本文对钢筋混凝土板的有限元计算提出了一种新的计算方法,该方法考虑了钢筋混凝土板开裂前后的特性。本文首先给出了一个广义应力——应变关系的力学模型和板元的计算模型。考虑到弹塑性变形是渐变过程,而开裂变形是突然出现的,为计算变形,对前者使用逐次迭代方法计算,对后者使用变换基本弹性刚度阵方法计算。用上述模型和方法计算了最近经过试验的各种配筋率的钢筋混凝土板,计算结果表明,板的中点的荷载——挠度曲线和板的计算开裂图形与实验结果一致。