证明论及其发展

(一) 众所周知,Russell悖论的出现曾经引起数学史上关于数学奠基问题的第三次大论战。 Hilbert为了保卫古典数学陆续于本世纪20年代前后发表了证明论(即元数学)的主张。他认为:包括Cantor集论在内的古典数学是“我们最有价值的宝藏”,而传统逻辑中的排中律是“普遍有效的”,应该保存这些古典数学的“有成效的概念结构和推理方法”。然而“绝对无穷概念的命题确实是超越人们直观性证据之外”的东西,它“是通过人们的心智过程被插入或外推出来的概念”。但是实无穷在数学思维中是不可缺少的,应     

关于数学中的公理化方法

公理化方法(以下简称公理法)的广泛使用,是现代数学的一大特点。 一、公理化方法的沿革 数学中的公理法起源于欧几里得的《几何原本》(或简称《原本》)。欧几里得基于当时所积累的丰富的几何事实,把一些基本概念(点、线、平面)加以定义,而后选择一些几何的基本命题叫做公理(欧氏     

光电子成像研究AgOCH3-和Ag-(CH3OH)x (x=1, 2)

用光电子成像技术和从头算法研究Ag^-(CH₃OH)_x (x=1, 2)和AgOCH₃^-. 从AgOCH₃^-振动分辨的光电子谱得 到AgOCH₃^-的绝热和垂直电离能分别为1.29(2)和1.34(2) eV. Ag^-(CH₃OH)_{1,2相似文献}   

方钢管混凝土框架抗震性能及P-Δ效应研究

为了对方钢管混凝土框架的抗震性能及P-Δ效应进行研究,设计制作了1榀方钢管混凝土框架进行低周反复加载试验。研究表明:方钢管混凝土框架试件的滞回曲线呈饱满的梭形,破坏时的等效黏滞阻尼系数为0.2241,表明该框架结构具有良好的抗震耗能性能;试件在正负向的平均位移延性系数为2.94,表现出了较好的延性性能;破坏时的平均位移转角为1/36,表现出了较强的抗倒塌能力;随着加载位移的增加,试件的残余变形及等效黏滞阻尼系数均会逐渐增大,而强度衰减幅度总体上呈现出先增大后减小的变化趋势,刚度退化速率呈现出先快后慢的变化趋势。最后基于试验数据,对P-Δ效应的影响进行了分析,提出了相关建议。上述结果可为相关的工程应用及理论分析提供参考。     

基于LES方法两种接缝足球升阻力计算及飘球的力学分析

建立两种接缝形式足球的几何模型,通过LES方法计算足球模型的升阻力及相应流场情况．计算结果与相关文献对比,分析了计算误差的来源,并提出可行的处理方案．计算得到模型表面的接缝使得边界层分离点前移,分离区增大,从而阻力增大．计算结果同时表明,两种接缝对阻力的影响是相当的,对升力影响却不可忽视．计算得到升力的变化情况,并从涡脱落角度分析其特征．在此基础上,对“超自然现象”的飘球的力学机理进行了探讨．     

CCl自由基A 2Δ←X 2Π跃迁REMPI光谱研究

在271-279 nm波长范围内采用REMPI技术研究CCl自由基的A 2Δ光谱。实验观察到12C35Cl以及同位素分子12C37Cl 的A 2Δ←X 2Π1/2,0-0,1-0和2-1跃迁谱带,其中2-1的跃迁为新观察到谱带。A 2Δ同三个排斥态2Π,2Σ-和4Π交叉,自旋轨道相互作用使得A 2Δ为预解离态。实验结果揭示υ"＝0态预解离要快于υ"＝1,2振动态。     

遥爪型液体天然橡胶的合成与表征

以天然橡胶(NR)为原料,经环氧化反应在NR分子链上引入环氧基制得环氧化天然橡胶(1);1经裂解反应合成了端羰基液体天然橡胶(2);对2进行改性得到端羟基液体天然橡胶(3),其结构经1H NMR和IR表征。探讨了反应温度、时间、氧化剂用量和环氧化程度对2的黏均分子量(M珚η)的影响。结果表明,延长反应时间、升高温度和增加氧化剂用量均可有效降低2的M珚η;1的环氧化程度对2的M珚η具有决定性作用,可通过调节环氧化程度实现2的M珚η的可控性。     

CENOZOIC VOLCANIC ROCK SERIES IN SOUTHEASTERN CHINA——PETROCHEMISTRY

In this paper, the age, spatial distribution and petrochemistry of Cenozoic volcanic rocks of southeastern China are discussed. They are subalkalic and alkalic. Except for the Pleistocene calc-alkalic volcanic rocks of northern Taiwan and the Late Tertiary tholeiitic rocks of Eastern Coastal Range of Taiwan, the alkalic basaltic rocks form the majority. Only alkalic and strongly alkalic basaltic and ultrabasic volcanic rocks occur in the inland to the west of the Haifeng-Zhenghe-Shangyu fracture zone. It follows that the petrochemical nature of the Cenozoic volcanics studied exhibits a marked trend of variation with time and space, implying that their formation was obviously controlled by the geotectonic setting.