2024年8月18日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
张益铭
作品数:
7
被引量:0
H指数: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类库包,从中提取类:地图初始化和地图操作,并对其进行继承开发,提供地图初始化接口、地图操...
詹瑾瑜
桑楠
蒋远
罗新云
张益铭
杨俊欢
郭新
NVM与DRAM混合存储优化策略的研究与实现
非易失性存储器(NVM)是一种新型的随机存取快速存储器,近年来发展迅速,它的高存储密度,极低的能耗,较快的读取和写入速度和非易失性等优点,吸引了许多研究人员对新型非易失性存储器的计算机系统应用方面展开了研究,例如,使用N...
张益铭
关键词:
存储器
使用寿命
页面置换
文献传递
一种基于OpenLayers的WebGIS开发框架的构建及使用方法
本发明公开了一种基于OpenLayers的WebGIS开发框架的构建及使用方法。首先获取用于WebGIS客户端的JavaScript类库包,从中提取类:地图初始化和地图操作,并对其进行继承开发,提供地图初始化接口、地图操...
詹瑾瑜
桑楠
蒋远
罗新云
张益铭
杨俊欢
郭新
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张