2024年8月18日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
蒋远
作品数:
7
被引量:1
H指数:1
供职机构:
电子科技大学
更多>>
相关领域:
自动化与计算机技术
文化科学
天文地球
更多>>
合作作者
郭新
电子科技大学
詹瑾瑜
电子科技大学
桑楠
电子科技大学
罗新云
电子科技大学
张益铭
电子科技大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
6篇
专利
1篇
学位论文
领域
3篇
自动化与计算...
2篇
文化科学
1篇
天文地球
主题
4篇
地图
4篇
接口
3篇
WEBGIS
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篇
陈凌宇
年份
2篇
2020
1篇
2019
2篇
2017
2篇
2016
共
7
条 记 录,以下是 1-7
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型,将状态编码;将编码与状态转移关系结合,建立邻接矩阵;将带求规范转化为语法树;将语法树中的操作对应计算公式运用于矩阵中;求出反例,得出结果,查看初始状态是...
詹瑾瑜
桑楠
陈凌宇
张益铭
杨俊欢
刘梅
蒋远
郭新
一种基于图的邻接矩阵的形式化验证方法
本发明公开了一种基于图的邻接矩阵的形式化验证方法。首先分析系统模型,将状态编码;将编码与状态转移关系结合,建立邻接矩阵;将带求规范转化为语法树;将语法树中的操作对应计算公式运用于矩阵中;求出反例,得出结果,查看初始状态是...
詹瑾瑜
桑楠
陈凌宇
张益铭
杨俊欢
刘梅
蒋远
郭新
文献传递
跨平台WebGIS开发框架的研究与实现
地理信息系统(Geographic Information System,简称GIS)是能一种用于存储,分析,显示地理数据的软件。近些年随Internet的发展,由网页与GIS结合产生的WebGIS(万维网地理信息系统)...
蒋远
关键词:
万维网地理信息系统
跨平台
超文本标记语言
一种支持多行业的WebGIS中间件
本发明公开了一种支持多行业的WebGIS中间件,其从上到下依次包括GIS基础层、GIS扩展层和GIS接口层,且每层都向其上一层提供服务,并使用下层提供的服务。GIS基础层通过对不同GIS平台的服务的获取,分别实现各自的地...
詹瑾瑜
桑楠
刘梅
罗新云
蒋远
杨俊欢
郭新
文献传递
一种基于OpenLayers的WebGIS开发框架的构建及使用方法
本发明公开了一种基于OpenLayers的WebGIS开发框架的构建及使用方法。首先获取用于WebGIS客户端的JavaScript类库包,从中提取类:地图初始化和地图操作,并对其进行继承开发,提供地图初始化接口、地图操...
詹瑾瑜
桑楠
蒋远
罗新云
张益铭
杨俊欢
郭新
一种基于OpenLayers的WebGIS开发框架的构建及使用方法
本发明公开了一种基于OpenLayers的WebGIS开发框架的构建及使用方法。首先获取用于WebGIS客户端的JavaScript类库包,从中提取类:地图初始化和地图操作,并对其进行继承开发,提供地图初始化接口、地图操...
詹瑾瑜
桑楠
蒋远
罗新云
张益铭
杨俊欢
郭新
文献传递
一种支持多行业的WebGIS中间件
本发明公开了一种支持多行业的WebGIS中间件,其从上到下依次包括GIS基础层、GIS扩展层和GIS接口层,且每层都向其上一层提供服务,并使用下层提供的服务。GIS基础层通过对不同GIS平台的服务的获取,分别实现各自的地...
詹瑾瑜
桑楠
刘梅
罗新云
蒋远
杨俊欢
郭新
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张