1) substitution rule
置换规则
2) rule of the displacement of quantifier
量词置换规则
3) gear-shifting rule
换档规则
5) transformation rules
转换规则
1.
The transformation rules were proposed in a formalized way to support transformation based on MDA from a kind of platform independent model for web application to PSM using MTrans-DSL.
使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换。
6) transition rules
转换规则
1.
A Study of Extraction of Transition Rules for Xiamen Island s Urban Cellular Automata;
厦门岛城市元胞自动机转换规则提取研究
2.
The iteration time and adjusting time of transition rules of CA are determined by the practical situation of urban development.
根据城市发展的实际情况,确定CA的迭代时间和转换规则调整时间,并采用粗糙集(roughsets,RS)理论逐步对每个调整时间段中可能影响小区土地使用决策的因素进行属性约简,获取动态的元胞自动机转换规则,消除冗余属性,克服了传统方法在获取小区土地使用决策受主观因素影响较大以及在规划年内一直采用静态的土地使用决策规则的缺陷。
补充资料：存在量词
存在量词
existential quantifier
存在且词【e汕众砚目甲翻‘衡，ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算，表示“对某个x"(“存在一个x满足”).在形式语言中，存在量词被记作日x，(日x)，口、，v、，艺工 B .E .fl二“cKo撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条