期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
物联网工程规划与设计课程建设研究 被引量：5
1
作者 崔仙姬 何加亮 《物联网技术》 2017年第2期111-112,114,共3页
物联网工程规划与设计课程是教育部高等学校计算机科学与技术专业教学指导分委员会规定的物联网工程专业十门核心课程之一。课程建设以培养物联网专业复合型创新创业人才为目标,根据岗位所需能力建立课程标准;建设教材与网络教学资源体... 物联网工程规划与设计课程是教育部高等学校计算机科学与技术专业教学指导分委员会规定的物联网工程专业十门核心课程之一。课程建设以培养物联网专业复合型创新创业人才为目标,根据岗位所需能力建立课程标准;建设教材与网络教学资源体系;采用项目驱动、案例教学与因材施教相结合的教学模式;课程考核与教学效果评价注重学生的参与度、创新思维以及综合能力。 展开更多
关键词 物联网 课程建设 项目驱动 案例开发
下载PDF
基于半模型的OWL本体理由探求方法研究 被引量：1
2
作者 张瑜 欧阳丹彤 +1 位作者 崔仙姬 叶育鑫 《计算机学报》 EI CSCD 北大核心 2018年第12期2720-2733,共14页
OWL本体理由探求是语义Web推理的重要任务之一.随着语义Web数据的急剧增长以及本体规模的不断扩大,目前的本体理由探求策略已难以满足它们对推理性能的要求.该文以基于黑盒的探求技术为研究对象,黑盒法是基于"扩张"和"收... OWL本体理由探求是语义Web推理的重要任务之一.随着语义Web数据的急剧增长以及本体规模的不断扩大,目前的本体理由探求策略已难以满足它们对推理性能的要求.该文以基于黑盒的探求技术为研究对象,黑盒法是基于"扩张"和"收缩"两个阶段实现理由探求任务的,"扩张"阶段的目标是获得蕴涵目标公理的理由的一个超集,"收缩"阶段对得到的理由超集进行删减至极小集合.然而,这两个阶段的主要时间开销在于频繁地调用推理机进行变化的公理集合与目标公理之间的蕴涵关系的检测,这会严重影响理由探求的效率.为了解决这一问题,通过观察理由探求过程中公理集合的变化情况,给出增量本体序列定义,并揭示了增量本体序列中的最大增量本体与理由之间的关系.增量本体序列的生成过程主要涉及两方面因素:(1)后继本体对先驱本体的有效扩充(必须保证是拟序关系);(2)对本体链中的本体是否蕴涵目标公理的推理判定(必须保证当且仅当最大本体蕴涵目标公理).在增量本体序列生成过程中,利用半模型证明了后继增量本体与目标公理之间的蕴涵关系是半可判定的,进而给出基于半模型增量推理的理由超集探求算法及其正确性证明.半模型增量推理的增量体现在:保留上一次得到的模型作为下一次判定的初始条件之一,从而避免传统蕴涵判定中,每一次都完全重构模型的冗余计算.最后,提出了一种与现有的收缩过程相反的理由求解方案——基于扩张的理由求解策略.通过迭代地添加公理过程,探测该公理集下的所有理由的公共元素.利用探测到的所有公共元素构造目标公理的理由.随后利用该文提出的增量推理任务分别给出新的"扩-缩"理由探求方法和"双扩"理由探求方法.实验结果表明,改进后的"扩-缩"理由探求方法在求解性能上优于原有的"扩-缩"理由探求方法;而新提� 展开更多
关键词 语义Web推理 OWL本体 理由 黑盒技术 蕴涵关系
下载PDF
物联网工程专业《Web应用开发》课程教学方案
3
作者 王法胜 董玉华 +3 位作者 何家亮 崔仙姬 张俊星 李绪成 《教育进展》 2018年第4期389-393,共5页
本文针对物联网工程专业的Web应用开发课程,设计了一套实用的课程教学方案。课程以一个网上商城项目贯穿始终,分别针对Servlet技术、JSP技术、JDBC技术、EL和JSTL技术,以及MVC设计模式进行讲授。授课过程中循序渐进,逐渐深入,将技术的... 本文针对物联网工程专业的Web应用开发课程,设计了一套实用的课程教学方案。课程以一个网上商城项目贯穿始终,分别针对Servlet技术、JSP技术、JDBC技术、EL和JSTL技术,以及MVC设计模式进行讲授。授课过程中循序渐进,逐渐深入,将技术的学习渗透到项目的每一个环节中,让学生真正理解Web开发中每一种技术的本质。同时,在考核方式上,采用柔性学习为基础的考核,强化自主吸收课外知识、完成项目任务的考核,使学生真正做到举一反三、融会贯通。教学实践证明,本文提出的课程方案效果良好,为其他院校的课程设计提供了经验。 展开更多
关键词 物联网工程 WEB开发 教学方案
下载PDF
基于互补概念和搜索图的MUPS求解优化方法
4
作者 崔仙姬 何加亮 +1 位作者 张俊星 高健 《软件学报》 EI CSCD 北大核心 2018年第10期2995-3008,共14页
本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满... 本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满足性检测,可以有效减少推理机的调用次数.接着,根据术语集扩展过程构造一个术语集搜索图,分别采用宽度优先搜索和深度优先搜索策略快速查找不可满足子术语集.该优化方法一方面减少了待测子术语集的规模,另一方面提高了查找不可满足子术语集对应的节点的查找效率.最后,实现了所给出的各类优化算法并与现有的黑盒优化算法进行了比较.实验结果表明,该方法从推理机调用次数和待测术语集规模方面均优于现有的MUPS求解方法,能够有效提高求解术语集MUPS的效率. 展开更多
关键词 描述逻辑 本体调试 MUPS 互补概念 选择函数
下载PDF
基于语义相似性的选择题自动生成优化方法
5
作者 温雪峰 崔仙姬 张俊星 《计算机与数字工程》 2020年第12期2850-2856,共7页
主流在线考试系统中的题目采用人工输入方式,具有耗费时间、金钱、人力的问题。基于这一点,提出一种基于本体语义相似性的选择题自动生成优化机制。针对现有基于本体的选择题自动生成技术产生的选择题具有数量庞大、相似度高的问题,提... 主流在线考试系统中的题目采用人工输入方式,具有耗费时间、金钱、人力的问题。基于这一点,提出一种基于本体语义相似性的选择题自动生成优化机制。针对现有基于本体的选择题自动生成技术产生的选择题具有数量庞大、相似度高的问题,提出一种基于图的最小顶点覆盖问题的相似性筛选方法,得到合适的、具有代表性的选择题。另一方面,考虑干扰项在选择题中的重要性,通过计算选择题选项之间的语义相似性提出一种高质量干扰项生成方法,从而控制题目的难度。实验结果表明,提出的相似性筛选算法与干扰项难度控制算法能够在一定程度上提高自动生成选择题的质量。 展开更多
关键词 本体 选择题 自动生成 试题筛选 干扰项生成
下载PDF
基于模型诊断的本体调试局部定位 被引量：1
6
作者 欧阳丹彤 苏静 +1 位作者 叶育鑫 崔仙姬 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2014年第6期1757-1763,共7页
将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理... 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。 展开更多
关键词 本体调试 定位 最小不可满足保持子术语集 极小不一致保持子集
下载PDF
基于概念R-MUPS的本体调试方法? 被引量：1
7
作者 欧阳丹彤 苏静 +1 位作者 叶育鑫 崔仙姬 《软件学报》 EI CSCD 北大核心 2015年第9期2231-2249,共19页
通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,... 通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,采用深度优先遍历原则合并分支计算R-MUPS,同时缓存覆盖概念集合,加快MIPS的求解,实现本体调试.通过概念扩展树与概念R-MUPS算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于R-MUPS的MIPS求解方法能够高效、准确地完成本体调试任务. 展开更多
关键词 本体调试 描述逻辑 定位 MUPS MIPS
下载PDF
基于关联解释的术语集MUPS求解方法
8
作者 崔仙姬 欧阳丹彤 +1 位作者 何加亮 高健 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第1期56-63,共8页
本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语... 本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率. 展开更多
关键词 描述逻辑 本体调试 极小不可满足保持子术语集 关联解释
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部