1) generalized lock resolution
广义锁归结
2) generalized semi lock resolution
广义半锁归结
1.
In this paper, it shows that the generalized semi lock resolution is generalized complete in Boolean opeator fuzzy logic even if .
如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 。
3) generalized resolution
广义归结
1.
And we have also proved the completeness of using strong implication and generalized subsumption as the delete stratgy in generalized resolution at the same time.
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的。
4) General Resolution Principle Tree
广义归结证明树
5) generalized resolution principle
广义归结方法
6) general reducing rule
广义归约
1.
The “human imitating intelligent control theory” which is based on the “general reducing rule” and “imitating human” is put forward in this paper.
提出以“广义归约”和“拟人”为核心的“拟人智能控制理论”,并基于此理论成功地解决了三级倒立摆的单电机控制这一控制界的世界性难题。
补充资料:广义
范围较宽的定义(跟‘狭义’相对):~的杂文也可以包括小品文在内。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条