近年来,随着无线通信和传感器技术的发展,普适计算已经深入到了我们的日常生活中。例如,智能手机上的某些应用程序会利用手机上搭载的各类传感器感知用户所处环境的上下文信息,并利用这些信息自适应地改变自身行为,为用户提供更好的服务。理论上,准确无误的环境上下文信息能够帮助应用程序提升用户体验,但是,考虑到传感器的感知过程极易受到环境噪声的影响,感知的上下文信息很有可能是不准确的或者是相互冲突的,造成上下文不一致问题。不一致的上下文信息如果直接被应用程序所使用,可能会导致应用程序出现无法预期的异常行为,进而影响用户体验。为了解决上下文不一致问题,目前许多研究中常用的一种解决方案是在上下文信息被应用程序使用之前,先对其进行一致性约束检测,即根据应用程序的应用场景,为其设计一系列不可被违反的一致性约束,并在运行时利用这些一致性约束对相关上下文信息进行一致性检测,在检测过程中若发现某些一致性约束被违反,我们就能够判定当前上下文信息存在不一致问题并进行相应处理。需要注意的是,通常这样的检测处理过程有较高的实时性要求,因此,已经有大量的相关工作来研究如何进行既准确又高效的一致性约束检测。但是,我们目前还面临两个问题,一是缺少一个统一的框架来整合这些相关工作,因此每当我们需要在不同的应用场景中使用已有工作,或是根据这些已有工作提出一个新的优化方案时,往往需要在自己的应用环境中重新实现已有工作才能进行后续工作,这样的重复性工作不利于研究工作的推进。为了解决这个问题,我们设计实现了一个面向环境上下文一致性处理的统一框架CMID,它既能够有机地整合已有的主流相关工作,又支持新工作的拓展和应用场景的迁移;二是已有工作还无法完全满足一致性约束检测的实时性要求。为此,我们还提出了一个更为高效的一致性约束检测优化方案CPCC,并将它的实现嵌入到CMID框架中。具体来说,论文的主要贡献如下所述:1.我们设计并实现了一个面向环境上下文一致性处理的统一框架CMID,（1）支持通过系统提供的配置选项来配置并使用在框架中集成的所有相关工作;（2）支持在CMID中拓展新的工作;（3）支持将CMID迁移到新的应用场景中。2.我们提出了一个新的一致性约束检测优化方案CPCC,该方案结合了增量和并发检测技术的优势,因此能够大幅提升检测性能,通过我们后续的实验验证分析,它相较于目前最好的工作,能够进一步提升40.5%的检测性能。3.我们为CMID提供了一个用户友好的图形界面,允许用户通过系统框架提供的配置选项来使用系统的功能,并且以图表的形式为用户展示一致性检测的检测时间、误报和漏报数等结果。4.我们仔细设计了实验来验证CMID的可用性、易用性、可拓展性和可迁移性等性质,（1）我们探究在CMID下实现的相关工作的检测性能与这些工作论文中实验结果的相似性,以验证其可用性和易用性;（2）我们将CPCC的实现整合到CMID框架中,以验证其可拓展性;（3）我们将CMID迁移到新的应用场景（高速收费场景）中,以验证其可迁移性。实验结果表明CMID具有良好的可用性、易用性、可拓展性和可迁移性。