关于NP完全问题的多项式线路可判定性

在计算复杂性领域里，大多数复杂类都是按照接受它们的图灵机而加以描述的。８０年代初，人们广泛关注被多项式大小的线路可判定的集合类并且得到了许多有趣的结果。但是，迄今是否ＮＰ完全问题是多项式大小的线路可判定的问题仍然是开的。最好的结果是，如果答案是肯定的，则多项式时间的分层便塌方到２级，即，ＰＨ＝Σ２。本文考虑一个特殊的无穷图的集合和讨论它被多项式大小线路逼近接受的问题，且利用紧致性定理和常数扩张法证明了存在集合Ａ∈ＣＯ－ＮＰ＼Ｐ／ｐｏｌｙ。     

空间光学系统技术发展探讨

文章总览国际典型大科学工程和计划，对空间光学系统技术在过去20年的发展做出了简要的归纳和总结。同时通过跟踪一些领域前沿和技术生长点，指出了一些可能对未来空间光学系统带来重大改变的方向。     

Analysis on capabilities of density-based solvers within OpenFOAM to distinguish aerothermal variables in difusion boundary layer

Open source feld operation and manipulation（OpenFOAM）is one of the most prevalent open source computational fluid dynamics（CFD）software.It is very convenient for researchers to develop their own codes based on the class library toolbox within OpenFOAM.In recent years,several density-based solvers within OpenFOAM for supersonic/hypersonic compressible flow are coming up.Although the capabilities of these solvers to capture shock wave have already been verifed by some researchers,these solvers still need to be validated comprehensively as commercial CFD software.In boundary layer where diffusion is the dominant transportation manner,the convective discrete schemes＇capability to capture aerothermal variables,such as temperature and heat flux,is different from each other due to their own numerical dissipative characteristics and from viewpoint of this capability,these compressible solvers within OpenFOAM can be validated further.In this paper,frstly,the organizational architecture of density-based solvers within OpenFOAM is analyzed.Then,from the viewpoint of the capability to capture aerothermal variables,the numerical results of several typical geometrical felds predicted by these solvers are compared with both the outcome obtained from the commercial software Fastran and the experimental data.During the computing process,the Roe,AUSM＋（Advection Upstream Splitting Method）,and HLLC（Harten-Lax-van Leer-Contact）convective discrete schemes of which the spatial accuracy is 1st and 2nd order are utilized,respectively.The compared results show that the aerothermal variables are in agreement with results generated by Fastran and the experimental data even if the1st order spatial precision is implemented.Overall,the accuracy of these density-based solvers can meet the requirement of engineering and scientifc problems to capture aerothermal variables in diffusion boundary layer.     

Improvement of Baldwin-Lomax turbulence model for supersonic complex flows

Entropy represents the dissipation rate of energy. Through direct numerical simulation (DNS) of supersonic compression ramp flow, we find the value of entropy is monotonously decreasing along the wall-normal direction no matter in the attached or the separated region. Based on this feature, a new version of Baldwin-Lomax turbulence model (BL-entropy) is proposed in this paper. The supersonic compression ramp and cavity-ramp flows in which the original Baldwin-Lomax model fails to get convergent solutions are chosen to evaluate the performance of this model. Results from one-equation Spalart-Allmaras model (SA) and two-equation Wilcox k-x model are also included to compare with available experimental and DNS data. It is shown that BLentropy could conquer the essential deficiency of the original version by providing a more physically meaningful length scale in the complex flows. Moreover, this method is simple, computationally efficient and general, making it applicable to other models related with the supersonic boundary layer.     

随机编码感知的高分辨遥感光谱计算成像

传统遥感光谱成像系统的空间分辨率和光谱分辨率是衡量成像品质的重要指标,而它们受制于探测传感器的点阵密度,提高遥感光谱成像传感器的性能代价非常巨大。另一方面,在入射光能量一定的条件下,由于高分辨光谱的窄波段成像与低窄带辐射能量接收之间的矛盾,传统遥感光谱成像方法的空间分辨率和光谱分辨率往往难以兼得。如何利用普通探测器获得...     

