您的位置： 专家智库 > >

万俊

作品数：5 被引量：0H指数：0
供职机构：电子科技大学更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 3篇专利
  • 2篇学位论文

领域

  • 1篇经济管理
  • 1篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇区块
  • 2篇区块链
  • 1篇代码
  • 1篇抵押
  • 1篇形式化建模
  • 1篇形式化建模与...
  • 1篇学习算法
  • 1篇语言代码
  • 1篇源码
  • 1篇制造业
  • 1篇生产性服务业
  • 1篇实证
  • 1篇实证研究
  • 1篇评价信息
  • 1篇自动化
  • 1篇自动转换
  • 1篇内核
  • 1篇接口

机构

  • 5篇电子科技大学

作者

  • 5篇万俊
  • 3篇郭文生
  • 3篇杨霞
  • 3篇熊宇

年份

  • 1篇2023
  • 3篇2021
  • 1篇2009
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种基于区块链的抵押评价方法
本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机...
杨霞李南铮郭文生钱智成瞿元黄一潘文睿高扬张冯博卢秀台熊宇林珍珍万俊闫哲任超郑旭东
面向C源码的自动化形式化验证工具及方法
本发明公开了面向C源码的自动化形式化验证工具及方法，将编写好的代码功能规范插入C源码中，然后将功能规范和C源码自动转换成程序验证器可处理的中间表示，接着程序验证器将中间表示转换成中间验证语言代码，供形式化验证输入使用；采...
杨霞郭文生张冯博卢秀台高扬熊宇万俊闫哲林珍珍任超郑旭东
一种基于GCN的区块链交易风险分析方法
本发明公开了一种基于GCN的区块链交易风险分析方法，包括：步骤S1：对目标交易进行溯源，获得其资金来源的交易；步骤S2：对比资金来源交易中的地址和地址库，计算已知地址的风险值，按照资金比例汇总得到已知风险值；步骤S3：将...
郭文生钱智成杨霞瞿元李南铮黄一潘文睿高扬张冯博卢秀台熊宇万俊林珍珍闫哲任超郑旭东
基于制造业互动的成都生产性服务业发展分析与实证研究
国际经济发展的经验表明，发达的服务业己经成为反映和判断该国经济现代化水平的重要标志。而服务业发展中最值得注意的现象，是生产性服务业的快速发展。随着生产技术专业化和社会分工的日益细化，企业为整合资源、发挥专长、降低成本、提...
万俊
关键词：制造业生产性服务业产业结构
面向分离内核的形式化建模与验证方法研究
随着计算机技术的飞速发展，软件体系结构变得愈发复杂，软件安全保障成为了行业研究热点。通过分区隔离的方式实现多级子系统独立管控是一种有效的安全保障手段，采用该思想所构建的分区操作系统可以为应用层软件提供独立且安全的运行环境...
万俊
关键词：形式化验证形式化建模
全选 清除 导出
共1页<1>
聚类工具0