【摘 要】
：
讨论了带有通配符和长度约束的模式匹配（PMWL）问题,其中模式由子模式序列集组成,两个相邻子模式的间隔在一定长度范围内。针对PMWL问题,已有工作包括设计启发式求解算法和对特
【基金项目】
：
国家自然科学基金项目（31100956,61173117）资助.
论文部分内容阅读
讨论了带有通配符和长度约束的模式匹配（PMWL）问题,其中模式由子模式序列集组成,两个相邻子模式的间隔在一定长度范围内。针对PMWL问题,已有工作包括设计启发式求解算法和对特殊情况进行完备性分析,然而还需要构建问题的基础求解模型。借鉴约束可满足问题框架,构建了由变量、值域和约束组成的三元组求解模型,对PMWL问题的基本概念和基本性质给出了形式化描述。最后,给出了算法求解PMWL问题的特定条件下的完备解。
其他文献
针对Ad Hoc网络终端节点能量受限对全网路由的影响,提出了一种基于网络编码的能量感知路由协议（Energy-aware Routing Protocol for Ad Hoc Network based on Network Coding,
回声现象是语音通信系统中的常见问题,一直困扰和影响着通信质量。提出一种基于WebRTC(Web RealTime Communication)开源框架的回声消除算法。该算法针对定点运算框架的局限
空间数据挖掘的相关研究大多数是基于理想化数据和实例平等的思想,而忽略了实际场景中存在的时间约束条件。将实例存在的时间区间作为约束条件,重新定义了空间邻近关系R,提出
本文对纺织品染整加工中的精练工艺进行了剖析，从而对精练助剂的提供了理论依据。高效精练剂ＤＰＮ采用了阴／非离子合理的配复比值，不仅具有降低溶液表面张力的能力，而且能充分发挥乳化
针对压缩跟踪算法无法选择合适的矩形特征,易出现目标漂移、丢失现象,提出了一种基于在线矩形特征选择的压缩跟踪算法。首先,在初始化阶段生成投影矩阵,利用该投影矩阵提取特
随着Android软件开发和维护的不断增多,以及恶意软件的抗检测能力逐渐增强,主流的静态检测方法开始面临一些问题：签名检测虽然检测速度快,但是对代码混淆、重打包类的恶意软件
客户机与服务器之间存在数据存储隐通道,对该通道的网络流量进行准确预测可避免网络拥堵,提高网络流量的调度和管理能力。传统方法采用线性时间序列分析方法进行网络流量预测
在第4代移动通信中,人们更加关注移动宽带网络传输的服务质量（QoS）,尤其是多输入多输出（MultipleInput-Multiple-Output,MIMO）系统下的视频多播方面。提出了一种基于Raptor码的视
在力矩电动机辅助拖动系统，由于环境温度高，设计使用转差率大，控制方法不当，易损坏等原因，致使其设计功能得不到有效发挥。本文提出了用变频调速器作为力长电动机电源等解决方法。