面向交通流量预测的多头注意力时空卷积图网络模型

为了充分获取交通流量数据中隐藏的复杂动态时空相关性,提高交通流量预测精度,提出一种多头注意力时空卷积图网络模型MASCGN。首先,采用多头注意力机制为路网中的交通传感器节点自动分配注意力权重,实现对不同邻居节点的权值自适应匹配,充分获取空间相关性;其次,采用带有门控和注意力机制的时空卷积网络充分提取时间序列相关性,并使用残差块结构实现时空卷积层之间的连接,使得模型更具有泛化能力;最后,分别提取周相关、日相关、邻近时间的序列数据,输入三个并行的时空组件以挖掘周、日、邻近三个时间窗口间的时间周期相关性,并通过全连接层获取最终的交通流量预测结果。利用高速公路交通数据集PEMSO4、PEMSO8进行了15 min、30 min、45 min和60 min的交通流量预测实验。实验结果表明MASCGN模型与现有基线模型相比,在未来短期和长期的交通流量预测任务上都具有更优的建模能力。     

融合画像和文本信息的轻量级关系图注意推荐模型

针对当前基于图神经网络的推荐系统受数据稀疏影响推荐效率不高的问题,提出融合画像和文本信息的轻量级关系图注意推荐模型(LightRGAN)。首先,利用用户画像和项目画像初始化用户和项目的嵌入表示。其次,引入评论、项目描述和项目类型作为辅助信息,并通过基于多头注意力机制的文本嵌入网络挖掘同一用户评论集和描述集中文本之间的潜在联系。然后,通过融合注意力机制的轻量级关系图卷积网络学习用户和项目的嵌入表示。最后,对各层嵌入表示加权求和并通过预测网络计算匹配分数。在三个公开数据集上的实验结果表明LightRGAN的效果优于多个现有的基线模型,评估指标HR@20、NDCG@20较最优基线模型最少提升了2.58%、2.37%。     

线性规划的可行解集合的几何特征

本文提出平凡解是基可行解,也是极点,对基可行解与极点是等价概念给出一种证明方法,指出E~n中的可行解集合有类似R~2中的凸多边形的一些特征。     

一种求解命题公式骨干集的警示传播算法

警示传播WP算法是一类重要的信息传播算法,在命题公式的可满足性判定中非常有效。通过对WP算法的数学原理分析发现,当算法收敛时以高概率固定部分变元的赋值,可以对公式进行化简。基于这样的特征修改WP算法的迭代方程和变元赋值条件,设计了一种求解命题公式骨干集的信息传播算法。当变元数目超过400时,与经典骨干集求解算法对比,效率提高了40%,与目前常用算法对比也有10%的提高。结果表明,所提算法求解命题公式骨干集时非常有效。     

Visitor-artwork network analysis using object detection with image-retrieval technique

Recent museum exhibitions are becoming a means by which to satisfy visitor demands. In order to provide visitor-centric exhibitions, artwork must be analyzed based on the behavior of visitors, and not merely according to museum professionals' points of view. This study aims to analyze the relationship between museum visitors and artwork via a network analysis based on visitor behavior using object detection techniques. Cameras installed in a museum recorded visitors, and an object detector with a content-based image-retrieval technique tracked visitors from the videos. The durations spent with different artworks were measured, and the data was converted into a bipartite graph. The relationships between different artwork types were analyzed with a visitor-centered artwork network. Based on the visitors’ behavior, significant artworks were identified and the artwork network was compared to the arrangement of the museum. The tendency of edges in the artwork network was also examined considering visitors' preferences for artworks. The method used here makes it possible to collect quantitative data, with the results possibly used as a basis and for reference when analyzing artwork in a visitor-centered approach.     

面向交通流量预测的时空超关系图卷积网络

