您的位置： 专家智库 > >

蒋远

作品数：7 被引量：1H指数：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