ID 原文 译文
7314 提出了实现高分辨率滑动聚束星载合成孔径雷达波束指向控制的卫星姿态机动策略。 Put forward the slide to achieve high resolution bunching spaceborne synthetic aperture radar beam pointing control of satellite attitude maneuver strategy.
7315 该策略改进了传统中等分辨率滑动聚束模式(sliding spotlight mode,SSM)成像几何,认为高分辨率SSM天线波束指向的焦点位置随方位时刻变化,同时以多普勒中心距离空变量最小为约束条件,实现对SSM成像时长和姿态角变化的计算。 The strategy to improve the traditional medium resolution sliding bunching mode (sliding spotlight mode, SSM) imaging geometry, that high resolution is the focus of the SSM byusing the position change with bearing moment, at the same time the minimum doppler empty variable center distance as the constraint condition, length of SSM imaging and the calculation of attitude Angle changes.
7316 该策略认为卫星通过三轴姿态机动实现波束指向控制,克服了大斜视角时单轴或双轴姿态机动出现的场景弯曲,适用于高分辨率滑动聚束成像模式的姿态设计。 The strategy that satellite beam direction was achieved by three-axis attitude maneuver control, to overcome the large squint Angle uniaxial or biaxial bending attitude maneuver of scene, sliding bunching is suitable for high resolution imaging model of profile design.
7317 卫星仿真工具包(satellite tool kit,STK)仿真实验与点目标回波仿真实验验证了所提方法的有效性和精确性。 Satellite simulation toolkit (satellite tool kit STK) simulation experiment and the point target echo simulation experiments verify the effectiveness and accuracy of the proposed method.
7318 以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis,MBSA)技术能够提高工作效率和分析结果的客观性,已在复杂大型装备系统的安全性工作中得到广泛重视与应用。 On formal modeling and the analysis of the use of model checking for automation test as its core based on the safety analysis of the model (model -based safety analysis, MBSA) technology can improve the work efficiency and objectivity of the results of the analysis, has set up a file in the work safety of large complex equipment system widely attention and application.
7319 现有的MBSA框架下的建模过程较为复杂,且通常需要模型转换,易造成模型信息的损失,影响安全性分析结果的准确性和全面性。 Under the framework of the existing MBSA modeling process is relatively complex, and often need to model transformation, resulting in loss of model information easily, affect the accuracy and completeness of safety analysis results.
7320 面向模型检查,提出了基于符号语言构建统一系统模型的方法 ,研究了形式化语言元素与系统功能、结构和故障模式之间的分配与映射关系,利用时态逻辑公式规范了系统安全性要求的定义。 For model checking, and puts forward the method based on symbolic language to construct a system of unified model, research the formal language elements and system function, structure and distribution and the mapping relationship between failure mode, using temporal logic formula specification the definition of system security requirements.
7321 最后,以飞控系统的前主桨舵机为例进行了案例应用,验证建模方法的有效性和适用性。 Of flight control system is discussed, the main oar steering gear as an example for the case before application, verify the validity of the modeling method and applicability.
7322 针对非均匀线阵(non-uniform linear array,NULA)互耦问题进行了研究。 For the uniform linear array (non - uniform linear array, NULA) mutual coupling problem is studied.
7323 与均匀线阵(uniform Linear array,ULA)不同的是,NULA的互耦矩阵并不具有带状对称Toeplitz的特性,因而处理起来更为复杂。 And uniform Linear array (ULA) uniform Linear array, the difference is that the mutual coupling NULA has the character of zonal symmetric Toeplitz matrix is not, and therefore to handle more complex.