组合电路等价性检验方法研究

分析了数字电路等价性检验方法的基本原理，对组合电路等价性检验方法进行了综合研究，讨论了各种方法的特点，指出了各种方法的优缺点及其适用场合，总结了组合电路等价性检验方法的发展规律，指出了未来的发展方向。     

一种求解tableau等式合一问题的算法

在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法——等式合一方法，并证明了它的可靠性和完备性。在该方法中，将tableau分成两个阶段，等词单独处理，通过提取等式合一问题并求解解替换封闭tableau，进一步限制了tableau的搜索空间，提高了tableau的推理效率。同时，为了研究等式合一方法的有效性，在解替换求解方面，提出了提取不等式析取，并在启发式的帮助下计算等价类的方法。通过实例分析，结果表明，等式合一方法优于其它方法。     

二进制信号传输中随机共振与线性方法的比较

利用随机共振的主动降噪的非线性动力学行为，提出了一种应用随机共振进行二进制信号传输方法，对该方法的合理性作了分析和证明，并就方法的性能与常规的线性方法进行了比较，设计了仿真试验，结果表明，低信噪比传输时，随机共振方法具有明显的优越性。本文的结论不仅扩大了随机共振的应用领域，而且为突破线性方法的极限提供了可能的途径。     

一种混合的动态DDM实现方法

介绍了HLA中数据分发管理DDM的基本内容和过程，分析了目前两种经典的DDM实现方法；在此基础上综合了现有方法的优点，提出了一种混合的动态的DDM实现方法，提高了区域匹配的精度，降低了网络资源的消耗，对DDM方法进行了改进。     

一种不确定离散时间系统的变结构控制方法

针对离散时间系统变结构控制中存在的问题，利用指数趋近律的趋近特性，提出一种新的离散变结构控制方法，利用递推估计的方法设计变结构控制律，有效地抵消了线性系统中慢变不确定性的影响，实现了对慢变非线性系统的控制，该方法克服了以往控制方法中需已知扰动上界的限制，降低了抖振，加快了趋近速度。仿真结果证明了该方法的有效性。     

数据预处理中填补空缺值的方法技术

该文介绍了在实际工作中采用的几种方法数据预处理，对于有关方法，给出了算法和流程等，同时，给出了应用实例，并对相关方法的适用性进行了分析。     

模糊聚类分析及其在数据挖掘中的应用

分析了常用的数据挖掘方法，在数据挖掘中引入了模糊聚类分析的方法，分析了该方法在数据挖掘中的优势，并以例证说明这一方法的实际应用。     

基于样本重构的神经网络集成学习方法

在回顾以往神经网络集成的研究成果基础上，提出一种新的负相关学习方法，该方法易于执行，计算量小，有效的消除了学习中的复合线性问题，减小了集成误差，最后用测试用例对该方法进行了考察，证明该方法可以有效的降低集成预测误差，得到较为理想的集成效果。     

基于贝叶斯滤波理论的自主机器人自定位方法研究

针对自主机器人定位问题，研究了基于贝叶斯滤波理论的自定位方法,从概率表达的角度介绍了贝叶斯滤波方法各种不同的实现形式，分析了各种不同定位方法的性能，指出了它们的优缺点，并对每种方法的改进方法进行了探讨和分析,最后总结了定位方法的基本特点，并对贝叶斯滤波理论在自主机器人领域中的应用前景进行了展望，探讨了未来的发展方向。     

继电控制线路系统的计算机辅助设计方法

为了解决继电控制线路系统传统设计方法的弊端，提出计算机辅助设计方法，该方法分析了电气原理图的特点，采用网络拓扑方法描述电气原理图的连接关系，并且提出电气元件逻辑关系的描述方法、元件自动匹配方法和电气设备间电缆最短长度的计算方法。在此基础上，实现了设备端子排和电缆表的自动生成，并对设计结果进行了优化。实践证明，基于上述方法开发的CAD软件能够自动完成大部分设计工作，提高了设计效率，为用户节省了系统费用。     

公共数据中心的ETL系统设计与实现

ETL过程是构建数据仓库的重要步骤。大多数现有ETL系统在数据量较大时处理效率偏低。根据ETL在公共数据中心的实际应用改进了原有的ETL结构。鉴于公共数据保密性的特点,设计了数据不同的获取方式;在设置数据转换规则的过程中结合相应领域知识,保证数据质量;前置机之间实行负载均衡,同时把数据转换的不同步骤分配到两台ETL服务器来完成,保证抽取和转换效率。通过实验证明了该ETL系统具有较好的效率。     

数据挖掘在温室大棚上的应用研究

