您的位置: 专家智库 > >

张倩颖

作品数:62 被引量:78H指数:5
供职机构:首都师范大学更多>>
发文基金:国家自然科学基金国家重点实验室开放基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 40篇专利
  • 20篇期刊文章
  • 1篇会议论文
  • 1篇科技成果

领域

  • 31篇自动化与计算...
  • 2篇文化科学

主题

  • 22篇形式化
  • 16篇机器人
  • 14篇定理证明
  • 11篇定理证明器
  • 11篇形式化验证
  • 10篇逻辑命题
  • 9篇逻辑语言
  • 8篇形式化分析
  • 6篇形式化分析方...
  • 6篇网络
  • 6篇逻辑模型
  • 6篇关节
  • 6篇操作系
  • 6篇操作系统
  • 5篇定理
  • 5篇密码
  • 5篇内存
  • 5篇可信平台模块
  • 4篇形式化描述
  • 4篇实时性

机构

  • 48篇首都师范大学
  • 15篇中国科学院软...
  • 5篇中国科学院
  • 2篇中国科学院大...
  • 1篇北京化工大学
  • 1篇解放军信息工...
  • 1篇北京航空航天...
  • 1篇上海交通大学
  • 1篇西北农林科技...
  • 1篇中国科学院研...
  • 1篇华为技术有限...

作者

  • 62篇张倩颖
  • 46篇施智平
  • 46篇关永
  • 32篇王国辉
  • 25篇李晓娟
  • 24篇王瑞
  • 12篇冯登国
  • 8篇秦宇
  • 8篇吴敏华
  • 7篇赵世军
  • 6篇冯伟
  • 6篇初晓博
  • 6篇张杰
  • 6篇刘永梅
  • 5篇李黎明
  • 3篇奚瓅
  • 3篇杨波
  • 2篇汪丹
  • 2篇张立武
  • 2篇李昊

传媒

  • 7篇软件学报
  • 5篇小型微型计算...
  • 2篇通信学报
  • 2篇计算机工程
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机科学
  • 1篇中国图象图形...
  • 1篇2012中国...

年份

  • 2篇2024
  • 8篇2023
  • 6篇2022
  • 5篇2021
  • 9篇2020
  • 3篇2019
  • 7篇2018
  • 4篇2017
  • 3篇2016
  • 4篇2015
  • 3篇2014
  • 4篇2013
  • 2篇2012
  • 2篇2011
62 条 记 录,以下是 1-10
排序方式:
一种保护终端配置隐私的可信网络接入方法及系统
本发明涉及一种保护终端配置隐私的可信网络接入方法及系统,可信网络接入系统由以下的实体组成:接入终端、策略执行点、策略判定点和网络服务,方法为:1)接入终端获取平台身份后接入网络,建立安全信道;没有平台身份的接入终端需要申...
赵世军初晓博张倩颖秦宇冯伟
三指机器人灵巧手逆运动学的形式化验证方法及电子设备
本公开实施例公开了一种三指机器人灵巧手逆运动学的形式化验证方法及电子设备,所述方法包括:形式化描述旋量理论的内容;将形式化描述的旋量理论的内容输入至定理证明器中进行证明,获得定理1、定理2和定理3;形式化描述Paden‑...
王国辉施智平关永陈善言王畅张倩颖邵振洲王瑞李晓娟李希萌
文献传递
摄像机位姿估计形式化方法、装置、电子设备及存储介质
本公开实施例公开了一种摄像机位姿估计形式化方法、装置、电子设备及存储介质,所述摄像机位姿估计形式化方法包括确定被拍摄对象上所选取的多个控制点在空间坐标系下的空间坐标以及在摄像机坐标下的像点坐标;根据所述摄像机在所述空间坐...
施智平王国辉陈善言关永张倩颖李希萌刘永梅邵振洲李晓娟吴敏华
文献传递
利用可信执行环境系统提供可信服务的方法
本公开实施例公开了一种利用基于微内核架构的可信执行环境系统提供可信服务的方法,该方法包括:启动可信操作系统,由可信操作系统创建运行根任务的第一进程,以及验证根任务镜像的完整性,由第一进程执行根任务;响应于来自普通世界的服...
张倩颖冀东旭施智平关永李晓娟王瑞王国辉邵振洲
一种基于共形几何代数的机械臂运动规划的形式化分析方法及系统
本发明公开了一种基于共形几何代数的机械臂运动规划的形式化分析方法和系统。所述方法其包括:基于共形几何代数理论对机器人的基本构件、运动规划约束构建对应的几何模型,再用高阶逻辑语言描述所建立的几何模型,形成机器人的基本几何逻...
施智平马莎关永邵振洲张倩颖王瑞李晓娟李黎明
文献传递
以太坊中间语言的可执行语义被引量:5
2021年
智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.对以太坊中间语言Yul进行形式化,首次给出了其类型系统和小步操作语义的形式化定义.该语义为可执行语义(executable semantics),由120个Yul语言程序组成的测试集进行测试.该工作在Isabelle/HOL证明辅助工具中完成,为基于定理证明的智能合约正确性、安全性验证奠定了基础.
韩宁韩宁张倩颖张倩颖王国辉施智平
关键词:形式化语义
一种基于融合间隔和历史测量的传感器攻击检测方法
本发明涉及一种基于融合间隔和历史测量的传感器攻击检测和识别方法,其特征在于:具体包括如下步骤:步骤一、为系统增加一个虚拟传感器;步骤二、传感器的攻击检测;步骤三、传感器的攻击识别。本发明能够及时高效地检测到各种恶意攻击,...
王瑞杨康关永罗晨霞李晓娟施智平张倩颖
文献传递
实时嵌入式双操作系统架构研究综述被引量:16
2018年
随着全球工业4. 0战略的提出,工业控制及航空航天等领域对嵌入式系统的要求越来越高,对实时性具有严格要求同时还需要应用功能丰富的通用操作系统的支持.针对该需求现状,学术界和产业界提出双操作系统的解决思路,即同时运行实时操作系统和通用操作系统.本文归纳总结国内外嵌入式双操作系统的研究现状,对各种实现技术进行深入探讨和分析,列举嵌入式双操作系统典型应用和主要应用领域,最后对该类技术的研究趋势进行总结.
张美玉张倩颖孟子琪施智平施智平
关键词:双操作系统嵌入式操作系统实时性虚拟化双核
一种用于机器人分布式控制系统的形式建模方法及装置
本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置,方法包括:针对所述机器人分布式控制系统,根据各微体系结构模型xMAS元件的同步等式,对各xMAS元件在逻辑编程语言ACL2中形式化,得到所述机器人分布式...
李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
文献传递
抗板级物理攻击的持久存储方法研究被引量:2
2022年
为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保护机制,保证TEE的可信应用能够抵抗板级物理攻击。基于TEE的内存保护机制实现保护文件系统中敏感数据的持久存储保护服务,确保文件系统的机密性和完整性。在物理开发板上实现持久存储架构的原型系统,使用基准测试工具对原型系统进行性能评估,并分析性能损耗的原因。测试结果表明,内存保护机制在保护TEE系统物理安全性时引入的时间开销会随着OCM的增大而减小,持久存储保护服务在保护数据量较小的敏感数据时产生的时间开销在用户可接受范围内。
李闽张倩颖王国辉王国辉关永
共7页<1234567>
聚类工具0