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

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

基于实数编码的改进遗传算法研究

针对遗传算法运算速度低、容易陷入局部最优值、早熟收敛等缺点,提出了基于实数编码的遗传算法的改进算法,对基于实数编码的遗传算法的选择、交叉、变异算子以及操作方法进行了改进,采用最佳保留选择策略、多算子交叉和变异,并且采用自适应变焦变异,改进后的交叉与变异操作,使算法始终保持了种群的多样性,同时也提高了寻优最终结果的精确性。实验表明基于实数编码的改进遗传算法(R IGA)有效的改善了遗传算法的缺点。     

基于在线频率估计的自适应反馈主动隔振技术

针对自适应前馈控制方法的缺点,提出一种周期性振动主动控制的自适应反馈控制方法.利用误差信号恢复振动干扰信号,采用级联陷波器估计信号中周期性分量的频率,并在估计频率处为控制器构造参考信号;控制器的参数则根据Lyapunov稳定性原理进行调整.仿真和主动隔振试验结果表明:频率估计方法在不同信噪比情况下均具有较好的估计精度;主动控制方法在振动频率处的隔振效果明显,隔振量可达16?dB以上,且控制器的参数收敛速度较快.     

Shock protection of penetrator-based instrumentation via a sublimation approach

It is often necessary for space-borne instrumentation to cope with substantial levels of shock acceleration both in the initial launch phase, as well as during entry, descent and landing in the case of planetary exploration. Current plans for a new generation of penetrator-based space missions will subject the associated on-board instrumentation to far greater levels of shock, and ways must therefore be found to either ruggedize or else protect any sensitive components during the impact phase. In this paper, we present an innovative method of shock protection that is suited for use in a number of planetary environments, based upon the temporary encapsulation of said components within a waxy solid which may then be sublimated to return the instrument back to its normal operation. We have tested this method experimentally using micromachined silicon suspensions under applied shock loads of up to 15,000g, and found that these were able to survive without incurring damage. Furthermore, quality factor measurements undertaken on these suspensions indicate that their mechanical performance remains unaffected by the encapsulation and subsequent sublimation process.     

Mathematical modeling of plasma drifts over equatorial low latitude regions

This paper presents a mathematical model to simulate ionospheric plasma drifts at equatorial low latitude regions by coupling of E- and F-regions. The governing non-linear differential equations (of elliptic and parabolic nature) are solved numerically through finite-difference schemes and obtained neutral winds and electric fields. The temperature and electron density profiles are generated utilizing MSIS-86 atmospheric model. The continuity equation is employed to obtain night-time E-region density profile using measured ionograms at Trivandrum (India). The computed vertical and zonal plasma drifts are comparable with measured Jacamarca plasma drifts with little variations during noon and evening times. The plasma drifts at Trivandrum (8.5° N, 76.5° E, dip 0.5° N) are compared with those of Jicamarca (12° S, 76.9° W, dip 2° N). Neutral wind simulations of present model agree well with those of horizontal wind model (HWM-93). The post-sunset enhancement and its reversal are also discussed.     

Telemetry,telecommand and safety sub-systems for scientific ballooning from Hyderabad

Highly sophisticated balloon-borne scientific payloads have stringent requirement on the telemetry and command system. The development and fabrication of the on-board TT&C package for telemetry, tracking, command, safety and ranging for these experiments is done in-house at the National Balloon Facility (NBF) at Hyderabad. In the last few years, we have made major improvements both in the ground station and the on-board sub-systems, thereby improving the data quality, data handling speed and the general flight control along with aviation safety. The new system has telemetry data rate up to 1 Mbps. A reduction in weight, power and cost of the reengineered on-board integrated package has also lead to the ease of operation during field tests prior to launch and at remote recovery sites. In this paper, we describe the details of the new control package, its flight performance and our plans for portable S-band telemetry and telecommand system to cater to the balloon flights from Antarctic station and long duration balloon flights.     

Stochastic modelling considering ionospheric scintillation effects on GNSS relative and point positioning

Global Navigation Satellite Systems (GNSS), in particular the Global Positioning System (GPS), have been widely used for high accuracy geodetic positioning. The Least Squares functional models related to the GNSS observables have been more extensively studied than the corresponding stochastic models, given that the development of the latter is significantly more complex. As a result, a simplified stochastic model is often used in GNSS positioning, which assumes that all the GNSS observables are statistically independent and of the same quality, i.e. a similar variance is assigned indiscriminately to all of the measurements. However, the definition of the stochastic model may be approached from a more detailed perspective, considering specific effects affecting each observable individually, as for example the effects of ionospheric scintillation. These effects relate to phase and amplitude fluctuations in the satellites signals that occur due to diffraction on electron density irregularities in the ionosphere and are particularly relevant at equatorial and high latitude regions, especially during periods of high solar activity. As a consequence, degraded measurement quality and poorer positioning accuracy may result.     

定容式气体微流量校准装置吸放气特性研究

介绍了定容式气体微流量校准装置的组成和工作原理,对流量计吸放气特性进行了实验研究,给出了静态压力上升速率曲线,并对实验结果进行了理论分析,得出了对于结构复杂的真空系统要结合系统各组件的结构、历史使用情况等因素来分析系统的吸放气特性,在一定的温度下长时间全面烘烤是降低真空系统放气率的有效途径。     

Self-similar solutions to stellar winds with cosmic rays

A two-fluid model is used to study the time evolution of stellar winds including the dynamical effect of cosmic rays. Neglecting the diffusion of cosmic rays, we seek self-similar solutions to spherically symmetric winds with a termination shock. The velocity upstream of the shock is taken to be zero. Physical solutions are those that can connect the shock to the star with the velocity approaching zero at the star. Two parameters govern the behaviour of the solutions, namely, the ratio of the upstream sound speed to the shock speed (in an inertial frame) and the gravitation potential of the central star. In some parameter regimes, no physical solution is possible.