兵棋地图概念模型研究

兵棋地图是对战场环境各要素及其对作战行动影响规律的客观描述,构建兵棋地图概念模型能够促使军事人员和技术人员建立对同一问题的统一认知。首先,分析了军事概念模型的基本概念及其形式化描述方法;其次,提出了战场环境仿真概念模型,据此构建了兵棋地图概念模型,并对概念模型中的两类元素和三种交互关系进行了讨论;最后,利用UML对兵棋地图概念模型进行了形式化描述。     

Identifying geospatial services across heterogeneous taxonomies

Geospatial services with different functions are assembled together to solve complex problems. Different taxonomies are developed to categorize these services into classes. As differences in granularity and semantics exist among these taxonomies, the identification of services across different taxonomies has become a challenge. In this paper, an approach to identify geospatial services across heterogeneous taxonomies is proposed. Using formal concept analysis, existing heterogeneous taxonomies are decomposed into semantic factors and their various combinations. With these semantic factors, a super taxonomy is established to integrate the original heterogeneous taxonomies. Finally, with the super taxonomy as a cross-referencing system, geospatial services with classes in original taxonomies are identifiable across taxonomies. Experiments in service registries and a social media-based spatial-temporal analysis project are presented to illustrate the effectiveness of this approach.     

MODELING FUZZY GEOGRAPHIC OBJECTS WITHIN FUZZY FIELDS

1　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｒｅｐｒｅｓｅｎｔａｔｉｏｎｏｆｓｐａｔｉａｌｏｂｊｅｃｔｓｉｓｏｎｅｏｆｔｈｅｋｅｙｉｓｓｕｅｓｉｎｃｕｒｒｅｎｔｒｅｓｅａｒｃｈｏｎｔｈｅｓｐａｔｉａｌｄａｔａｂａｓｅｔｈｅｏｒｙｏｆＧＩＳ (ＢｕｒｒｏｕｇｈａｎｄＭｃＤｏｎｎｅｌｌ,1 998) .Ｓｐａｔｉａｌｏｂｊｅｃｔｓｉｎｎａｔｕｒｅａｒｅｃｌａｓｓｉｆｉｅｄａｓｔｗｏｋｉｎｄｓ:ｏｂｊｅｃｔｓｗｉｔｈｄｉｓｔｉｎｃｔｉｖｅｂｏｕｎｄａｒｉｅｓａｎｄｏｂ ｊｅｃｔｓｗｉｔｈｔｒａｎｓｉｔｉｏｎａｌｏｒｆｕｚｚｙ…     

三维空间实体间拓扑关系的矩阵描述

三维空间实体及其间拓扑关系的语义描述和形式化表达是三维ＧＩＳ空间数据建模的重要理论基础。在ｋ－维流形的三维空间实体形式化描述方法的基础上,根据三维空间实体的可剖分性,采用顾及维数的九元组描述框架,研究用于构成三维实体的ｋ－单纯形（０≤ｋ≤３）之间的拓扑空间关系,继而研究三维实体间的拓扑空间关系。     

“南音不幸而盛”:冯梦龙批评晚明剧坛析辨

冯梦龙主张戏曲创作要"奇",且"调协韵严",基于此,他对晚明剧坛创作中存在的问题予以批评。这些批评从两个方面展开。在"曲"的方面,他批评了民间传奇创作、文人创新、汤显祖及其追随者等;在"戏"的方面,他提出"奇"的标准——"事奇"和"掀翻窠臼",并批评很多作品难以做到这两点。冯梦龙对晚明剧坛的批评原则立于对形式的推崇,故而有其局限性。     

Kepler's Equation and Newton's method

Power series solutions of Kepler's Equation associated with Lagrange, Levi-Civita and Stumpff may be obtained by Newton's method as an algorithm for formal power series.     

Formal representation of qualitative direction

This paper reviews formal approaches to representing spatial knowledge about qualitative direction. Unlike geometric direction information, qualitative information does not employ numerical values but relies on comparison. The qualitative approach is often regarded as suitable for capturing commonsense concepts and thus is relevant to human-centered interfaces for spatial information systems. To establish a context for the work on qualitative direction, we preset a brief history of the development of qualitative temporal and spatial representations from different scientific perspectives. We identify main focal areas of these representations of spatial direction and propose a taxonomy. In the light of more than three decades of fruitful research, we obtain a map of formal representations that reveal interrelationships between different research strands in the field.     

一种遥感信息服务分类本体构建方法

在分析遥感信息服务的领域特征及其概念的事件名词特点的基础上,结合框架语义学理论,提出了基于事件框架提取遥感信息服务概念的语义特征并在此基础上利用形式概念分析构建遥感信息服务分类本体的方法。实验结果表明了此方法的有效性。