随着物联网的兴起,数据的积累速度、维度以及体积等也越来越大,成了真正的大数据范畴。在农业温室大棚中部署的大量各种各样的传感器产生了大量多源异构的传感数据,而且这些数据中存在需要清洗的各种脏乱数据。本文按照数据清洗,模型构建和模型应用三个部分进行详述,首先介绍数据清洗技术和多源异构数据的融合技术,然后列举了常见的预测模型构建方法并分别指出了每种方法的适用情况,最后对常见的应用领域进行了综述和总结,并提出了目前还存在的问题,以及对未来的展望。     

数据基因:数据的遗传信息载体

基因是生命体进化过程中遗传信息的载体，该文参照生命体基因的概念，提出了用于描述数据生命历程的简单的数据基因模型。给出了数据基因、数据基因序列、数据基因组等概念，介绍了这种模型的应用领域及应用方法，对下一步工作进行了展望。     

基于XML的历史数据归档与重构策略的研究

随着企业数据的爆炸式增长,数据库中大量的数据成为过期数据,但是这些数据并不是无用的,它们是数据处理和数据挖掘的重要对象,所以必须对其进行归档操作.将XML技术应用于数据库历史数据的归档和重构,并针对现有归档策略中的不足之处,提出了改进的数据归档和数据重构策略.同时,为了提高检索效率并且降低存储设备使用率,提出了分级管理...     

Data provenance in SOA: security, reliability, and integrity

Due to the dynamic nature, such as services composition and evaluation, it is critical for a Service-Oriented Architecture (SOA) system to consider its data provenance, which concerns security, reliability, and integrity of data as they are being routed in the system. In a traditional software system, one focuses on the software itself to determine the security, reliability, and integrity of the software. In an SOA system, however, one also needs to consider origins and routes of data and their impact, i.e., data provenance. This paper first analyzes the unique nature and characteristics of data provenance in an SOA system, particularly related to data security, reliability, and integrity. Then it proposes a new framework for data provenance analysis in an SOA system. Finally, this paper uses an example which illustrates these techniques.     

平行数据:从大数据到数据智能*

为了解决实际问题,大数据分析处理系统需要获取数据,然而实际场景中收集到的实际数据通常不完备.另外,大多数问题的解决方案通常是由问题引导或者仅仅进行数据分析,运行参数调整和设定带有较大的盲目性,难以达到应用的智能性.为此,文中提出平行数据的概念和框架,根据实际数据经计算实验产生真正的虚拟大数据,结合默顿定律,以期待的解决方案与问题进行广义对偶,引导大数据聚焦到实际问题.实际数据与虚拟数据动态互动,平行演化,形成一个虚实相生、数据动态变化的过程,最终使数据具备智能,进而解决未知的问题.平行数据不但是一种数据表示形式,更是一种数据演化机制与方式,其特色是虚实互动,所有数据的动力学轨迹构成了数据动力学系统.平行数据为数据处理、表示、挖掘和应用提供了一个新的范式.     

数据仓库技术与应用

文中详细介绍了数据仓库的概念及其应用,着重说明了OLAP及数据挖掘等关键技术,最后讨论了数据仓库的具体实施方法。     

基于WebGIS的电力抢修调度系统的研究与设计

随着电力部门在设施建设上的力度加大,应交处理能力增强,工程抢修车辆随之不断增加.针对目前已有系统对抢修车辆的监控相对简单,对业务流程管理不足,完成抢修任务不及时的问题,紧密结合电力抢修的特点及工程实践,提出了以GPS作为数据采集手段,WebGIS作为信息处理及展示手段,GPR作为通信手段的电力抢修调度系统总体设计方案,...     

深圳市水务数据治理的探索与实践

针对水务生产管理过程中存在的一数多源、标准不一、质量不高等数据问题,对标数字孪生水务建设目标,为提升水务数据对业务管理的支撑能力,结合深圳市水务管理实际及信息化建设现状,从目标制定、框架搭建、路径研究、治理成果4个方面探索水务数据治理的方法思路,通过制定数据标准规范、搭建一体化数据治理平台、融合城市数字底座、建立数据与业务双轮驱动机制的具体步骤,初步建成深圳市水务数字底座1.0版,服务各类水务业务场景,对外提供统一资源共享服务,形成一套水务行业数据治理方法论与实践案例,为同类数字政府数据治理实践提供借鉴。     

计算机数据安全存储技术及应用

数据安全是计算机安全问题的核心,对于很多具有高度保密要求的单位,安全地存储重要数据,并且在不需要这些数据时作彻底销毁不被他人恢复是至关重要的。本文详细介绍了数据安全存储技术的发展现状,并结合典型的企业信息安全防护体系设计进一步阐述了如何为具有一定保密要求的部门建立可靠的数据安全防护系统。此外,本文从数据存储和销毁的原理上进行了详细分析,并给出了应用软件及案例的测试说明,提出了安全销毁数据的详细解决方法。