Robinson-Ursescu定理在Frechet空间中的形成

由局部凸F-范空间中闭凸集值映射的性质,推导出Frechet空间上集值映射的Robinson-Ursescu定理、开映照与闭图定理形式.     

网络拓扑图多级分割塌缩阶段算法改进

针对网络拓扑图上的宏观异常预警可视化显示需要,分析了当前图的多级划分算法.算法分为图塌缩、初始划分和多级优化三个阶段.在多级分割算法的图塌缩阶段,提出改进算法———KV算法和VC算法.实验验证改进后算法在运行时间、恢复时间和分割边数上均优于传统算法.改进塌缩KV算法在分割边数上平均提高了4.6%,在运行时间上提高了12%,而VC算法降低了KV算法的时间复杂度.     

基于GIS的图形数据格式一体化转换技术

开发了基于GIS的地形符号设计和绘制软件,使地形图符号具有图形和属性两个特征,经过适当的整理加工,实现图形数据一体化转换,建立GIS数据库,提出了在GIS的各种软件中有效集成应用CAD等模型各种数据的解决方案,并且着重在点状符号、线状符号和面状符号的符号显示,以及地理要素与符号库的连接及匹配的问题做了重点阐述.     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

一种基于贝叶斯的渐进式图像匹配框架研究

提出了一种新的渐进式图像匹配框架,将图像匹配与图像概率更新结合在一起解决这一问题.该框架在当前匹配结果上,利用贝叶斯方法对最可信目标图像进行高效的重新估算,并且可保证提高后续的图像匹配效果.实验结果表明,与一次性图像匹配方法相比,所提方法的匹配性能更优.此外,即使是对外观发生变化及包含远离主体对象的图像场合,所提方法性能仍然健壮.     

图的k-星着色的Grbner基求解

对于具有n个顶点的简单连通图G,首先证明求解G的k-星着色等价于一个多元多项式方程组在{1,2,…,k}上的求解问题,其次使用Grbner基给出求解该多元多项式方程组的方法,从而得到求G的星色数的一个可行途径,最后通过实例验证了此代数计算方法的有效性.     

强边着色猜想问题的最优图

著名图论专家Erds和Nesetǐil对图的强边色数上界提出了一个猜想:当最大度Δ为偶数时,χ's(G)≤5/4Δ~2;当最大度Δ为奇数时,χ's(G)≤1/4(5Δ~2-2Δ+1);并且给出了当Δ=4时的最优图.此处构造了一族图,并证明了当最大度为奇数时,如果Erd9s和Ne2etǐil提出的强边着色猜想成立,则猜想中的上界是最优的.     

一类三圈图关于Merrifield-Simmons指标的排序

研究了一类三圈图瓦的Merrifield-Simmons指标，根据Cq上三种不同的连接方式，给出了该类三圈图关于Merrifield-Simmons指标的排序．     

关于星匹配数的图能量下界

对图G的能量ε(G)与K_(1,s)-匹配数μ_s(G)之间的关系进行了研究。证明了对于一般图G有■成立,进一步地,若其子图满足一定的条件,则有■,其中c_1(G)表示G中的奇圈数。还证明了若n阶树T的最大度小于等于3,有ε(T)≥(s+1)μ_s(T)-1成立。     

基于图注意力网络的案件罪名预测方法:CP-GAT

案件罪名预测任务是基于文本数据去预测案件所属罪名.针对现有方法在相似罪名和长尾数据集上表现不佳的问题，提出了一种基于图注意力网络的案件罪名预测方法CP-GAT(charge prediction based on graph attention network).该方法首先使用司法文书数据集中的案例事件描述文本和案例对应的法条信息建立异质图结构数据，构建后的异质图包含两种类型的节点(词节点、案例节点)，两种类型的边(词节点与词节点相连的边，词节点与案例节点相连的边).在基于法律文本构建后的异质图上使用图注意力网络进行图特征提取，最后将得到的特征向量输入到罪名预测的分类器中，得到案例所属的罪名.在CAIL2018法律数据集上的实验结果表明，基于图注意力网络的罪名预测方法优于对比实验使用的方法，准确率和宏观F1值分别达到了95.2%和66.1，验证了提出的方法有利于提升案件罪名预测任务的性能.