证明论及其发展

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

关于数学中的公理化方法

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

乳粉中六六六、滴滴滴质控样品的研制

建立乳粉中六六六（HCH）、滴滴滴（DDD）质控样品的制备方法。以乳粉为基质,添加六六六、滴滴滴标准溶液,采用喷雾干燥法制备乳粉中六六六、滴滴滴质控样品。选择气相色谱法对所制备的样品进行定值。经均匀性和稳定性检验,质控样品的均匀性良好、稳定性达到24个月。研制的乳粉中六六六、滴滴滴质控样品的定值结果：α-六六六的质量分数为（0.812 4±0.040 0） mg/kg,γ-六六六的质量分数为（2.604±0.160） mg/kg,p,p’-DDD的质量分数为（0.847 5±0.060 0） mg/kg,k=2。     

气相色谱-质谱法测定氟涂料中全氟辛酸及其盐类物质

超声萃取技术萃取氟涂料中的全氟辛酸及其盐类物质,萃取液经固相萃取、浓缩后与乙酰化试剂反应,以全氟癸酸甲酯为内标物内标法进行定量测定.对气相色谱-质谱条件进行选择,方法的线性范围为1.0～1×105μg·L-1,相关系数为0.9997,检出限为0.1μg·L-1,在高低两种浓度水平(100 μg·L-1及1000 μg·L-1 PFOA)进行精密度和回收率试验,所得相对标准偏差分别为4.24%和3.58%,回收率在86%～111%之间.     

《大学物理实验》课程多媒体CAI教学模式的研究与实践

本文主要介绍《大学物理实验》课程利用多媒体ＣＡＩ方法实现教学模式的转变。     

三硼酸铋(BiB3O6)晶体研究综述

本文综述了人们近年来对BiB3O6(BIBO)晶体生长、结构和性能等所取得的研究成果,通过多学科和多参数综合性质的研究,说明了BIBO晶体是一种新型高效非线性光学晶体.但作为一种新型高效非线性光学材料,有关BIBO的研究尚属于早期阶段,为了获得广泛的应用,应当进一步研究.     

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

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

基于蒙特卡罗随机有限元方法的随机多孔介质内流体自然对流不确定性研究

为分析孔隙率不确定性对多孔介质方腔内自然对流换热的影响,发展了一种基于KL（Karhunen-Loeve展开）-蒙特卡罗随机有限元算法的随机多孔介质内自然对流不确定性分析数理模型及有限元数值模拟程序框架。通过K-L展开及基于拉丁抽样法生成多孔介质孔隙率随机实现,并耦合多孔介质自然对流有限元程序,进行随机多孔介质内自然对流传热数值模拟,得出了多孔介质内流场与温度场平均值与标准偏差,并分析了孔隙率不确定性条件下Da数对Nu数的影响。结果表明,孔隙率不确定性对多孔介质方腔内自然对流有重要影响。随机多孔介质内流场及温度场与确定性条件下的流场及温度场存在一定偏差,Nu数标准偏差随着Da的增大先增大后减小。