公共文化服务平台

基于隶属度比较的描述逻辑SHOIQ模糊扩展被引量：3: 2013年; 语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.; 康达周徐宝文李言辉; 关键词：模糊描述逻辑知识表示

概念的最小上近似: 2006年; 近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法.; 陆建江徐宝文康达周李言辉; 关键词：信息检索本体最小上界

编程环境下问答内容的提取方法、系统、电子设备及介质: 本发明公开编程环境下问答内容的提取方法、系统、电子设备及介质，所述系统包括：数据处理模块，用于执行：对输入的网络问答文本数据进行预处理，去除无用信息并进行分词；实体识别模块，用于执行：对经过所述数据处理模块处理后的文本进...; 陈林赵恒辉李言辉; 文献传递

支持模糊隶属度比较的扩展模糊描述逻辑被引量：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...; 陈林潘陶陈芝菲李言辉徐宝文; 文献传递

编程环境下问答内容的提取方法、系统、电子设备及介质: 本发明公开编程环境下问答内容的提取方法、系统、电子设备及介质，所述系统包括：数据处理模块，用于执行：对输入的网络问答文本数据进行预处理，去除无用信息并进行分词；实体识别模块，用于执行：对经过所述数据处理模块处理后的文本进...; 陈林赵恒辉李言辉

Walsh函数在组合测试中的应用: 2014年; 实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式的定义以及理论缺陷函数和实际缺陷函数的定义;引入Walsh模式变换概念,并利用Walsh函数的离散形式有效地计算测试用例模式的平均缺陷率.最后基于模式平均缺陷率的大小,补充附加测试用例进行重新测试,从而迅速将故障原因锁定在很小的范围内,为软件的调试和测试工作提供更方便、更有价值的线索和参考.; 王蓁蓁周毓明康达周王子元李言辉徐宝文; 关键词：软件测试 WALSH函数

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

李言辉