一种实现上下文一致性的检测系统及检测方法技术方案

本发明专利技术提供了一种实现上下文一致性的检测系统。所述实现上下文一致性的检测系统包括：约束分析模块、上下文匹配调度模块和一致性检测模块，所述约束分析模块通过对自适应程序需要满足的一系列一致性约束进行结构分析，可事先分析出任何的可能导致新的一致性错误不可检测的可疑的上下文信息组合模式；所述上下文匹配调度模块对上下文信息流进行与可疑组合模式匹配，根据匹配结果指导进行检测技术的调度并自适应地产生合适的调度决策；所述一致性错误检测模块根据调度决策结果调用已有一致性检测技术对于决策产生的上下文队列进行检测。本发明专利技术还提供一种实现上下文一致性的检测方法。

A detection system and detection method for implementing context consistency

The invention provides a detection system for contextual consistency. The implementation includes detection system context consistency constraints: context matching analysis module, scheduling module and consistency checking module, module structure is analyzed through a series of consistency constraints on adaptive procedures need to meet the analysis of the constraints, prior to any analysis may lead to consistency error can not be detected suspicious of new the context information combination mode; the context matching scheduling module matching and combination mode of suspicious context information flow detection technology according to the matching results of guide scheduling and proper scheduling decision adaptively generates the same context; queue error detection module according to the scheduling decision result has been called consistency detection technology for decision making detect. The invention also provides a detection method for contextual consistency.

