2024年8月31日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
杨拯
作品数:
11
被引量:1
H指数:1
供职机构:
电子科技大学
更多>>
相关领域:
自动化与计算机技术
石油与天然气工程
更多>>
合作作者
杨姗
电子科技大学
杨霞
电子科技大学
包灵
电子科技大学
刘小平
电子科技大学
郭文生
电子科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
10篇
专利
1篇
学位论文
领域
6篇
自动化与计算...
1篇
石油与天然气...
主题
4篇
复用
4篇
ANDROI...
3篇
实时操作系统
3篇
显示设备
3篇
操作系
3篇
操作系统
2篇
调度
2篇
调度算法
2篇
多核
2篇
虚拟机
2篇
源程序
2篇
任务切换
2篇
容器管理
2篇
软件缺陷检测
2篇
实时调度
2篇
实时调度算法
2篇
图像
2篇
启动方法
2篇
切换
2篇
切换方法
机构
11篇
电子科技大学
作者
11篇
杨拯
10篇
杨霞
10篇
杨姗
8篇
郭文生
8篇
刘小平
8篇
包灵
6篇
袁艺
6篇
武琼
4篇
罗雄
4篇
汪勇
4篇
张少鑫
3篇
孙海泳
2篇
桑楠
2篇
石鹏
2篇
孙超群
2篇
刘志伟
2篇
雷林
2篇
王树银
2篇
高正宏
2篇
钟鑫
年份
1篇
2022
1篇
2020
2篇
2019
1篇
2018
4篇
2017
1篇
2016
1篇
2015
共
11
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种基于动态符号执行的软件缺陷检测方法
本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤:对待检测的软件的源程序中的变量添加符号化标识,然后对源程序进行编译处理得到底层虚拟机LLVM中间码;根据指令类型,对LLVM中间码进行分类插桩处理,插入...
郭文生
杨霞
汪勇
张少鑫
刘维飞
武琼
袁艺
杨姗
刘小平
包灵
廖士钞
杨拯
通用区块链智能合约自动形式化验证技术研究
区块链技术是当今正快速崛起的一门新兴技术,在数字金融、电子存证等关键敏感领域中具有强大的应用潜力,它在国家信息技术创新领域中占有重要地位,它已经被列入国家发展战略计划。在区块链技术中,最为关键的组成部分是智能合约,区块链...
杨拯
关键词:
区块链
形式化验证
高阶逻辑
定理证明
一种基于Xen的VCPU多核实时调度算法
本发明提供了一种基于Xen的VCPU多核实时调度算法,为运行于Xen平台之上的所有操作系统分配一个静态优先级,属于同一个操作系统的VCPU拥有相同的静态优先级,保证系统中静态优先级较高的VCPU优先响应;同时为每个VCP...
杨霞
郭文生
杨姗
包灵
刘小平
蔡运壮
方言
赵文娟
罗雄
廖士超
杨拯
刘景瑜
基于Linux容器技术的多Android系统之间切换方法
本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括:在Linux内核中创建至少两个容器,并启动容器中的系统;当调用容器的切换命令时,改变容器中的系统的使用状态;基于系统的使用状态,Frame Buf...
杨霞
桑楠
孙超群
石鹏
刘志伟
雷林
孙海泳
刘维飞
武琼
袁艺
杨姗
廖士钞
王树银
杨拯
文献传递
基于Linux容器技术的多Android系统之间切换方法
本发明涉及基于Linux容器技术的多Android系统之间切换方法。包括:在Linux内核中创建至少两个容器,并启动容器中的系统;当调用容器的切换命令时,改变容器中的系统的使用状态;基于系统的使用状态,Frame?Buf...
杨霞
桑楠
孙超群
石鹏
刘志伟
雷林
孙海泳
刘维飞
武琼
袁艺
杨姗
廖士钞
王树银
杨拯
一种面向实时操作系统的强制访问控制方法及装置
本发明提供了一种面向实时操作系统的强制访问控制方法及装置,应用于一般的实时操作系统,实现任务对系统资源的强制访问控制,并且使系统开发人员可以通过配置来指定系统哪些资源需要实施访问控制功能,从而实现一个精简的可配置的强制访...
杨霞
郭文生
杨姗
蔡运壮
包灵
刘小平
方言
赵文娟
孙海泳
杨拯
罗雄
廖士钞
丘双华
向蓓蓓
文献传递
一种基于Xen的VCPU多核实时调度算法
本发明提供了一种基于Xen的VCPU多核实时调度算法,为运行于Xen平台之上的所有操作系统分配一个静态优先级,属于同一个操作系统的VCPU拥有相同的静态优先级,保证系统中静态优先级较高的VCPU优先响应;同时为每个VCP...
杨霞
郭文生
杨姗
包灵
刘小平
蔡运壮
方言
赵文娟
罗雄
廖士超
杨拯
刘景瑜
文献传递
一种多Android系统的容器自动创建及其启动方法
本发明基于Linux内核容器技术和显示设备复用技术,具体涉及一种系统级容器技术的多Android系统的容器自动创建及其启动方法。本发明在Linux内核中自动创建容器,启动容器中的系统,确保每个容器独立运行一个Androi...
杨霞
郭文生
武琼
刘维飞
汪勇
张少鑫
袁艺
杨姗
包灵
刘小平
廖士钞
钟鑫
吕清林
高正宏
丘双华
杨拯
简鲲鹏
文献传递
一种基于动态符号执行的软件缺陷检测方法
本发明公开了一种基于动态符号执行的软件缺陷检测方法。其包括下列步骤:对待检测的软件的源程序中的变量添加符号化标识,然后对源程序进行编译处理得到底层虚拟机LLVM中间码;根据指令类型,对LLVM中间码进行分类插桩处理,插入...
郭文生
杨霞
汪勇
张少鑫
刘维飞
武琼
袁艺
杨姗
刘小平
包灵
廖士钞
杨拯
文献传递
一种基于深度学习的手持人证比对系统及方法
本发明涉及一种基于深度学习的手持人证比对系统及方法,该系统包括身份证信息读取模块,用于采集持证人现场照片的图像采集模块,人脸识别模块,人证比对模块和显示模块。系统通过身份证信息读取模块读取证件信息,读取到身份证证件信息后...
杨霞
郭文生
刘小平
包灵
杨姗
蔡运壮
赵文娟
方言
廖士钞
杨拯
罗雄
向蓓蓓
古涛铭
张津宁
文献传递
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张