三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

矩阵方程（AX，XB）=（C，D）和AXB=C的对称正定解

讨论了矩阵方程（ＡＸ，ＸＢ）＝（Ｃ，Ｄ）和ＡＸＢ＝Ｃ的对称正定解。利用奇异值分解和广义奇异值分解导出了这些矩阵方程有对称正定解的充分必要条件，并且给出了一般对称正定解的表达式     

Banach空间中椭圆方程Dirichlet问题的迭代解

以半序理论为工具，在Ｂａｎａｃｈ空间中用上下解方法研究了椭圆方程Ｄｉｒｉｃｈｌｅｔ问题的迭代解，并证明了存在两个迭代序列分别一致收敛于该问题的最小解和最大解。     

NUMERICAL SIMULATION OF THREE DIMENSIONAL INTERACTING TURBULENCE FLOW FIELD OVER PROJECTILE WITH LATERAL JETS

INTRODUCTIONIn recent years,the study of lateral jets hasaroused more interest of aerodynamicist all overthe world.On the one hand,the interacting flowfield caused by lateral jet includes complicatedshock wave patterns and has important values tostuding flow phenomena.It has been not veryclear to this day and it is very difficult for nume-rical simulation.On the other hand,lateral jethas important applications for the field of aero-nautics,astronautics and weapons:for example,lateral jet …     

高亚声速喷流近场的流-声关联

针对马赫数为0.9的圆口喷流,采用大涡模拟计算流场与声场,在与直接数值模拟(DNS)和实验数据比对验证的基础上,分析了中心线和剪切层湍流脉动信号与声信号的相关性,并进一步对中心线上温度信号进行相关性研究。结果表明:相关系数在中心线上势流核末端附近出现峰值,说明该处的湍流脉动信号对声压信号有重要贡献,而这一区域的流动的间歇性与对流速度均较高。同时,声压与中心线上的温度脉动和温度梯度径向分量的脉动也有较高相关性,但与温度梯度轴向分量的脉动相关性较低,表明在模拟的温度比下轴向温度梯度对近场声压贡献较小。     

求解-维浅水波方程的中心差分格式

使用Haim Nessyahu和Eitan Tadmor给出的求解双曲型守恒律的中心差分交错格式求解浅水波方程,经一维溃坝问题数值实验验证了该格式对于求解浅水波方程的可行性和有效性。     

一种高精度TVD格式中声速点处理方法

针对Ｃｈａｋｒａｖａｒｔｈｙ－ＯｓｈｅｒＴＶＤ格式，提出了一种处理声速点的方法，可使声速点和非声速点的计算统一起来 。     

T型尾翼布局的垂尾载荷测量技术

针对T型尾翼布局下平尾影响垂尾载荷的特点，提出了一套适用于T型尾翼布局的垂尾载荷实测试飞方法。该方法通过分析平尾载荷对垂尾的影响，设计平尾非对称校准加载工况，将其引入垂尾载荷方程建模，并使用该垂尾载荷方程测量了某型飞机型号合格审定试飞的垂尾飞行载荷。试验结果表明，载荷方程测量误差由5.3%降低到3.14%，平尾不对称弯矩载荷对垂尾弯矩影响显著，偏航机动严重受载状态时可达到垂尾弯矩的57.6%，滚转机动严重受载状态时可达到垂尾弯矩的61.9%。     

A ballistic limit equation for hypervelocity impacts on composite honeycomb sandwich panel satellite structures

During a recent experimental test campaign performed in the framework of ESA Contract 16721, the ballistic performance of multiple satellite-representative Carbon Fibre Reinforced Plastic (CFRP)/Aluminium honeycomb sandwich panel structural configurations (GOCE, Radarsat-2, Herschel/Planck, BeppoSax) was investigated using the two-stage light-gas guns at EMI. The experimental results were used to develop and validate a new empirical Ballistic Limit Equation (BLE), which was derived from an existing Whipple-shield BLE. This new BLE provided a good level of accuracy in predicting the ballistic performance of stand-alone sandwich panel structures. Additionally, the equation is capable of predicting the ballistic limit of a thin Al plate located at a standoff behind the sandwich panel structure. This thin plate is the representative of internal satellite systems, e.g. an Al electronic box cover, a wall of a metallic vessel, etc. Good agreement was achieved with both the experimental test campaign results and additional test data from the literature for the vast majority of set-ups investigated. For some experiments, the ballistic limit was conservatively predicted, a result attributed to shortcomings in correctly accounting for the presence of high surface density multi-layer insulation on the outer facesheet. Four existing BLEs commonly applied for application with stand-alone sandwich panels were reviewed using the new impact test data. It was found that a number of these common approaches provided non-conservative predictions for sandwich panels with CFRP facesheets.     

基于无源定位系统的航迹起始算法

航迹起始是多目标航迹处理中的重要问题.针对无源定位系统的特点,提出了一种基于无源定位系统的航迹综合起始算法.首先对原始数据进行预处理,利用速度时间准则和相关波门来搜索可能的航迹,然后利用改进的3/4逻辑法进行航迹确认.基于实测数据的仿真结果表明了该算法的有效性和可行性.