提高单通道单脉冲体制跟踪性能的途径

详细论述了单通道单脉冲作制债源特有的和差通道相位匹配的方法，从理论上分析了单脉冲天线误差信号与收发天线的极化状态的关系，推导出单脉冲天线极化误差的通用公式，指出了减少极化误差的方法，并简述了其它提高单通道单脉冲体制跟踪性能的途径。     

瞬态信号长线传输补偿方法

介绍高频补偿网络的补偿原理、极零对特性及补偿网络的电气参数计算和结构设计方法。由于设计方法简单,并对电缆传输引起瞬态信号畸变有很好的补偿效果,故已成为瞬态信号长距离测量系统中不可少的组成部分。即使在很短的距离内,这种网络对解决瞬态信号的畸变问题也非常有效。     

MX导弹喷管用先进材料评论

目前正在进行研制石墨材料,准备用于MX 第一级和第二级固体火箭喷管的入口部,喉部,后喉部,出口锥和可延伸出口锥。这些材料必须经受住新型洲际弹道导弹(ICBM)喷管系统的苛刻的结构、化学侵蚀,粒子冲刷和高温环境。该系统的燃烧室压力可达127公斤/厘米~2,火焰温度为3700°K 至3922°K。叙述了第一级和第二级全尺寸试验喷管的现状。还提出了在喷管设计、石墨材料研制以及预期性能改进方面进一步工作的方向。     

线性有源网络拓扑分析的k-连接组法

本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

The Interplanetary Internet: a communications infrastructure for Mars exploration

A strategy is being developed whereby the current set of internationally standardized space data communications protocols can be incrementally evolved so that a first version of an operational "Interplanetary Internet" is feasible by the end of the decade. This paper describes its architectural concepts, discusses the current set of standard space data communications capabilities that exist to support Mars exploration and reviews proposed new developments. We also speculate that these current capabilities can grow to support future scenarios where human intelligence is widely distributed across the Solar System and day-to-day communications dialog between planets is routine.     

提高5CrNiMo钢制弯形件锻模寿命

锻模是重要的生产工具。以弯形件锻模为研究对象,分析其主要失效原因,提高模具的寿命,必须提高型腔的红硬性,避免内部出现上贝氏体,这可以通过提高淬火温度来实现。因而推迟了模具磨损的时间,提高了模具抗堆塌和断裂的能力。