A general calculating program designed for optimum reduction rules for existing bar section leveller with minicomputer is introduced in the article.
本文是为了用微机控制现有型钢矫正机最佳压下规程而设计的通用计算程序。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
Information reduction method is given, in which includes RS knowledge modeling, RS decision logic expression, distinction matrix making, cores calculation, attributes reduction, rules generation, etc.
给出了数据约简方法，包括建立RS知识模型、RS决策逻辑表示、确定辨识矩阵、计算其核心、进行属性归约、规则形成等内容。
Information reduction method is given, in which includes RS knowledge modeling, RS decision logic expression, distinction matrix making, cores calculation, attributes reduction, rules generation, etc.
给出了数据约简方法，包括建立RS知识模型、RS决策逻辑表示、确定辨识矩阵、计算其核心、进行属性归约、规则形成等内容。
应用推荐