A Spatialization-based Method for Checking and Updating Metadata

In this paper the application of spatialization technology on metadata quality check and updating was dis-cussed. A new method based on spatialization was proposed for checking and updating metadata to overcome the defi-ciency of text based methods with the powerful functions of spatial query and analysis provided by GIS software. Thismethod employs the technology of spatialization to transform metadata into a coordinate space and the functions ofspatial analysis in GIS to check and update spatial metadata in a visual environment. The basic principle and technicalflow of this method were explained in detail, and an example of implementation using ArcMap of GIS software wasillustrated with a metadata set of digital raster maps. The result shows the new method with the support of interactionof graph and text is much more intuitive and convenient than the ordinary text based method, and can fully utilize thefunctions of GIS spatial query and analysis with more accuracy and efficiency.

A Data Transmission Method Using a Cyclic Redundancy Check and Inaudible Frequencies

This paper describes a data transmission method using a cyclic redundancy check and inaudible frequencies.The proposed method uses inaudible high frequencies from 18 k Hz to 22 k Hz generated via the inner speaker of smart devices.Using the proposed method,the performance is evaluated by conducting data transmission tests between a smart book and smart phone.The test results confirm that the proposed method can send 32 bits of data in an average of 235 ms,the transmission success rate reaches 99.47%,and the error detection rate of the cyclic redundancy check is0.53%.

Data Gathering in Wireless Sensor Networks Via Regular Low Density Parity Check Matrix

A great challenge faced by wireless sensor networks(WSNs) is to reduce energy consumption of sensor nodes. Fortunately, the data gathering via random sensing can save energy of sensor nodes. Nevertheless, its randomness and density usually result in difficult implementations, high computation complexity and large storage spaces in practical settings. So the deterministic sparse sensing matrices are desired in some situations. However,it is difficult to guarantee the performance of deterministic sensing matrix by the acknowledged metrics. In this paper, we construct a class of deterministic sparse sensing matrices with statistical versions of restricted isometry property(St RIP) via regular low density parity check(RLDPC) matrices. The key idea of our construction is to achieve small mutual coherence of the matrices by confining the column weights of RLDPC matrices such that St RIP is satisfied. Besides, we prove that the constructed sensing matrices have the same scale of measurement numbers as the dense measurements. We also propose a data gathering method based on RLDPC matrix. Experimental results verify that the constructed sensing matrices have better reconstruction performance, compared to the Gaussian, Bernoulli, and CSLDPC matrices. And we also verify that the data gathering via RLDPC matrix can reduce energy consumption of WSNs.

EpiData用于数据管理逻辑核查功能的实现

目的:探讨借助EpiData软件实现药物临床试验数据管理逻辑核查以保证数据正确性的有效手段。方法:应用EpiData提供的CHECK命令和WRITENOTE命令,产生变量核查法和记录核查法两种逻辑核查方法,对数据库中的数据进行可靠性检验。变量核查法是以数据库中的变量为单位进行逻辑核查,记录核查法是以数据库中的记录为单位进行逻辑核查。结果:两种逻辑核查方法均能核查出逻辑错误的数据,有效地实现了对数据库中数据的逻辑核查。结论:EpiData用于药物临床试验数据的逻辑核查,方法简便、有效、可靠。

An Example of Machine Vision Applied in Printing Quality Checking——Research on the Checking of Printing Quality by Image Processing

The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image are taken as research objects. On the base of the traditional checking methods of printing quality,combining the method and theory of digital image processing with printing theory in the new domain of image quality checking,it constitute the checking system of printing quality by image processing,and expound the theory design and the model of this system. This is an application of machine vision. It uses the high resolution industrial CCD(Charge Coupled Device) colorful camera. It can display the real-time photographs on the monitor,and input the video signal to the image gathering card,and then the image data transmits through the computer PCI bus to the memory. At the same time,the system carries on processing and data analysis. This method is proved by experiments. The experiments are mainly about the data conversion of image and ink limit show of printing.

Geodatabase模型及其在成矿区带数据裁剪中的应用研究

Geodatabase是美国环境系统研究所(ESRI)提出的第三代地理数据模型,本文从总体上描述了Geodatabase空间数据模型,并基于Geodatabase数据模型设计并实现了全国重要成矿区带资源评价基础数据库管理系统的数据裁剪分系统。测试结果表明数据裁剪功能为用户进行数据检查减少入库数据的冗余以及从海量数据中便捷、快速提取出所需数据提供了较好的支持,该数据模型得到成功地运用。

Check Box List组件在ADO.net中的应用

