开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

Refining DORIS atmospheric drag estimation in preparation of ITRF2008

In preparation of ITRF2008, all geodetic technique services (VLBI, SLR, GPS and DORIS) are generating new solutions based on combination of individual analysis centers solutions. These data reprocessing are based on a selection of models, parameterization and estimation strategy unique to each analysis center and to each technique. While a good agreement can be found for models between groups, thanks to the existence of the IERS conventions, a great diversity still exist for parameter estimation, allowing possible future improvements in this direction. The goal of this study is to focus on the atmospheric drag estimation used to generate the new DORIS/IGN ignwd08 time series prepared for ITRF2008. We develop here a method to inter-compare different processing strategies. In a first step, by analyzing single-satellite solutions for a few weeks of data but for a large number of possible analysis strategies, we demonstrate that estimating drag coefficient more frequently (typically every 1–2 h instead of previously every 4–8 h) for the lowest DORIS satellites (SPOTs and Envisat) provides better geodetic results for station coordinates and polar motion. This new processing strategy also solved earlier problem found when processing DORIS data during intense geomagnetic events, such as geomagnetic storms. Differences between drag estimation strategies can mostly be found during these few specific periods of extreme geomagnetic activity (few days per year). In such a case, when drag coefficient is only estimated every 6 h or less often for single-satellite solution, a significant degradation in station coordinate accuracy can be observed (120 mm vs. 20 mm) and significant biases arose in polar motion estimation (5 mas vs. 0.3 mas). In a second step, we reprocessed a full year of DORIS data (2003) in a standard multi-satellite mode. We were able to provide statistics on a more reliable data set and to strengthen these conclusions. Our proposed DORIS analysis is easy to implement in all software packages and is now already used by several analysis centers of the International DORIS Service (IDS) when submitting reprocessed solutions for ITRF2008.     

Reconfigurable Flight Control Design for Combat Flying Wing with Multiple Control Surfaces

With control using redundant multiple control surface arrangement and large-deflection drag rudders,a combat flying wing has a higher probability for control surface failures.Therefore,its flight control system must be able to reconfigure after such failures.Considering three types of typical control surface failures(lock-in-place(LIP),loss-of-effectiveness(LOE) and float),flight control reconfiguration characteristic and capability of such aircraft types are analyzed.Because of the control surface redundancy,the aircraft using the dynamic inversion flight control law already has a control allocation block.In this paper,its flight control configuration during the above failures is achieved by modifying this block.It is shown that such a reconfigurable flight control design is valid,through numerical simulations of flight attitude control task.Results indicate that,in the circumstances of control surface failures with limited degree and the degradation of the flying quality level,a combat flying wing adopting this flight control reconfiguration approach based on control allocation could guarantee its flight safety and perform some flight combat missions.     

圆球绕流场的尾涡分析和升阻力研究

采用自编的分块算法程序模拟了雷诺数在20～1000之间的圆球绕流场.在Re=25时捕捉到流动分离,与试验结果一致.对Re=250时稳态非对称尾流区内流体的输运情况进行研究,证实圆球绕流场中纵向对称面的存在.对于非稳态流动,主要研究了阻力和横向力的时间变化规律,并分析了频谱特征.计算发现横向合力主要在横截面上两个很窄的区间内偏移.经过几种不同涡定义方法的优劣测试,本文采用Hunt等人介绍的Q-定义方法对非稳态绕流场的尾涡结构进行了直观描述.     

A Structured Mesh Euler and Interactive Boundary Layer Method for Wing/Body Configurations

