郝国舜
- 作品数：4 被引量：6H指数：2
- 供职机构：北京航空航天大学计算机学院软件开发环境国家重点实验室更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于对象的P&ID设计软件无向图模型被引量：1
- 2004年
- 在开发P&ID辅助设计系统的过程中 ,需要表示实体间的逻辑拓扑信息 .为避免引入附加抽象实体来表示逻辑拓扑信息带来的复杂性 ,提出以面向对象为基础将逻辑拓扑信息统一在实体本身数据结构中的方法 ,并介绍了从P&ID管网图抽象建立P&ID无向图模型的过程 .此方法和模型在实践中取得了很好的效果 .对P&ID无向图结构的特点做了深入分析 ,指出运用此模型建立P&ID系统的要点及运用中应注意的问题 。
- 郝国舜刘静华李士才
- 关键词：管网数学模型计算机辅助设计
- NGG中异构数据的集成与协同工作被引量：2
- 2008年
- 在国家地质调查应用网格环境中,数据集成除了实现异构数据源中数据检索,还应满足异构数据管理系统之间数据约束关系维护与协同工作的需求.针对这一需求,提出一种基于面向服务的体系结构(SOA,Service Oriented Architecture)的数据集成机制.将虚拟化的局部数据信息与全局统一的抽象数据视图相结合,形成层次化数据信息组织模型;通过该模型,维护异构数据之间的约束依赖关系,利用数据管理系统触发器与网络服务,满足数据管理系统的协同工作需求.基于研究成果的数据集成中间件NGG-DBMs(National Geology Grid-Data Base Management system)系统平稳运行于国家地质调查应用网格环境中.
- 郭皓明郝国舜
- 关键词：数据集成网络服务
- 一种扩展的动态描述逻辑语言及其Tableau算法被引量：3
- 2009年
- 对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作.通过对可达关系进行限制,定义了此特殊形式模态词动作的语义.另外,还提供了此语言的Tableau算法,并证明了此算法的可终止性和完备性.
- 郝国舜马世龙眭跃飞
- 关键词：动态描述逻辑模态逻辑动态逻辑TABLEAU算法
- 基于统一数据结构的自动化P&ID辅助设计系统的研究与实现
- 论文分析P&ID图纸特点得出了基于无向图数学模型的P&ID管网图模型,借鉴无向图对边的表达,设计了表达实体间逻辑关系的动态邻接数组结构;为了用统一的方式表达异构数据信息,基于面向对象数据库的设计思想,设计了一种具有自我描...
- 郝国舜
- 关键词：计算机辅助设计无向图
- 文献传递