通过对一个WEB应用程序分析,旨在阐述如何将数据库中的字段绑定到Check Box List组件,并将数据库的某一字段的值作为其Item集合的成员,当Check Box List中的若干选项被选中时,触发读取数据库中对应的数据记录并在WEB页面上显示。从数据绑定、选中项判断、选中项的获取、数据读取显示等不同方面进行阐述,希望对实际的WEB应用程序的开发具有一定的参考价值。

Developing a Geological Management Information System: National Important Mining Zone Database

Geo-data is a foundation for the prediction and assessment of ore resources, so managing and making full use of those data, including geography database, geology database, mineral deposits database, aeromagnetics database, gravity database, geochemistry database and remote sensing database, is very significant. We developed national important mining zone database （NIMZDB） to manage 14 national important mining zone databases to support a new round prediction of ore deposit. We found that attention should be paid to the following issues： ① data accuracy： integrity, logic consistency, attribute, spatial and time accuracy; ② management of both attribute and spatial data in the same system;③ transforming data between MapGIS and ArcGIS; ④ data sharing and security; ⑤ data searches that can query both attribute and spatial data. Accuracy of input data is guaranteed and the search, analysis and translation of data between MapGIS and ArcGIS has been made convenient via the development of a checking data module and a managing data module based on MapGIS and ArcGIS. Using AreSDE, we based data sharing on a client/server system, and attribute and spatial data are also managed in the same system.

Site selection and data processing of GNSS receiver calibration networks based on TEQC and GAMIT

This study introduces the site selection and data processing of GNSS receiver calibration networks. According to the design requirements and relevant specifications, the authors investigate the observation conditions of the potential sites and collect the experimental GNSS observation data. TEQC is used to evaluate the data availability rate and multipath effects of the observation data to determine the appropriate site. After the construction and measurement of the calibration network, the baseline processing of the medium and long baseline network is conducted by GAMIT. The accuracy indexes including NRMS, difference between repeated baselines, and closure of independent observation loops all meet the specified criteria.

Towards Public Integrity Audition for Cloud-IoT Data Based on Blockchain

With the rapidly developing of Internet of Things (IoT), the volume ofdata generated by IoT systems is increasing quickly. To release the pressure ofdata management and storage, more and more enterprises and individuals preferto integrate cloud service with IoT systems, in which the IoT data can be outsourced to cloud server. Since cloud service provider (CSP) is not fully trusted,a variety of methods have been proposed to deal with the problem of data integritychecking. In traditional data integrity audition schemes, the task of data auditing isusually performed by Third Party Auditor (TPA) which is assumed to be trustful.However, in real-life TPA is not trusted as people thought. Therefore, theseschemes suffer from the underlying problem of single-point failure. Moreover,most of the traditional schemes are designed by RSA or bilinear map techniqueswhich consume heavy computation and communication cost. To overcome theseshortcomings, we propose a novel data integrity checking scheme for cloud-IoTdata based on blockchain technique and homomorphic hash. In our scheme, thetags of all data blocks are computed by a homomorphic hash function and storedin blockchain. Moreover, each step within the process of data integrity checking issigned by the performer, and the signatures are stored in blockchain through smartcontracts. As a result, each behavior for data integrity checking in our scheme canbe traced and audited which improves the security of the scheme greatly. Furthermore, batch-audition for multiple data challenges is also supported in our scheme.We formalize the system model of our scheme and give the concrete construction.Detailed performance analyses demonstrate that our proposed scheme is efficientand practical without the trust-assumption of TPA.

Data Reviewer在第三次全国国土调查数据质检中的应用

针对第三次全国国土调查项目地类图斑数据质检中难以发现的错误,以某市某区第三次全国国土调查项目为研究对象,基于ArcGIS中Data Reviewer模块提出解决方法。结果表明,该方法不仅可以有效解决第三次全国国土调查中地类图斑数据质检面临的难题,而且还能提高工作效率。另外,由于Data Reviewer模块依托于ArcGIS平台,无需进行复杂的代码编写,更易于推广普及。

利用Geoway dlg-checker检查模块设计1:10000 DLG数据检查方案

测绘事业是经济建设、国防建设、社会发展的基础性事业,因此,测绘产品质量对保障国民经济建设和城市规划建设具有重要的作用。随着我国社会主义市场经济建设深入发展,测绘行业也逐步由计划机制向市场机制转变,因此,提高测绘质量是国家信息化发展和重大工程建设的基础保证,是提高政府管理决策水平的重要途径,也是测绘事业和地理信息产业实现可持续发展的必然要求。

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.

ArcGIS Data Reviewer在林业矢量数据质量管理中的应用

