半导体的构造和应用

在苏联,半导体的研究是早在三十年代在科学院院士約飞的倡議和領导下开始进行的。这一重要的知識領域,今天在科学和技术方面起着巨大作用,它的发展今后能在頗大程度上促进核研究的发展,只是近十年来,它停留在較小的范围内,并且发展較慢。1949年,     

关于序数的一个定义

1.引言在本文中我們提出序数的一种定义。这一定义有两个优点,即比較簡单同时又是把自然数作为具有下述两性貭的最小集合A的元素定义的明显推广: (ⅰ) 空集0∈A且 (ⅱ) 若x∈A,則x+1∈A(此处x+1=xU{x})。通过添加一个第三条件,首先定义了序数集合Q,然后定义序数为Q的元素或Q自身。正如上述自然数定义結合着通常的归納原則一样,我們的定义結合着超穷归納原則。对于序数性貭的証明,这是仅有的最为有力而且直观的工具,其合用性之由定义得出大大地簡化了理論的发展。不过,看来我們的定义只在某些类型的集論中方是可能的,即只在許可存在非常大的集合的集論中方为可能。根据这个理由,我們先对我們在其中工作的公理系統作一个簡短的描述。以后在第6中再比較充分地討論这一系統及其与旁的系統的关系。     

混合型样条有限点法解板壳几何非线性问题

本文建立了以挠度函数w(x,y)和应力函数F(x,y)为变量,基于Reissner广义变分原理的混合型样条有限点法,分析了板壳几何非线性问题。文中还提出了将二维非线性耦合矩阵,分解成一个二维系数矩阵与迭代变量的乘积的方法,较适用于Newton—Raphson方法迭代求解。从而使得计算简便,适合于工程应用。     

教学用光谱仪之改良

介绍一改良的教学用光谱仪（直视分光镜），利用发光二极体在完全黑暗的背景中标示谱线，并读出该位置谱线之刻度，进而求出其波长；克服了同类型教学用光谱仪之缺点（谱线位置之刻度难以精密测量、较暗谱线不易观察等）。     

离子交换动力学的研究——Ⅱ.在阳离子交换树脂上钴(Ⅱ)和钙的粒子扩散系数的测定

本文报告钙式树脂[含痕量钻(Ⅱ)]和氯化钙溶液,钻式树脂和氯化钙、氯化镁及氯化钡溶液的粒子扩散速率的测定。个别离子的迁移率对交换速率有影响,粒子扩散系数随平衡分数而改变。在Zerolit 225离子交换树脂上,钻(Ⅱ)和钙的粒子扩散系数依次为1.98×10^-7和1.37×10^-7厘米²·秒^-1。     

转动弹燃烧量热计与噻蒽燃烧热的测定

本文叙述了转动弹量热计的建立。用本实验室自制高纯苯甲酸标定了量热计的能当量,其精密度为0.02％,利用本仪器测定噻蒽的燃烧热值 -△E~_c~0=1730.26±0.52千卡/克分子。     

系統■中可滿足性概念的代数处理

<正> §1.引言 Rasiowa和Sikorski在[1]中对一类相当广泛的命題演算就与可滿足性概念有关之若干問題作了代数处理.他們得到如下結果:在相应狹义調詞演算中Godel-Skolem型定理成立之一充分条件为命題演算具有某种性貭(E). 在[1]中具体研究了如下几个渍算:(古典演算),(Lewis模态演算S_4),(Heyting演算),(Johanson极小演算)及(正演算).利用相应代数的拓扑表示     

在辐射加热下煤的高温高速热分解 Ⅰ.褐煤及油母页岩的高温高速热分解

本文实验结果证明,利用辐射加热进行煤的高温高速热分解,是一项有发展前途的新工艺。它能显著地提高煤热分解化学产品的质量与收率.例如舒兰褐煤在辐射炉中850℃下热分解,产品煤气(4000大卡/米~3)为570米~3/吨煤(可燃基)、烯烃为30米~3/吨煤、粗苯为煤的2.7%、焦油为煤的8%.粗苯中含芳烃90%以上,其中苯与甲苯比为3∶1.这些产品比高温炼焦的化学产品都有成倍的增长.煤的热分解转化率较原煤的V~Γ尚高出8%,焦渣的V~Γ仍有10%,故热分解的挥发产物多、焦渣少.焦渣的活性很强,可作气化原料或燃料.煤料在辐射炉中的升温速度最高可达到500℃/秒.辐射炉生产能力高,每平方米的加热面积约可处理煤料100公斤/时。     

汞扩散泵——镉捕集阱高真空系统

我们在二级玻璃汞扩散泵的真空系统上使用了室温的镉膜阱,证明镉膜阱能有效地捕集汞蒸气,使被抽容器达到气压力10^-5—10^-7毫米汞数量级的高真空。我们较系统地试验了镉膜的条件对于极限气压的影响,实验结果表明,新蒸发的镉膜效果最好;将镉膜在10^-2毫米汞的气压下搁置10小时后对于极限气压的影响不大;但若将其在大气下搁置10小时,则极限气压约升高一个数量级;进一步延长在大气中的暴露时间(达300天),对极限气压无更大的影响。初步的寿命试验表明,扩散泵工作140小时之后,极限气压才较显著地上升。降低镉膜阱的温度、增加镉膜阱的数目和被抽容器的高温烘烤都是提高真空度的有效途径;在实验中考虑了这些因素,我们曾获得了气压低达10^-9毫米汞数量级的超高真空。     

論数学归納

引言依照近代邏輯严格性的准則,每一个純粹数学分支都需要利用下述两种方法之一来奠定基础:或者它的全部基本概念应該借某些先行数学分支的概念之助来加以定义,在这一情形,它的定理可以由这些先行数学分支的定理連同这些定义推演出;或者它的基本概念被当作未定义的,它的定理則由含有这些未定义术語的公理集合推演出。自然数0,1,2,3,…属于我們幼年时期研习的数学对象的范围;我們对于这些数及其性貭的知識一般地讲是带有直观的特征的。然而如果我們期望对这些数建立精确的数学理論,我們不可能依靠非形式化的直观作为理論的基础,而必須用上述两种方法之一为此理論奠基。事实上两种方法都是可行的。正如德国数学家Frege所指出,从純邏輯和集合