离心式压气机耦合松弛多学科设计优化方法

为提高多学科设计优化的寻优效率,以离心式压气机为对象,开展了耦合松弛多学科设计优化方法的研究.针对松散耦合方法建立的离心式压气机的流-热-固耦合分析模型,为了避免反复迭代导致的分析、优化时间过长,构建了分层次的离心式压气机耦合松弛优化设计系统.在气动优化中采用全局寻优算法探索系统最优气动设计方案;在耦合优化阶段,综合考虑学科间耦合及相互作用,在气动优化的基础上局部寻优校验气动优化结果并得到最终设计方案.这种不同复杂层次模型的优化设计有效缩减了系统优化设计周期.     

微重力条件下部分充液贮箱中流体动力学行为的三维计算

简要介绍一个用于常重及微重力环境条件下，计算充液贮箱中非定常流体动力学行为的三维程序，该程序具有多种选择，提供了一个广泛应用的可能。文中亦给出了对充液４０％模型贮箱中非定常流体动力学行为的计算结果，计算是在ＣＲＡＹ－ＸＰ超高速计算机上完成的。     

Erosion degradation characteristics of a linear electro-hydrostatic actuator under a high-frequency turbulent flow field

The paper proposes a performance degradation analysis model based on dynamic erosion wear for a novel Linear Electro-Hydrostatic Actuator (LEHA). Rather than the traditional statistical methods based on degradation data, the method proposed in this paper firstly analyzes the dominant progressive failure mode of the LEHA based on the working principle and working conditions of the LEHA. The Computational Fluid Dynamics (CFD) method, combining the turbulent theory and the micro erosion principle, is used to establish an erosion model of the rectification mechanism. The erosion rates for different port openings, under a time-varying flow field, are obtained. The piecewise linearization method is applied to update the concentration of contaminated particles within the LEHA, in order to gain insight into the erosion degradation process at various stages of degradation. The main contribution of the proposed model is the application of the dynamic concentration of contamination particles in erosion analysis of Electro-Hydraulic Servo Valves (EHSVs), throttle valves, spool valves, and needle valves. The effects of system parameters and working conditions on component wear are analyzed by simulations. The results of the proposed model match the expected degradation process.     

非高斯杂波协方差矩阵估计新方法

针对雷达目标自适应检测中的复合高斯杂波协方差矩阵估计问题,提出了 一种基于杂波分组的约束迭代估计方法。该方法在迭代过程中有效利用所有辅助数据,并对 最终得到的估计矩阵进行关于迹的约束。在估计的杂波分组大小与实际情况匹配的条件下, 约束迭代估计方法的估计精度与杂波功率水平无关。仿真实验表明,所提出的方法对不同的 杂波分组大小失配情况具有很好的鲁棒性;与已有的两种协方差矩阵估计方法相比,约束迭 代估计方法能极大的提高估计精度,加快迭代过程的收敛速率,且计算量更小。
     

对称交叉激波和湍流边界层相互作用的数值研究

针对两种双尖鳍外形的对称交叉激波与湍流边界层相互作用,采用N-S方程和两种湍流模型进行了计算。研究了网格收敛性、鳍的角度和湍流模型对壁面压强、Stanton数和壁面摩擦力线的影响。弱相互作用的计算结果较好,强相互作用的壁面压强和摩擦力线的计算结果与试验吻合较好,而Stanton数的计算结果较差,峰值高达试验的2.5倍左右。随着鳍的角度的增加,壁面压强和Stanton数的分布从单调分布发展为M型分布,两者的峰值不在相同的位置。湍流模型对壁面压强和壁面摩擦力线影响很小,对Stanton数计算的影响很大,SST模型比BSL模型表现好一些。