1) string rewriting system
串重写系统
1.
A string rewriting system(Σ∶R) is a set of all words or strings over some finite alphabet Σ.
串重写系统 (Σ∶ R)是定义在字母表Σ上的所有字符串的集合 ,一般情况下集合中的元素是不可刻画的 。
2) string rewriting systems
字符串重写系统
3) program rewriting
重写系统
1.
By combining the idea of object oriented designing and application of rewriting technique, this paper proposes the basic idea and schema structure of program rewriting, which constructs an object oriented program rewriting theory and defines a model of rewriting system by drawing lessons from abstract rewriting system and rewriting logic.
结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型。
4) net rewriting systems
网重写系统
1.
Based on the improved net rewriting systems(INRS),a method for self-reconfiguration of Petri net(PN) logic controllers for reconfigurable manufacturing systems(RMS) is presented.
提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。
5) term rewriting systems
项重写系统
1.
The dynamic term rewriting calculus is a formal computation model for meta-computation of term rewriting systems, which has characteristic features as the hierarchical declaration and dynamic rewriting, and is applied to the automated formal proving for the inductive theorems and weak termination of term rewriting systems.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。
6) series system
串串联系统
补充资料：串级控制系统
分子式：
CAS号：
性质：一类按结构命名的复杂控制系统。它具有两个控制器，一个控制器(主控制器)的输出信号作为另一个控制器(副控制器)的设定值，串级连接。例如，要控制加热炉出口温度，人们可以(1)采用温度控制器，操纵燃料进入阀，该方案的缺点是对象滞后较大，控制品质不够理想，(2)采用流量控制器，操纵燃料进入阀，此时燃料流量的设定值须依据温度测量值而人工调整，该方案的优点是能迅速克服影响流量的各项扰动的效应，缺点是流量设立值需人工调整。改用串级连接，就是用温度控制器的输出信号作为流量控制的设定值，这样就可克服以上两个方案的缺点。串级控制系统得到广泛应用，适用于以下目的：(1)迅速消除在副控制器所在回路进入的扰动影响，(2)容许副控制器的对象和控制阀的特性在较大范围变化，(3)精确控制操作变量的流量，(4)实现更灵活的控制方式。二步整定法分两步对串级控制系统主、副控制器进行参数整定。考虑到副控制器所在回路的品质要求一般较低，通常采用先副后主的步骤。先将主控制器的输出断开，切入手动位置，对副控制器单独进行参数整定，方法与简单控制系统类似。然后再将主控制器的输出接通，切入自动位置，对主控制器进行参数整定，方法也与简单控制系统类似。必要时可对副控制器参数再作调整，反复进行。一步整定法是一种较简捷的整定方法。考虑到副控制器构成回路的控制品质要求不高，可根据一些经验准则确定副控制器的参数值，因而只需像简单控制系统一样对主控制器参数进行整定。
CAS号：
性质：一类按结构命名的复杂控制系统。它具有两个控制器，一个控制器(主控制器)的输出信号作为另一个控制器(副控制器)的设定值，串级连接。例如，要控制加热炉出口温度，人们可以(1)采用温度控制器，操纵燃料进入阀，该方案的缺点是对象滞后较大，控制品质不够理想，(2)采用流量控制器，操纵燃料进入阀，此时燃料流量的设定值须依据温度测量值而人工调整，该方案的优点是能迅速克服影响流量的各项扰动的效应，缺点是流量设立值需人工调整。改用串级连接，就是用温度控制器的输出信号作为流量控制的设定值，这样就可克服以上两个方案的缺点。串级控制系统得到广泛应用，适用于以下目的：(1)迅速消除在副控制器所在回路进入的扰动影响，(2)容许副控制器的对象和控制阀的特性在较大范围变化，(3)精确控制操作变量的流量，(4)实现更灵活的控制方式。二步整定法分两步对串级控制系统主、副控制器进行参数整定。考虑到副控制器所在回路的品质要求一般较低，通常采用先副后主的步骤。先将主控制器的输出断开，切入手动位置，对副控制器单独进行参数整定，方法与简单控制系统类似。然后再将主控制器的输出接通，切入自动位置，对主控制器进行参数整定，方法也与简单控制系统类似。必要时可对副控制器参数再作调整，反复进行。一步整定法是一种较简捷的整定方法。考虑到副控制器构成回路的控制品质要求不高，可根据一些经验准则确定副控制器的参数值，因而只需像简单控制系统一样对主控制器参数进行整定。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条