搜索筛选:
搜索耗时0.0900秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[学位论文] 作者：邓玉欣,
来源：上海交通大学 年份：2001
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关于弱开互模拟的非符号化定义,给出相应的符号...
[期刊论文] 作者：邓曦,邓玉欣,
来源：计算机工程与科学 年份：2019
介绍一个可在经典计算机上模拟量子计算的工具Qsimulation。该工具由4个主要部分组成:一个命令式的量子编程语言,一个量子计算解释器,一个用于模拟量子程序执行的图形用户界...
[期刊论文] 作者：毛玲熠,邓玉欣,
来源：上海交通大学学报 年份：2009
介绍了分布式系统的自稳定性以及原型验证系统（PVS）,阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算法进行形式化描述和建模,并成功地证明了系...
[期刊论文] 作者：邓玉欣,傅育熙,
来源：上海交通大学学报(英文版) 年份：2001
An algorithm for the verification of strong open bisimulation in π-calculus with mismatch was presented, which is based on the symbolic transition graph (STG)....
[期刊论文] 作者：田聪,邓玉欣,姜宇,
来源：软件学报 年份：2021
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功...
[期刊论文] 作者：李亚男,邓玉欣,刘静,
来源：软件学报 年份：2020
Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比...
[期刊论文] 作者：郑晓琳,邓玉欣,付辰,雷国庆,
来源：软件学报 年份：2018
互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Moun...
相关搜索：
