检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防科技大学计算机学院,湖南长沙410073
出 处:《计算机工程与科学》2007年第8期111-114,共4页Computer Engineering & Science
基 金:国家自然科学基金资助项目(60373024);国家973计划资助项目(2005CB321804)
摘 要:混合仿真语言规范不仅要能够定义语言的语法,还要能够定义设计概念的语义规则。本体论能够为描述将语法和语义相结合的语言规范奠定基础。本文基于对混合系统的分析,提出了混合系统高级本体论HyHO,它包括在混合建模和仿真的不同领域都能通用的最基本的规范,主要包括时间、事件、状态等概念及其属性分析。通过HyHO能够研究混合系统的本质属性,确定先进仿真中混合系统的计算模型,以及模型的通用形式化方法,为混合仿真语言规范设计奠定了基础。Hybrid simulation language specification should be able to not only lay out the syntax, but also explain the semantics for the designed language Ontology representations convey and encapsulate both syntax and semantics, allowing simulation languages to share and exchange information. In this paper, a hybrid system high-level ontology (HyHO) is presented as a basic and universal rule for modeling and simulation in different domains. HyHO includes the definitions and attributes of time, state and event, which can be consentaneous in simulation systems. With HyHO, the essential attributes of hybrid systems can be addressed, the computational model for hybrid systems can be ascertained, the modeling formalisms can be described, which are all the basics for hybrid simulation language specification.
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145