搜索筛选:
搜索耗时2.6721秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
类      型:
[学位论文] 作者:钱诗慧,, 来源:上海财经大学 年份:2004
临床医学表明,弹性作为人体组织的一个重要物理特性,可以显著提示病变的发展程度.所以在诊疗中,触诊可以让医生对某些组织的病变情况有一个初步的了解,如癌症、炎症和纤维化...
[期刊论文] 作者:郑红,刘泽润,黄建华,钱诗慧,, 来源:系统仿真学报 年份:2021
近年来,智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及......
相关搜索: