1) counter example-guided
反例引导
1.
And they are combined by using the" counter example-guided abstraction refinement"framework and model checking.
针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法。
2) counterexample guided abstraction refinement
反例引导的抽象精化
1.
It adapts the counterexample guided abstraction refinement (CEGAR) scheme and proposes a compositional verification approach that the verification of component composition is transformed into local abstraction refinement for individual components participating in the composition in order to reduce analysis complexity.
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度。
3) Proportional navigation
比例导引
1.
Study of intercept action algorithm based on proportional navigation in robot soccer;
基于比例导引的足球机器人截球算法研究
2.
For those simple lag proportional navigation(PN) system,the solution is studied by the way of generalized power progression in this paper and is validated by the simulation.
研究了包含一阶动力学滞后的比例导引的解析解,得到并通过仿真验证了脱靶量的解析解表达式,分析了脱靶量与系统参数的关系,得到了脱靶量的大小与初始速度Vm、末制导时间T成正比等结论。
3.
The guidance algorithm is composed by three parts,including traditional proportional navigation,fuzzy logic based guidance and a guidance fusion unit.
提出一种将传统比例导引和模糊制导相结合的融合制导方案,依靠比例导引部分保持制导系统对探测信息噪声的鲁棒性,利用模糊逻辑制导部分增强制导系统对拦截条件的自适应变化能力,通过融合形成最后的制导指令,使得比例导引和模糊逻辑制导的良好特性均得到发挥。
4) proportional guidance
比例导引
1.
A gain variable proportional guidance law for stationary target;
一种攻击地面固定目标的变系数比例导引律
2.
According to the characteristics of a depleted shutdown rocket missile with canard controls and using a series of hypothesis,a new guidance approach is introduced,in up-range it tries to insure the minimal up-down overload while in down-range proportional guidance is used.
针对制导火箭弹采用鸭舵操纵、燃料耗尽关车等特点,利用一系列假设,提出一种新的导引方法:在升弧段采取法向过载最小异引方案;降弧段采用比例导引法。
3.
in this paper,proportional guidance is used in the terminal guidance of kinetic energy interceptor on space, and the trajectory control thrusters are utilized to adjust the center of mass of interceptor motion.
文中将比例导引运用到了天基动能拦截器的末制导中,并利用轨控发动机对拦截器的质心运动进行调节,建立了末制导段拦截器和目标的相对运动模型,简单介绍了轨控发动机模型。
5) proportional navigation guidance
比例导引
1.
attitude pursuit guidance) and proportional navigation guidance(PNG) using reconfiguration line-of-sight rate are analyzed in the first part.
针对捷联反辐射寻的制导的特点,从工程应用出发,分析了直接导引(又称弹体追踪导引)和利用视线角速率重构实现比例导引存在的问题,提出了直接利用捷联寻的器的测量角度信息实现捷联比例导引的新方法,并给出了工程应用的两种形式,通过仿真分析验证了该方法的有效性和可行性。
2.
The proportional navigation guidance(PNG) has several shortcomings.
传统的比例导引具有很多缺点。
3.
First,if it is assumed that each missile has the same constant velocity,then the leader-missile ( "the leader" for short) is guided by the conventional proportional navigation guidance (PNG),and the led-missile ( "the follower" for short) is guided by a combination of the conventional PNG and a maneuver control.
首先,假设各枚导弹的速度为相同常值,领弹采用经典比例导引(PNG),被领弹采用经典比例导引和机动控制相结合的方式,推导出采用领弹-被领弹策略的多导弹时间协同控制设计模型,该模型实际上描述的是一个非线性的弹目相对运动状态跟踪控制系统。
6) proportion guide
比例导引
1.
Concerning the problem of maneuvering target tracking, the character of proportion guide is introduced into state equation to construct a linear time-varying system model, and the state estimate of the system can be obtained using the standard kalman filter with parameters.
针对比例导引目标的跟踪问题,将比例导引规律引入状态方程,建立线性时变系统模型,利用含有参数的标准卡尔曼滤波方法给出了目标的状态估计。
2.
Aiming at the motion characteristic of multiple platforms and multi-targets in the current war environment,various maneuvering and no-maneuvering target motion models which mainly include snake maneuvering,swerve motion and proportion guide motion and so on are constructed in this paper.
针对现代战场环境下多平台多目标运动的特点,建立了各种机动、非机动目标运动模型,主要有蛇形机动、转弯和导弹比例导引等几种常见运动模型,并运用Matlab软件分别对其进行了计算机仿真。
补充资料：反比例函数
Image:11481277737846800.jpg
反比例函数
形如 y＝k／x(k为常数且k≠0) 的函数，叫做反比例函数。
自变量x的取值范围是不等于0的一切实数。
反比例函数的图像为双曲线。
如图，上面给出了k分别为正和负（2和-2）时的函数图像。
当ｋ＞０时，反比例函数图象经过一，三象限，是减函数
当ｋ＜０时，反比例函数图象经过二，四象限，是增函数
说明：补充资料仅用于学习参考，请勿用于其它任何用途。