1) 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.
结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型。
2) 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网模型的自重构方法。
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) rewrite relation
重写关系
1.
Dolev-Yao intruder model are assumed, and based on state transition system, message and event are semantically encoded, protocol rule are defined by rewrite relation, and security properties are descripted by event set.
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。
补充资料：太阳系拥有九大行星的说法现在也许该重写了
对此，我国专家发表看法说，“现在要确认刚发现的天体为第十大行星还为时过早。”
直径冥王星的1.5倍
美国加州理工学院行星科学教授迈克·布朗29日下午通过电话向新闻界发布：“拿起你们的笔，从今天开始改写教科书。
”
他说，他发现了第十大行星，这颗行星位于太阳系外围的柯伊伯带（由围绕太阳公转的一大群较小天体组成，离太阳距离为45亿公里以外），距离太阳约145亿公里。从亮度判断，它的直径至少相当于直径为2300公里的冥王星的1．5倍。
布朗博士称：“如果冥王星能被接受为一颗行星，那么2003－UB313更有资格。”但目前他们还没能更精确地估算，只能确定其直径的上限可能为3000多公里。
天文学家目前暂时将其命名为“2003－UB313”。布朗说，他已经为这颗新星拟好了名字，正等待国际天文学联合会批准。
周期 绕太阳一圈560年
这颗新星表面可能与冥王星类似，由固态甲烷构成。星体的轨道为椭圆形，环绕太阳周期是560年，最近点距太阳约53亿公里。
布朗说，这颗行星之所以此前没有被注意，是因为它的轨道平面和其他行星的轨道平面成45度角，在地球上看来“出没无常”的缘故。现在，业余天文观测者可以在凌晨时分，在天穹东部的鲸鱼座看到这颗行星。
内幕 抢先发布因黑客威胁
布朗等人在2003年10月第一次拍到了这颗行星，原本他们准备在更精确地计算出它的尺寸和轨道后再宣布这一发现，但28日另一个天文学家小组宣布在柯伊伯带发现了高亮度的星体，同时他们发现保存研究资料的网站被黑客侵入，并威胁要将资料公布于世，于是在29日下午仓促发布消息。据新华社
“第十行星” 引爆争议
反对 美国“小行星中心”负责人布赖恩·马斯登称，如果冥王星也算行星的话，那么其他和它差不多大小的天体都应该被称做行星，根据该逻辑，“2003-UB313”的确算是行星，但它却要排在一系列以前发现的“行星”———包括“塞德娜”和“夸奥尔”之后，而不能称为“第十行星”。
美国行星组成理论家阿兰·波斯对记者道：“将它们称作行星的话，对太阳系中的其他大家伙来说，显然太不公平了。”
支持 NASA（美国国家宇航局）在一份官方声明中，强烈支持将“2003-UB313”称为第十行星的说法。
待定 中国紫金山天文台行星专家王思潮研究员30日说，对美天文学家的这项重大发现表示祝贺，“但现在要确认刚发现的天体为第十大行星还为时过早。”
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条