交通流量预测是智能交通系统中的重要研究课题,然而,交通对象（如站点、传感器）之间存在的复杂局部时空关系使得这项研究颇具挑战。尽管以往的一些研究将流量预测问题转化为一个时空图预测问题从而取得了较大的进展,但是它们忽略了交通对象们跨时空维度的直接关联性。目前仍缺乏一种全面建模局部时空关系的方法。针对这一问题,首先提出一种新颖的时空超图建模方案,通过构造一种时空超关系来全面地建模复杂的局部时空关系;然后提出一种时空超关系图卷积网络（STHGCN）预测模型来捕获这些关系用于交通流量预测。在四个公开交通数据集上进行了大量对比实验,结果表明,相比ASTGCN、时空同步图卷积网络（STSGCN）等时空预测模型,STHGCN在均方根误差（RMSE）、平均绝对误差（MAE）、平均绝对百分比误差（MAPE）这三个评价指标上均取得了更优的结果,不同模型运行时间的对比结果也表明,STHGCN有着更高的推理速度。     

领域知识图谱快速构建和应用框架

快速构建和应用领域知识图谱(domain knowledge graphs, DKG)已成为企业的迫切需求。然而,领域知识图谱的快速构建和应用仍然存在问题:1）构建前,复杂领域场景涉及知识维度广,业务专家短时间内难以构建完备的领域schema;2）构建中,业务和技术专家深度耦合,图谱构建缓慢,难以适应业务快速发展需求;3）构建后,图谱应用严重依赖技术人员开发,业务专家无法自主基于领域知识图谱探索问题解决方案。为解决上述问题,本文提出了领域知识图谱的快速构建和应用框架,其中包括:多人协作构建领域schema解决领域知识的复杂性问题,将业务和技术专家解耦合,提高领域知识图谱的构建效率,最后通过建立基于行业schema的auto-KBQA((knowledge base question answering)解决领域知识图谱在知识问答应用的快速落地。通过实际项目的应用落地,验证了该框架可有效加快领域知识图谱的落地应用,期望该框架给领域知识图谱的快速构建和应用带来一定的启发和帮助。     

基于图表示学习的消息回复关系判断方法

微信、QQ和钉钉等社交媒体都提供多对多聊天群组功能,这些聊天群组包含海量信息,对群组聊天内容进行有效分析,获取有价值的关联信息,是当前领域的研究热点。群组中用户间交互是群组实现的主要功能,用户间消息回复是用户间交互实现的方式,消息间的回复行为下隐藏着消息间和用户间的关系。群组消息间回复通常是隐式和非连续的,大部分群组消息间没有指定明确的回复关系,当前消息也不一定是上一条临近消息的回复,回复关系要根据具体的聊天场景确定。当消息间没有显示指定回复关系时,回复不易于分析和理解群组聊天内容,阻碍了对群组聊天内容的整体性分析。本论文针对群组消息间的回复关系,提出了基于图表示学习的消息回复关系判断方法,该方法不同于以往方法仅使用部分群组要素,是在综合学习消息的文本信息、发送消息的用户信息和上下文信息的基础上,根据群组内容构建群组图和生成自适应消息图,得到了多种群组要素信息和要素间关系组成的图结构,利用图模型在图结构上进行群组消息的表示学习,图模型输出群组消息的表示向量,拼接消息对的表示向量并进一步预测群组消息间的回复关系。在消息间回复关系的学习过程中,图模型通过任务学习更新图中消息节点,同时更新图中用户节点向量表示,经过用户向量分析实验验证了该模型输出的用户向量的有效性和合理性。在公开数据集和标注数据集上进行了对比实验和显著性检验分析,结果显示模型在多个评估指标上大幅优于对比模型,如在F1指标上,比单纯依赖BERT的句子对分类模型提高了接近20%。     

On the Girth of Tanner (5,7) Quasi-Cyclic LDPC Codes

Tanner (5,7)准循环LDPC码的围长问题

徐恒舟,白宝明,冯丹,孙成

(西安电子科技大学 ISN国家重点实验室,西安 710071)

创新点说明：

1）定义了Tanner (5,7)准循环LDPC码Tanner图中环的等价类;

2）提出了Tanner (5,7)准循环LDPC码Tanner图中环存在的充要条件,即素域Fp上多项式是否有一个35次单位根;

3）完全解决了Tanner (5,7)准循环LDPC码的围长问题（码长为7p,p为模35余1的素数）

研究目的：解决Tanner (5,7)准循环LDPC码的围长问题（码长为7p,p为模35余1的素数）

研究方法：

本文定义了环的等价形式,并分析了Tanner (5,7)准循环LDPC码Tanner图中的环结构,并将长度为4,6,8和10的环划分为16个等价类。此外,这些环是否存在可以等价地看为素域Fp上多项式是否有一个35次单位根。通过检验这些多项式是否存在一个35次单位根,可以得到Tanner (5,7)准循环LDPC码的围长候选值。最后,统计这些候选值得到了Tanner (5,7)准循环LDPC码的围长。

结 果：

得到了围长为6,8和10的Tanner (5,7)准循环LDPC码,其中码长为7p：

1）当围长为6时,p = 71。

2）当围长为8时,p ? G8 = {211, 281, 421, 491, 631, 701, 911, 1051, 2311, 4271, 5531, 7211, 237301, 354551}。

3） 当围长为10时,p ? G10 = {1471, 2381, 2521, 2591, 2731, 2801, 3011, 3221, 3361, 3571, 3851, 4201, 4481, 4621, 4691, 4831, 5741, 5881, 6091, 6301, 6581, 6791, 7001, 7351, 7561, 7841, 8191, 8681, 8821, 9241, 9311, 9521, 9661, 9871, 9941, 10151, 10501, 10711, 10781, 11131, 11411, 11621, 11831, 11971, 12041, 12251, 12391, 12601, 12671, 13441, 13931, 14071, 14771, 15121, 15541, 16381, 16451, 16661, 16871, 17011, 17291, 17431, 17921, 18061, 18131, 18481, 18691, 19181, 19391, 19531, 20161, 20231, 20441, 21001, 21211, 21491, 21701, 21911, 22051, 22751, 24151, 24781, 25411, 26111, 26251, 28001, 28771, 30661, 30871, 30941, 32971, 33181, 33461, 33811, 34231, 34511, 35141, 36541, 37871, 38011, 39551, 39761, 42491, 43261, 43331, 44171, 45361, 46831, 47041, 47741, 47881, 48371, 50051, 51521, 52361, 54881, 55511, 55721, 57751, 59221, 63841, 65101, 66571, 66851, 67061, 67271, 71191, 74761, 75181, 76231, 79801, 85751, 97441, 98491, 104021, 109831, 110321, 110951, 112771, 118861, 122921, 125231, 126211, 127261, 128591, 130621, 134401, 137131, 141961, 147211, 152041, 154981, 159671, 162821, 164431, 185221, 192431, 203911, 204331, 207061, 217351, 242621, 262781, 273001, 274471, 278741, 280351, 285251, 296731, 299671, 301841, 318641, 325921, 333691, 343141, 343561, 348461, 349931, 361901, 370441, 374291, 385631, 393961, 403621, 423431, 435401, 437501, 440651, 441421, 443591, 446881, 453461, 495461, 522061, 532421, 557831, 589471, 687541, 704761, 718271, 763771, 766501, 829151, 837271, 845951, 867371, 898661, 920641, 1022141, 1180901, 1197281, 1239421, 1253071, 1388381, 1542031, 1634011, 1747271, 1773241, 2102171, 2153551, 2318471, 2691011, 3338441, 3439801, 4567151, 4649261, 8553581, 9268631, 23632351, 27136621}。

结 论：

当p ? P35/({71}? G8?G10)时,Tanner (5,7)准循环LDPC码的围长为12（P35代表模35余1的素数集合）。

     

一种基于抽象解释的二进制代码测试方法

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。