您的位置： 专家智库 > >

张益铭

作品数：7 被引量：0H指数：0
供职机构：电子科技大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

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

领域

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

主题

  • 4篇接口
  • 2篇地图
  • 2篇形式化
  • 2篇形式化验证
  • 2篇形式化验证方...
  • 2篇行车
  • 2篇行车距离
  • 2篇应用接口
  • 2篇语法树
  • 2篇速查
  • 2篇条件查询
  • 2篇铁路
  • 2篇状态集
  • 2篇相斥
  • 2篇邻接
  • 2篇邻接矩阵
  • 2篇接口实现
  • 2篇矩阵
  • 2篇快速查询
  • 2篇类库

机构

  • 7篇电子科技大学

作者

  • 7篇张益铭
  • 6篇桑楠
  • 6篇詹瑾瑜
  • 6篇郭新
  • 4篇刘梅
  • 4篇蒋远
  • 4篇罗新云
  • 2篇陈凌宇

年份

  • 1篇2020
  • 2篇2019
  • 3篇2017
  • 1篇2016
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于铁路WebGIS的应用接口实现方法及应用系统
本发明公开了一种基于铁路WebGIS的应用接口实现方法及应用系统。本发明在铁路WebGIS的基础上，结合地理信息数据库和铁路业务数据库，实现铁路上的相关应用。其主要包括：铁路公里标相关操作，以分块存储查找的方式实现铁路线...
詹瑾瑜桑楠罗新云刘梅张益铭杨俊欢郭新
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是...
詹瑾瑜桑楠陈凌宇张益铭杨俊欢刘梅蒋远郭新
一种基于铁路WebGIS的应用接口实现方法及应用系统
本发明公开了一种基于铁路WebGIS的应用接口实现方法及应用系统。本发明在铁路WebGIS的基础上，结合地理信息数据库和铁路业务数据库，实现铁路上的相关应用。其主要包括：铁路公里标相关操作，以分块存储查找的方式实现铁路线...
詹瑾瑜桑楠罗新云刘梅张益铭杨俊欢郭新
文献传递
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型，将状态编码；将编码与状态转移关系结合，建立邻接矩阵；将带求规范转化为语法树；将语法树中的操作对应计算公式运用于矩阵中；求出反例，得出结果，查看初始状态是...
詹瑾瑜桑楠陈凌宇张益铭杨俊欢刘梅蒋远郭新
文献传递
一种基于OpenLayers的WebGIS开发框架的构建及使用方法
本发明公开了一种基于OpenLayers的WebGIS开发框架的构建及使用方法。首先获取用于WebGIS客户端的JavaScript类库包，从中提取类：地图初始化和地图操作，并对其进行继承开发，提供地图初始化接口、地图操...
詹瑾瑜桑楠蒋远罗新云张益铭杨俊欢郭新
一种基于OpenLayers的WebGIS开发框架的构建及使用方法
本发明公开了一种基于OpenLayers的WebGIS开发框架的构建及使用方法。首先获取用于WebGIS客户端的JavaScript类库包，从中提取类：地图初始化和地图操作，并对其进行继承开发，提供地图初始化接口、地图操...
詹瑾瑜桑楠蒋远罗新云张益铭杨俊欢郭新
文献传递
NVM与DRAM混合存储优化策略的研究与实现
非易失性存储器（NVM）是一种新型的随机存取快速存储器，近年来发展迅速，它的高存储密度，极低的能耗，较快的读取和写入速度和非易失性等优点，吸引了许多研究人员对新型非易失性存储器的计算机系统应用方面展开了研究，例如，使用N...
张益铭
关键词：存储器使用寿命页面置换
文献传递
全选 清除 导出
共1页<1>
聚类工具0