论文部分内容阅读
本文关注集成环境下的信息精确性问题。通过对实际应用的分析和概括，本文将集成平台处理所处理的信息精确性问题分为三类:综合信息来源推断事实、依据所推断的事实纠正源中的错误信息、提交符合应用需求的事实。本文将这三类简称为事实推断、写信息源和事务处理。 事实推断中的精确性问题在于分辨冲突信息中存在的误差，并消除误差获取真实信息。本文重点关注在相关文献中被忽视的人工参与因素，提出了人工参与的事实推断模型。该模型借助人工因素评估信息源的精确性，并考虑了以交互方式提升信息精度的实施模式。本文列举了不精确商品交易方案和人机结合室内定位方案等两个实例，说明了该模型应用价值。 写信息源中的精确性问题在于将真实信息写入误差信息源，并应对可能出现的不一致问题。与通常分布式系统中所研究对象不同，本文重点关注集成平台所处网络环境下的非受控信息源研究，即集成平台不能拒绝甚至无法观察到其它系统读写信息源。本文针对非受控环境下的一致性问题进行探讨，给出了其在不同条件下是否可满足的证明性结论和不可满足的场景下的信息不一致概率。 事务处理中的精确性问题在于为上层应用提供消除误差推断真实信息和纠正误差信息源的语义服务。本文从应用逻辑执行的角度出发，将集成平台与信息源之间关联归结为信息源是否连通、信息源数目、信息源是否支持事务处理等三类共八种组合情况，选取了十九种事务处理语义，讨论了这些语义在八种情况下各自的可满足性。 综合事实推断、写信息源和事务处理中的精确性问题研究内容，本文从实用场景出发，分析并解决了科技项目统计、教育资源统计、港口资产管理、信息安全预警、企业信用征集平台等应用中的实际问题，展示了集成环境下信息精确性问题研究的应用意义。