您的位置： 专家智库 > >

杨拯

作品数：11 被引量：1H指数：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页<12>
聚类工具0