2004年世界UFO大事评说

如果说2004年全球确实发生过一起不明飞行物的目击事件，那它一定是墨西哥空军目击UFO的事件。因为无论从这个事件本身的神秘性、目击者的专业水平、发布者的可信性、研究者的认真程度及提供证据的可靠性，还是它在全球受到的关注程度来看，这起UFO目击事件都可以说是近年罕有的。所以，墨西哥UFO目击事件可称得上是2004年UFO目击第一案。     

追踪兰州不明飞行物之谜

2004年12月11日深夜，兰州上空忽然掠过一不明火球。它闪耀着刺眼的白光，发出巨大的声音，随后坠落在一个人迹罕至的地方。它坠落时产生的震波不仅惊动了兰州地震局的精密仪器，也惊动了全国的有关专家和广大的科学爱好者。时至今日，它依然没有现身，但是围绕它产生的论战，并没有因此平静下来。各方专家纷纷站出来，在各种媒体上发表自己的看法，有的甚至演变成一种激烈的对骂。这对兰州不明飞行物来说，不知是一件幸事，还是一场闹剧。     

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

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

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

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

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

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

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

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

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

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

2004年世界航天运载业分析

2004年是自1961年以来世界航天运载业最为不景气的一年。全世界仅进行54次航天发射,其中有15次商业性发射,占总发射次数的28％。2004年同时又是中国航天发射次数最多的一年,有8次发射,成功地运载了10个有效载荷。美国进行6次商业性发射,俄罗斯5次,海上发射公司3次,阿里安航天公司1次。美国占40％的商业发射市场份额,俄罗斯占33％,海射公司占20％,阿里安航天公司占7％。我国、日本、印度和以色列在2004年都没有进行商业发射。