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

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

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

KuaFu Mission

The KuaFu mission-Space Storms, Aurora and Space Weather Explorer-is an "L1+Polar" triple satellite project composed of three spacecraft: KuaFu-A will be located at L1 and have instruments to observe solar EUV and FUV emissions, and white-light Coronal Mass Ejections (CMEs), and to measure radio waves, the local plasma and magnetic field,and high-energy particles. KuaFuB1 and KuaFu- B2 will bein polar orbits chosen to facilitate continuous 24 hours a day observation of the north polar Aurora Oval. The KuaFu mission is designed to observe the complete chain of disturbances from the solar atmosphere to geospace, including solar flares, CMEs, interplanetary clouds, shock waves, and their geo-effects, such as magnetospheric sub-storms and magnetic storms, and auroral activities. The mission may start at the next solar maximum (launch in about 2012), and with an initial mission lifetime of two to three years. KuaFu data will be used for the scientific study of space weather phenomena, and will be used for space weather monitoring and forecast purposes. The overall mission design, instrument complement, and incorporation of recent technologies will target new fundamental science, advance our understanding of the physical processes underlying space weather, and raise the standard of end-to-end monitoring of the Sun-Earth system.     

太阳风质子束流的演化

太阳神飞船观测表明，太阳风高速流中质子束分量相对于核分量的密度随日心距离增加而增加．提出解释这一观测现象的机理并给出二维数值模拟结果．由于阿尔芬波速随日心距离增加而减少，第二支左旋波将与更多的质子共振，把部分原来属于核分布的质子拉到束分布中来．用数值模拟方程方法求解回旋波共振导致的准线性扩散方程，数值结果与观测结果相符合．     

压气机叶栅端壁流控制的试验研究

本文通过“原始”叶栅 (即常规的直叶片叶栅 )、“前掠”叶栅、“端弯”叶栅和“掠弯”叶栅等四套大弯角叶栅的对比试验 ,研究端“前掠”、端“增弯”和端“掠弯”对流场的影响。其中 ,端“掠弯”是本文新创的一种端壁流控制技术。试验结果表明 ,作为前掠和增弯的结合体—“掠弯”叶栅 ,具有端“前掠”和端“增弯”对流场影响的双重特征。     

一种求解涡轮平面叶栅的跨音松驰法

一、引　　言跨音松驰法是七十年代初发展的一种新方法。文献 [1 ]是一篇关于跨音松驰法的奠基性文章 ,文章提出了求解小扰动势方程的混合差分格式。文献 [2 ]发展了求解全位势方程的旋转混合差分格式。近年来 ,求解跨音全位势方程的方法有了更全面的发展 [4、5]。作者于 80年发展了一种求解大弯度二维叶栅的跨音松驰法[3] 。本文将该法推广到求解涡轮平面叶栅跨音带激波流场 ,直接求解全位势方程 ,进一步提高边界区差分格式的精度 ,并注意初场的给法。本法具有节约机时和内存的优点。数值算例表明 ,对于头部不大的涡轮平面叶栅 ,应用本方法…     

二元冰蓄冷测试技术及其评价

对二元冰蓄冷系统的测试技术进行了系统的介绍并作出了相应的评价。着重介绍了二元冰的性质及系统中凝聚现象和含冰率的测试技术,为二元冰蓄冷系统的测试研究指明了方向。     

HTPB官能度数学模型建立

为了研究自由基型液体端羟基聚丁二烯预聚物(HTPB)体系官能度分布情况,对其化学合成中自由电子转移情况进行了分析,并通过数学统计的方法对其官能度分布进行理论数值模拟,建立了适用于自由基型HTPB官能度分布的函数关系式,并与GPC所测结果进行对比。结果显示,计算所得函数关系式与测试数据吻合结果较好,数值模拟结果准确性较高;自由基聚合生产的不同批次的HTPB官能度分布存在较大差异,单官能度分子含量可从5%~24%,二官能度分子的含量可从50%~81%;利用数学统计得到的函数关系,可将复杂的HTPB官能度测试转变为简单的分子量分布测试。     

A coupling VWM/CFD/CSD method for rotor airload prediction

A coupling fluid-structure method with a combination of viscous wake model(VWM),computational fluid dynamics(CFD) and comprehensive structural dynamics(CSD) modules is developed in this paper for rotor unsteady airload prediction. The hybrid VWM/CFD solver is employed to model the nonlinear aerodynamic phenomena and complicated rotor wake dynamics;the moderate deflection beam theory is implemented to predict the blade structural deformation; the loose coupling strategy based on the ‘delt method' is used to couple the fluid and structure solvers.Several cases of Helishape 7A rotor are performed first to investigate the effect of elastic deformation on airloads. Then, two challenging forward flight conditions of UH-60 A helicopter rotor are investigated, and the simulated results of wake geometry, chordwise pressure distribution and sectional normal force show excellent agreement with available test data; a comparison with traditional CFD/CSD method is also presented to illustrate the efficiency of the developed method.     

A shortcut to marking 3D target curves on curved surface via a galvanometric laser scanner

Marking arbitrary three-dimensional(3D) target curves on given objects with curved surface is required in many industrial fields, such as fabric prepreg placement in composite material part fabrication, product assembly, surface painting for decoration, etc. A shortcut to the solution of this intractable problem is proposed by utilizing a galvanometric laser scanner(GLS) with the aid of a camera. Without using the existing tedious GLS calibration procedures,the proposed method directly establishes a mapping between the 3D coordinates of the laser spots on the object surface and the control voltages of the scanner. A single-hidden layer feedforward neural network(SLFN) is employed to model the mapping. By projecting a dense grid of laser spots on the object to be marked and simultaneously taking only one image, the SLFN model is trained in minutes via a linear solving mechanism. Experiments demonstrate that the trained SLFN model has a good generalization performance for marking 3D target curves. The 3D laser marking errors on experimental objects are less than 0.5 mm. The proposed method is especially suitable for on-site use and can be conveniently extended to multiple GLSs for marking large complex objects.