重写系统中的显式归纳方法 被引量：2

1

作者 宋国新 邵志清 《华东理工大学学报（自然科学版）》 CAS CSCD 1996年第1期68-72,共5页

提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。

关键词 归纳定理 重写系统 等式系统 显式归纳 K-B算法

在线阅读 下载PDF 职称材料

左线性重写系统的合流性

2

作者 林凯 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1991年第6期1-6,共6页

讨论左线性的项重写系统的合流性,通过引入重写系统的局部归约序,可证明对于具有局部归约序的左线性重写系统R,R具有合流性,当且仅当,对于任意M→R P和M→R Q,P和Q在M下相对局部归约序子连通。

关键词 重写系统 合流性 左线性 计算理论

在线阅读 下载PDF 职称材料

字符串重写系统的改进算法及其在花型准备系统中的应用

3

作者 戚玉箐 邵世煌 耿兆丰 《中国纺织大学学报》 CSCD 1997年第2期45-49,共5页

介绍了字符串重写系统的基本原理及其改进算法——模板重写算法.给出了模板重写算法的操作步骤,并详细讨论此算法在花型准备系统中的具体应用.

关键词 字符串重写系统 花型准备系统 花型设计 CAD

在线阅读 下载PDF 职称材料

Zarlink激光二极管驱动器支持高速DVD／CD刻录和重写系统

4

《电子产品世界》 2004年第05A期91-91,共1页

关键词 卓联半导体公司 激光二极管驱动器 DVD/CD刻录机 重写系统 ZL40510

在线阅读 下载PDF 职称材料

Zarlink激光二极管驱动器支持目前最高速DVD／CD刻录和重写系统

5

《电子与电脑》 2004年第5期133-133,共1页

卓联半导体公司(Zarlink Semiconductor)推出了一款支持16倍速DVD和52倍速CD写入／重写的下一代光盘驱动器使用的激光二极管驱动器，上述光盘驱动器可用于高速DVD／CD组合刻录机装置中。借助卓联公司激光二极管驱动器的强大支持，DVD／C... 卓联半导体公司(Zarlink Semiconductor)推出了一款支持16倍速DVD和52倍速CD写入／重写的下一代光盘驱动器使用的激光二极管驱动器，上述光盘驱动器可用于高速DVD／CD组合刻录机装置中。借助卓联公司激光二极管驱动器的强大支持，DVD／CD刻录机将能够在六分钟内写入一张4．7G字节的DVD光盘-相当于一部两小时电影的容量。相比之下，目前使用1倍速的速度写入同样容量的电影需要花费1．3小时。 展开更多

关键词 卓联半导体公司 激光二极管驱动器 DVD/CD刻录 重写系统 封装方式 转换振荡器 技术规格

在线阅读 下载PDF 职称材料

有限可交换的特殊Thue系统 被引量：1

6

作者 赵锡英 《兰州工业高等专科学校学报》 2000年第3期22-23,共2页

串重写系统 (Σ :R)是定义在字母表Σ上的所有字符串的集合。对于一个有限可交换的特殊Thue系统 (Σ :R) ,证明了 (Σ :R)是有限生成交换群 ;相反 。

关键词 串重写系统 特殊Thue系统 字符串 交换群 有限交换

在线阅读 下载PDF 职称材料

重写技术在面向对象程序维护中的应用

7

作者 姜利 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第4期104-108,共5页

在面向对象程序的系统中，如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重... 在面向对象程序的系统中，如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型．在该模型中，通过研究并定义对象行为的三种状态（即初态，中态，终态）变换，结合实际可能使用的重写规则，可将对程序行为的描述重写成所包含对象状态变换的描述，进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后，给出了该模型的语义解释及其在程序测试和维护中的应用． 展开更多

关键词 面向对象 程序设计 程序重写 重写系统

在线阅读 下载PDF 职称材料

基于内部信息置换的创新设计(英文)

8

作者 文军 文贵华 +1 位作者 范崇贵 丁月华 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第9期12-16,共5页

探讨创新设计的理论框架 ,进而提出一种基于系统内部信息置换的创新设计方法 .该方法利用超图重写系统组织系统的内部结构和创新过程 .它以现有系统而不是外部需求为创新的起点 ,通过对现有系统的超图进行系列置换而产生新的创造 .

关键词 创新设计 理论框架 置换创造 系统内部信息 超图重写系统

在线阅读 下载PDF 职称材料

混沌的计算

9

作者 陈凯 《中小学信息技术教育》 2017年第6期90-92,共3页

＂我是谁？＂——这个问题被称为世界三大终极哲学问题之一,至今都不存在一个被普遍认同的答案。＂我是谁？＂——从这个问题可以引申出另一个诡异的问题：当人们自问＂我是谁？＂的时候,究竟是谁在问这个问题？又是谁在回答这个问题？... ＂我是谁？＂——这个问题被称为世界三大终极哲学问题之一,至今都不存在一个被普遍认同的答案。＂我是谁？＂——从这个问题可以引申出另一个诡异的问题：当人们自问＂我是谁？＂的时候,究竟是谁在问这个问题？又是谁在回答这个问题？虽然回答者总是可以回答＂是我＂,但提问者却可以继续追问,先前答案中的＂我＂是谁,以至于最终回答者不得不承认, 展开更多

关键词 回答者 哲学问题 提问者 我是谁 通用计算 计算思维 通用图灵机 重写系统 标志线 运算过程

在线阅读 下载PDF 职称材料

基于DTRC的形式自动证明平台及其应用

10

作者 熊锋 李桂范 +1 位作者 程明 冯速 《海军工程大学学报》 CAS 2004年第5期60-64,共5页

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动... 动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 展开更多

关键词 动态项重写计算 项重写系统 运行平台 形式自动证明 重写策略

在线阅读 下载PDF 职称材料

基于Lakatos证伪方法论的机器发现逻辑

11

作者 谢康 孙怀民 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1992年第3期27-35,共9页

介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP.同时举例说明了ALP系统的工作原理,展示了机器发现逻辑在数学发现(?)逻辑程序自动设计领域的应用前景。

关键词 证伪方法论 项重写系统 关系变元

在线阅读 下载PDF 职称材料