搜索筛选:
搜索耗时0.8101秒,为你在为你在102,285,761篇论文里面共找到 46 篇相符的论文内容
发布年度:
[期刊论文] 作者：钟发荣,
来源：淮北煤炭师范学院学报：自然科学版 年份：2006
文章系统研究非对称带不等算子χ^≠-演算进程上的互模拟.通过构造互模拟格,从全部 L-互模拟关系中导出 12个互异的 L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同...
[期刊论文] 作者：钟发荣,
来源：科技风 年份：2015
LED作为新一代绿色光源,具有高亮度、节能的优点,其驱动电源是研究的关键之一,其中很多LED灯具需要具有调光功能,这就涉及到驱动电源调光方案的选用。本文介绍了以下五种调光...
[期刊论文] 作者：钟发荣,
来源：计算机与现代化 年份：1999
在规范变换方法的基础上，给出了在有序类规范上的归纳定理的证明方法。该方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏｕｎａｌｉｓ方法中所谓归纳可归约性检查这一很费时的过程，并且终止性检查不依赖于合流性检查。......
[学位论文] 作者：钟发荣,
来源：上海交通大学 年份：2004
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统固有的复杂性,我们并发分布式计算的本质的...
[期刊论文] 作者：裴健, 钟发荣,,
来源：浙江师大学报(自然科学版) 年份：1994
本文提出了一种面向时象系统的系统定义方法。这种方法借助状态谓词来指称类的方法，用一种三元组演算来描述系统，在系统框架设计后能进行系统合理性的自动验证。与其它面向对象......
[期刊论文] 作者：黄银强,钟发荣,
来源：微电子学与计算机 年份：2006
非对称x-演算是一种移动计算模型。文介绍非对称x-演算的语法和符号操作语义，给出非对称x-演算的符号互模拟的验证算法，该算法根据算法输出的谓词等式系，求解最大符号解。并证明......
[期刊论文] 作者：孙晓莉,钟发荣,
来源：计算机技术与发展 年份：2020
随着信息技术的发展,人工智能已成为全球热点,以移动机器人目标搜索为代表的一系列人工智能应用已逐步影响人类生活的各个方面。为了解决移动机器人目标搜索在特定区域的搜索...
[期刊论文] 作者：钟发荣,孙永强,
来源：计算机应用与软件 年份：1998
本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。...
[期刊论文] 作者：钟发荣,吴佳杰,,
来源：浙江师范大学学报(自然科学版) 年份：2010
对π-演算进行扩展，提出了作为Web服务事务动态补偿模型的Exπ-演算．该演算的补偿可随着Web服务的交互动态地建立起来，同时给出了结构同余关系和操作语义．为了保证事务的唯一性，定......
[期刊论文] 作者：钟发荣,金健舟,
来源：浙江师大学报：自然科学版 年份：1997
本文在旭纳证明的规范变换方法的基础上，介绍从一般等式规范到有序类等工规范变换的实现技术，以及在有序类等式规范上的归纳定理的证明技术。...
[期刊论文] 作者：钟发荣,朱根良,
来源：浙江师大学报：自然科学版 年份：1998
给出了一般等式规范有序类等式规范的变换方法，以及在有序类等式规范上的主要结论，在此基础上，又给出了有序规范上的一个归纳证明方法，这一方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏ－......
[期刊论文] 作者：黄银强,钟发荣,
来源：浙江师范大学学报：自然科学版 年份：2006
在分析了基于Web的网络考试系统需求的基础上，针对其具有多进程并发通讯的特点，采用π-演算对系统进行结构和功能的描述；在简单介绍π-演算的语法和操作语义的基础上，用进程表达......
[期刊论文] 作者：钟发荣,杨振国,
来源：浙江师范大学学报：自然科学版 年份：2013
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统...
[期刊论文] 作者：钟发荣,傅育熙,
来源：计算机学报 年份：2005
该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L -互模拟的开模拟性...
[期刊论文] 作者：钟发荣,孙永强,
来源：计算机科学 年份：1998
归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证...
[期刊论文] 作者：林祝微,钟发荣,
来源：科技信息（科学·教研） 年份：2004
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组...
[期刊论文] 作者：钟发荣,金健舟,
来源：浙江师大学报：自然科学版 年份：1996
本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义。...
[期刊论文] 作者：董笑菊,钟发荣,
来源：计算机研究与发展 年份：2004
非对称 χ ≠ 演算是一种移动计算模型 通过研究该演算的互模拟格 ,能够增强理解非对称性和不等名算子对移动进程代数理论的影响 在给出非对称 χ ≠ 演算的语法和转移语义...
[期刊论文] 作者：王佳慧,钟发荣,
来源：计算机工程与科学 年份：2021
警察与强盗博弈是一个图搜索问题,解决该问题的关键是确定能成功捕获强盗的最少警察数。在零可视警察与强盗博弈中强盗不可见:任意时刻警察都不知道强盗所在位置。通过建立顶点清理模型对三维网格图的性质进行分析,将三维网格图的顶点集划分成2个子集,导出划分......
[期刊论文] 作者：叶荣华,金芝,钟发荣,,
来源：计算机科学与探索 年份：2011
服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型...
相关搜索：
