期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
过程蓝图统一元模型语法 被引量: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
上一页 1 下一页 到第
使用帮助 返回顶部