期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
34
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
融合迭代和问题维度的速度约束粒子群算法
1
作者
王子航
刘建华
+2 位作者
薛醒思
朱剑
陈宇翔
《华东交通大学学报》
2023年第4期112-126,共15页
粒子群算法广泛应用于工程、科学与管理等领域实际问题中的复杂优化问题求解,设计新的策略以应对算法的性能和效率瓶颈是该领域的研究热点。针对传统粒子群算法速度约束策略比较单一,容易导致算法收敛速度慢,性能低等问题,提出一种融合...
粒子群算法广泛应用于工程、科学与管理等领域实际问题中的复杂优化问题求解,设计新的策略以应对算法的性能和效率瓶颈是该领域的研究热点。针对传统粒子群算法速度约束策略比较单一,容易导致算法收敛速度慢,性能低等问题,提出一种融合算法迭代和问题维度的速度约束策略。通过分析算法种群进化状态评估值与迭代次数及问题维度的关系,设计计算进化状态评估值的公式,使其受算法迭代次数和问题维度影响,最后根据进化状态评估值计算算法的速度约束范围,得到一种融合迭代和问题维度的速度约束粒子群算法。新的速度约束策略使粒子群算法的种群状态受到迭代次数和问题维度的影响,具有自适应性,并对不同维度问题求解具有扩展性,提高了粒子群算法的收敛速度和求解精度,仿真实验证明了算法的有效性。
展开更多
关键词
粒子群优化算法
速度约束策略
进化状态预估
迭代次数
问题维度
下载PDF
职称材料
基于NSGA-Ⅱ的大规模本体映射方法
被引量:
1
2
作者
薛醒思
《计算机应用》
CSCD
北大核心
2014年第6期1622-1625,1630,共4页
现有的基于进化算法的本体映射技术在面对大规模本体映射问题时,由于搜索空间太大导致算法效率低下,从而使其无法有效地在实际中得到应用。针对这一问题,提出了基于快速非支配排序的多目标遗传算法(NSGA-Ⅱ)的大规模本体映射方法。该方...
现有的基于进化算法的本体映射技术在面对大规模本体映射问题时,由于搜索空间太大导致算法效率低下,从而使其无法有效地在实际中得到应用。针对这一问题,提出了基于快速非支配排序的多目标遗传算法(NSGA-Ⅱ)的大规模本体映射方法。该方法通过三个步骤来映射本体:1)通过基于邻居相似度的划分算法来将源本体划分为不相交的概念块;2)通过相关概念过滤方法来确定目标本体中同源本体概念块相关的概念块;3)使用NSGA-Ⅱ方法来完成概念块之间的映射并通过贪心算法集成最终的结果。使用OAEI 2012的小规模的书目本体测试数据集和大规模的生物医学本体测试数据集对所提出的方法进行测试。同OAEI 2012的参与者的比较结果表明,所基于NSGA-Ⅱ的大规模本体映射方法能够在较短的时间内获取较好的本体映射结果,因此该方法是有效的。
展开更多
关键词
大规模本体映射
本体划分算法
快速非支配排序的多目标遗传算法
下载PDF
职称材料
基于遗传算法的本体映射技术
被引量:
2
3
作者
薛醒思
《福建工程学院学报》
CAS
2014年第1期74-78,共5页
由于语义网分散的本质,同一个概念在不同的本体中可能有不同的定义方式,这就引起了所谓的本体异质的问题。本体异质问题严重地影响领域知识之间的共享,已经成为语义网应用系统间的交互与协作的瓶颈。目前用于发现本体中实体间的语义对...
由于语义网分散的本质,同一个概念在不同的本体中可能有不同的定义方式,这就引起了所谓的本体异质的问题。本体异质问题严重地影响领域知识之间的共享,已经成为语义网应用系统间的交互与协作的瓶颈。目前用于发现本体中实体间的语义对应关系的本体映射技术成为语义网发展的关键技术。鉴于本体映射过程复杂的本质,文章为本体映射过程建立了单目标优化模型,并提出采用遗传算法来确定不同本体中实体间的对应关系。实验结果表明,所提出的方法是有效的。
展开更多
关键词
本体映射
遗传算法
映射技术
下载PDF
职称材料
行动导向教学模式的《Web应用程序设计》课程改革
被引量:
1
4
作者
薛醒思
《福建工程学院学报》
CAS
2011年第4期400-404,共5页
探讨在应用型本科IT类专业《Web应用程序设计》课程教学中引入行动导向教学模式的可行性,阐明了基于行动导向教学模式的课程改革基本思路,并对课程内容体系、教学方式方法和学习评价三方面进行深入探讨,提出了具体的、较为系统的改革方案。
关键词
行动导向
WEB应用程序设计
课程改革
下载PDF
职称材料
课程知识检索系统中检索器模块的实现
被引量:
1
5
作者
薛醒思
《闽江学院学报》
2008年第5期74-77,共4页
提出了一个基于领域本体的课程知识检索系统,探讨了个性化检索技术在系统的检索器模块中的应用,并详细介绍了检索器模块中基于本体的逆向最大匹配分词算法(RMM)和分层遍历森林算法的实现,为课程知识检索系统进一步的开发工作奠定了基础.
关键词
课程知识检索系统
领域本体
逆向最大匹配分词算法
分层遍历森林算法
下载PDF
职称材料
基于OBE理念的面向对象程序设计(Java)课程教学改革
被引量:
2
6
作者
薛醒思
《科技视界》
2022年第12期70-72,共3页
文章探讨了面向对象程序设计(Java)课程教学过程中采用以产出为导向教学理念的可行性,阐明了基于OBE理念的面向对象程序设计(Java)课程教学改革基本思路,并对课程基于OBE教学理念的教学方法、新的理论和实验教学内容进行了深入探讨,提...
文章探讨了面向对象程序设计(Java)课程教学过程中采用以产出为导向教学理念的可行性,阐明了基于OBE理念的面向对象程序设计(Java)课程教学改革基本思路,并对课程基于OBE教学理念的教学方法、新的理论和实验教学内容进行了深入探讨,提出了具体的课程教学改革方案。
展开更多
关键词
面向对象程序设计
OBE理念
课程教学改革
下载PDF
职称材料
通过混合多目标优化算法优化本体映射结果
7
作者
薛醒思
《小型微型计算机系统》
CSCD
北大核心
2015年第3期556-560,共5页
提出采用混合多目标优化算法以解决优化三类不同的相似度度量技术(基于语法学的相似度度量,基于语言学的相似度度量和基于分类学的相似度度量)的映射结果集成的问题.比起传统的基于遗传算法的方法,本文提出的方法能够同时实现三个目标,...
提出采用混合多目标优化算法以解决优化三类不同的相似度度量技术(基于语法学的相似度度量,基于语言学的相似度度量和基于分类学的相似度度量)的映射结果集成的问题.比起传统的基于遗传算法的方法,本文提出的方法能够同时实现三个目标,即最大化映射的查全率recall、查准率precision和f-度量f-measure值,获取的本体映射结果能够避免对于查全率或是查准率的偏好.实验结果表明本文提出的方法是有效的.
展开更多
关键词
本体映射
混合多目标优化算法
下载PDF
职称材料
基于语义Web的信息检索改进模型的研究
8
作者
薛醒思
《福建工程学院学报》
CAS
2008年第3期299-302,共4页
提出了基于语义Web下的信息检索改进模型,说明了该模型中每个组成部分的功能,并将该模型进行初步应用。结果表明,信息的查全率和查准率都有较好的改善。
关键词
语义网
RDF
本体
信息检索
下载PDF
职称材料
采用多目标粒子群算法的本体元匹配方法
9
作者
薛醒思
耿爱峰
BENINE Ramzi
《福建技术师范学院学报》
2022年第2期109-118,共10页
为了解决本体之间存在的异构问题,提出一种本体元匹配方法来确定不同本体中实体之间的对应关系.首先设计两个本体匹配结果质量的近似度量方法,并在此基础上构建本体匹配问题的多目标优化模型,最后提出一种多目标粒子群算法以求解该问题...
为了解决本体之间存在的异构问题,提出一种本体元匹配方法来确定不同本体中实体之间的对应关系.首先设计两个本体匹配结果质量的近似度量方法,并在此基础上构建本体匹配问题的多目标优化模型,最后提出一种多目标粒子群算法以求解该问题并优化本体匹配结果的质量.采用国际本体匹配竞赛提供的benchmark测试集,来测试基于多目标粒子群算法的本体元匹配方法的性能.实验结果表明:提出的方法在查全率和查准率两个指标上均优于国际本体匹配竞赛的其他参与者.
展开更多
关键词
本体元匹配
多目标粒子群算法
本体异构体
近似度量方法
国际本体匹配竞赛
下载PDF
职称材料
馈线自动化算法的形式化建模与验证
被引量:
4
10
作者
唐郑熠
王金水
+2 位作者
何栋炜
薛醒思
胡文瑜
《计算机工程》
CAS
CSCD
北大核心
2016年第3期89-93,共5页
分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源,影响验证效率,且难以覆盖足够的系统路径。针对该问题,提出一种馈线自动化算法的验证方法。通过对电气...
分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源,影响验证效率,且难以覆盖足够的系统路径。针对该问题,提出一种馈线自动化算法的验证方法。通过对电气设备行为与特征的抽象,建立馈线自动化算法的形式化模型,在此基础上,使用自动化模型检测技术验证算法的正确性。测试结果表明,该方法将计算资源集中在动作逻辑验证上,实现了与底层细节的分离,从而能够获得较高的验证效率,完整覆盖系统路径,并有效降低缺陷修正的代价。
展开更多
关键词
馈线自动化
形式化模型
自动验证
模型检测
时间自动机
下载PDF
职称材料
一种基于命名实体识别的需求跟踪方法
被引量:
1
11
作者
王金水
薛醒思
唐郑熠
《计算机应用研究》
CSCD
北大核心
2016年第1期132-135,146,共5页
针对基于文本的需求跟踪方法严重依赖文本质量的问题,提出了一种利用命名实体识别技术标注制品文档关键词的需求跟踪方法。该方法通过代码实体上下文构建命名实体识别模型,解决了抽象语法树和正则表达式无法解析非源代码形式的软件制品...
针对基于文本的需求跟踪方法严重依赖文本质量的问题,提出了一种利用命名实体识别技术标注制品文档关键词的需求跟踪方法。该方法通过代码实体上下文构建命名实体识别模型,解决了抽象语法树和正则表达式无法解析非源代码形式的软件制品问题。利用命名实体识别模型标志出软件制品中的代码实体之后,该方法将软件制品转换为文档集合并进行语义聚类,最后再通过映射算法创建制品间的需求跟踪关系。实验结果表明,与基于所有词项和基于高权重词项的需求跟踪方法相比,该方法能够有效提高需求跟踪结果的质量。
展开更多
关键词
需求跟踪
命名实体识别
语义聚类
自然语言处理
权重计算
下载PDF
职称材料
基于句法分析的代码摘要技术
被引量:
1
12
作者
王金水
薛醒思
翁伟
《计算机应用》
CSCD
北大核心
2015年第7期1999-2003,共5页
针对词袋模型忽略了词条之间语义关系和概念结构的问题,提出一种基于句法分析的代码摘要技术。首先,该技术利用词性标注识别出最有可能体现代码特性的关键词;然后,通过块分析修正在词性标注过程中可能引入的错误;其次,对标识出的关键词...
针对词袋模型忽略了词条之间语义关系和概念结构的问题,提出一种基于句法分析的代码摘要技术。首先,该技术利用词性标注识别出最有可能体现代码特性的关键词;然后,通过块分析修正在词性标注过程中可能引入的错误;其次,对标识出的关键词进行降噪,以减少文本噪声带来的不利影响;最后,从关键词中选取若干个权值最高的词以组成代码摘要。实验结果表明,与基于词频-逆文档频率(TF-IDF)和基于TF-IDF扩展的代码摘要技术对比,所提技术生成的代码摘要与参考答案的重叠率(overlap)至少分别提高了9%和6%,说明该技术能够生成更加准确的代码摘要。
展开更多
关键词
代码摘要
文本摘要
句法分析
自然语言处理
程序理解
下载PDF
职称材料
安全协议验证中DY模型的构建框架
被引量:
1
13
作者
唐郑熠
杨芳
薛醒思
《福建工程学院学报》
CAS
2015年第3期239-243,共5页
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个D...
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway-Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。
展开更多
关键词
安全协议
形式化
DY模型
攻击者
OTWAY-REES协议
下载PDF
职称材料
行为时序逻辑中四级公平性下的活性推理规则
14
作者
唐郑熠
薛醒思
+1 位作者
王金水
王晓峰
《计算机应用研究》
CSCD
北大核心
2016年第10期3045-3048,共4页
公平性是行为时序逻辑用于表达系统活性的形式,直接影响到系统描述的正确性与完整性,对其进行细化与完善能有效提高行为时序逻辑的系统描述能力。然而在对公平性进行细化的同时,却缺乏相应的、运用于性质验证的推理规则。针对这一问题,...
公平性是行为时序逻辑用于表达系统活性的形式,直接影响到系统描述的正确性与完整性,对其进行细化与完善能有效提高行为时序逻辑的系统描述能力。然而在对公平性进行细化的同时,却缺乏相应的、运用于性质验证的推理规则。针对这一问题,通过对公平性内涵的分析,给出了四级公平性体系下的活性推理规则,并分别进行了证明。作为示例,运用新的活性推理规则对一个程序实例进行了推理验证,在建立起相应的活性推理规则后,四级公平性才能够被有效运用到实际的系统描述与验证中。
展开更多
关键词
行为时序逻辑
公平性
活性
推理规则
系统验证
下载PDF
职称材料
OWL-S过程模型的形式化描述与相容性分析
15
作者
唐郑熠
王金水
+2 位作者
韦立
薛醒思
胡文瑜
《计算机工程与科学》
CSCD
北大核心
2016年第3期478-485,共8页
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的...
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。
展开更多
关键词
服务组合验证
OWL-S
形式化模型
服务过程自动机
相容性分析
下载PDF
职称材料
实时互斥协议的形式化建模与自动验证
16
作者
唐郑熠
陈义
+2 位作者
薛醒思
杨荣华
王金水
《福建工程学院学报》
CAS
2016年第1期76-79,85,共5页
实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。...
实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。
展开更多
关键词
实时
互斥
模型检测
时间自动机
下载PDF
职称材料
基于词性标注的文本聚类算法
17
作者
王金水
唐郑熠
薛醒思
《福建工程学院学报》
CAS
2015年第4期372-375,共4页
针对传统的文本聚类容易受到噪声影响的问题,提出一个基于词性标注的文本聚类算法。该算法利用词性标注从文本中识别并抽取最能体现文本特征的关键词,再基于所抽取的关键词进行聚类操作。实验发现,相对传统的聚类算法,基于词性标注的文...
针对传统的文本聚类容易受到噪声影响的问题,提出一个基于词性标注的文本聚类算法。该算法利用词性标注从文本中识别并抽取最能体现文本特征的关键词,再基于所抽取的关键词进行聚类操作。实验发现,相对传统的聚类算法,基于词性标注的文本聚类算法能够有效地提高聚类结果的质量。
展开更多
关键词
文本聚类
词性标注
自然语言处理
聚类分析
下载PDF
职称材料
一种新的自动化本体映射技术
18
作者
江荔
薛醒思
《福建工程学院学报》
CAS
2015年第1期49-53,共5页
为了更好地组合不同的相似度度量结果以提高本体映射结果的质量,提出一种新的基于调谐值度量和单纯降序提取算法的自动化本体映射技术。该技术首先通过调谐值来度量各种相似度矩阵的可靠性,并为每一个相似度矩阵赋予权重以集成不同的相...
为了更好地组合不同的相似度度量结果以提高本体映射结果的质量,提出一种新的基于调谐值度量和单纯降序提取算法的自动化本体映射技术。该技术首先通过调谐值来度量各种相似度矩阵的可靠性,并为每一个相似度矩阵赋予权重以集成不同的相似度矩阵,然后通过单纯降序提取算法结合阈值的策略提取最终的本体映射结果。实验采用2012年本体映射评价竞赛的测试数据集,同2012年本体映射评价竞赛的参与者的比较表明该文提出的方法是有效的。
展开更多
关键词
本体映射技术
调谐值度量
单纯降序提取算法
下载PDF
职称材料
基于进化算法的生物医学本体匹配技术
19
作者
王颖
薛醒思
+1 位作者
卢家伟
黄艺坤
《重庆大学学报》
CAS
CSCD
北大核心
2023年第6期130-135,共6页
由于生物医学本体拥有规模庞大的概念和复杂概念间关系,已有本体匹配技术难以高效确定生物医学本体匹配结果。为解决这一问题,构建了生物医学本体匹配问题优化模型,提出基于进化算法的生物医学本体匹配技术来确定最优匹配结果。在求解...
由于生物医学本体拥有规模庞大的概念和复杂概念间关系,已有本体匹配技术难以高效确定生物医学本体匹配结果。为解决这一问题,构建了生物医学本体匹配问题优化模型,提出基于进化算法的生物医学本体匹配技术来确定最优匹配结果。在求解生物医学本体匹配问题时,采用一种新的生物医学本体概念相似度度量来确保匹配结果质量,并通过基于推理的概念对剪枝技术缩小算法的搜索空间,提高算法效率。实验结果表明,基于进化算法的生物医学本体匹配技术能有效匹配生物医学本体。
展开更多
关键词
进化算法
生物医学本体匹配
概念对剪枝
下载PDF
职称材料
使用遗传算法实现基于实例的本体映射
20
作者
王颖
薛醒思
《福建工程学院学报》
CAS
2013年第3期247-251,共5页
提出了一种新颖的基于实例的本体映射方法,即通过遗传算法确定最优实例间的映射集合,并通过相似度扩散算法获取高准确率的本体映射结果。文章描述了实例相似度度量技术和upPropagation算法,给出了本体映射问题的单目标优化模型,论述了...
提出了一种新颖的基于实例的本体映射方法,即通过遗传算法确定最优实例间的映射集合,并通过相似度扩散算法获取高准确率的本体映射结果。文章描述了实例相似度度量技术和upPropagation算法,给出了本体映射问题的单目标优化模型,论述了使用遗传算法求解该问题的3个关键步骤,最后通过实验验证。实验表明,采用遗传算法实现基于实例的本体映射方法,可以获取高准确率的本体映射结果。
展开更多
关键词
本体映射
遗传算法
相似度扩散
下载PDF
职称材料
题名
融合迭代和问题维度的速度约束粒子群算法
1
作者
王子航
刘建华
薛醒思
朱剑
陈宇翔
机构
福建工程学院计算机科学与数学学院
福建工程学院福建省大数据挖掘与应用技术重点实验室
出处
《华东交通大学学报》
2023年第4期112-126,共15页
基金
福建省心理健康人机交互技术研究中心项目(2020L3024)
福建工程学院发展基金(GY-Z20046)
福州市科技创新平台项目(2021-P-052)。
文摘
粒子群算法广泛应用于工程、科学与管理等领域实际问题中的复杂优化问题求解,设计新的策略以应对算法的性能和效率瓶颈是该领域的研究热点。针对传统粒子群算法速度约束策略比较单一,容易导致算法收敛速度慢,性能低等问题,提出一种融合算法迭代和问题维度的速度约束策略。通过分析算法种群进化状态评估值与迭代次数及问题维度的关系,设计计算进化状态评估值的公式,使其受算法迭代次数和问题维度影响,最后根据进化状态评估值计算算法的速度约束范围,得到一种融合迭代和问题维度的速度约束粒子群算法。新的速度约束策略使粒子群算法的种群状态受到迭代次数和问题维度的影响,具有自适应性,并对不同维度问题求解具有扩展性,提高了粒子群算法的收敛速度和求解精度,仿真实验证明了算法的有效性。
关键词
粒子群优化算法
速度约束策略
进化状态预估
迭代次数
问题维度
Keywords
particle swarm optimization
velocity limit strategy
evolutionary state evaluation
iteration
problem dimension
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于NSGA-Ⅱ的大规模本体映射方法
被引量:
1
2
作者
薛醒思
机构
福建工程学院信息科学与工程学院
出处
《计算机应用》
CSCD
北大核心
2014年第6期1622-1625,1630,共4页
基金
福建省教育厅科研项目(JA13227)
文摘
现有的基于进化算法的本体映射技术在面对大规模本体映射问题时,由于搜索空间太大导致算法效率低下,从而使其无法有效地在实际中得到应用。针对这一问题,提出了基于快速非支配排序的多目标遗传算法(NSGA-Ⅱ)的大规模本体映射方法。该方法通过三个步骤来映射本体:1)通过基于邻居相似度的划分算法来将源本体划分为不相交的概念块;2)通过相关概念过滤方法来确定目标本体中同源本体概念块相关的概念块;3)使用NSGA-Ⅱ方法来完成概念块之间的映射并通过贪心算法集成最终的结果。使用OAEI 2012的小规模的书目本体测试数据集和大规模的生物医学本体测试数据集对所提出的方法进行测试。同OAEI 2012的参与者的比较结果表明,所基于NSGA-Ⅱ的大规模本体映射方法能够在较短的时间内获取较好的本体映射结果,因此该方法是有效的。
关键词
大规模本体映射
本体划分算法
快速非支配排序的多目标遗传算法
Keywords
large scale ontology aligning
ontology partitioning algorithm
fast elitist Non-dominated Sorting Genetic Algorithm for multi-objective optimization (NSGA-Ⅱ )
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于遗传算法的本体映射技术
被引量:
2
3
作者
薛醒思
机构
福建工程学院信息科学与工程学院
出处
《福建工程学院学报》
CAS
2014年第1期74-78,共5页
基金
福建省教育厅科研项目(JA13227)
文摘
由于语义网分散的本质,同一个概念在不同的本体中可能有不同的定义方式,这就引起了所谓的本体异质的问题。本体异质问题严重地影响领域知识之间的共享,已经成为语义网应用系统间的交互与协作的瓶颈。目前用于发现本体中实体间的语义对应关系的本体映射技术成为语义网发展的关键技术。鉴于本体映射过程复杂的本质,文章为本体映射过程建立了单目标优化模型,并提出采用遗传算法来确定不同本体中实体间的对应关系。实验结果表明,所提出的方法是有效的。
关键词
本体映射
遗传算法
映射技术
Keywords
ontology alignment
genetic algorithm
aligning technology
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
行动导向教学模式的《Web应用程序设计》课程改革
被引量:
1
4
作者
薛醒思
机构
福建工程学院计算机与信息科学系
出处
《福建工程学院学报》
CAS
2011年第4期400-404,共5页
基金
福建工程学院教育规划课题(GJ-K-07-51)
文摘
探讨在应用型本科IT类专业《Web应用程序设计》课程教学中引入行动导向教学模式的可行性,阐明了基于行动导向教学模式的课程改革基本思路,并对课程内容体系、教学方式方法和学习评价三方面进行深入探讨,提出了具体的、较为系统的改革方案。
关键词
行动导向
WEB应用程序设计
课程改革
Keywords
action-orientation
Web application programming
course innovation
分类号
G642.0 [文化科学—高等教育学]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
课程知识检索系统中检索器模块的实现
被引量:
1
5
作者
薛醒思
机构
福建工程学院计算机与信息科学系
出处
《闽江学院学报》
2008年第5期74-77,共4页
文摘
提出了一个基于领域本体的课程知识检索系统,探讨了个性化检索技术在系统的检索器模块中的应用,并详细介绍了检索器模块中基于本体的逆向最大匹配分词算法(RMM)和分层遍历森林算法的实现,为课程知识检索系统进一步的开发工作奠定了基础.
关键词
课程知识检索系统
领域本体
逆向最大匹配分词算法
分层遍历森林算法
Keywords
course knowledge retrieval system
domain ontology
reverse directional maximum matchmethod
hierarchical traversal of forest method
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于OBE理念的面向对象程序设计(Java)课程教学改革
被引量:
2
6
作者
薛醒思
机构
福建工程学院信息化建设与管理中心
出处
《科技视界》
2022年第12期70-72,共3页
基金
福建工程学院本科教学改革研究项目(JG2021061)。
文摘
文章探讨了面向对象程序设计(Java)课程教学过程中采用以产出为导向教学理念的可行性,阐明了基于OBE理念的面向对象程序设计(Java)课程教学改革基本思路,并对课程基于OBE教学理念的教学方法、新的理论和实验教学内容进行了深入探讨,提出了具体的课程教学改革方案。
关键词
面向对象程序设计
OBE理念
课程教学改革
分类号
G642.0 [文化科学—高等教育学]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
通过混合多目标优化算法优化本体映射结果
7
作者
薛醒思
机构
福建工程学院信息科学与工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第3期556-560,共5页
基金
国家自然科学基金青年项目(61402108)资助
福建省教育厅科技项目(JA13227
JA14221)资助
文摘
提出采用混合多目标优化算法以解决优化三类不同的相似度度量技术(基于语法学的相似度度量,基于语言学的相似度度量和基于分类学的相似度度量)的映射结果集成的问题.比起传统的基于遗传算法的方法,本文提出的方法能够同时实现三个目标,即最大化映射的查全率recall、查准率precision和f-度量f-measure值,获取的本体映射结果能够避免对于查全率或是查准率的偏好.实验结果表明本文提出的方法是有效的.
关键词
本体映射
混合多目标优化算法
Keywords
ontology alignment
hybrid multi-objective optimization algorithm
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于语义Web的信息检索改进模型的研究
8
作者
薛醒思
机构
福建工程学院计算机与信息科学系
出处
《福建工程学院学报》
CAS
2008年第3期299-302,共4页
文摘
提出了基于语义Web下的信息检索改进模型,说明了该模型中每个组成部分的功能,并将该模型进行初步应用。结果表明,信息的查全率和查准率都有较好的改善。
关键词
语义网
RDF
本体
信息检索
Keywords
Semantic Web
Resource Description Framework( RDF)
ontology
information retrieval
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
采用多目标粒子群算法的本体元匹配方法
9
作者
薛醒思
耿爱峰
BENINE Ramzi
机构
福建工程学院智能信息处理研究中心
福建技术师范学院大数据与人工智能学院
太原理工大学电气与动力工程学院
出处
《福建技术师范学院学报》
2022年第2期109-118,共10页
基金
国家自然科学基金项目(62172095)
福建省自然科学基金项目(2020J01875).
文摘
为了解决本体之间存在的异构问题,提出一种本体元匹配方法来确定不同本体中实体之间的对应关系.首先设计两个本体匹配结果质量的近似度量方法,并在此基础上构建本体匹配问题的多目标优化模型,最后提出一种多目标粒子群算法以求解该问题并优化本体匹配结果的质量.采用国际本体匹配竞赛提供的benchmark测试集,来测试基于多目标粒子群算法的本体元匹配方法的性能.实验结果表明:提出的方法在查全率和查准率两个指标上均优于国际本体匹配竞赛的其他参与者.
关键词
本体元匹配
多目标粒子群算法
本体异构体
近似度量方法
国际本体匹配竞赛
Keywords
ontology meta-matching
multi-objective particle swarm optimization
ontology heterogeneity
approximate metric method
Ontology Alignment Evaluation Initiative
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
馈线自动化算法的形式化建模与验证
被引量:
4
10
作者
唐郑熠
王金水
何栋炜
薛醒思
胡文瑜
机构
福建工程学院信息科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第3期89-93,共5页
基金
国家自然科学基金资助项目(61402108)
福建省自然科学基金资助项目(2012J01245)
+4 种基金
福建省中青年教师教育科研基金资助项目(JA14221
JB14068
JB14069)
福建工程学院科研启动基金资助项目(GY-Z13112
GY-Z13113)
文摘
分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源,影响验证效率,且难以覆盖足够的系统路径。针对该问题,提出一种馈线自动化算法的验证方法。通过对电气设备行为与特征的抽象,建立馈线自动化算法的形式化模型,在此基础上,使用自动化模型检测技术验证算法的正确性。测试结果表明,该方法将计算资源集中在动作逻辑验证上,实现了与底层细节的分离,从而能够获得较高的验证效率,完整覆盖系统路径,并有效降低缺陷修正的代价。
关键词
馈线自动化
形式化模型
自动验证
模型检测
时间自动机
Keywords
feeder automation
formal model
automatic verification
model checking
timed automata
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于命名实体识别的需求跟踪方法
被引量:
1
11
作者
王金水
薛醒思
唐郑熠
机构
福建工程学院信息科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2016年第1期132-135,146,共5页
基金
国家自然科学基金资助项目(61402108)
福建省中青年教师教育科研项目(JA15348
+4 种基金
JA13227
JB12146)
福建省科技厅高校项目(JK2012033)
福建工程学院科研启动基金资助项目(GY-Z13113
GY-Z14068)
文摘
针对基于文本的需求跟踪方法严重依赖文本质量的问题,提出了一种利用命名实体识别技术标注制品文档关键词的需求跟踪方法。该方法通过代码实体上下文构建命名实体识别模型,解决了抽象语法树和正则表达式无法解析非源代码形式的软件制品问题。利用命名实体识别模型标志出软件制品中的代码实体之后,该方法将软件制品转换为文档集合并进行语义聚类,最后再通过映射算法创建制品间的需求跟踪关系。实验结果表明,与基于所有词项和基于高权重词项的需求跟踪方法相比,该方法能够有效提高需求跟踪结果的质量。
关键词
需求跟踪
命名实体识别
语义聚类
自然语言处理
权重计算
Keywords
requirement traceability
named entity recognition
semantic clustenng
natural language process
term weigh-ting
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于句法分析的代码摘要技术
被引量:
1
12
作者
王金水
薛醒思
翁伟
机构
福建工程学院信息科学与工程学院
厦门理工学院计算机与信息工程学院
出处
《计算机应用》
CSCD
北大核心
2015年第7期1999-2003,共5页
基金
国家自然科学基金资助项目(61402108)
福建省中青年教师教育科研资助项目(JA14221)
+1 种基金
福建工程学院科研启动基金资助项目(GY-Z13113
GY-Z14068)
文摘
针对词袋模型忽略了词条之间语义关系和概念结构的问题,提出一种基于句法分析的代码摘要技术。首先,该技术利用词性标注识别出最有可能体现代码特性的关键词;然后,通过块分析修正在词性标注过程中可能引入的错误;其次,对标识出的关键词进行降噪,以减少文本噪声带来的不利影响;最后,从关键词中选取若干个权值最高的词以组成代码摘要。实验结果表明,与基于词频-逆文档频率(TF-IDF)和基于TF-IDF扩展的代码摘要技术对比,所提技术生成的代码摘要与参考答案的重叠率(overlap)至少分别提高了9%和6%,说明该技术能够生成更加准确的代码摘要。
关键词
代码摘要
文本摘要
句法分析
自然语言处理
程序理解
Keywords
source code summarization
text summarization
syntactic analysis
natui'al language processing
program comprehension
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
安全协议验证中DY模型的构建框架
被引量:
1
13
作者
唐郑熠
杨芳
薛醒思
机构
福建工程学院信息科学与工程学院
湖南大学信息科学与工程学院
湖南医药学院图书馆
出处
《福建工程学院学报》
CAS
2015年第3期239-243,共5页
基金
福建省中青年教师教育科研项目(JB14069)
福建工程学院科研启动基金项目(GY-Z13112)
文摘
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway-Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。
关键词
安全协议
形式化
DY模型
攻击者
OTWAY-REES协议
Keywords
security protocol
formalization
Dolev and Yao (DY ) model
intruder
Otway-Rees protocol
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
行为时序逻辑中四级公平性下的活性推理规则
14
作者
唐郑熠
薛醒思
王金水
王晓峰
机构
福建工程学院信息科学与工程学院
贵州大学计算机科学与技术学院
北方民族大学计算机科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2016年第10期3045-3048,共4页
基金
福建省自然科学基金计划资助项目(2016J05146)
国家自然科学基金资助项目(61503082)
+1 种基金
福州市科技基金资助项目(2012-G-126)
福建工程学院科研启动基金资助项目(GY-Z13112)
文摘
公平性是行为时序逻辑用于表达系统活性的形式,直接影响到系统描述的正确性与完整性,对其进行细化与完善能有效提高行为时序逻辑的系统描述能力。然而在对公平性进行细化的同时,却缺乏相应的、运用于性质验证的推理规则。针对这一问题,通过对公平性内涵的分析,给出了四级公平性体系下的活性推理规则,并分别进行了证明。作为示例,运用新的活性推理规则对一个程序实例进行了推理验证,在建立起相应的活性推理规则后,四级公平性才能够被有效运用到实际的系统描述与验证中。
关键词
行为时序逻辑
公平性
活性
推理规则
系统验证
Keywords
temporal logic of action
fairness
liveness
reasoning rules
system verification
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
OWL-S过程模型的形式化描述与相容性分析
15
作者
唐郑熠
王金水
韦立
薛醒思
胡文瑜
机构
福建工程学院信息科学与工程学院
贵州大学计算机科学与技术学院
贵州师范大学数学与计算机科学学院
出处
《计算机工程与科学》
CSCD
北大核心
2016年第3期478-485,共8页
基金
国家自然科学基金(61309006)
福建省自然科学基金(2012J01245)
+1 种基金
福建省中青年教师教育科研基金(JB14069)
福建工程学院科研启动基金(GY-Z13112,GY-Z13113)
文摘
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。
关键词
服务组合验证
OWL-S
形式化模型
服务过程自动机
相容性分析
Keywords
services composition verification
OWL-S
formal model
services process automata
compatibility analysis
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
实时互斥协议的形式化建模与自动验证
16
作者
唐郑熠
陈义
薛醒思
杨荣华
王金水
机构
福建工程学院信息科学与工程学院
出处
《福建工程学院学报》
CAS
2016年第1期76-79,85,共5页
基金
福建省科技厅基金资助项目(JK2012033)
福建省中青年教师教育科研项目(JA15336
+4 种基金
JB14069
JB12146)
福建工程学院科研启动基金项目(GY-Z13112
GY-Z13113
GY-Z15007)
文摘
实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。
关键词
实时
互斥
模型检测
时间自动机
Keywords
real-time
mutual exclusion
model testing
time automata
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于词性标注的文本聚类算法
17
作者
王金水
唐郑熠
薛醒思
机构
福建工程学院信息科学与工程学院
出处
《福建工程学院学报》
CAS
2015年第4期372-375,共4页
基金
福建省中青年教师教育科研项目(JA15348
JB14069
+4 种基金
JB12146)
福建省科技厅高校项目(JK2012033)
福建工程学院科研启动基金项目(GY-Z13113
GY-Z14068
GY-Z13112)
文摘
针对传统的文本聚类容易受到噪声影响的问题,提出一个基于词性标注的文本聚类算法。该算法利用词性标注从文本中识别并抽取最能体现文本特征的关键词,再基于所抽取的关键词进行聚类操作。实验发现,相对传统的聚类算法,基于词性标注的文本聚类算法能够有效地提高聚类结果的质量。
关键词
文本聚类
词性标注
自然语言处理
聚类分析
Keywords
text clustering
part-of-speech tagging
natural language process
cluster analysis
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种新的自动化本体映射技术
18
作者
江荔
薛醒思
机构
福州职业技术学院计算机系
福建工程学院信息科学与工程学院
出处
《福建工程学院学报》
CAS
2015年第1期49-53,共5页
基金
福建省教育厅科技项目(JA13227)
福建省教育厅科技项目(JB12314)
文摘
为了更好地组合不同的相似度度量结果以提高本体映射结果的质量,提出一种新的基于调谐值度量和单纯降序提取算法的自动化本体映射技术。该技术首先通过调谐值来度量各种相似度矩阵的可靠性,并为每一个相似度矩阵赋予权重以集成不同的相似度矩阵,然后通过单纯降序提取算法结合阈值的策略提取最终的本体映射结果。实验采用2012年本体映射评价竞赛的测试数据集,同2012年本体映射评价竞赛的参与者的比较表明该文提出的方法是有效的。
关键词
本体映射技术
调谐值度量
单纯降序提取算法
Keywords
ontology aligning technology
tuning measure
naive descending extraction algorithm
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于进化算法的生物医学本体匹配技术
19
作者
王颖
薛醒思
卢家伟
黄艺坤
机构
福建工程学院信息科学与工程学院
福建师范大学协和学院信息技术系
出处
《重庆大学学报》
CAS
CSCD
北大核心
2023年第6期130-135,共6页
基金
国家自然科学基金资助项目(62172095)
福建省自然科学基金资助项目(2020J01875)
福建省本科高校教学改革研究项目(FBJG20190156)。
文摘
由于生物医学本体拥有规模庞大的概念和复杂概念间关系,已有本体匹配技术难以高效确定生物医学本体匹配结果。为解决这一问题,构建了生物医学本体匹配问题优化模型,提出基于进化算法的生物医学本体匹配技术来确定最优匹配结果。在求解生物医学本体匹配问题时,采用一种新的生物医学本体概念相似度度量来确保匹配结果质量,并通过基于推理的概念对剪枝技术缩小算法的搜索空间,提高算法效率。实验结果表明,基于进化算法的生物医学本体匹配技术能有效匹配生物医学本体。
关键词
进化算法
生物医学本体匹配
概念对剪枝
Keywords
evolutionary algorithm
biomedical ontology matching
concept pair pruning
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
使用遗传算法实现基于实例的本体映射
20
作者
王颖
薛醒思
机构
福建工程学院信息科学与工程学院
出处
《福建工程学院学报》
CAS
2013年第3期247-251,共5页
基金
福建工程学院科研预研基金项目(GY-Z09072)
文摘
提出了一种新颖的基于实例的本体映射方法,即通过遗传算法确定最优实例间的映射集合,并通过相似度扩散算法获取高准确率的本体映射结果。文章描述了实例相似度度量技术和upPropagation算法,给出了本体映射问题的单目标优化模型,论述了使用遗传算法求解该问题的3个关键步骤,最后通过实验验证。实验表明,采用遗传算法实现基于实例的本体映射方法,可以获取高准确率的本体映射结果。
关键词
本体映射
遗传算法
相似度扩散
Keywords
ontology alignment
genetic algorithm
similarity propagation
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
融合迭代和问题维度的速度约束粒子群算法
王子航
刘建华
薛醒思
朱剑
陈宇翔
《华东交通大学学报》
2023
0
下载PDF
职称材料
2
基于NSGA-Ⅱ的大规模本体映射方法
薛醒思
《计算机应用》
CSCD
北大核心
2014
1
下载PDF
职称材料
3
基于遗传算法的本体映射技术
薛醒思
《福建工程学院学报》
CAS
2014
2
下载PDF
职称材料
4
行动导向教学模式的《Web应用程序设计》课程改革
薛醒思
《福建工程学院学报》
CAS
2011
1
下载PDF
职称材料
5
课程知识检索系统中检索器模块的实现
薛醒思
《闽江学院学报》
2008
1
下载PDF
职称材料
6
基于OBE理念的面向对象程序设计(Java)课程教学改革
薛醒思
《科技视界》
2022
2
下载PDF
职称材料
7
通过混合多目标优化算法优化本体映射结果
薛醒思
《小型微型计算机系统》
CSCD
北大核心
2015
0
下载PDF
职称材料
8
基于语义Web的信息检索改进模型的研究
薛醒思
《福建工程学院学报》
CAS
2008
0
下载PDF
职称材料
9
采用多目标粒子群算法的本体元匹配方法
薛醒思
耿爱峰
BENINE Ramzi
《福建技术师范学院学报》
2022
0
下载PDF
职称材料
10
馈线自动化算法的形式化建模与验证
唐郑熠
王金水
何栋炜
薛醒思
胡文瑜
《计算机工程》
CAS
CSCD
北大核心
2016
4
下载PDF
职称材料
11
一种基于命名实体识别的需求跟踪方法
王金水
薛醒思
唐郑熠
《计算机应用研究》
CSCD
北大核心
2016
1
下载PDF
职称材料
12
基于句法分析的代码摘要技术
王金水
薛醒思
翁伟
《计算机应用》
CSCD
北大核心
2015
1
下载PDF
职称材料
13
安全协议验证中DY模型的构建框架
唐郑熠
杨芳
薛醒思
《福建工程学院学报》
CAS
2015
1
下载PDF
职称材料
14
行为时序逻辑中四级公平性下的活性推理规则
唐郑熠
薛醒思
王金水
王晓峰
《计算机应用研究》
CSCD
北大核心
2016
0
下载PDF
职称材料
15
OWL-S过程模型的形式化描述与相容性分析
唐郑熠
王金水
韦立
薛醒思
胡文瑜
《计算机工程与科学》
CSCD
北大核心
2016
0
下载PDF
职称材料
16
实时互斥协议的形式化建模与自动验证
唐郑熠
陈义
薛醒思
杨荣华
王金水
《福建工程学院学报》
CAS
2016
0
下载PDF
职称材料
17
基于词性标注的文本聚类算法
王金水
唐郑熠
薛醒思
《福建工程学院学报》
CAS
2015
0
下载PDF
职称材料
18
一种新的自动化本体映射技术
江荔
薛醒思
《福建工程学院学报》
CAS
2015
0
下载PDF
职称材料
19
基于进化算法的生物医学本体匹配技术
王颖
薛醒思
卢家伟
黄艺坤
《重庆大学学报》
CAS
CSCD
北大核心
2023
0
下载PDF
职称材料
20
使用遗传算法实现基于实例的本体映射
王颖
薛醒思
《福建工程学院学报》
CAS
2013
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部