固体火箭自动化设计初步研究

概述了固体火箭自动化设计基本思想，介绍了AutoCAD二次开发系统，通过对探空火箭外形及某些典型固体火箭发动机药型参数化设计，阐述了实现固体火箭参数化设计的基本过程，为实现固体火箭外形和装药自动化、一体化设计奠定了基础。     

差分GPS定位技术

简要叙述了差分GPS定位技术出现的背景，着重讨论了差分动态定位DGPS的工作原理，最后对DGPS的应用作了简要说明。     

海洋水色遥感在海岸带综合管理中的应用

文章在概述中国水色遥感器发展和水色遥感算法基础上，将展示中国近年来利用卫星水色遥感在海岸带水色监测和应用方面的成果，并提出21世纪该技术在海岸带综合管理中的应用潜力和建议。     

大型薄壁密封组合加工工艺

论述了大型薄壁密封舱的焊后组合加工工艺方法，对大型薄壁密封舱的装夹、大型密封面的加工、大尺寸密封槽的加工、舱体对接密封孔的加工等工艺难点，给了了具有先进的、经济实用的解决方案，并通过了生产实践。     

抗箔条质心干扰的一种实用差分算法

无源箔条质心干扰是舰船在最后防御阶段对抗导弹攻击的有效手段。为提高反舰导弹末制导雷达的抗箔条能力 ,提出一种基于差分算子分析信号凸性、识别并判断目标位置的抗箔条质心干扰算法。经仿真干扰数据检验 ,结果表明在一般情况下算法对目标位置的估计比较精确 ,且计算非常简单 ,满足实时性要求。     

复基带信号的几种载频偏估计算法比较

给出了复基带信号的三种载频频偏估计算法：基带信号谱对称性频偏估计算法，同相－正交（I－Q）信号的叉积鉴频算法和最小二乘原理的频偏估计算法。并用三种算法对FM和PM卫星测控信号的复基带信号进行频偏估计，给出了计算机仿真结果，通过对三种算法的性能对,比得到了一些结论。     

TY-3微重力火箭系统的开发

前言微重力火箭是从探空火箭系列中发展出来的一种用于微重力科学研究的技术实验火箭，其射高一般在２００公里以上，可以提供１０－４g的微重力水平和６～１５分钟的微重力时间。其主要优点是技术成熟，可靠性高，价格低廉，灵活性强，而且微重力值稳定。１９７１年１０月，美国“空蜂”１７０A在白沙靶场发射，首次利用探空火箭进行了空间材料加工实验。此后２０多年，美国、德国、瑞典、日本和前苏联等国相继制订了微重力火箭发展计划，成功地完成了数百项实验研究，获得了大量的信息和研究成果。到２０世纪后期，微重力火箭已成为地面…     

结构有限元模型的综合修正方法

本文的方法是针对像卫星这样的大型复杂结构而提出的。它既包含了对物理参数的修正又包含了对矩阵元素的修正。除了可以修正刚度矩阵[K]和质量矩阵[M]外,它还可以修正阻尼矩阵[C]。该方法最大限度地利用了实验数据,包括固有频率、模态和频响函数。在对许多模态和固有频率进行修正的基础上,首先保证了前几阶固有频率的修正精度。本文的计算方法不需要实验频响函数是满秩的,只需要在做实验时得到频响函数的一行或一列、几行或几列,而且避免了对阻抗矩阵求逆。本文提出的方法可以进行较大误差的修正。     

国际电信联盟(ITU)大事记

１８３７年发明第一个电报。１８６５年５月１７日由２０个国家参加的第一次会议上正式成立了国际电报联盟（ＩＴＵ）组织，制定了第一个电报规则。１８６８年在奥地利维也纳举行电报大会，决定在瑞士伯尔尼设立联盟总部。１８６９年“电报杂志”出版。１８７６年Ａ．Ｇ贝...     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；