基于GeoView的拓扑规则管理

GIS空间数据模型中,基于规则的拓扑关系检查是保证数据一致性和正确性的主要方法。本文针对GeoView关系模型组织的空间数据提出了相应的拓扑规则管理方法,根据拓扑关系和实际情况归纳出一系列的拓扑规则,并通过实例介绍了拓扑规则的检查算法的实现。该拓扑规则管理方式已应用于GeoView平台,较好的实现了对空间对象拓扑关系的管理。     

基于规则的空间一致性维护

通过对空间数据的拓扑一致性问题的分析,给出了一种基于拓扑的空间数据模型,在此基础上提出了一种空间拓扑规则发现机制。利用所得的空间拓扑规则,判断空间数据是否具有拓扑不一致性,进而采取相应的策略进行拓扑一致性维护,以提高空间数据的质量。     

形状自适应的二维水印方法

通过对空间数据的拓扑一致性问题的分析,给出了一种基于拓扑的空间数据模型,在此基础上提出了一种空间拓扑规则发现机制.利用所得的空间拓扑规则,判断空间数据是否具有拓扑不一致性,进而采取相应的策略进行拓扑一致性维护,以提高空间数据的质量.     

基于ArcGIS GeoDatabase的宗地拓扑模型建模与实现

界址点、界址线，宗地之间有着复杂的拓扑关系约束，需要建立一个宗地拓扑数据模型来进行管理，这个模型是地籍管理信息系统的核心。首先介绍了界址点、界址线，宗地之间的拓扑关系约束。其次论述了如何用GeoDatabase建立该模型，包括如何表示各种实体，使用哪些拓扑规则建立拓扑关系以及如何建立开发接口等。最后对GeoDatabase和双重独立地图编码方式进行了比较，总结了各自的特点。模型已得到了成功应用。     

GIS中由单种细节方向关系推理拓扑关系的方法

介绍了一种用细节方向关系来处理与参照对象内部有关方向的方法,以弥补外部方向关系的不足;提出了描述两个方向关系之间的关系的九交模型,并得到了19条根据细节方向关系推理拓扑关系的规则,通过这些规则即可得到未知的拓扑关系,而不需要任何几何计算．由于规则推理比几何计算速度快、内存消耗小,因此推理能够提高基于空间关系的空间数据查询的速度和效率。     

基于拓扑算子的多尺度GIS显示方法

为了解决多尺度GIS数据显示的问题,提出基于拓扑算子的多尺度GIS显示方法。该方法建立基于标签的空间拓扑算子的计算,进行几何体空间关系的判断与合并,实现空间数据的多比例尺表达与显示。实验结果验证该方法的可行性和有效性,并证明其不会产生数据损失。     

一种关系化的GIS空间数据结构

关系化是GIS的发展趋势，同时也是“数字地球”战略的要求，在分析GIS中空间数据拓扑模型的基础上，提出了一种基于SQLServer的关系化GIS空间数据结构。     

基于GIS的配电网空间拓扑建模方法

介绍了一种配电网在GIS中的空间数据建模方法。基于图论建立了配电网空间拓扑分析模型及其数据结构描述形式。描述了配电网空间实体及其在GIS中的表示，介绍了配电网空间拓扑关系及其结构。为进一步进行配电网络空间分析奠定基础。     

一种改进的基于规则的时空拓扑一致性处理模型

通过对空产数据的拓扑一致性问题进行分析,提出了一种改进的基于规则的空间拓扑一致性维护模型,该模型通过定义拓扑规则和约束表达式进行拓扑一致性维护;作为进一步研究,采用版本化的技术将这种处理策略扩展到时空系统当中,以处理和维护时空系统中的时空拓扑一致性,这种基于规则的拓扑关系管理机制,有利于用户在局部检查拓扑关系以提高数据分析和处理的效率。     

基于MapX的局部最短路径搜索算法

最短路径分析是地理信息系统(GIS)网络分析的基础,拓扑关系是最短路径分析的关键。由于MapX不支持空间数据的拓扑结构,因此对于采用MapX进行二次开发的用户来说,最短路径分析就成为一个难点。为此讨论了基于MapX的弧段文件格式的Dijkstra算法,并在此基础上实现了基于MapX的局部最短路径搜索方法。     

模型检验在航天测控软件上的应用研究

模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻碍了模型检验的应用。针对航天测控软件,分析了其特点以及对其执行模型检验的困难,提出了基于有界模型检验器CBMC的模型检验应用框架,包括航天测控数据的构造方法及验证性质的提取方法。随后,将该框架应用于外测数据处理软件,取得了良好的效果。     

GIS权籍空间数据的存储与查询

探讨了基于关系型数据库存储XML权籍对象的方法和技术。分析了数据库存储XML数据的类型,论述了运用XML存储和管理权籍对象的可行性。基于GML规范建立了权籍对象的概念模型和逻辑模型,并根据XML权籍对象之间的关系,给出了将权籍对象转换到关系型数据库的方法,基于此实现了权籍对象空间关系的查询与应用。     

基于电路拓扑结构分析的等价性验证方法

随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS85电路的实验结果表明了该方法的效率和可行性.     

基于模型检测的数据流异常测试技术研究

程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。     

反例引导的C代码空间流模型检测方法