【技术实现步骤摘要】
一种实现上下文一致性的检测系统及检测方法
本专利技术属于信息处理
，具体地涉及一种实现上下文一致性的检测系统及检测方法。
技术介绍
自适应应用是一类能够感知环境并且对自己的行为做出相应的改变的应用，可以通过对环境的感知对自身服务的自适应来提供更合适的服务，近年来它越来越广泛的出现在我们的工作和生活中。智能手机上的许多应用都广泛的使用了各种传感器信息，例如安卓手机上的Locale应用，通过使用GPS信息，智能猜测用户当前状态并自动调节手机状态；智能家居应用，通过感知周围环境温度、湿度等信息自动调节家电。然而，由于环境的复杂性和感知过程中的噪声干扰，应用获取的环境信息(也称之为上下文信息)可能存在非常多的不准确性，从而导致应用在此基础上的一系列操作的异常。已有技术通常是基于一致性约束的基础上对上一下信息进行一致性检测，从而报告环境上下文中存在的一致性错误的发生来缓解这一威胁，但由于感知环境所产生的上下文信息的庞大，已有技术虽然检测方式不同，有些采用全盘检测，有的采用增量检测，但由于其大多遵循上下文信息的逐条检测，检测效率可能难以满足在现实应用面对的庞大环境变化带来的频繁产生的上下文信息下对于一致性检测时效性的较高要求，为了处理实际生活中的庞大数据量，实现更加高效的上下文一致性检测，从根本上改变逐条检测的机制，从而进一步提升检测速率是非常必要的。
技术实现思路
本专利技术的目的在于针对现有技术的缺陷，提供一种通用高效的实现上下文一致性的检测系统及检测方法。本专利技术的技术方案如下：一种实现上下文一致性的检测系统包括：约束分析模块，其对上下文一致性约束进行结构的静态分析，获取所有可能影响所述上下文一致性约束的检测结果，分析判断所有同时检测时有可能导致不一致信息的不可检测的组合上下文信息，抽取出上下文可疑组合模式；上下文匹配调度模块，其接收上下文信息流的输入，根据所述约束分析模块获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来否判断是否对上下文一致性检测进行调度；一致性检测模块，如果所述上下文匹配调度模块的判断需要进行上下文一致性检测，则所述一致性检测模块根据满足应用需求的上下文一致性约束对上下文信息流进行检测，并判断是否违反上下文一致性约束。优选地，所述上下文匹配算法用于根据所述约束分析模块获取的上下文可疑组合模式对于新输入的上下文信息流进行匹配，所述上下文匹配算法维护一个待处理的上下文队列，保证队列中的上下文任意组合均不满足约束分析模块得到的任意上下文可疑组合模式；所述上下文调度算法根据所述上下文匹配算法所得的匹配结果，指导更新待处理上下文队列，并决定是否需要立刻对所述待处理上下文队列进行上下文一致性检测；所述上下文匹配算法和所述上下文调度算法相互配合可实现根据实际接收的上下文信息构建动态变化的长度的待处理上下文队列，并自适应决定某条上下文信息是否加入待处理上下文队列进行同时处理，且同时不会导致任意上下文不一致信息的不可检测。优选地，所述一致性检测模块对于所述待处理上下文队列中的一系列上下文信息流进行上下文一致性检测，通过选取不同的检测技术对其进行约束检测；所述一致性检测模块可兼容已有的多数一致性检测技术。优选地，所述约束分析模块采用约束分析算法进行检测结果分析，所述约束分析算法作用于上下文一致性约束生成的一致性计算树；所述上下文一致性约束由一阶逻辑语言表示，考虑全程量词和存在量词两种量词；对应于一致性计算树中的多分支结点，考虑交，并，推出三种联结词；对应于一致性计算树中的二分支结点，考虑取反联结词；对应于一致性计算树中的单分支结点，考虑函数符号对应于一致性计算树中的叶子结点；所述约束分析算法对一致性计算树的结构进行分析，得到可能影响上下文一致性约束检测结果的上下文集合，将其记做所述上下文可疑组合模式；所述上下文可疑组合模式包括：一致性错误增加上下文集和一致性错误减少上下文集：如果部分上下文信息在检测时可能导致一致性错误的增加，此时所有可能情况构成一致性错误增加上下文集；如果部分上下文信息在检测时可能导致一致性错误的减少，此时所有可能情况构成一致性错误减少上下文集。一种实现上下文一致性的检测方法具体包括如下步骤：一、一致性约束分析：对上下文一致性约束进行结构的静态分析，获取所有可能影响所述上下文一致性约束的检测结果，分析判断所有同时检测时有可能导致不一致信息的不可检测的组合上下文信息，抽取出上下文可疑组合模式；二、上下文匹配调度：接收上下文信息流的输入，根据一致性约束分析步骤获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来判断是否对上下文一致性检测进行调度；三、一致性检测：如果上下文匹配调度步骤判断需要进行上下文一致性检测，则根据满足应用需求的上下文一致性约束对上下文进行检测，并判断是否违反约束。优选地，在一致性约束分析步骤中，具体包括如下步骤：将一阶逻辑语言表示的一致性约束转化为一棵一致性计算树，获得可接受输入的上下文信息类型；如果部分上下文信息使得所述一致性计算树的布尔值结果由true变为false，则在检测时可能导致一致性错误的增加，此时所有可能情况构成一致性错误增加上下文集；如果部分上下文信息使得所述一致性计算树的布尔值结果由false变为true，则在检测时可能导致一致性错误的减少，此时所有可能情况构成一致性错误减少上下文集；根据所述一致性错误增加集和所述一致性错误减少集获得所有可能影响所述上下文一致性约束的检测结果的上下文组合，即获得上下文可疑组合模式，满足该组合的两条上下文信息一起进行检测可能导致一致性错误的无法检测。优选地，在上下文匹配调度步骤中，具体包括如下步骤：上下文匹配阶段：接收上下文信息流的输入，把接收的上下文信息与一致性约束分析步骤得到的上下文可疑模式通过特定的上下文匹配算法分析，得到可疑模式匹配结果，从而判断某条输入的上下文纳入批量处理是否会影响约束的检测结果，使得某些一致性错误无法检测；上下文调度阶段：如果输入的上下文信息纳入批量处理有可能使得某些一致性错误无法检测，则上下文调度算法对现有待处理的上下文队列进行上下文一致性检测后清空上下文队列，然后才可将新接收的上下文信息纳入队列；反之，则将其纳入批量处理，并可直接将该上下文信息加入待处理上下文队列，等待后续处理。优选地，所述上下文匹配阶段具体包括如下步骤：对于收到的新上下文信息，从上下文队列中依次获取另一条已接收但尚未处理的上下文信息进行可疑模式匹配，如果队列为空则表明遍历完毕，输出匹配结果为假，如果队列不为空则依次将一条上下文信息取出，并判断取出的上下文信息与此次接收的上下文信息同时检测是否可能导致一致性错误增加，即判断是否前者属于某条一致性约束的一致性错误增加集，且后者属于一致性错误减少集；如果是，则表明新输入的上下文信息与待处理上下文队列中某条上下文信息的组合会对一致性约束的检测结果造成影响，需要根据所述上下文可疑组合模式对于新输入的上下文信息进行匹配；如果否，则表明匹配失败，重新获取下一个上下文信息，继续进行匹配。优选地，所述上下文调度阶段具体包括如下步骤：根据本文档来自技高网...

