2024年8月31日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
万俊
作品数:
5
被引量:0
H指数:0
供职机构:
电子科技大学
更多>>
相关领域:
自动化与计算机技术
经济管理
更多>>
合作作者
熊宇
电子科技大学
杨霞
电子科技大学
郭文生
电子科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
3篇
专利
2篇
学位论文
领域
1篇
经济管理
1篇
自动化与计算...
主题
2篇
形式化
2篇
区块
2篇
区块链
1篇
代码
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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张