基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

运载火箭贮箱的消旋试验

本文讨论运载火箭双出口贮箱的消旋问题,提出了十字分隔板和圆板消旋器,并通过大模型试验确定其结构尺寸。试验中引入液面波高相似参数,以模拟液体晃动和增压气流对液面冲击的效应。贮箱液体剩余量测量采用称重法,其精度比液位观测法有明显提高。     

甚低噪声FET输入放大器

本文介绍了一种甚低噪声 FET 共源一共栅输入放大器的设计、原理和特性。这种放大器在频率为500Hz～500kHz 范围内的噪声指标小于1.2nV/Hz~(1/2)和0.25fA/Hz~(1/2)。适当加以变化,可用千1Hz～30MHz 频率范围的各种要求低噪声增益的场合。     

小型固体运载火箭

运载火箭是把航天器送入太空的运输装备，也叫航天运载器。运载火箭的动力装置叫做火箭发动机。一般运载火箭由若干台发动机串联或并联组成。运载火箭发动机推进剂有固体和液体两种类型。如果一枚运载火箭的所有发动机部采用固体燃料，那么这枚火箭就是一枚固体运载火箭。     

世界航天工业状况

巴黎欧洲咨询公司（Ｅｕｒｏｃｏｎｓｕｌｔ），最近发布了１９９９年版世界３２个国家、地区空间机构或政府团体有关民用和军用空间计划，及其相应空间活动的定期调查报告。从报告中可以了解到全球航天工业和航天经费的开支情况。１　商用空间市场迅速增长１９９８年除商用通信和电视广播卫星外，世界各国空间计划耗资总额大约为３４２．６亿美元，这个数值与１９９７年所耗资的３４４．９亿美元基本持平。不过，这个总数应该增加一些小国家正在开发的许多小型空间计划的预算，他们主要花费在卫星导航系统和遥感数据应用领域，而外界对这些…     

美国陆地卫星6号和7号的遥感器

目前,美国的陆地卫星4号和5号仍在轨道上运行。陆地卫星4号还有部分工作能力,向全世界提供着多光谱扫描仪(MSS)图象;陆地卫星5号工作基本正常,向世界范围提供着主题绘图仪(TM)图象,但其上的MSS图象主要供美国本国使用。根据美国政府的决定,从1985年9月起,陆地卫星已移交给一家私营公司管理和经营。这家公司是由休斯飞机公司和美国无线电公司(RCA)联合出资设立的,名叫地球观测卫星公司(EOSAT)。EOSAT公司的业务是,使用陆地卫星4号和5号,出售其图象和资料;承担后继卫星6号和7号的     

磁选态单束铯束管束光学参数的模拟计算和设计

为提高铯束管跃迁信号强度,在束光学参数设计中,用蒙特卡罗方法模拟计算铯原子通过率和未跃迁比例。通过改变模拟计算中的束光学参数,分析铯原子通过率、未跃迁比例和倍增器首极电流的变化趋势,得到了主要束光学参数的合理取值范围。在铯束管实际装配和试验中使用束光学参数设计结果,有效地增加了倍增器首极电流。     

美军用机载GNSS多模接收机技术要求及标准体系

文摘:多模接收机(MMR)是顶级飞行航线的一部分,致力于为通信、导航、监视(CNS)提供全方位的解决方案,新的星基系统(如GNSS)给今天的飞机提供了前所未有的高精度导航与着陆能力。分析美国空军采购机载多模接收机的技术要求,研究并构建机载多模接收机的功能架构和标准体系,明确相应的标准来源和清单,可为我国军用、民用机载多模接收机的研制和相关标准的制定提供最为直接的借鉴与参考。