基于Simulink的导弹三通道弹道仿真模型

运用MATLAB的Simulink工具箱建立起了导弹三通道弹道仿真模型 ,并给出一定条件下的弹道仿真结果 ,以此证明模型建立的正确性、实用性及兼容性。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于工业物联网的混流车间机器人自适应调度

随着工业物联网技术与人工智能技术深度融合,物料机器人已广泛应用于物联网车间中.针对车间存在实时动态变化和状况不确定等诸多复杂因素,本文提出以组分层建树和以实时状态为根节点的SP–MCTS(Single-player monte-carlo tree search algorithm)搜索方法实现车间自适应调度决策.该方...     

Beam-Park-Experiment-1/2000 with TIRA

A monostatic 24-h debris observation campaign (BPE-1/2000) has been prepared and conducted using FGAN's TIRA L-Band system. Based on experiences from previous Beam-park experiments a similar largely automated data processing is applied on an extended range window of 300–2000km. More than 1500 detections are encountered, 471 of them are verified as being real objects in Low-Earth-Orbit (LEO). PROOF's observation forecasting of catalogued objects is evaluated against the observed objects, and the difficulties obtaining radar cross-sections (RCSs) and object sizes from Beam-park experiments are discussed. Sidelobe detections are identified by using background information like two-line element (TLE) sets and/or catalogued RCSs.In comparison with previous experiments, the statistics show similarities confirming the concept of Beam-park experiments for space debris observations, despite the snapshot character of 24-h experiments. The comparison with MASTER/PROOF'99 and ORDEM2000 leads to a reasonable agreement between models and observations.     

Improved predictions of equatorial TEC for real time applications

It is important to use models developed specifically for the equatorial ionospheric estimation for real-time applications, particularly in Satellite Navigation. This work demonstrates a methodology for improved predictions of VTEC in real time using the model developed for the equatorial ionosphere by the authors. This work has been done using TEC data of the low solar activity period of 2005 obtained using dual frequency GPS receivers installed under the GAGAN project of ISRO. For the purpose, the model is first used in conjunction with Kriging technique. Improvement in accuracy is observed when compared with the estimations from the model alone using the measurements as true reference. Further improvement is obtained by Bayesian combination of these estimates with independent Neural Network based predictions. Statistical performance of improvement is provided. An improvement of ∼1 m in confidence level of estimation of VTEC is obtained.     

Solar modulation model with reentrant particles

We developed a one dimensional model of particle transport in the heliosphere. As opposite to widely used models, we apply a method where a quasi-particle is traced back in time. The model gives us the possibility to work on the possible existence of reentrant particles in the heliosphere that can be hardly solved by the traditional forward tracking method. Particles escape from the heliosphere and may reenter back. We estimate how these particles affect the modulation process in the heliosphere. Presented here are the results for different values of particles mean free path in the interstellar space and for different interstellar magnetic field values.     

现代飞机俯仰跟踪时诱发振荡预测分析

根据飞机纵向ＰＩＯ的特点，提出了预测分析ＰＩＯ所用的人－机闭环系统数学模型，其中飞机采用等效系统数学模型，驾驶员操纵采用ＭｃＲｕｅｒ模型，参数按地面人－机模拟飞行跟踪试验确定，集中介绍了四种飞机纵向ＰＩＯ预测准则，Ｓｍｉｔｈ－Ｇｅｄｄｅｓ准则，修正带宽准则，增益，相位裕度准则，Ｎｅａｌ－Ｓｍｉｔｈ原则，并提供了相应的计算方法。     

Self-similar stochastic processes in solar wind turbulence

Solar wind data is used to estimate the autocorrelation function for the stochastic process x(τ) = y(t + τ) − y(t), considered as a function of τ, where y(t) is any one of the quantities B²(t), n_p(t)V²(t), or n_p(t). This process has stationary increments and a variance that increases like a power law τ^2γ where γ is the scaling exponent. For the kinetic energy density and the proton density the scaling exponent is close to the Kolmogorov value γ = 1/3, for the magnetic energy density it is slightly larger. In all three cases, it is shown that the autocorrelation function estimated from the data agrees with the theoretical autocorrelation function for a self-similar stochastic process with stationary increments and finite variance. This is far from proof, but it suggests that these stochastic processes may be self-similar for time scales in the small scale inertial range of the turbulence, that is, from approximately 10 to 10³ s.     

面向空中目标威胁评估的多传感器管理方法

为了降低在空中目标威胁评估任务中由于威胁评估结果的不准确性和传感器辐射所带来的潜在损失，提出了一种基于风险的多传感器管理方法。首先，基于部分可观马尔可夫决策过程建立了传感器管理模型；然后，给出了基于信息状态的威胁评估风险和传感器辐射风险的预测方法以量化潜在损失；接着，为获得更优的作战收益，以多步风险预测值为决策依据，以两种风险的加权和最小为优化目标建立了长期目标函数；最后，在求解目标函数时，将传感器管理问题转化为决策树搜索，设计了一种基于分支定界的标准代价搜索算法以快速获得高质量的管理方案。仿真实验表明，所提算法能够在搜索到高质量解的同时大幅减少计算时间和内存消耗；所提方法能够对风险进行准确预测，且相比于经典的传感器管理方法，所提方法具有更好的风险控制效果。     

民机与民航产业投入产出分析

运用价值型投入产出模型,基于投入产出表,分析我国民机产业在国民经济中的地位、与各部门之间的相关联系、对其他部门的依赖性以及对国民经济的带动,并进一步与民航产业进行对比分析。研究结果进一步印证民机产业在国民经济发展中的重要性,为进一步争取国家政策支持提供理论基础和依据。