国家自然科学基金(6047407260174050)

作品数:8被引量:31H指数:3
导出分析报告
相关作者:张立臣丘威刘瑞成钟治初张学先更多>>
相关机构:广东工业大学嘉应学院更多>>
相关期刊:《情报杂志》《计算机应用与软件》《计算机应用》更多>>
相关主题:本体语言实时系统XML虚拟现实可扩展标记语言更多>>
相关领域:自动化与计算机技术天文地球更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-8
视图:
排序:
基于VRML的在线虚拟现实场景设计与实现被引量:8
《计算机应用与软件》2007年第4期29-31,共3页丘威 钟治初 张立臣 
国家自然科学基金资助项目(60474072:60174050);广东省自然科学基金资助项目(04009465)。
介绍了构建在线虚拟现实场景的关键技术,提出基于VRML技术的虚拟现实场景构成和应用,利用VRML技术设计了在线虚拟现实的场景环境原型,通过结合VR技术和ASP技术实现了一个在Internet上表现的、能和用户交互的、可由用户设计的、可扩展的...
关键词:虚拟现实 场景 VRML ASP 
本体语言研究综述被引量:10
《情报杂志》2006年第7期61-64,共4页丘威 张立臣 
国家自然科学基金资助项目(编号:60474072:60174050);广东省自然科学基金资助项目(编号:04009465);广东省嘉应学院科研基金资助项目(编号:05KJY11)
对Ontology语言及其应用研究作了简要的综述:首先比较分析了五种基于XML的Ontology语言,介绍了其它基于谓词逻辑的本体描述语言、基于图的本体描述语言和Web本体语言及其相关本体开发工程;分析了本体的主要应用领域以及本体应用研究现状...
关键词:本体语言 XML WEB 研究综述 谓词逻辑 应用领域 本体论 
Ontology开发应用研究被引量:2
《情报杂志》2006年第6期13-16,共4页丘威 张学先 张立臣 
国家自然科学基金资助项目(编号:60474072:60174050);广东省自然科学基金资助项目(编号:04009465);广东省嘉应学院科研基金资助(编号:05KJY11)
对Ontology开发应用研究进行了简要的综述:介绍了基于谓词逻辑的本体表示语言和基于图的本体表示语言以及目前主要的本体开发环境和工具;介绍了目前比较成型的本体开发方法并提出一种基于面向对象的本体开发的简单过程;总结了本体开发...
关键词:本体 本体语言 本体开发 ONTOLOGY 开发应用 
XML和VR技术在GIS中数据互操作设计与实现被引量:1
《微计算机信息》2006年第06S期285-288,共4页丘威 张立臣 
国家自然科学基金资助项目(60474072:60174050);广东省自然科学基金资助项目(04009465);广东省嘉应学院科研基金资助(编号05KJY11)
GIS互操作研究是当前地理信息系统研究的热点,介绍了GIS与VR之间数据互操作技术;提出了基于XML和VR技术相结合的虚拟GIS可互操作模型,具体阐述了XML在虚拟GIS中信息共享的扩展及数据互操作应用,采用X3D编码虚拟地理数据可以较好地实现虚...
关键词:互操作 GIS 可扩展标记语言 虚拟现实 
X3D在三维虚拟WebGIS中的应用研究被引量:1
《微计算机信息》2006年第04S期267-270,共4页丘威 张立臣 
国家自然科学基金资助项目(60474072:60174050);广东省自然科学基金资助项目(04009465);广东省嘉应学院科研基金资助(编号05KJY11)
介绍了X3D规范和WebGIS新特点;采用X3D技术设计交互式三维虚拟WebGIS原型系统体系结构,提出了一个基于X3D的三维虚拟WebGIS原型系统,并进行了试验研究。该原型系统以符合X3D的XML格式进行数据存储和传输,采用X3D技术最终来实现交互式三...
关键词:X3D WEBGIS 可扩展标记语言 虚拟现实 
基于实时语言和面向方面的形式化开发方法
《计算机应用》2006年第1期240-242,248,共4页陈生庆 张立臣 陈广明 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语...
关键词:面向方面 实时系统 形式化方法 RT—Z AO—RT—Z PEARL语言 
形式化语言RT-Z的合成及其应用
《微机发展》2005年第8期34-36,40,共4页吴宇琼 张立臣 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数TimedCSP合成一...
关键词:Z语言 过程代数CSP 规格说明 
基于UML的面向方面的实时系统建模方法被引量:9
《计算机应用》2005年第8期1874-1877,共4页刘瑞成 张立臣 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系...
关键词:统一建模语言 面向方面 关注分离 实时系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部