廖志雄，尚文祥，王士斌

(1. 河南科技学院新科学院，河南 新乡 453000；2. 河南师范大学计算机与信息工程学院，河南 新乡 453000)

1 引言

通过检测网络用户的轨迹数据，可以发现用户流量中的规则，甚至挖掘潜在的、有意义的路径序列，这是构建网络用户轨迹序列模型的基础。算领域中线性函数、冗余函数、自反函数和自双反函数是特殊的逻辑函数，被广泛应用于逻辑功能分类、逻辑电路分析、设计和错误检测中，同时也是逻辑函数研究中一个重要的研究课题之一。

于鹏[1]应用模糊集截集的方法，获得最小项表达式，利用模糊集间的标准Hammin距离，定义了公式间的Hamming距离，逻辑函数最小项表达式和真值表及卡诺图的对应关系，揭示了逻辑函数各种表示方法的内在联系，从而给出了计量逻辑学基本概念的Hamming距离表示方法。邵梁[2]从冗余函数，线性函数，自反函数，自双反函数四类特殊布尔函数出发，讨论得出检测含无关项特殊布尔函数的表格算法。应用表格列出布尔函数1值最小项及无关项的二进制编码，取反1值最小项及无关项二进制编码中的相应位产生新项。通过比较新项与原最小项之间的异同实现特殊布尔函数的检测。孔德江等[3]提出时空嵌入式长短时记忆生成模型，利用时空信息引导LSTM训练门机制，致力于实时轨迹预测，利用时空信息增强判别真伪访问序列的能力，得到更好的用户轨迹预测效果。

虽然上述方法可以有效检测出特殊函数，但由于在确定函数取值时，都需要大量的计算，并且无法有效对含有任意项的特殊逻辑函数进行检测。……