To compute transonic flows over a complex 3D aircraft configuration, a viscous/inviscid interaction method is developed by coupling an integral boundary-layer solver with an Eluer solver in a ＂semi-inverse＂ manner. For the turbulent boundary-layer, an integral method using Green＇s lag equation is coupled with the outer inviscid flow. A blowing velocity approach is used to simulate the displacement effects of the boundary layer. To predict the aerodynamic drag, it is developed a numerical technique called far-field method that is based on the momentum theorem, in which the total drag is divided into three component drags, i.e. viscous, induced and wave-formed. Consequently, it can provide more physical insight into the drag sources than the often-used surface integral technique. The drag decomposition can be achieved with help of the second law of thermodynamics, which implies that entropy increases and total pressure decreases only across shock wave along a streamline of an inviscid non-isentropic flow. This method has been applied to the DLR-F4 wing/body configuration showing results in good agreement with the wind tunnel data.     

Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

J2项和大气阻力摄动作用下卫星编队构型的演化分析

研究卫星编队构型在J2项摄动和大气阻力摄动作用下的演化进程。从相对运动动力学模型出发,分别加入J2项摄动和大气阻力摄动因素,采用数值积分对所获得的运动方程求解,得到参考星和环绕星在惯性坐标系中的绝对运动规律;将两星的绝对运动规律作差后,利用坐标转换矩阵,将惯性坐标系中两星的相对运动规律转换到Hill坐标系中。由于该方法没有经过任何简化,故研究摄动的影响时不存在误差。最后通过仿真分析,给出了J2项摄动和大气阻力摄动作用下卫星编队构型演化的相关结论,并提出进一步研究的方向。     

Generalized Kutta–Joukowski theorem for multi-vortex and multi-airfoil flow(a lumped vortex model)

For purpose of easy identification of the role of free vortices on the lift and drag and for purpose of fast or engineering evaluation of forces for each individual body,we will extend in this paper the Kutta–Joukowski(KJ) theorem to the case of inviscid flow with multiple free vortices and multiple airfoils. The major simplification used in this paper is that each airfoil is represented by a lumped vortex,which may hold true when the distances between vortices and bodies are large enough. It is found that the Kutta–Joukowski theorem still holds provided that the local freestream velocity and the circulation of the bound vortex are modified by the induced velocity due to the outside vortices and airfoils. We will demonstrate how to use the present result to identify the role of vortices on the forces according to their position,strength and rotation direction. Moreover,we will apply the present results to a two-cylinder example of Crowdy and the Wagner example to demonstrate how to perform fast force approximation for multi-body and multi-vortex problems. The lumped vortex assumption has the advantage of giving such kinds of approximate results which are very easy to use. The lack of accuracy for such a fast evaluation will be compensated by a rigorous extension,with the lumped vortex assumption removed and with vortex production included,in a forthcoming paper.     

双喉道喷管与飞翼布局无人机气动数值研究

利用超椭圆方法,设计了双喉道射流矢量喷管的气动外形,并采用S-A湍流模型数值研究了次主流压比、次流方向及喷管外形参数对其气动特性的影响。研究表明,当确定次主流压比SPR=3时,可依次确定该型喷管外形参数分别为空腔长度l=3h,空腔扩张角θ1=10°,空腔收敛角θ2=30°,二次流注入角α=120°时,矢量喷管的气动特性最优。将设计的气动最优喷管与飞翼布局无人机后体进行一体化设计,数值模拟了喷管对飞翼布局无人机升阻特性的影响,结果表明,双喉道射流矢量喷管能够很好地运用于飞翼布局无人机。     

基于零空间的改进直接分配法

直接分配法是解决操纵面冗余飞行器控制分配的一种有效方法,但直接分配法只能对指定方向上误差最小目标进行优化,这种缺点限制了直接分配法的应用。零空间可以在保持转矩不变的前提下对控制量进行调节,利用这种特性,在三维转矩直接分配的基础上,通过对零空间坐标K进行数学规划可以使其他性能指标达到最优。推导证明,控制量最小问题和阻力最小问题分别可以转化为对坐标K的线性规划与二次规划问题。仿真结果表明,给出的基于零空间的改进直接分配法可以实现控制量最小和阻力最小控制分配。