中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

可靠性基础知识讲座：第二讲 概率基础知识

一、概率概率(Probability)是某事件发生的可能性。通常以P(A)表示事件A发生的概率。在处理可靠性问题时,对它须有定量的理解。例2.1 估计安装在机器上的某个灯泡的寿命T: (1)T<0,这是不可能发生的事件,其概率为0,表示为P(T<0)=0。 (2)T≥0,这是必然的事件,其概率为1,表示为P(T≥0)=1。     

捆绑火箭竖立状态下地面风激振动模型风洞试验研究

火箭竖立在发射台上时的地面风激振动载荷是火箭尾段结构的设计状态。本文是捆绑火箭的地面风激振动的风洞试验研究的部分结果。文中介绍了地面风载荷模型风洞试验的原理、模型相似要求,以及模拟试验技术、试验方法与数据处理等。并讨论了助推器、外表面突出物与鼓包不对称分布的影响等。     

不朽的“兰开斯特”（下）

英国最初将“布伦海姆”轰炸机上的AI-Mk4轰炸导航系统装在领队的“兰开斯特”轰炸机上。这个系统类似德国的“X”系统，发射两束相位互补的波束，两束波束重叠区域就是轰炸航线。当飞机偏航时，就会进入单束波束中，偏向不同方向，机组领航员的耳机会听到不同的声音。飞机卜不仪装有音响信号，还有偏航指示表。     

100MH_z带通晶体滤波器的试制

本文介绍了100MHz带通晶体滤波器的试制工作情况,包括滤波晶体谐振器的设计、制造和晶体滤波器的设计和调试。对晶体薄片自由式抛光和阳极氧化调频方法,也作了简要说明。最后给出了测试数据和图表。     

同步卫星推进系统方案的综合分析

本文以同步轨道卫星完成轨道控制功能所采用的单元肼推进系统作为比较基准,对单元肼推进系统加上南/北位置保持用的增强型肼催化推力器(简作ACT)组成的混合推进系统以及双元推进系统进行了分析比较。分析结果表明,单元肼/ACT混合推进系统和双元推进系统二者在重量上相当,这两种推进系统比单元肼推进系统可节省重量18％。     

日本广播卫星发生故障

日本第一颗实用广播卫星 BS-2A(百合)于今年一月二十三日发射,二月二十五日定点于东经110度赤道上空的同步轨道上,三月六日开始工作。三月二十三日,发射转发器 A 系统高压电源部分发生故障,致使五月一日正式启用的卫星五月十二日就停止了对日本本土的电视广播。据日本广播协会机关报纸报道:BS-2A 卫星共有三个转发器(A 系     

用SW6软件进行半夹套卧式设备强度计算的探讨

所谓半夹套设备,即夹套筒体不是一个完整的圆筒体,而只是覆盖了圆筒的一部分(半个圆或大半个圆)夹套筒体的纵向和横向边缘通过平滑的折边与圆筒相连。     

Organization, selection, and training of crews for extended spaceflight: findings from analogs and implications

Ample research evidence from space analogs points to the crucial role that teamwork plays in the performance of small groups in isolation and confinement. This paper surveys findings about the impacts of group behavior and social interaction on crew morale, coordination, and productivity. Implications for the organization, selection, and training of crews for extended spaceflight are discussed.     

"神舟"十二号飞船外表面热控涂层研制回顾

正如人们所认知的,宇宙空间环境存在极高的真空特性,因此热量的传递方式也与地面环境有较大的差异,热传导、热对流与热辐射这3种热量传递的途径在高真空的空间环境里只剩下了热辐射这一种.所以,利用材料表面的热辐射特性是航天器热控制的一个主要技术手段,热控涂层就是专门用来调整固体表面热辐射性质从而达到热控制目的的表面材料.由于物...