您的位置： 专家智库 > >

张程伟

作品数：8 被引量：0H指数：0
供职机构：天津大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 7篇专利
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 3篇形式化
  • 3篇安全协议
  • 2篇形式化建模
  • 2篇生成矩阵
  • 2篇数据存储
  • 2篇数据存储介质
  • 2篇图形化
  • 2篇矩阵
  • 2篇基因
  • 2篇基因编码
  • 2篇分块
  • 2篇报表
  • 2篇存储介质
  • 1篇电子拍卖
  • 1篇电子拍卖方案
  • 1篇信息交换
  • 1篇形式化验证
  • 1篇形式化验证方...
  • 1篇智能体
  • 1篇软件功能

机构

  • 8篇天津大学

作者

  • 8篇张程伟
  • 5篇李晓红
  • 3篇胡静
  • 3篇沈岗
  • 2篇韩卓兵
  • 2篇齐浩
  • 1篇石红
  • 1篇杜长霄
  • 1篇木林
  • 1篇王俊杰
  • 1篇孙达志
  • 1篇许光全

年份

  • 1篇2023
  • 1篇2019
  • 1篇2018
  • 1篇2016
  • 1篇2015
  • 2篇2013
  • 1篇2012
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种数据存储、还原方法及装置
本申请提供一种数据存储、还原方法及装置，该方法通过确定待存储文件被分割成的至少一组数据中的一组目标数据；计算生成矩阵与目标数据的乘积，得到生成矩阵中每条数据的第一目标子数据；若生成矩阵中数据的第一目标子数据不满足基因编码...
郝建业齐浩张程伟侯韩旭
基于扩展UML的轻量级安全协议形式化验证方法
本发明公开了一种基于扩展的UML模型为框架的安全协议形式化验证方法，首先提取软件工程建模的关键步骤，并分析安全协议建模过程，构建基于UML的轻量级形式化框架；之后根据框架所提供的步骤，提出安全协议的形式化验证方法，逐步进...
李晓红方坤丁沈岗胡静谢肖飞张程伟
文献传递
一种数据存储、还原方法及装置
本申请提供一种数据存储、还原方法及装置，该方法通过确定待存储文件被分割成的至少一组数据中的一组目标数据；计算生成矩阵与目标数据的乘积，得到生成矩阵中每条数据的第一目标子数据；若生成矩阵中数据的第一目标子数据不满足基因编码...
郝建业齐浩张程伟侯韩旭
文献传递
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
基于多方安全协议的密封式电子拍卖方案与验证方法
本发明涉及多方安全计算、通信安全、电子商务领域，为提供可公开验证的密封式电子拍卖方案，方案满足交易要求的性质，满足交易的安全性和公平性要求，降低交易的复杂性，保证通信安全，为此，本发明采用的技术方案是，基于多方安全协议的...
李晓红李笑如许光全孙达志张程伟
文献传递
Firefox浏览器扩展行为自动检测系统及方法
本发明属于软件功能检测技术，公开了一种Firefox浏览器扩展行为自动检测系统，利用插桩的Firefox浏览器抽取扩展行该系统包括浏览器插桩模块(101)、扩展下载模块(102)、测试站点模块(103)、扩展信息提取模块...
杜长霄李晓红木林石红张程伟王俊杰
文献传递
独立式多智能体强化学习算法研究
在基于强化学习的多智能体交互研究中,首要问题是不同博弈环境中学习目标的有效收敛。然而当前大多数研究并不能很好地解决上述问题:一方面,由于多智能体交互问题本身的特点(“多”和“非平稳性”),使得传统的单智能体强化学习算法可...
张程伟
关键词：多智能体强化学习
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
全选 清除 导出
共1页<1>
聚类工具0