基于动态可配置规则的数据清洗方法

针对传统数据清洗方法通过硬编码方法来实现业务逻辑而导致系统的可重用性、可扩展性与灵活性较差等问题,提出了一种基于动态可配置规则的数据清洗方法——DRDCM。该方法支持多种类型规则间的复杂逻辑运算,并支持多种脏数据修复行为,集数据检测、数据修复与数据转换于一体,具有跨领域、可重用、可配置、可扩展等特点。首先,对DRDCM方法中的数据检测和数据修复的概念、实现步骤以及实现算法进行描述;其次,阐述了DRDCM方法中支持的多种规则类型以及规则配置;最后,对DRDCM方法进行实现,并通过实际项目数据集验证了该实现系统在脏数据修复中,丢弃修复行为具有很高的准确率,尤其是对需遵守法定编码规则的属性（例如身份证号码）处理时其准确率可达100%。实验结果表明,DRDCM实现系统可以将动态可配置规则无缝集成于多个数据源和多种不同应用领域且该系统的性能并不会随着规则条数增加而极速降低,这也进一步验证了DRDCM方法在真实环境中的切实可行性。     

飞行仿真系统数据可视化设计与实现

研究飞行仿真系统结果数据可视化,为验证分析飞行仿真系统结果的正确性,需要对仿真系统输出的飞行性能数据进行实时在线观测并与标准数据进行对比分析。针对飞行仿真系统对飞机飞行数据实时观测的需求,设计了一种可实时观测的飞行仿真数据可视化方案。在建立仿真系统模型的基础上,为了提高系统的可靠性和优化数据结构,提出了新的数据结构和曲线生成算法绘制实时曲线,实现了数据的可视化观测,避免了实时绘制过程屏幕的闪烁和曲线出现的锯齿。并结合飞行仿真特点,利用MapX组件技术加载了具有导航台的全国地图,对传统的电子地图显示进行了改进,实现了飞机在地图上的实时航迹观测。仿真结果表明,系统能够实时观测仿真结果并分析系统误差,实现飞行仿真数据的可视化,并可验证飞行仿真系统的正确性。     

一种工作流运行时流程回退方法的研究与实现

为了解决在流程回退操作中产生的死锁和数据不一致问题,本文在全面分析各种回退场景的基础上给出了流程的形式化定义和确保回退正确性的规则集,提出了一个获取可回退目标活动列表的算法。最后,我们设计了一个有效支持工作流运行时回退的应用模型。该模型在开源工作流引擎Shark中得到了实现,并对流程可能出现的回退场景进行了验证。实验的结果和分析的结果一致。     

嵌入式Linux导航电子地图数据的组织及应用

为满足嵌入式系统中电子地图显示、导航的需要,研究了电子地图的数据组织与存储,提出采用地理数据分块实现数据的存储,并针对地理数据的存储方法所造成的数据不连贯性,研究了数据断点的处理方法。试验结果表明,研究的数据动态组织方法大大提高了地图显示的速度及数据连贯性。     

基于规则的分类数据离群挖掘方法研究

离散数据的挖掘（ｏｕｔｌｉｅｒ ｍｉｎｉｇｎ,简称离群挖掘）是数据挖掘的重要内容,现有的离群数据挖掘算法大多对分类数据（ｃａｔｅｇｏｒｉｃａｌ ｄａｔａ）缺乏有效的处理,提出了基于规则的分类数据离群挖掘方法,采用多层最大离群支持度ｍａｘｓｕｐ,搜索离群规则,有效地解决了这一问题,用这一方法对医学流行病数据进行了各种,分析了该方法的适用范围、性能,验证了方法正确性;另外,实验表明,经过离散化后,基于     

DAS中一种XML查询完全性验证算法

随着XML数据库管理系统的发展,数据所有者和服务提供者分离.要享受第三方提供服务的前提是需要确保查询结果的正确性和完全性.在第三方提供查询服务的情况下,算法确保了客户端查询结果的正确性和完全性.该算法的基本思想是对查询结果二次构建Merkle Hash树来验证结果的正确性和完全性.     

区域生长法图像分割的数据并行方法研究

针对基于区域增长的图像分割方法，讨论和研究了其数据并行实现方法，证明了这种数据并行方法的正确性，并简要对算法性能进行了分析。对有关结论进行了仿真验证，结果表明，这种基于区域生长法的图像分割的数据并行方法是正确且切实可行的。     

Visual FoxPro中保证数据完整有效性的机制与实现方法

１．引言数据库的完整有效性是指数据的正确性和相容性。作为一个共享资源,其提供的信息必须准确、有效、为了防止出现不符合语义的数据,防止错误信息的输入和输出所造成的无效操作和错误结果。数据库管理系统（ＤＢＭＳ）必须提供一种功能来保证数据库中数据的完整有效性。作为一个功能强大的关系数据库开发系统。ＶＦＰ提供了多种完整性规则来保证数据库中数据的完整性和有效性。根据这些规则的作用范围和特点,可分为两大类：关系完整性规则和域完整性规则。下面针对这两类完整性规则介绍ＶＰＰ中保证数据完整有效性的机制与实现方法。…     

一种工作流模型数据正确性验证策略

