李言辉 作品数:44 被引量:99 H指数:7 供职机构: 南京大学计算机科学与技术系 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 文化科学 经济管理 更多>>
基于隶属度比较的描述逻辑SHOIQ模糊扩展 被引量:3 2013年 语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础. 康达周 徐宝文 李言辉关键词:模糊描述逻辑 知识表示 概念的最小上近似 2006年 近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法. 陆建江 徐宝文 康达周 李言辉关键词:信息检索 本体 最小上界 基于GA-VMD与CNN-BiLSTM-Attention模型的区域碳排放交易价格预测研究 被引量:1 2024年 准确的碳价预测可为碳排放权交易市场监管者和投资者提供决策依据与参考。本文提出了基于GA-VMD降噪分解及CNN-BiLSTM-Attention混合模型的碳价预测方法,并选取湖北碳市场2014年4月2日到2022年6月15日1857个交易日的数据进行分析:首先通过遗传算法改进变分模态分解(GA-VMD)将原始碳价序列分解为平稳的本征模态函数(IMF)分量,降低数据噪音;随后构建CNN-BiLSTM-Attention混合模型对各IMF分量进行预测。其中,卷积神经网络(CNN)可提取影响碳价多个特征,双向长短期记忆网络(BiLSTM)可实现时间序列信息提取,注意力机制(Attention)可突出某个关键输入对输出的影响。本文将预测出的各IMF分量集合成碳价序列,并提出12个模型,分为3个组进行剥离分析,结果显示GA-VMD-CNN-BiLSTM-Attention的预测结果最好。另外,为给市场参与者提供更多信息,本文在确定性预测的基础上加入区间预测,以便提前测量碳市场的波动性。 吴丽丽 邰庆瑞 卞洋 李言辉编程环境下问答内容的提取方法、系统、电子设备及介质 本发明公开编程环境下问答内容的提取方法、系统、电子设备及介质,所述系统包括:数据处理模块,用于执行:对输入的网络问答文本数据进行预处理,去除无用信息并进行分词;实体识别模块,用于执行:对经过所述数据处理模块处理后的文本进... 陈林 赵恒辉 李言辉文献传递 支持模糊隶属度比较的扩展模糊描述逻辑 被引量:10 2008年 语义Web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑ALCN(attributive concept description language with complements and number restriction)概念构造子的扩展模糊描述逻辑FCALCN(fuzzy comparable ALCN).FCALCN引入新的原子概念形式以支持模糊隶属度比较.给出FCALCN的推理算法,证明了在空TBox约束下FCALCN的推理问题复杂性是多项式空间完全的.FCALCN能够表达语义Web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理. 康达周 徐宝文 陆建江 李言辉关键词:语义WEB 知识表示 描述逻辑 支持数量约束的扩展模糊描述逻辑复杂性研究 被引量:26 2006年 扩展模糊描述逻辑EFALCN(extendedfuzzyattributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE(polynomialspace)约束下执行.由ALCN(attributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)的推理问题可多项式时间归约到EFALCN推理问题,且ALCN的推理问题是PSPACE-complete问题.所以,EFALCN推理问题是PSPACE-hard问题.综上所述,EFALCN推理问题是PSPACE-complete问题. 李言辉 徐宝文 陆建江 康达周关键词:描述逻辑 语义WEB 知识表示 一种基于敏感行为识别的安卓应用安全性分析方法 本发明提供了一种基于安卓应用源代码敏感行为识别的安卓应用安全性分析方法,包括下列步骤:1)源代码的获取与分析;2)敏感行为的获取;3)UI文本的提取;4)敏感行为数据的处理;5)特征值的选取;6)训练数据集的构成;7)安... 许蕾 缪小川 李言辉 徐宝文文献传递 基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测 本发明为一种基于静态分析和动态运行的原子性违反检测方法:先通过静态分析JS代码,获取JS中涉及到异步调用的函数和方法,保证代码上的覆盖;跨语言平台的动态插桩记录机制,在异步调用函数中设置探测点,不仅能得到JS程序中的元素... 许蕾 王德智 李言辉 徐宝文文献传递 一种基于深度神经网络的Python资源敏感缺陷代码检测方法 本发明为一种基于深度神经网络的Python资源敏感缺陷代码检测方法,包括下列步骤:1)获取同一软件的历史版本的源代码和待测版本的源代码;2)利用类型推断抽取各版本的资源敏感代码模式;3)抽取资源敏感代码模式的相关特征;4... 陈林 潘陶 陈芝菲 李言辉 徐宝文文献传递 编程环境下问答内容的提取方法、系统、电子设备及介质 本发明公开编程环境下问答内容的提取方法、系统、电子设备及介质,所述系统包括:数据处理模块,用于执行:对输入的网络问答文本数据进行预处理,去除无用信息并进行分词;实体识别模块,用于执行:对经过所述数据处理模块处理后的文本进... 陈林 赵恒辉 李言辉