悬丝诊脉新篇

提及悬丝诊脉,人们或许又想起《西游记》中孙悟空路经“朱紫国”,为抱病卧床的国王治病时,故弄玄虚,变出3根金丝线,为国王悬丝诊脉,进行“望闻问切”,道出了国王患病的起因由来,开出了救命处方。虽然那只是一个引人入胜的神话。但是“悬丝诊脉”这一方法,却不断因科学家,特别是军事科学家的运用升华,演绎出许多神秘离奇的真实故事。早在20世纪40年代中期,美国总     

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

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

極限的另一个說法

极限的古典式的定义,卽所谓ε—δ式定义,无疑是正确无讹的,但是对初学者说来,却是比较难懂的。为了使得初学者易懂一些,有些书把“函数的极限”归结到“数列的极限”,即采用定义: 如果对於任何数列x_n,只要x_n→a(或∞)并且x_n≠a时恒有f(x_n)→b,则说x→a(或∞)时,f(x)→∞。但是讨论数列的极限时,又要用到“ε—N”式的定义,这定义就本质上说,与ε—δ     

改进型进位增长加法器设计

进位增长加法器通常应用于小规模和高速运算的情况。如果输入的位数变大,其运算速度会大幅度的下降,而且由于有很大的扇出而导致消耗很多能量。这篇论文的目的是当要保持三个输出扇出时,加法器的运算速度增加到24%时的改进型加法器和传统加法器的比较。     

初等算子的一个重要性质及其应用

本文在§1里定义了初等算子及其相应的模函数,并利用配对函数定义一个函数f的堆积函数f~Δ。 在§2里,引入了初等算子的代表函数,从而给出初等算子的一个重要性质,即,如果初等算子δ作用于函数f而得函数g,则g的堆积函数g~Δ可由f的堆积函数f~Δ及δ的代表函数、δ的模函数作迭置而得。由此推得:初等函数类可以由某些开始函数出发,纯由迭置(不必使用初等算子)而作成。 在§3里,进而证明,嵌套单重递归式以及定义算子的单重递归式,即使含有初等算子,也都可化归为原始递归式及迭置,从而推广了文献[2]的结果。     

让“冰芯”讲述过去的事情

南极大陆和格兰棱岛上厚厚的冰层,不仅是地球寒冷历史的见证人。而且在冰层形成过程中,还封存了地球上许多重大历史事件,如火山爆发、地震、海啸、气候以及大气元素含量的变化史的原始资料。为了让这些被坚冰封存的档案重见天日,科学家正致力于在那里钻取“冰芯”。想请“冰芯”讲述那过去了的事情……所以,在南极冰盖钻孔获取冰芯,是各国科学家主要科考任务之一。我国第19次科考队,曾经在埃默里冰架成功钻取一支长301.8米的连续完整冰岩芯,获得许多珍贵资料。最近,欧洲科学家在南极洲东部钻取一根长3190米的“冰芯”。这根“冰芯”上的同位…     

m值方阵系统的公理化

所謂m值方陣是指一个函数,它的定义城及值域均是某个具m个元素的集合:{a_1,a_2,…,a_m}。在下文,我們假定即用1到m这m个自然数来表示这m个元素。 設有若干个m值方陣F_1,…,F_s,如果它們經过迭置可以定义出一切m值方陣,則我們说F_1,…,F_s組成(函数)完全m值方陣系統;如果由它們經过选置至少可以定义出     

关于含高级量词的一目谓词演算公式的■_0永真性的可判定性及其应用

在本文中我们证明含高级量词和等词的一目谓词演算公式是否(?)_0永真为可判定的并且利用这一结果证明了Nakamura在文献[3]中提出的带有(?)_0个阈算子的命题演算的判定问题是可解的。 先证若干引理: 引理1 对于含有高级量词和等词的狭谓词演算公式α,恒可能行地作出一只含一级量     

国产陶瓷刀車削性能之研究

新型刀具材料的問世,是改进金屬切削加工工艺的重要因素之一。人們依次用炭鋼、高速鋼以致硬質合金作为刀具材料,提高了加工生产率和产品質量,而且也促进了切削机床的发展。但是,高速銅和硬質合金中含有大量的貴重金屬,如鎢、钛、钽、鈷等,而多年来寻求廉价金屬或廉价金屬炭化物来代替上述貴重金屬的研究工作的收效不大。 Al_2O_3質陶瓷是一种非金屬的人造無机材料,其     

论系统的时空观

试图从任何时空中无不存在系统,任何系统都在时空中定位,任何系统在时空中都处于非平衡状态,系统具有时代性等方面说明系统与时空的特殊关系。认识系统与时空的关系,用系统的时空观认识系统,具有重要的意义。