·2,447,543篇论文数据，部分数据来源于NoteExpress
水下航行器多目标制导能力评估是目前水下多目标精确制导研究中亟待解决的问题。
Evaluation on multi-target guidance capability of underwater vehicle is an urgent problem in the study of underwater multi-target precise guidance.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
目标制导的反向验证方法使用反向推理机制，能够缩小攻击路径的搜索空间，有利于提高效率。
The target-driven reversing verification method uses the mechanism of reverse reasoning, and reduces the searching space of attacking trace, meaning high efficiency.
应用推荐