1) simplification regular
简化规律
1.
The paper proposes a design method for box-secgtion beam and simplification regular by means of a host of computer calculte and analysis.
本文通过大量的计算机计算、分析 ,提出了箱形截面构件的抗扭计算方法及其简化规
2) simple law of changes
运化简单规律
3) the rule of character simplification
汉字简化规律
4) reduced law
简化律
5) simplification rules
简化规则
1.
Petri nets simplification rules based on FMS;
基于柔性制造系统的Petri网模型简化规则
2.
And the simplification rules of the four basic workflow pattern based on FTCPN and their.
针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理。
6) reducing rules
化简规则
1.
gives reducing rules of work- flow logic net that based on Petri nets.
给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
2.
This paper generalizes the classical Davis-putnam pure literal rules to propositional modallogic D and presents some reducing rules that describe the characters of the deducing procedure inmodal logic D.
以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。
补充资料：矛盾规律(见对立统一规律)
矛盾规律(见对立统一规律)
law of contradiction
mQOCun gu】j口、矛盾规律(lawof eon‘radietion)统一规律。见叶主
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条