背景很强时对弱目标的检测，一直是限制光电探测设备监测能力的瓶颈。
How to detect target in strong background has always been a choke point in limiting electro-optical equipment's ability.
建立结果的限制性条件弱于其他文献给出的的方法。
The established result is less restrictive than those reported in the literature.
此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
Besides, we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
应用推荐