-
在结果中检索

检索结果分析

结果分析中...
检索条件："作者=张人娄 "
共 条 记 录，以下是1-3

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
SDLSD:基于状态图的智能合约描述语言
《软件导刊》2024年第4期119-130,共12页张浩 吴胜 张人娄 
江苏师范大学研究生科研与实践创新计划项目(2022XKT1541)。
智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基...
关键词：智能合约 状态图 词法分析 语法分析 语义分析 代码生成 
人工智能时代基于物联网的智能窗户系统的设计与实现被引量：3
《数字技术与应用》2020年第9期109-110,共2页张人娄 刘治国 
科学技术的不断提升,优化了人类的居住环境,迫切需要智能控制开关的窗户来满足实际的需要。本文基于智能时代背景下,充分利用物联网技术,打造全自动化智能窗户系统。该系统属于机电一体化的控制系统,采用了传感、机械传动、智能控制等...
关键词：人工智能 物联网 智能窗户系统 
Slice-GCN:基于程序切片与图神经网络的智能合约漏洞检测方法
《信息安全学报》2025年第1期105-118,共14页张人娄 吴胜 张浩 刘方宇 
江苏师范大学科研与实践创新项目(No.2022XKT1548)资助。
智能合约是一段由计算机代码构成的程序。随着智能合约数量的暴涨,如何利用漏洞检测方法来提升智能合约的安全性显得更加重要。已有的符号执行、模糊测试与形式化验证等漏洞检测方法自动化程度低,而基于序列模型的深度学习方法由于对智...
关键词：智能合约 漏洞检测 图神经网络 程序切片 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部