您的位置: 专家智库 > >

国家自然科学基金(6047407260174050)

作品数:8 被引量:60H指数:4
相关作者:张立臣丘威刘瑞成钟治初张学先更多>>
相关机构:广东工业大学嘉应学院更多>>
发文基金:国家自然科学基金广东省自然科学基金广东省高等学校自然科学研究重点项目更多>>
相关领域:自动化与计算机技术天文地球更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 8篇自动化与计算...
  • 1篇天文地球

主题

  • 2篇形式化
  • 2篇虚拟现实
  • 2篇实时系统
  • 2篇可扩展
  • 2篇可扩展标记语...
  • 2篇扩展标记语言
  • 2篇本体
  • 2篇本体语言
  • 2篇XML
  • 2篇标记语言
  • 1篇形式化方法
  • 1篇形式化开发
  • 1篇形式化开发方...
  • 1篇形式化语言
  • 1篇虚拟现实场景
  • 1篇言和
  • 1篇时语
  • 1篇数据互操作
  • 1篇统一建模
  • 1篇统一建模语言

机构

  • 8篇广东工业大学
  • 7篇嘉应学院

作者

  • 8篇张立臣
  • 5篇丘威
  • 1篇陈生庆
  • 1篇吴宇琼
  • 1篇钟治初
  • 1篇刘瑞成
  • 1篇陈广明
  • 1篇张学先

传媒

  • 2篇情报杂志
  • 2篇计算机应用
  • 2篇微计算机信息
  • 1篇计算机应用与...
  • 1篇微机发展

年份

  • 1篇2007
  • 5篇2006
  • 2篇2005
8 条 记 录,以下是 1-8
排序方式:
X3D在三维虚拟WebGIS中的应用研究被引量:1
2006年
介绍了X3D规范和WebGIS新特点;采用X3D技术设计交互式三维虚拟WebGIS原型系统体系结构,提出了一个基于X3D的三维虚拟WebGIS原型系统,并进行了试验研究。该原型系统以符合X3D的XML格式进行数据存储和传输,采用X3D技术最终来实现交互式三维虚拟WebGIS原型系统,最后对WebGIS原型系统的运行测试及评价,测试表明该原型系统较好地解决地理信息共享与互操作问题。
丘威张立臣
关键词:X3DWEBGIS可扩展标记语言虚拟现实
形式化语言RT-Z的合成及其应用被引量:1
2005年
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数TimedCSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明。
吴宇琼张立臣
关键词:Z语言
基于VRML的在线虚拟现实场景设计与实现被引量:11
2007年
介绍了构建在线虚拟现实场景的关键技术,提出基于VRML技术的虚拟现实场景构成和应用,利用VRML技术设计了在线虚拟现实的场景环境原型,通过结合VR技术和ASP技术实现了一个在Internet上表现的、能和用户交互的、可由用户设计的、可扩展的平台,让用户能够按照自己的意愿设置的虚拟现实场景应用系统。
丘威钟治初张立臣
关键词:虚拟现实VRMLASP
基于实时语言和面向方面的形式化开发方法被引量:1
2006年
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。
陈生庆张立臣陈广明
关键词:实时系统形式化方法
本体语言研究综述被引量:18
2006年
对Ontology语言及其应用研究作了简要的综述:首先比较分析了五种基于XML的Ontology语言,介绍了其它基于谓词逻辑的本体描述语言、基于图的本体描述语言和Web本体语言及其相关本体开发工程;分析了本体的主要应用领域以及本体应用研究现状;总结了本体应用研究存在的问题和发展方向。
丘威张立臣
关键词:本体语言XMLWEB谓词逻辑本体论
基于UML的面向方面的实时系统建模方法被引量:22
2005年
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。
刘瑞成张立臣
关键词:统一建模语言实时系统
Ontology开发应用研究被引量:6
2006年
对Ontology开发应用研究进行了简要的综述:介绍了基于谓词逻辑的本体表示语言和基于图的本体表示语言以及目前主要的本体开发环境和工具;介绍了目前比较成型的本体开发方法并提出一种基于面向对象的本体开发的简单过程;总结了本体开发存在的问题和发展方向。
丘威张学先张立臣
关键词:本体本体语言ONTOLOGY
XML和VR技术在GIS中数据互操作设计与实现被引量:1
2006年
GIS互操作研究是当前地理信息系统研究的热点,介绍了GIS与VR之间数据互操作技术;提出了基于XML和VR技术相结合的虚拟GIS可互操作模型,具体阐述了XML在虚拟GIS中信息共享的扩展及数据互操作应用,采用X3D编码虚拟地理数据可以较好地实现虚拟GIS数据的互操作,最后设计并实现了虚拟GIS原型系统,测试表明该原型系统较好地解决地理信息共享与互操作问题。
丘威张立臣
关键词:互操作GIS可扩展标记语言
共1页<1>
聚类工具0