数理逻辑在工程技术中的应用及匈牙利数理逻辑发展概况

去年匈牙利数理逻辑专家Kalmar通讯院士来我国访问期间在中国科学院数学研究所曾举行过几次座谈,本文系座谈内容的一部分,是由数学研究所同志根据谈话内容加以归纳正理的。在这里Kalmar专家谈到了数理逻辑在生产技术中的应用,同时对数理逻辑在匈牙利发展的概况也有所介绍。     

锁相环路的稳定性判据

在有附加的平稳白高斯噪声时,本文使锁相环路的非线性响应特性在其些平衡点上线性化。对线性化模型建立了Fokker-Planck方程,并由此获得响应特殊的矩(mo-ment)。然后建立线性化系统的平均的和均方的稳定性判据。对一阶和高阶环路都取得了结果。     

遗传与社会(下)

人类本性人类本性(人性)的现象数千年来一直是学者为之注意的问题。为了说明“人性”的本质,各家都抒发了自己的理论,并根据这些理论就与构成人类社会有关的这种或那种“逻辑法则”作出推理。大体说来,人性理论发展的历史有两种主要思想体系,即遗传因素决定论和环境因素决定论争论的历史。它们各自为追求彼此相互对立的社会结构而大造舆论。环境因素决定论者认为,环境因素是决定人类本性的基本因素;遗传因素决定论者则站在对立的立场上坚持,人类本性大部分系取决于本身所携带的基因。环境论者假设,如果生活环境相同,工作机会相等,那么不同的种族、人群和个人之间的发展就可能     

现代的宇宙飞行问题

征服宇宙空间的问题吸引着世界科学界的注意。对于这问题的兴趣之所以日益增涨,首先是和最近几年来火箭技术和喷气航空的发展上所取得的巨大进展相关的,也是同原子能和平利用的可能性的发现有联系的。在很多国家里,许多委员会、科学社团和研究所已开始对宇宙飞行的各种问题进行了研究。征服宇宙空间的思想佔有了成千个卓越的专家——工程师和技师——的知慧,而实现宇宙飞行的任务本身具有着国际的性质。     

外星智力研究

长期以来,人们对宇宙其他地方存在生命的可能性,一直不断地思索着。但是,实际的研究只是到了1960年才以法兰克·德雷克的 OZMA 项目而开始。白那时起至今的25年中,我们已经取得了重要的进展,并且这一新的领域已经取得了广大科学界的承认,其中包括苏、美两国国家科学院的支持和国际天文学会(IAU)的认可。     

导电聚合物——来自IBM的最新评述

1973年,Walatka,Labes和Perlstein发现聚合的(SN)_x晶体是金属性的材料,而不是如先前确信的半导体。从此,又激起了导电聚合物复兴的热潮。1975年,当着发现(SN)_x在低于0.3K表现出超导性时,化学家就尝试用各种合成路线来得到类似的化合物。遗憾地是,他们的努力没有赢得成功的结果,(SN)_x仍然是仅有的本征金属性的合成聚合物。但到1977年发现了各种卤素,特别是Br_2可以进入(SN)_x晶格并引起它的室温电导率增加一个数量级,而不改变其超导转折点。同年晚些时候,     

印度和欧亚大陆的碰撞

四千万年来,印度次大陆对着欧亚大陆向北推进,引起了最强烈的地震,并造成了众所周知的最多种多样的地形。本文译自Scientific American, vol.236,№.4,1977作者Peter Molnar,Panl Tapponnier。     

“雪人”“野人”或尚未知晓的“灵长类”

几个世纪以来,全世界有关“野人”的传说不断出现,材料越来越丰富。二十世纪,传说非但没有消失,反而比以前更为频繁。亚洲“雪人”(rétis)和北美洲“大脚”的消息接踵而至。对古人类学家或哲学家来讲,这些“野人”是否代表着生活在动物界边缘的残余人类?或者是尚未知晓的灵长类?本刊搜集的资料并非希望在此得到答案,不过是对这个吸引人的问题提供一些令人深思的资料。正象哲学家佛·廷兰指出的那样:“野人使人幻想——同时,也给了信口胡说的机会——是启蒙运动时代最优秀的精神”。今天,仍是如此吗? 本文译自La Recherche №.80,1977,作者Eric Buffetean,Pascal Tassy。     

动力学和宇宙

目前,人类正在生产如此之多的能量——这必然要考虑到对地球的“热污染”。如果利用宇宙动力学,那就能避免这种热污染。     

雷达与声纳能够识别目标

应用雷达、声纳与弹性波发射装置来识别目标已有了理论性的突破。信号回波分析法使雷达与声纳有可能识别目标。该方法通过波动穿透地层还可用来识别导弹地下井与探测石油蕴藏量。本文作者描述的这项理论是由美国海军支持而发展起来的。