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

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

雷达抗反辐射导弹技术探讨-告警加诱偏

简介近年来外军发展的反辐射导弹（ＡＲＭ）的动态，以及各国防空雷达在对抗ＡＲＭ威胁方面采取的主要战术技术措施，探讨了ＡＲＭ威胁告警加诱偏方案的必要性，可行性，关键技术以及欺骗式ＡＲＭ诱偏系统的有效性及其对简化告警设备方案的重要作用，最后提出了对抗ＡＲＭ威胁需注意的几个基本观点。     

2003年我国物流的新进展

近日从中国物流与采购联合会获悉,中国物流与采购联合会、中国物流学会将于12月25—27日在北京举办”。此次论坛的主题是,“2003年的中国物流:回顾与展望”,主要内容由“综合分析”和“企业视角”三大版块组成,分别邀请国家有关部委、行业社团组织、地方物流机构、各类物流企业和物流科研教学单位的15位专家,从不同角度回顾2003年我国物流工作取得的成绩和存在问题,对2004年做出展望,并提出相应的对策建议,在业界具有相当权威性。2003年我国物流的新进展@梁     

典型几何和流动参数对高超声速进气道性能的影响

用N-S方程模拟了一系列典型二元高超声速进气道内压缩通道及隔离段模型,模拟发现内压缩通道及隔离段增压比、温升比和总压恢复系数等性能参数主要受面积收缩比、内压缩通道收缩角、隔离段长高比等几何参数以及内压缩通道进口马赫数、密度、附面层厚度等流动参数的影响。内收缩比和内收缩通道收缩角的增大都会使压缩增强;隔离段内沿程平均温升比、马赫数和总压恢复系数曲线则均接近平行直线。内压缩通道进口马赫数的增大也会使压缩增强,但较小的进口马赫数可能引起分离,进而增大增压比;而进口密度增大使附面层变薄,对气流的压缩减弱;进口附面层厚度对沿程平均温升比、增压比以及马赫数的影响近似线性。     

带翼梢外挂的CK1机翼颤振分析

本文根据颤振运动方程,应用v～g参数法和非定常气动力的偶极子格网法计算了CK1机翼翼尖带外挂物红外器时的颤振,分析了翼尖外挂物对机翼颤振的影响,确定翼尖外挂有利的配置方案.计算结果表明CK1机翼的颤振对梢部的重量分布是敏感的,红外器的弦向位置及翼尖配重布置得当,则可提高颤振速度,否则也可降低颤振速度。     

超声速流中激波/湍流附面层干扰数值模拟

采用修正的B／L湍流模型以及多块结构化网格求解了二维N-S方程。分别对超声速流和高超声速流中的激波／湍流附面层干扰进行了数值研究。本文首先研究了进口马赫数为2．96的超声速流。计算结果准确预测了入射斜激波在平直壁面引起湍流附面层分离的流动特征：分离点的反射激波、分离包引起的膨胀扇以及再附点的反射激波。计算的壁面压力分布与实验值吻合较好，计算的分离区长度与实验值比较有一定误差。本文还对进口马赫数为9．22的高超声速流中压缩角引起的激波／湍流附面层干扰进行了数值研究。计算结果与实验结果吻合较好。     

法国1995年军用航天预算将增长23%

法国总理巴拉第尔１０月４日宣布，法国政府决定，最后批准斯波特－５民用对地观测卫星、太阳神－２军事侦察卫星和“大嗓门”（Ｓｔｅｎｔｏｒ）通信试验卫星三项航天计划。这一决定表明，在欧洲其他国家对航天计划支持不力的情况下，法国仍然决心扩大其空间硬件的发展。据法国国防部长Ｆ．Ｌｅｏｔａｒｄ１０月５日称，法国总的军费预算基本不变，而军用航天的预算有较大增加。１９９５年军用航天预算达到５０．２亿法郎（９．１３亿美元），占１９９５年总军费预算１０２４亿法郎（１８６亿美元）的大约５％，比１９９４年的军用航天经费…