软件验证一直是确保软件正确性和安全性的热点研究问题.然而,由于程序语言复杂的语法语义特性,应用形式化方法验证程序的正确性存在准确度低和效率差的问题.其中,由指针操作带来的地址空间的状态变化使得现有模型检测方法的检测准确度难以得到保证.为此,通过结合模型检测与稀疏值流分析方法,设计了一种空间流模型,实现了对C程序在符号变量层面和地址空间层面的状态行为的有效描述,并提出了一种反例引导的抽象细化和稀疏值流强更新算法(CEGAS),实现了C程序指向信息敏感的形式化验证.建立了包含多种指针操作的C代码基准库,并基于该基准库进行了对比实验.实验结果表明:所提出的模型检测算法CEGAS在分析含有多种C代码特性的任务中,与现有模型检测工具相比均能取得突出的结果,其检测准确度为92.9%,每行代码的平均检测时间为2.58 ms,优于现有检测工具.     

基于SM2联合签名的电子发票公开验证方案

为解决当前电子发票防伪困难、隐私泄露、验证效率低等问题,针对全程无纸化的电子发票文件,提出了一种基于国密签名算法的电子发票公开验证架构.面向电子发票文件数据来源复杂、票面用户信息敏感、数据流转频繁等特征及电子发票高效公开查验需求,在电子发票服务架构下设计电子发票生成及查验协议,基于无证书联合签名提出发票防伪签名码生成方...     

基于大数据的电网设备台账对应准确度提升

本文在电能质量在线监测这类业务集成度高的系统中开展数据资源及数据梳理工作,进行信息系统之间的适应性调整,建立全局台账业务模型,形成相应的大数据技术支撑,改变过去在跨业务系统间人工核查台帐对应准确性的模式。针对台帐对应中存在的问题,本文提出了一系列基于大数据和计算机信息技术的台帐对应准确度核查方法,把NLP（自然语言处理）技术、决策树预测方法、对象和属性距离测算等技术应用于台帐信息的对应准确性核查,并构建基于Java+Flex技术的离线式台帐对应核查工具。该方法和工具能够科学合理地对台帐对应准确性进行核查,从两个不同角度发现对应不准确的台帐。本文结合浙江电网台帐实际数据进行了分析计算,计算结果表明该方法和工具有效且实用。     

一种层次式远程数据持有检测方法

在云存储环境下,云服务器并不完全可信。用户如何以较低开销验证云上数据的完整性成为用户日益关心的问题。目前已提出多种保护方法,这些方法在认证多个文件时需要对文件逐一进行认证,因此当文件数很大时其计算和通信开销仍较大。针对此问题,提出一种层次式远程数据持有检测方法。该方法与远程数据持有检测方法相结合,能提供高效且安全的远程数据完整性保护,并支持动态数据操作。对提出的方法进行了安全性分析和实验评估,结果表明,提出的方法安全可靠,在较低的漏检率下,相比远程数据持有检测方法有45%～80%的性能提升。     

基于知识管理的 BIM 模型建筑设计合规性自动检查系统研究

建筑设计合规性自动检查对保证建筑信息模型(BIM)符合设计规范要求,增加规范 检查自动化程度具有重要意义。结合合规性检查理论与专家系统方法,提出了以BIM 模型为检 查对象的合规性自动检查系统框架,以规则知识与推理机制分开的方式实现合规性检查过程。 以《住宅设计规范》为例,对规范中的条文进行知识分析,总结出规范知识表达式,构建规则 库和规则库访问机制;建立了逻辑策略下推理机制,将规则库中的规则信息与BIM 信息进行推 理,输出检查结果;最后构建了合规性检查系统验证平台,通过BIM 模型实例完成模型数据提 取及规则推理的过程,实现了合规性检查的功能,验证了合规性检查方法框架。该方法在一定 程度上能够指导后续的合规性检查相关研究,有效提高BIM 模型的建筑设计合规性检查效率, 保证检查质量,促进建筑工程领域信息化的发展。     

Fingerprint image mosaicking by recursive ridge mapping.

To obtain a large fingerprint image from several small partial images, mosaicking of fingerprint images has been recently researched. However, existing approaches cannot provide accurate transformations for mosaics when it comes to aligning images because of the plastic distortion that may occur due to the nonuniform contact between a finger and a sensor or the deficiency of the correspondences in the images. In this paper, we propose a new scheme for mosaicking fingerprint images, which iteratively matches ridges to overcome the deficiency of the correspondences and compensates for the amount of plastic distortion between two partial images by using a thin-plate spline model. The proposed method also effectively eliminates erroneous correspondences and decides how well the transformation is estimated by calculating the registration error with a normalized distance map. The proposed method consists of three phases: feature extraction, transform estimation, and mosaicking. Transform is initially estimated with matched minutia and the ridges attached to them. Unpaired ridges in the overlapping area between two images are iteratively matched by minimizing the registration error, which consists of the ridge matching error and the inverse consistency error. During the estimation, erroneous correspondences are eliminated by considering the geometric relationship between the correspondences and checking if the registration error is minimized or not. In our experiments, the proposed method was compared with three existing methods in terms of registration accuracy, image quality, minutia extraction rate, processing time, reject to fuse rate, and verification performance. The average registration error of the proposed method was less than three pixels, and the maximum error was not more than seven pixels. In a verification test, the equal error rate was reduced from 10% to 2.7% when five images were combined by our proposed method. The proposed method was superior to other compared methods in terms of registration accuracy, image quality, minutia extraction rate, and verification.