期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
过程蓝图统一元模型语法
被引量:
2
1
作者
刘建宾
《计算机工程与设计》
CSCD
北大核心
2010年第13期3017-3021,共5页
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法...
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
展开更多
关键词
过程蓝图
多阶段程序表示
统一元模型
抽象语法
良构规则
建模语言
在线阅读
下载PDF
职称材料
基于统一信息交换模型的信息交换研究
被引量:
18
2
作者
牛德雄
武友新
江恭和
《计算机工程与应用》
CSCD
北大核心
2005年第21期195-197,226,共4页
针对日益迫切的信息交换与信息共享的需求,在元计算的基础上,研究并提出了一套基于统一信息交换模型的信息交换系统,并对其组成结构、工作机制等方面进行了阐述。着重介绍了信息的统一表示、统一元信息模型及统一信息交换模型的原理及...
针对日益迫切的信息交换与信息共享的需求,在元计算的基础上,研究并提出了一套基于统一信息交换模型的信息交换系统,并对其组成结构、工作机制等方面进行了阐述。着重介绍了信息的统一表示、统一元信息模型及统一信息交换模型的原理及实现技术;并对该类信息交换系统的应用及其前景等作了一定的分析。
展开更多
关键词
信息交换
面向主题
统一
元
信息
模型
统一
信息交换
模型
信息交换系统
在线阅读
下载PDF
职称材料
基于三层构架的空间数据库分布式体系结构
被引量:
4
3
作者
张新长
叶圣涛
《中山大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第6期131-133,共3页
空间数据库的分布式体系结构一直是理论研究的热点和工程实践必须面对的问题。提出了基于三层构架的空间数据库分布式体系结构:本地空间数据模型层、统一的空间元数据模型层和统一的全局空间数据模型层,并把这种体系结构用于广东省水资...
空间数据库的分布式体系结构一直是理论研究的热点和工程实践必须面对的问题。提出了基于三层构架的空间数据库分布式体系结构:本地空间数据模型层、统一的空间元数据模型层和统一的全局空间数据模型层,并把这种体系结构用于广东省水资源规划信息管理系统,用于管理分布式的水资源规划信息。
展开更多
关键词
体系结构
本地空间数据
模型
统一
的空间
元
数据
模型
统一
的全局空间数据
模型
在线阅读
下载PDF
职称材料
基于卫星定位系统的道路施工放样软件设计与实现
4
作者
潘国富
鲍志雄
金永新
《导航定位学报》
2014年第1期91-94,共4页
卫星定位技术能够实时地获得厘米级精度的定位结果,可用于道路施工放样工作中。使用统一曲线元模型对道路线的直线、圆弧和缓和曲线三种线型进行统一建模,并使用勒让德-高斯积分方法计算任意里程点的中边桩坐标。讨论了放样导航计算道...
卫星定位技术能够实时地获得厘米级精度的定位结果,可用于道路施工放样工作中。使用统一曲线元模型对道路线的直线、圆弧和缓和曲线三种线型进行统一建模,并使用勒让德-高斯积分方法计算任意里程点的中边桩坐标。讨论了放样导航计算道路的实时里程投影方法。最后给出了基于卫星定位系统的道路施工放样软件设计思想和实现功能,通过具体实际应用,检验了软件的实用性和可靠性。
展开更多
关键词
卫星定位系统
道路施工放样
统一
曲线
元
模型
软件设计与实现
在线阅读
下载PDF
职称材料
题名
过程蓝图统一元模型语法
被引量:
2
1
作者
刘建宾
机构
北京信息科技大学计算机学院软件工程系
出处
《计算机工程与设计》
CSCD
北大核心
2010年第13期3017-3021,共5页
基金
北京市教委科技发展计划面上基金项目(KM200710772005)
北京市自然科学基金项目(4073033)
+3 种基金
广东省自然科学基金项目(05008310)
北京市属市管高等学校人才强教深化计划基金项目(PHR200907220)
北京市属高校学术创新团队基金项目(PHR201007131)
中青年骨干教师基金项目
文摘
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
关键词
过程蓝图
多阶段程序表示
统一元模型
抽象语法
良构规则
建模语言
Keywords
procedure blueprint
multi-phase program representation
unification meta model
abstract syntax
well-formedness rules
modeling language
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于统一信息交换模型的信息交换研究
被引量:
18
2
作者
牛德雄
武友新
江恭和
机构
南昌大学信工学院计算机科学与技术系
江西思创数码科技有限公司
出处
《计算机工程与应用》
CSCD
北大核心
2005年第21期195-197,226,共4页
基金
国家863高技术研究发展计划基金项目(编号:2004AA1Z2080)
文摘
针对日益迫切的信息交换与信息共享的需求,在元计算的基础上,研究并提出了一套基于统一信息交换模型的信息交换系统,并对其组成结构、工作机制等方面进行了阐述。着重介绍了信息的统一表示、统一元信息模型及统一信息交换模型的原理及实现技术;并对该类信息交换系统的应用及其前景等作了一定的分析。
关键词
信息交换
面向主题
统一
元
信息
模型
统一
信息交换
模型
信息交换系统
Keywords
information exchange,subject-oriented,unified meta-information model,unified information exchange model,information exchange system
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于三层构架的空间数据库分布式体系结构
被引量:
4
3
作者
张新长
叶圣涛
机构
中山大学遥感与地理信息工程系
广西建筑综合设计研究院
出处
《中山大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第6期131-133,共3页
基金
国家自然科学基金资助项目(40471106)
"985工程"GIS与遥感的地学应用科技创新平台基金资助项目(10520320040006)
文摘
空间数据库的分布式体系结构一直是理论研究的热点和工程实践必须面对的问题。提出了基于三层构架的空间数据库分布式体系结构:本地空间数据模型层、统一的空间元数据模型层和统一的全局空间数据模型层,并把这种体系结构用于广东省水资源规划信息管理系统,用于管理分布式的水资源规划信息。
关键词
体系结构
本地空间数据
模型
统一
的空间
元
数据
模型
统一
的全局空间数据
模型
Keywords
system structure
local spatial data model
union spatial metadata model
global union spatial data model
分类号
P228 [天文地球—大地测量学与测量工程]
在线阅读
下载PDF
职称材料
题名
基于卫星定位系统的道路施工放样软件设计与实现
4
作者
潘国富
鲍志雄
金永新
机构
广州中海达卫星导航技术股份有限公司
出处
《导航定位学报》
2014年第1期91-94,共4页
文摘
卫星定位技术能够实时地获得厘米级精度的定位结果,可用于道路施工放样工作中。使用统一曲线元模型对道路线的直线、圆弧和缓和曲线三种线型进行统一建模,并使用勒让德-高斯积分方法计算任意里程点的中边桩坐标。讨论了放样导航计算道路的实时里程投影方法。最后给出了基于卫星定位系统的道路施工放样软件设计思想和实现功能,通过具体实际应用,检验了软件的实用性和可靠性。
关键词
卫星定位系统
道路施工放样
统一
曲线
元
模型
软件设计与实现
Keywords
GNSS
road construction and stake out
universal formulas for curve
software programming
分类号
P228.41 [天文地球—大地测量学与测量工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
过程蓝图统一元模型语法
刘建宾
《计算机工程与设计》
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
2
基于统一信息交换模型的信息交换研究
牛德雄
武友新
江恭和
《计算机工程与应用》
CSCD
北大核心
2005
18
在线阅读
下载PDF
职称材料
3
基于三层构架的空间数据库分布式体系结构
张新长
叶圣涛
《中山大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
4
在线阅读
下载PDF
职称材料
4
基于卫星定位系统的道路施工放样软件设计与实现
潘国富
鲍志雄
金永新
《导航定位学报》
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部