1) partial Kripke structure
不完全的Kripke结构
2) Kripke structure
Kripke结构
1.
Methods of processing ambiguity based on Kripke structures in a multi agent system is presented.
提出基于Kripke结构的多agent系统中含糊性的处理方法 ,多agent系统的信息状态用Kripke结构表示 ,并用tell函数来实现系统间的通信 ,而tell的应用受到Grice原理的约束。
2.
Firstey the Kripke structure which is used to describe the behavior of a system and the CTL logic which is used to describe the property of a system were introduced.
文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术。
3) uncompleted structure
不完全结构
4) incomplete mechanism gear mechanism
不完全齿轮结构
5) an incomplete tree Structure
不完全树型结构
6) incompleteness hierarchy model
不完全层次结构模型
补充资料：不完全竞争型市场结构
不完全竞争型市场结构——
不完全竞争型市场结构是最常见的市场格局，包括垄断竞争和寡头垄断这两种既不是完全竞争又不是完全垄断地情形。但狭义的不完全竞争仅指垄断竞争。在不完全竞争市场上，每个企业都在市场上具有一定的垄断力，但它们之间又存在着激烈的竞争，造成这种市场机构的原因是产品差别。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条