工作流模型中的数据正确性验证策略是工作流迁移领域研究的重点,目前,针对工作流数据正确性的研究结论还比较少,基于此,本文对工作流模型中的数据正确性验证策略进行了研究,并且提出了一种可行的验证策略。     

基于类型理论的领域数据建模和验证及案例

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换。本文面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）。DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t：T?。DDMM给出了领域数据建模的方法,即构建K₁（原子类型）、K₂（数据元）、K₃（数据元目录）三层框架,生成表示K3层数据元目录之间关系的类型规则。在此基础上,给出了数据元目录序列的定义及其正确性判定算法。基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证。     

基于北斗高精度定位的重载铁路列检安全作业管理平台设计

设计了基于北斗高精度定位的重载铁路列检安全作业管理平台,实现列检车辆、人员的精准定位,降低列检作业风险。平台基础层通过基于FPGA的红外视频采集设备、基于北斗高精度定位技术的终端设备获取列检作业数据,经传输层各网络向支持层传输数据。在支持层高精度电子地图矢量化处理、实时差分动态定位等技术的支持下,应用层的列检作业目标识别模块调用Cstx小波融合算法解析北斗卫星信号,采用Hausdorff距离方法实现列检作业目标识别,列检作业安全预警模块调用矢量化处理高精度电子地图,结合日列检作业计划生成电子围栏,实现作业人员安全预警,由服务层管理人员实现平台的管理与维护。实验结果表明：该平台可实现列检作业目标的识别、精准定位及安全预警。     

基于北斗定位技术的铁路机车轨道电子地图生成算法

随着中国机车远程监测与诊断系统（CMD系统）中注册机车数量的迅速增长,积累的大量北斗定位数据对生成精度较高的轨道电子地图提供了必要的数据基础.但由于机车下发的北斗数据会存在一定偏差,造成机车定位出现偏移或定位成孤点的现象.本文通过卡尔曼（Kalman）滤波算法构建预测方程对北斗数据集中的野值数据进行剔除,进一步对处理后的经纬度数据进行分段曲线拟合,从而生成列车轨道电子地图.实例分析表明采用基于Kalman滤波算法和分段曲线拟合方法对北斗定位数据进行电子地图生成,能够较为准确的贴近真实轨道线路走势.     

基于GPS与地图匹配的铁路运输安全监控技术研究

列车运行途中环境复杂,监控与定位难度较大,由于单一的GPS车栽定位会因为地理环境等原因在一定范围和时间内失效或定位不连续,针对这一局限性,采用GPS／DR与电子地图匹配的定位算法不仅克服了GPS信号在盲区间断或失效的缺点,也避免了DR定位误差随时间的不断积累,提高了定位精度和系统的可靠性。可应用于铁路运输安全,为物资押运列车提供优质的监控。     

空间数据挖掘知识的地图可视化表达*

通过分析空间数据挖掘所能发掘的知识类型,对发掘出的知识表达方式进行了研究,提出地图是空间数据挖掘规则和知识的可视化表达的优秀和成熟的表示方法,并对如何表达进行了探讨。     

基于开源WebGIS技术的长输管线信息展示系统

A complete set of information system is proposed for the management and operation of long-distance pipeline, and it is realized through the open source GIS software. The system includes the developing environment selection, data processing and storage, data distribution and visualization, realizing the functions of basic operation of the map, geometric measurement, map positioning, hidden danger viewing and statistics, and so on. The test shows that the system provides a realistic management scheme for the research of long-distance pipeline, and has a certain reference value.     

基于数据依赖的过程合理性分析

软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响.首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法.     

Visual FoxPro数据词典对数据库完整性控制的实现

本文阐述了实体完整性、参照完整性和用户定义完整性等数据库完整性的基本概念,并通过实例分析如何运用Visual FoxPro数据词典来设置字段级和记录级验证规则、触发器以及参照完整性,从而实现对数据库完整性的控制。     

GSM-R场强监测系统中地图匹配算法研究

通过对影响车载导航系统定位精度的各种GPS数据误差的分析,提出了在GSM-R(Global System for Mobile Communica-tions Railway,铁路专用移动通信系统)场强监测系统中采用基于匹配相似度的地图匹配算法,该算法以GPS定位数据、精确的电子地图及相关路段的历史数据为基础,通过匹配过程确定车辆在电子地图上的最大可能位置,从而弥补了传统匹配算法计算量大以及匹配不准确的不足;最后,在模拟平台上进行了一系列测试,测试结果表明,该算法中的车辆定位和地图匹配精度明显提高,约达到95%。     

一种基于轻量级矢量地图的无人车导航方法

现有的差分全球定位系统通常需要高精度地图数据的支持,然而高精地图制作成本高昂,且 庞大的地图数据对车载电脑性能及网络通讯带宽有较高要求。该文提出一种基于低数据量矢量地图的智能车导航方法,通过引入道路标签机制,从高层次抽象组织道路点,以便快速建立矢量导航地图,并大幅度降低道路点的重复存储。基于该地图的导航方法自动规划最优全局路径,通过基于预瞄点与历史点的几何学算法进行路径跟踪与避障,从而将上位机计算出的方向盘转角、油门和制动踏板深度信息传递到车辆底层控制器,以控制车辆按规划路径行驶。该方法的有效性和准确性在自主开发的无人驾驶平台上得到了验证。