一种网络空间测绘要素的形式化建模方法技术

本发明专利技术涉及网络空间测绘领域。针对现有技术存在的问题，本发明专利技术提供一种网络空间测绘要素的形式化建模方法。对网络空间测绘要素进行形式化描述：本发明专利技术对网络空间测绘要素进行形式化建模，并对该形式化建模流程进行实现，测绘方式、测绘处理、测绘应用、测绘评估和测绘尺度等提供统一的数据模型。本发明专利技术中给予每个要素唯一一个ID号，通过有限三元组符号集A对网络空间测绘要素进行形式化描述；然后进行要素组成Element ID、要素属性Element  Pro、形式化描述、要素关系Element  Rel形式化描述，基于每个要素ID以及对应的有限三元符号集A，形成网络空间测绘要素模型，为网络空间测绘提供统一的数据模型。

A formal modeling method for network space mapping elements

The invention relates to the field of Network Space Surveying and mapping. In the light of the problems existing in the prior art, the present invention provides a formal modeling method for the elements of network space mapping. Formal description of the mapping elements of network space: the formal modeling of mapping elements of network space, and the formal modeling process, mapping, surveying and mapping, surveying and Mapping Surveying and mapping application, assessment and mapping scale to provide unified data model. Give only a ID number for each element of the invention, for the formal description of mapping elements of network space by limited three tuple symbol set A; then the elements Element ID, Element attribute Pro, formalization, the relationship between Element Rel elements of formal description, Limited three yuan each symbol the elements of ID and the corresponding set of mapping elements of network based on A, the formation of space model, to provide a unified data model for network space mapping.

【技术实现步骤摘要】
一种网络空间测绘要素的形式化建模方法
本专利技术涉及网络空间测绘领域，尤其是一种网络空间测绘要素的形式化建模方法。
技术介绍
网络空间地图是人们认识、描述网络空间，进而利用网络空间的基础工具，随着网络空间应用的不断深化和发展，对网络空间地图进行研究日显重要，然而，相比传统地理空间的发展，网络空间探索对象和活动范围均超越了一般的认知范围，使得传统基于地理空间的制图方法和技术难以被直接应用或推广：首先网络空间是虚拟的数字世界，很多特征难以通过物理数据进行直观反映，在网络空间中如何对虚拟身份进行认知和描述是当前的热点和难点；其次，网络空间是物理、逻辑和社会域结合、叠加的复杂世界，既具有自然属性也具有社会属性，需要不同的方法去度量；第三在网络空间中信息依赖于网络的传输，因此信息具有瞬时可达，这使得在网络空间中的距离、方位与传统地理信息系统的距离方位含义不同，基于此现状国内外围绕网络空间的应用开展网络地图测绘方法和技术的研究是当前信息网络、地理测绘等领域研究的热点。网络空间地图最早由国外学者Taylor在1997的第十八次国际地图学会议上正式提出，相关的研究工作在国外开展的较早，其中以BinJ本文档来自技高网...

【技术保护点】
一种网络空间测绘要素的形式化建模方法，其特征在于包括：步骤1：给予每个要素唯一一个ID号，通过有限三元组符号集A=（Element ID,Element Pro ,Element Rel）对网络空间测绘要素进行形式化描述，其中A包括要素组成Element ID、要素属性Element Pro和要素关系Element Rel三个向量，三个向量之间不存在严格的对应关系；执行步骤2；步骤2：进行要素组成Element ID形式化描述，然后判断是否进行要素属性Element Pro形式化描述；若进行要素属性Element Pro形式化描述，执行步骤3，否则，执行步骤4；步骤3：从属性数据库里提取要素属...

【技术特征摘要】
1.一种网络空间测绘要素的形式化建模方法，其特征在于包括：步骤1：给予每个要素唯一一个ID号，通过有限三元组符号集A=（ElementID,ElementPro,ElementRel）对网络空间测绘要素进行形式化描述，其中A包括要素组成ElementID、要素属性ElementPro和要素关系ElementRel三个向量，三个向量之间不存在严格的对应关系；执行步骤2；步骤2：进行要素组成ElementID形式化描述，然后判断是否进行要素属性ElementPro形式化描述；若进行要素属性ElementPro形式化描述，执行步骤3，否则，执行步骤4；步骤3：从属性数据库里提取要素属性特征进行要素属性ElementPro形式化描述，然后判断是否进行要素关系ElementRel描述形式化描述；若进行要素关系ElementRel描述形式化描述，执行步骤4；步骤4：从要素关系数据库中提取要素关系特征进行要素关系ElementRel描述;执行步骤5；步骤5：基于每个要素ID以及对应的有限三元符号集A，形成网络空间测绘要素的形式化数据模型，为测绘数据获取和存储、测绘应用接口设计提供系统的数据模型。2.根据权利要求1所述的一种网络空间测绘要素的形式化建模方法，其特征在于所述步骤2中要素组成ElementID按照分层、分类的方法进行表示，要素组成简记为ELID，采用五元组ELID（Layer，Class，Sub-Class1，Sub-Class2，Sub-Class3）表示；其中Layer是对于要素属于网络空间层次的标识，Class是该要素在网络空间网络实体、网络服务、网络社会某个层次下的分类标识，Sub-class1—Sub-class3是分类标识下的依次的子类标识。3.根据权利要求1所述的一种网络空间测绘要素的形式化建模方...

【专利技术属性】
技术研发人员：徐锐，陈剑锋，刘方，张江，李明桂，
申请(专利权)人：中国电子科技网络信息安全有限公司，
类型：发明
国别省市：四川,51