【技术保护点】
一种实现上下文一致性的检测系统，其特征在于：包括：约束分析模块，其对上下文一致性约束进行结构的静态分析，获取所有可能影响所述上下文一致性约束的检测结果，分析判断所有同时检测时有可能导致不一致信息的不可检测的组合上下文信息，抽取出上下文可疑组合模式；上下文匹配调度模块，其接收上下文信息流的输入，根据所述约束分析模块获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来判断是否对上下文一致性检测进行调度；一致性检测模块，如果所述上下文匹配调度模块的判断需要进行上下文一致性检测，则所述一致性检测模块根据满足应用需求的上下文一致性约束对上下文信息流进行检测，并判断是否违反上下文一致性约束。

【技术特征摘要】
1.一种实现上下文一致性的检测系统，其特征在于：包括：约束分析模块，其对上下文一致性约束进行结构的静态分析，获取所有可能影响所述上下文一致性约束的检测结果，分析判断所有同时检测时有可能导致不一致信息的不可检测的组合上下文信息，抽取出上下文可疑组合模式；上下文匹配调度模块，其接收上下文信息流的输入，根据所述约束分析模块获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来判断是否对上下文一致性检测进行调度；一致性检测模块，如果所述上下文匹配调度模块的判断需要进行上下文一致性检测，则所述一致性检测模块根据满足应用需求的上下文一致性约束对上下文信息流进行检测，并判断是否违反上下文一致性约束。2.根据权利要求1所述的一种实现上下文一致性的检测系统，其特征在于：所述上下文匹配算法用于根据所述约束分析模块获取的上下文可疑组合模式对于新输入的上下文信息流进行匹配，所述上下文匹配算法维护一个待处理的上下文队列，保证队列中的上下文任意组合均不满足约束分析模块得到的任意上下文可疑组合模式；所述上下文调度算法根据所述上下文匹配算法所得的匹配结果，指导更新待处理上下文队列，并决定是否需要立刻对所述待处理上下文队列进行上下文一致性检测；所述上下文匹配算法和所述上下文调度算法相互配合可实现根据实际接收的上下文信息构建动态变化的长度的待处理上下文队列，并自适应决定某条上下文信息是否加入待处理上下文队列进行同时处理，且同时不会导致任意上下文不一致信息的不可检测。3.根据权利要求2所述的一种实现上下文一致性的检测系统，其特征在于：所述一致性检测模块对于所述待处理上下文队列中的一系列上下文信息流进行上下文一致性检测，可通过选取不同的检测技术对其进行约束检测；所述一致性检测模块可兼容已有的多数一致性检测技术。4.根据权利要求1所述的一种实现上下文一致性的检测系统，其特征在于：所述约束分析模块采用约束分析算法进行检测结果分析，所述约束分析算法作用于上下文一致性约束生成的一致性计算树；所述上下文一致性约束由一阶逻辑语言表示，考虑全程量词和存在量词两种量词；对应于一致性计算树中的多分支结点，考虑交，并，推出三种联结词；对应于一致性计算树中的二分支结点，考虑取反联结词；对应于一致性计算树中的单分支结点，考虑函数符号对应于一致性计算树中的叶子结点；所述约束分析算法对一致性计算树的结构进行分析，得到可能影响上下文一致性约束检测结果的上下文集合，将其记做所述上下文可疑组合模式；所述上下文可疑组合模式包括：一致性错误增加上下文集和一致性错误减少上下文集：如果部分上下文信息在检测时可能导致一致性错误的增加，此时所有可能情况构成一致性错误增加上下文集；如果部分上下文信息在检测时可能导致一致性错误的减少，此时所有可能情况构成一致性错误减少上下文集。5.一种实现上下文一致性的检测方法，其特征在于：具体包括如下步骤：一、一致性约束分析：对上下文一致性约束进行检测结果分析，获取可能影响所述上下文一致性约束的检测结果的所有上下文可疑组合模式；二、上下文匹配调度：接收上下文信息流的输入，根据一致性约束分析步骤获取的上下文可疑组合模式对于输入的上下文信息流依次调用所述上下文匹配算法进行模式匹配，然后根据匹配结果利用所述上下文调度算法来判断是否对上下文一致性检测进行调度；三、一...

【专利技术属性】
技术研发人员：许畅，吕建，郭冰莹，王慧妍，
申请(专利权)人：南京大学，
类型：发明
国别省市：江苏,32