1) 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网模型的自重构方法。
2) 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.
结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型。
3) 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)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。
4) string rewriting system
串重写系统
1.
A string rewriting system(Σ∶R) is a set of all words or strings over some finite alphabet Σ.
串重写系统 (Σ∶ R)是定义在字母表Σ上的所有字符串的集合 ,一般情况下集合中的元素是不可刻画的 。
5) string rewriting systems
字符串重写系统
6) urlrewriting
网址重写
1.
This paper discusses the implementation of a urlrewriting engine on the basis of ASP.
NET技术的网址重写引擎的实现,并针对网页重写技术中存在的一些问题,如需要建设大量空文件夹,图片等静态文件无法定位的问题进行了研究,并提出了自己的实现方法。
补充资料:WISE系列工业以太网交换机在电力MIS系统中的应用
农网改造项目是关系国计民生的全国性的大型电力项目,目前已执行到二期改造--即以MIS系统为主体的信息化改造工程,即在技术上确保地区输变电、供配电系统安全,建设一个以管理信息系统为中心,实现上与有关领导,下与局直属单位的计算机远程通讯,广泛运用控制、图形、数据库、网络及多媒体技术,操作简便、实用、专业性强,提供包括业扩及日常营业、计量、电费、用电检查等子系统的查询功能。
MIS系统是一种非常复杂又异常重要的业务。生产管理、用电营业管理和物资管理等大多数部门的管理流程和数据处理流程都有自己专门的MIS系统软件,而且都是多年以来自然形成的,既没有通行的规章制度,也不尽规范、合理。如果要充分发挥MIS系统的作用,就需要使这些系统能够充分交互,协同工作。目前大部分省份的电力通信网络还无法实现这种横行数据的充分交互。而办公软件发展的速度超过了电力网络发展的速度,办公过程中需要传递的大量的图像、数据业务已经超过了目前电力通信网络的承载能力。
采用正维科技公司自主研发的WISE系列工业以太网交换机完成的"电力MIS系统的通信解决方案"则很好的解决了这一难题,将通信业务承载在IP宽带网络上,充分利用千兆、百兆高带宽优势;充分利用VLAN等先进技术更好的承载这些重要业务,保证了系统的可靠性。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条