满足偏序约束的在线调度

具备偏序关系的实时调度要求调度算法产生的执行序列既要满足任务的实时约束,又要满足任务间执行的偏序约束。基于并行拓扑排序,提出一种新的在线调度算法,该算法通过同时考察任务间执行的串行性和并行性来进行优先级设置,能够处理释放时间任意的任务集。给出该算法的原理和设计,并通过示例分析和比较对算法进行验证。

一种实现偏序约束条件下的序列模式挖掘算法

在序列模式挖掘应用中,约束是非常重要的。本文提出了一种新的约束-偏序约束,允许事务之间的间隔可以是无穷大。但是,本文间隔约束中事务之间的间隔只能是整数,所以可以把偏序约束看成是间隔约束的扩展。针对这个问题,提出了一种新颖的算法SPM(Sequential Pattern Maintenance,简称SPM)算法来解决偏序约束,采用含蓄分割技术把不满足偏序约束的数据序列分割出去,充分利用已挖掘出来的信息来解决由于数据序列数目变小使得支持度值变小的复杂情况。实验表明,SPM算法能够快速可扩展地挖掘出所有满足约束的频繁序列模式。

面向云环境的一致性可验证单关键词检索方法

在云环境资源外包服务模式下,数据拥有者不再参与对其外包数据的直接管理,这就使得验证数据使用者获得的检索结果是否满足一致性成为具有挑战性的问题。现有的研究工作重点聚焦于解决云服务提供商满足"诚实而好奇"模型假设下的隐私保护问题,但并不能解决恶意攻击威胁模型下的检索结果一致性验证问题。针对云服务提供商恶意攻击威胁模型,提出了一种面向云环境的基于偏序约束链的一致性可验证单关键词检索方法——IVSKS。数据拥有者根据文档与关键词的相关度的偏序关系,构造用于检索结果一致性验证的偏序约束链验证编码信息,并将该信息与文档集共同外包存储至云端;数据使用者在执行单关键词检索时,云端返回检索结果文档集以及相应的验证编码;最后,数据使用者根据获得的检索结果重构验证编码,实现针对检索结果的一致性验证。实验表明,与同类方法相比,IVSKS在检索结果冗余度以及一致性验证时间开销上具有更好的表现。

基于交换树的多机器人任务协调与负荷平衡方法

针对多机器人任务分工与协调过程中,未能有效解决的带任务偏序关系的负荷平衡问题,提出一种基于交换树的多机器人任务协调与负荷平衡方法。首先,通过有向赋权图(约束图)对带偏序关系约束的多机器人任务分工问题进行描述;其次,根据有向赋权图提出了初始任务分工策略,通过改进Dijkstra算法解决多机器人之间任务协调问题;最后,提出负荷平衡策略,通过交换树竞拍的方法解决机器人之间任务负荷不平衡问题。仿真结果表明,与一般Dijkstra方法相比,执行完任务负荷平衡策略之后,工作效率明显提高了12%,机器人之间的任务负荷差也减少了30%,验证了该方法的有效性。