云南高校图书馆联盟文献共享服务平台- 重写系统

重写系统: 作品数：45被引量：28H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：孙永强林凯冯速李俊陈凯更多>>; 相关机构：上海交通大学兰州大学北京师范大学株式会社电装更多>>; 相关期刊：《北京航空航天大学学报》《控制理论与应用》《农业网络信息》《计算机工程与应用》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划“九五”国家科技攻关计划更多>>

项重写系统和自由幺半群: 《纯粹数学与应用数学》2022年第2期266-275,共10页林沐辰朱志成张毅; 国家自然科学基金(11771191,12101316);南京信息工程大学人才启动金(2021r014);南京信息工程大学大学生创新创业训练计划项目(XJDC202210300386).; 项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重...; 关键词：自由幺半群重写系统 Platic幺半群中国幺半群

代数的算子的Rota纲领、重写系统和Grobner-Shirshov基: 《数学进展》2022年第1期1-31,共31页高兴张虎虎郭锂; Supported by NSFC (Nos.11771190,1861051,12071191);the Natural Science Foundation of Gansu Province (No.20JR5RA249);the Natural Science Foundation of Shandong Province (No.ZR2020MA002)。; 许多年前,Rota提出了Rota纲领:找出所有能被(结合)代数上的线性算子满足的代数恒等式.经过一段时间的沉寂之后,近些年来在带算子代数和Grobner-Shirshov基的观点下,Rota纲领有了快速的进展,发表在一系列从特殊情形到一般情形的论文中....; 关键词：代数的算子的Rota纲领重写系统 Grobner-Shirshov基带算子结合代数带算子李代数 OPERADS 微分型算子 Rota-Baxter型算子

混沌的计算: 《中小学信息技术教育》2017年第6期90-92,共3页陈凯; ＂我是谁？＂——这个问题被称为世界三大终极哲学问题之一,至今都不存在一个被普遍认同的答案。＂我是谁？＂——从这个问题可以引申出另一个诡异的问题：当人们自问＂我是谁？＂的时候,究竟是谁在问这个问题？又是谁在回答这个问题？...; 关键词：回答者哲学问题提问者我是谁通用计算计算思维通用图灵机重写系统标志线运算过程

“活”过来的经典计算机——马尔科夫重写系统: 《中国信息技术教育》2017年第5期31-31,72,共2页陈凯; 如果有一台机器，它所做的事情十分单一，就是把一个符号串中的一些字符替换成另外一些，反复替换后，这台机器就能实现通用计算。换句话说，人们给通用计算机编写的程序，都可以移植到这台简单的字符替换机器上。这听上去让人惊讶，但...; 关键词：通用计算机重写系统马尔科夫程序实现字符串发展历史计算科学机器

基于修正网重写系统的制造系统动态重构: 《工程科学学报》2016年第10期1447-1457,共11页李杰林陈明; 上海市经济与信息化委员会资助项目(11XI--07);上海市科学技术委员会专项基金资助项目(11DZ1121000); 智能制造模式要求制造系统能够快速动态重构以及时响应多品种、小批量产品的客户化、个性化定制的需求.本文从生产制造流程出发,针对不同输入输出函数下非托肯守恒复杂制造系统一般PN模型,在网重写系统的基础上提出修正网重写系统.修正...; 关键词：制造系统动态重构网重写系统 PETRI网行为特性

透过技术的表象看本质——自动计算: 《中国信息技术教育》2014年第19期24-24,90,77,共3页陈凯; 当人们计算＂1加1等于几＂时,头脑中究竟发生了什么呢？对于这个问题,脑神经科学还无法给出一个确定的答案。但是显然绝大多数人都知道,人们可以依赖机器,如加法器、电子计算机等——来做加法或其他各种运算,可是很少有人问：为什么机...; 关键词：脑神经科学重写系统输入数据逻辑符号逻辑门数学计算外部输入异或门逻辑输入专栏作者

基于项重写系统的联锁系统模型检测方法研究: 《计算机工程与应用》2014年第3期49-54,共6页张舒青徐中伟陈祖希; 国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03); 模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...; 关键词：项重写系统联锁 Maude语言安全苛求系统模型检测

实时系统规范语言STeC的Maude重写系统被引量：2: 《计算机工程》2013年第10期57-62,67,共7页栾天骄陈仪香王江涛; 国家"973"计划基金资助项目(2011CB302802);国家"863"计划基金资助项目(2011AA010101);国家自然科学基金资助项目(61021004); 信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将...; 关键词：实时系统实时系统的规范语言重写逻辑形式化分析时空一致性操作语义

有趣的重写系统: 《中国信息技术教育》2012年第1期27-27,32,共2页陈凯; 本文通过字符串的重写过程，模拟冯·诺依曼架构计算机的工作流程。需要的工具，可以从一支笔、一张纸开始。; 关键词：重写系统工作流程字符串计算机架构

一种基于模重写系统的攻击者推理方法: 《计算机应用研究》2011年第5期1918-1921,1936,共5页李大海韩继红王亚弟王静; 为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法。该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转...; 关键词：安全协议等式理论代数特性模重写系统

重写系统