基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

一种改进的数字式波束形成的快速自适应算法

提出了一种改进的数字式波束形成的快速自适应算法,即具有严格约束最小功率的抽样矩阵梯度算法(CSMG)。它综合了传统抽样矩阵梯度、算法和具有严格约束的最小功率自适应算法的优点。计算机模拟表明,此算法波束方向随约束角度而变,自适应调零能力较强,收敛速度也较快。     

地中式混凝土油罐的数值模拟

对正在开展的战略石油储备,提出用地中预应力混凝土罐进行石油储存.应用结构分析软件ANSYS对巨型混凝土单壁罐和双壁罐进行弹性分析,指出罐壁环向应力几乎全部由温度荷载造成,罐壁温度场和温度应力具有明显时间性,储油初期罐壁温差最大,96?h后罐壁顶部拉应力达到最大;设置中间保温层后,内罐应力减小,外罐应力增大,应对内、外罐连接支墩做特殊设计,以满足罐壁温度变形.     

Radio fine structures in dm–cm wavelength range associated with magnetic reconnection processes

Radio bursts with fine structures in decimetric–centimetric wave range are generally believed to manifest the primary energy release process during flare/CME events. By spectropolarimeters in 1–2 GHz, 2.6–3.8 GHz, and 5.2–7.6 GHz at NAOC/Huairou with very high temporal (1.25–8 ms) and spectral (4–20 MHz) resolutions, the zebra patterns, spikes, and new types of radio fine structures with mixed frequency drift features are observed during several significant flare/CME events. In this paper we will discuss the occurrence of radio fine structures during the impulsive phase of flares and/or CME initiations, which may be connected to the magnetic reconnection processes.     

Prompt effects of solar wind variations on the inner magnetosphere and midlatitude ionosphere

It is well known that the solar wind can significantly affect high-latitude ionospheric dynamics. However, the effects of the solar wind on the middle- and low-latitude ionosphere are much less studied. In this paper, we report observations that large perturbations in the middle- and low-latitude ionosphere are well correlated with solar wind variations. In one event, a significant (20–30%) decrease of the midlatitude ionospheric electron density over a large latitudinal range was related to a sudden drop in the solar wind pressure and a northward turning of the interplanetary magnetic field, and the density decrease became larger at lower latitudes. In another event, periodic perturbations in the dayside equatorial ionospheric E × B drift and electrojet were closely associated with variations in the interplanetary electric field. Since the solar wind is always changing with time, it can be a very important and common source of ionospheric perturbations at middle- and low-latitudes. The relationship between solar wind variations and significant ionospheric perturbations has important applications in space weather.     

基于反射的分布交互仿真软件框架

软件框架需要在领域内不同的应用环境中使用,因此框架的适应性是其非常重要的质量属性.将反射技术引入建模与仿真领域,通过将支持大规模分布交互仿真系统开发的软件框架进行体系结构级的反射,解决了系统结构动态演化和运行时扩展问题;通过对仿真模型进行组件或对象级的反射,解决了模型的动态表示和行为演化问题.通过将反射塔构造为一个数据仓库对反射模型进行集中管理和统一接口访问,使系统在体系结构模式上表现为以数据仓库为中心,改善了反射系统的安全性,同时提出了一种新的基于反射数据库的软件设计模式.利用RTI的服务去维护分布的仿真节点的反射数据库,简化了系统的实现,同时也封装了RTI,从而构造了一个比HLA更高级和友好的分布计算和仿真环境,为仿真应用系统的快速开发提供了强有力的支持.      

Capillary flow rate limitation in asymmetry open channel

This paper focuses on the stability of capillary forced flow.In space,open capillary channels are widely used as the liquid and gas separation devices to manage liquid positioning and transportation.Surface collapse happens when the flow rate exceeds the critical value,leading to a failure of propellant management.Knowledge of flow rate limitation is of great significance in design and optimization of propellant management devices(PMDs).However,the capillary flow rate limitation in an asymmetry channel has not been studied yet in the literature.In this paper,by introducing an equivalent angle to convert the asymmetry corner to a symmetry one,the one-dimensional theoretical model is developed.The flow rate limitation can then be investigated as a function of the channel geometry as well as liquid property based on the model.Comparisons between the asymmetry and symmetry channels bring forth the characteristics of the two kinds of channels,and demonstrate good accordance between the new advanced model and the existing one in the literature.This theoretical model can provide valuable reference for PMD designers.     

旋转机翼悬停气动特性研究

鸭式旋转机翼(CRW)是一种先进的高速直升机方案,旋翼同时也是机翼,是其最关键气动部件之一。采用结构分区拼接网格技术进行空间离散,分区建立参考系,通过求解多重参考系下的N-S方程来计算旋翼流场,首先以传统的Caradonna-Tung实验旋翼的亚、跨声速悬停流场分析为例验证该方法的可靠性,进而采用该方法对旋转机翼悬停流场进行了数值计算,旋翼拉力计算值和地面实验值吻合较好,结果分析表明旋转机翼的悬停流场有着不同于传统旋翼的流场特性。     

结构隔绝内-外空间的流-热-固耦合仿真应用

为验证和指导高速飞行器的防隔热设计,准确地模拟气动热产生的热量穿透防隔热材料进而影响舱内温度空间分布和时间变化的过程,研究了一种同时求解机体外流场及气动热、机体结构传热及舱内流场温度场仿真计算方法,其中的传热方式包括热传导、热对流及热辐射。采用两套计算模型、两种求解器、一个数据交换文件的计算结构,构建了一种针对流场-热-结构的多场耦合分析方法,实现了对固体隔绝内外流场温度动态变化问题的仿真分析。最后通过计算实例验证了整套计算方法,得到的飞行器舱内温度变化特性能够用于指导高速飞行器的防隔热设计。     

小展弦比飞翼布局新型嵌入面航向控制特性研究

在小展弦比飞翼布局机翼外侧上/下表面分别设计了一组中等后掠角嵌入面,并对其跨声速时的航向控制效果及其流动机理进行了风洞试验和数值模拟研究。计算和试验结果表明,上嵌入面可在小迎角范围通过轴向力和侧向力的共同作用提供稳定的偏航力矩,实现航向控制;当α6°时,由于嵌入面逐渐处于前缘涡的影响范围内,在前缘涡的吸力作用下,嵌入面航向控制效果迅速下降,直至失效,且进行航向控制时存在不利的滚转耦合;下嵌入面可在全迎角范围内提供稳定的偏航力矩,实现航向控制;通过在小迎角范围内使用上嵌入面,α6°时使用下嵌入面,不仅可在全迎角实现航向控制,且不影响飞机的隐身性能。