介绍ArcGIS Data Reviewer基本功能和特性,对其应用于林业地理信息矢量数据质量检查,如图斑重复、重叠,图斑间有间隙、多部件、狭长面、急锐角化、漏绘等空间关系,以及属性字段之间的逻辑性检查等的方法和步骤,举例进行了详细叙述,可为该软件模块的使用提供参考。

随机误差传递的高空气象秒级数据快速校验方法

【目的】为保证气象预报结果的准确性。【方法】提出了考虑随机误差传递的高空气象秒级数据快速校验方法。对高空气象秒级数据进行预处理,包括数据中心化处理、特征点提取。数据中心化的处理方式为实施各组数据的加权平均处理,获得新的数据组作为基准数据;特征点提取使用的处理方法为遍历法,需要遍历全部数据点。考虑数据获取过程中的随机误差传递情况,对预处理后的高空气象秒级数据实施空间一致性检查、内部一致性检查。应用集合经验模态分解EEMD(Ensemble Empirical Mode Decomposition)算法与对比源反演CSI(Contrast Source Inversion)算法构建基于CSI-EEMD的高空气象秒级数据快速校验模型,实施数据得到快速校验。【结果】测试结果表明,该方法能够实现4个气象站数据的快速校验,校验结果的均方根误差与平均绝对误差均低于0.1,实现了数据的质量控制。【结论】将该方法应用于气象站数据校验中,可以实现精准度的数据校验,具有一定的实用价值。

自动驾驶基础地理信息数据质量检查初探

自动驾驶基础地理信息数据质量关乎自动驾驶地图乃至自动驾驶产业的发展。其质量检查是自动驾驶产业的质量保障,也可加快自动驾驶地图规范化进程。基于自动驾驶基础地理信息数据的生产流程,分析了自动驾驶基础地理信息数据的特点;参考现行测绘成果质量检查规范,介绍了自动驾驶基础地理信息数据质量检查的内容与方法,并从7个方面阐述了检查的要求和指标;以自动驾驶基础地理信息生产道路数据成果质检项目为例,探讨了自动驾驶基础地理信息数据的质量控制方法和检查重点。

借助EPSCHECK模块实现DLG入库前检查方法的初步探析

数字线划地图数据是数字城市中最重要、使用最广泛的基础地理数据,它保存了各要素间的空间信息和相关属性信息。DLG的入库数据检查是建库过程中一个重要而繁琐的工作,它确保DLG入库的数据质量。本文结合我院航测制图中心生产的1∶1 000数字线划图为例,提出借助EPSCHECK模块的合理应用,可以实现我们DLG数据入库完整性、正确性、合法性检查的生产需要。实践证明使用EPSCHECK模块数据检查方法便捷高效。

基于数据校核与图卷积神经网络的高容错配电网故障诊断方法

目前运用配电网中的多源故障遥信数据对配电网故障进行诊断的技术逐渐火热,但由于信息的误报、漏报使得诊断结果往往不尽如人意。针对配电网多源故障信息不健全的问题,本文提出了一种将数据校核操作与图卷积神经网络相结合的高容错性配电网故障诊断方法,旨在利用不健全故障信息对配电网进行故障诊断。首先,将多源故障遥信数据作归一化处理后再进行数据校核,从源头改善数据的不健全性;接着,根据配电网图模将多源故障数据转化为故障图数据;最后,将故障图数据送入图卷积神经网络进行学习训练,训练完毕的模型在部署后可实现对配电网的故障诊断。在Python 3.7平台进行实验,通过算例分析证明本文所提方法可有效提高配电网故障诊断的容错性。

基于数据影响的业务流程一致性检查方法

近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号(business process modeling notation,BPMN)模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号(decision model and notation,DMN)决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。

基于Python的房屋安全健康监测数据处理与预测分析

房屋安全问题愈发受到重视,对于老旧房屋的自动化健康监测十分必要。在此背景下,优化自动化监测数据的预处理流程,使用Python丰富的“库”资源构建预处理程序。程序使用灰色关联法对数据进行可信度评估筛选数据,利用箱形图筛选异常数据,并对异常数据和缺失数据进行插补替换,最后使用卡尔曼滤波平滑数据以降低数据离散度;自动化监测设备因自身特点易受到周围环境的影响,为此提出了一种利用人工监测数据校核自动化监测数据的数据比对方法,以保证自动化监测数据的准确性和可靠度;最后使用拟合曲线实现变形监测数据的短期预测,预测精度达到0.1%,有效预测时间约10 d,最终的结果满足程序设计需求。