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

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

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

精密加工中切削方向毛刺生成机理的研究(英文)

金属切削毛刺是切削加工中产生的常见现象之一。本研究以金属切削实验为基础 ,对二维精密切削中切削方向毛刺的形成过程、主要影响因素及其变化规律进行了系统的实验研究和相应的理论分析 ,结果表明 :( 1 )切削方向毛刺形成过程为正常切削、挠曲变形、弹性效应、继续切削和剪切断裂分离 ;( 2 )发现了切削方向毛刺形成过程中的切屑与工件表面剪切断裂分离的特殊现象 ;( 3)切削方向毛刺尺寸和形态随着切削条件和刀具几何参数的变化而变化。     

跨音速翼型风洞的洞壁干扰研究

利用三个几何相似的 RAE104翼型模型,用实验方法确定西工大翼型风洞(TAWX)的无堵塞干扰开闭比。对于不带测压轨及带测压轨两种状态的开槽壁分别采用2%及4%开闭比可认为近似于无堵塞干扰。利用测压轨测量该翼型风洞上下壁附近控制面的静压分布,并利用快速富里叶变换法计算马赫数及迎角修正量。由 TAWX 风洞与西德 DFVLR TWB 风洞实验结果的比较可以看出,当迎角为零时,两者结果吻合较好,说明无堵塞干扰开闭比的确定基本上是正确的,经过快速富里叶变换法进行马赫数及迎角修正后的 TAWX 有升力的实验结果也与 TWB 结果接近。     

一种改进的翼型设计方法

本文将翼型的设计问题转化成多元函数求极值问题来求解,提出了一种改进的翼型设计方法,可用于考虑粘性影响时的亚临界翼型设计。     

无线电遥测监视小直径刀具的工况过程

小直径刀具(φ6mm以下小钻头、铣刀)加工中产生的磨、破损信号难于检测。本文基于这一问题,研究采用无线电遥测技术来传输传感器信号,并建立了CIMS,FMS加工中心钻、铣用小直径刀具的工况监视系统。研究表明:用遥测技术传输的切削过程信息是可以用来识别刀具切削状态的;小直径刀具折断快速报警的成功率在90％以上。     

应力极值分布、强度威布尔分布的可靠性

本文运用应力—强度干涉理论,推导了应力为Ⅰ型极小值分布,强度为威布尔分布的可靠度计算公式,并对冗长的计算公式进行简化,在简化公式的基础上,运用一定的数学技巧,改变积分公式中的积分变量和上下限。将被积函数化成在某一区域内的可积函数。采用de Boor编制的一种严谨的自适应Romberg外推格式的FORTRAN程序进行数值积分。对应予不同的组合参数,给出应力服从Ⅰ型极小值分布,强度服从威布尔分布的可靠度数值。本文最后讨论了服从这两种分布的组合参数的变化对可算度数值变化的影响。     

How we will go to Mars

This article studies the efficiency of ejecting waste generated by the life support system (LSS) of a manned spacecraft to reduce initial mass on low earth orbit. The spacecraft is used for a long-duration interplanetary mission and is equipped with either a chemical or a nuclear-thermal propulsion system. For this study we simulate an optimal control problem for a given spacecraft maneuver. An impulsive approximation of the optimal interplanetary spacecraft trajectory is assumed, which allows us to reduce the general optimal control problem to hierarchic structure of 'outer' and 'inner' subproblems. This structure is analyzed using the Pontryagin's Maximum principle. Numerical results, illustrating the efficiency of waste ejection are shown for typical Earth-Mars transfer trajectories. This results confirm in theory that using a waste ejection system makes an early manned Mars mission possible without having to design and build new, advanced biological LSS.     

某型无人直升机遥控系统BIT技术研究与实现

机内测试 (Built- In Test,简称 BIT)是一种能显著改善系统或设备测试性和诊断能力的重要技术手段。文中研究如何在遥控系统中运用 BIT技术来提高其测试性 ,并提出了一种分层测试方案 ,研究成果已应用于某型无人驾驶直升机 ,满足了遥控系统的测试性要求     

The development of a Russian communication satellite of small class, operating in the geostationary and high-elliptical orbits

In 1994–1995 Lavochkin Association (Russia) together with the other enterprises in accordance with technical requirements of the Russian Space agency, developed a new Russian communication satellite of a small class that will operate in both the geostationary (GSO) and high-elliptical (HEO) orbits. This satellite may be injected into operational orbits using a SOYUZ-2 launch vehicle (LV) and a FREGAT upper stage (US) from Plesetsk and Baykonur space launch sites (SLS).The main reason for creating such a satellite was to decrease the cost of the support and development of the Russian communication geostationary satellites group.Russian satellites Horizont, Express, Ekran and Gals, which operate in GSO, are the basis of the space segment for communications, radio and TV broadcasting. All of these satellites are injected into GSO by the PROTON LV. PROTON is a launch vehicle of a heavy class. The use of a middle class LV instead of a heavy class will allow to reduce considerably the launch cost. The change of a heavy class LV to a LV of middle class determined one economic reason for this project. Besides, the opportunity to launch S/C into GSO from Russian Plesetsk SLS increases the independence of Russia in the domain of space communications, despite the presence of the contract with Kazachstan about the rent of Baykonur SLS. Finally, use of small satellites with a rather small number of transponders is more effective than the use of big satellites. It will allow also to increase a satellite group (by the launch of additional satellites) precisely in accordance to the development of the ground segment.