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

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

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

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

基于自主学习与SCAD-Net正则化的回归模型

众多基因生物标志物选择方法常因研究样本较少而不能直接用于临床诊断.于是有学者提出整合不同基因表达数据同时保留生物信息完整性的方法.然而,由于存在批量效应,导致直接整合不同基因表达数据可能会增加新的系统误差.针对上述问题,提出一个融合自主学习与SCAD-Net正则化的分析框架.一方面,自主学习方法能够先从低噪声样本中学习出基础模型,然后再通过高噪声样本学习使得模型更加稳健,从而避免批量效应;另一方面,SCAD-Net正则化融合了基因表达数据与基因间的交互信息,可以实现更好的特征选择效果.不同情形下的模拟数据以及在乳腺癌细胞系数据集上的结果表明,基于自主学习与SCAD-Net正则化的回归模型在处理高维复杂网络数据集时具有更好的预测效果.     

结合动态图卷积和空间注意力的点云分类与分割

目的 随着3维采集技术的飞速发展,点云在计算机视觉、自动驾驶和机器人等领域有着广泛的应用前景。深度学习作为人工智能领域的主流技术,在解决各种3维视觉问题上已表现出巨大潜力。现有基于深度学习的3维点云分类分割方法通常在聚合局部邻域特征的过程中选择邻域特征中的最大值特征,忽略了其他邻域特征中的有用信息。方法 本文提出一种结合动态图卷积和空间注意力的点云分类分割方法（dynamic graph convolution spatial attention neural networks,DGCSA）。通过将动态图卷积模块与空间注意力模块相结合,实现更精确的点云分类分割效果。使用动态图卷积对点云数据进行K近邻构图并提取其边特征。在此基础上,针对局部邻域聚合过程中容易产生信息丢失的问题,设计了一种基于点的空间注意力（spatial attention,SA）模块,通过使用注意力机制自动学习出比最大值特征更具有代表性的局部特征,从而提高模型的分类分割精度。结果 本文分别在ModelNet40、ShapeNetPart和S3DIS（Stanford Large-scale 3D Indoor Spaces Dataset）数据集上进行分类、实例分割和语义场景分割实验,验证模型的分类分割性能。实验结果表明,该方法在分类任务上整体分类精度达到93.4%;实例分割的平均交并比达到85.3%;在室内场景分割的6折交叉检验平均交并比达到59.1%,相比基准网络动态图卷积网络分别提高0.8%、0.2%和3.0%,有效改善了模型性能。结论 使用动态图卷积模块提取点云特征,在聚合局部邻域特征中引入空间注意力机制,相较于使用最大值特征池化,可以更好地聚合邻域特征,有效提高了模型在点云上的分类、实例分割与室内场景语义分割的精度。     

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.     

Context-aware cognitive design assistant: Implementation and study of design rules recommendations

Design rules are an essential interface to facilitate the information exchange between designers and experts. Despite many innovations in Knowledge-Based Engineering and Knowledge Management, unstructured design rules documents are still widely used in the manufacturing industry. Due to the complexity of the design process, these documents often contain hundreds of design rules, applicable in varying design contexts. Searching for the right rules according to a design context is demanding in time and cognitive resources. In this paper, we propose a Context-Aware Cognitive Design Assistant (CACDA) to capture the design context and perform tasks such as the recommendation of design rules, the verification of design solutions, or the automation of design routines. Contrary to existing works in model quality testing, the CACDA uses a proactive approach of design rules application and helps designers to provide error-free designs on first attempt. In this paper, we present the design rules recommendation system of the CACDA, its capabilities and its implementation. Then, to measure the impact of design rules recommendations on the design process, we compare our approach with the use of traditional design rules documents. Results show that the use of the CACDA’s design rules recommendations lower the perceived difficulty of design rules retrieval from 75 to 43.5 on a scale of 100. On average, participants that used the demonstrator successfully applied 8.6 design rules on the 25 applicable design rules of our set. Participants that used unstructured documentation correctly applied 4.3 design rules. The global cognitive weight of the design activity as well as the design rules retrieval performances appear to be unchanged. These results demonstrate the usability of the demonstrator and show a positive impact on the design process and on the quality of CAD models. Future works will focus on the overcome of the main limitations of our current experiments, with a panel of professional designers, a lager design rules set and the implementation of several lacking features of the CACDA into the demonstrator.     

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

交通流量预测是智能交通系统中的重要研究课题,然而,交通对象（如站点、传感器）之间存在的复杂局部时空关系使得这项研究颇具挑战。尽管以往的一些研究将流量预测问题转化为一个时空图预测问题从而取得了较大的进展,但是它们忽略了交通对象们跨时空维度的直接关联性。目前仍缺乏一种全面建模局部时空关系的方法。针对这一问题,首先提出一种新颖的时空超图建模方案,通过构造一种时空超关系来全面地建模复杂的局部时空关系;然后提出一种时空超关系图卷积网络（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的素数集合）。