公共文化服务平台

李凤英: 作品数：62 被引量：48H指数：4; 供职机构：桂林电子科技大学更多>>; 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西高等学校科研项目更多>>; 相关领域：自动化与计算机技术文化科学理学电子电信更多>>

合作作者

基于动态描述逻辑和案例推理的软件系统故障检测方法: 本发明公开一种基于动态描述逻辑和案例推理的软件系统故障检测方法，其以状态为基础，采用动态描述逻辑的动作理论对问题进行描述，把程序功能模块的执行看作是使状态改变的动作，把状态的转换看作是由动作引起的改变，加入了状态转换之间...; 常亮谷宇奇李凤英徐周波古天龙; 文献传递

基于kd-MDD的时序图紧凑表示: 2022年; 时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——k^(d)-MDD.k^(d)-MDD是对k^(d)-tree的改进,该方法对时序图的邻接矩阵进行k^(d)划分,通过引入多值决策图来合并相同子矩阵,即k^(d)-tree图数据表示中存在的同构子树,存储结构更加紧凑.在k^(d)-MDD紧凑表示基础上,提供了基于k^(d)-MDD的时序图的基本操作(如顶点正向反向邻居的检索、边是否处于活动状态的检查、边的添加和删除等).在真实的时序图数据集上(Flickr-growth,YouTube-growth,Wikipedia等)的实验结果表明,k^(d)-MDD表示中的节点数仅为k^(d)-tree表示中节点数的1.58%~4.65%,与c k^(d)-tree和bc k^(d)-tree相比,其节点数为c k^(d)-tree中节点数的11.13%~20.39%,为bc k^(d)-tree(bucket c k^(d)-tree)中节点数的23.17%~41.95%.实验结果验证了k^(d)-MDD表示时序图的优越性.; 李凤英申会强董荣胜; 关键词：时序图决策图

联合三元组嵌入的实体对齐被引量：1: 2023年; 实体对齐是从不同知识图谱中识别出指向相同实体的任务,对于知识图谱融合十分重要。现有的实体对齐方法大多基于图神经网络,通过建模实体的邻域信息,学习实体的嵌入表示。该方法难以学习知识图谱中的三元组信息,三元组信息利用不充分。为了解决该问题,提出了联合三元组嵌入的实体对齐模型。该模型先计算出每个实体的三元组嵌入,之后使用此三元组嵌入进行实体对齐。考虑到知识图谱中的关系具有不同的类型,为利用这些关系类型,提出了一种关系类型感知的三元组嵌入计算方法;同时在模型中加入了基于关系类型的约束,以学习关系映射属性。通过在三个公开的数据集上进行实验,实验数据优于同类实体对齐方法,验证了提出的方法的有效性。; 李凤英黎家鹏; 关键词：三元组知识图谱

含有合取查询的时态描述逻辑ALC-LTL模型检测被引量：1: 2014年; 时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该文在ALC-LTL中进一步引入合取查询,增强ALC-LTL公式的描述能力,并在此基础上给出了含有合取查询的时态描述逻辑模型检测算法。模型检测算法由3个步骤组成:首先,根据时态规范中涉及的合取查询从描述逻辑的角度在系统状态中进行推理和检索,求出满足合取查询的所有实例;其次,将这些实例映射为命题并带入时态规范中,将含有合取查询的ALC-LTL模型检测问题转换为命题LTL的模型检测问题;最后调用LTL的模型检测算法完成规范验证。该工作从描述逻辑的角度对传统的命题线性时态逻辑的模型检测问题进行了扩展,适合于在语义Web环境下对语义Web等动态系统的时态性质进行刻画和验证。; 朱创营常亮徐周波李凤英; 关键词：语义WEB

一种基于双向注意力机制的知识图谱补全方法: 本发明公开一种基于双向注意力机制的知识图谱补全方法，通过在注意力机制的技术之上，引入了双向注意力机制来学习实体间的双向语义关系，并通过双向注意力值对初始化的实体嵌入矩阵和关系嵌入矩阵进行更新。在对新冠开放知识图谱补全中，...; 李凤英马安侨董荣胜; 文献传递

一种基于树搜索的RDF查询方法: 本发明公开了一种基于树搜索的RDF查询方法，将RDF查询问题转化为子图同态问题，构建了邻接边、逆邻接表、P‑In和P‑Out四种索引，用于减少查询图中变量节点的候选域；在执行图匹配算法之前，该方法基于贪心思想为查询图生成...; 董荣胜刘江江李凤英; 文献传递

约束满足问题求解的符号OBDD桶消元算法被引量：4: 2011年; 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。; 徐周波古天龙常亮李凤英; 关键词：约束满足问题

一种基于多区域交叉权值的图像卷积特征的生成方法: 本发明公开一种基于多区域交叉权值的图像卷积特征的生成方法，在K个特征图中模糊地标记出目标位置，利用得到的目标位置和深度卷积特征计算空间权重图；计算K个特征图在不同尺度下的区域大小，分别计算不同区域下的空间权重、通道权重和...; 董荣胜程德强李凤英; 文献传递

基于K2-MDD的大规模图的最大公共连通子图匹配方法: 本发明公开一种基于K2‑MDD的大规模图的最大公共连通子图匹配方法，首先对两个图中的顶点进行编码，再根据顶点的编码再对边编码，进而通过边的编码集合构建K2‑MDD；之后利用符号...; 董荣胜冷贝贝蒋伟强李凤英; 文献传递

一种联合实体关系表示的知识图谱融合方法: 本发明公开一种联合实体关系表示的知识图谱融合方法，利用构建的初始实体向量表示、对齐实体对正样本集合、对齐实体对负样本集合、关系的初始关系向量表示、对齐关系对正样本集合、以及对齐关系负样本集合来对实体的向量表示进行训练，进...; 李凤英黎家鹏董荣胜常亮; 文献传递