康达周

作品数:21被引量:67H指数:6
导出分析报告
供职机构:南京航空航天大学计算机科学与技术学院更多>>
发文主题:描述逻辑知识表示本体语义WEB模糊描述逻辑更多>>
发文领域:自动化与计算机技术文化科学电子电信更多>>
发文期刊:《计算机与现代化》《计算技术与自动化》《东南大学学报(自然科学版)》《计算机系统应用》更多>>
所获基金:国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于变分自编码器的实验设计被引量:1
《计算机系统应用》2022年第3期113-121,共9页张志博 康达周 
十三五装备预研共用技术项目(41402020101);基础科研项目(JCKY2020605C003)。
针对现有实验设计方法难以对复杂系统进行高效实验设计的问题,本文提出了一种基于变分自编码器的实验设计方法,首先利用实验历史记录数据训练变分自编码器将复杂的实验样本空间编码到一个较为简单的隐变量空间,然后在该隐变量空间里进...
关键词:复杂系统 实验设计 变分自编码器 支持向量回归 
“新工科”教育质量评估方法探索被引量:3
《工业和信息化教育》2018年第9期10-13,共4页沈国华 钱巨 陈海燕 康达周 张德平 
南京航空航天大学教学改革项目"面向工程认证的教育质量评估与管理支撑平台研究"(项目编号:2017JG0403Z)
"新工科"成为当前高等工程教育的重要内容,如何对"新工科"教育质量进行评估是一个值得研究的问题。现有的评估方法存在依赖专家经验且基本由人工完成、教育质量评估指标体系与支撑材料之间关联关系不够清晰等方面的不足。针对这些问题,...
关键词:工程教育专业认证 新工科 教育质量评估 评估指标体系 
本体映射综述被引量:11
《计算机科学》2017年第9期1-10,共10页王顺 康达周 江东宇 
江苏省基础研究计划(自然科学基金)资助项目(BK20130812);中央高校基本科研业务费专项资金(NS2014099);国防基础科研计划重点项目(JCKY2016206B001);武汉大学软件工程国家重点实验室开放基金(SKLSE2012-09-09)资助
作为不同本体之间知识共享和互操作的一种方法,本体映射受到越来越多的重视。根据本体映射过程将本体映射系统划分为五大功能组件,总结了本体映射系统中常用的相似度算法。通过梳理本体映射领域的最新发展成果,从不同层次、不同维度构...
关键词:本体映射 本体 本体匹配 
基于本体的概念体系结构导出的一致性验证
《计算机与现代化》2017年第8期84-90,97,共8页江东宇 康达周 王顺 
中央高校基本科研业务费专项资金资助项目(NS2014099);江苏省自然科学基金基础研究计划资助项目(BK20130812);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE2012-09-09);国防基础科研计划重点项目(JCKY2016206B001)
软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,...
关键词:本体 概念体系结构 一致性验证 特征模型 Jena推理 
基于本体的需求分析和软件体系结构设计研究被引量:2
《计算技术与自动化》2017年第2期129-135,共7页江东宇 康达周 王顺 
中央高校基本科研业务费专项资金资助(NS2014099);江苏省基础研究计划(自然科学基金)资助项目(BK20130812);国防基础科研计划重点项目(JCKY2016206B001);武汉大学软件工程国家重点实验室开放基金(SKLSE2012-09-09)
传统的软件开发模式下,从提出需求到完成设计之间跨越的鸿沟是降低开发效率的主要因素。为了辅助设计人员进行高效的软件开发,文中提出一个基于本体的需求分析和软件体系结构设计方法。首先建立领域本体模型、需求本体模型和软件体系结...
关键词:本体 语义网 语义标注 语义搜索 软件体系结构设计 
云计算环境中支持语义的安全策略匹配研究被引量:2
《小型微型计算机系统》2015年第11期2451-2456,共6页朱羿全 沈国华 黄志球 康达周 阚双龙 
国家自然科学基金项目(61272083;61100034;61170043)资助;江苏省自然科学基金青年基金项目(BK20130812)资助;中央高校基本科研业务费专项资金项目(NS2014099)资助
云计算环境中,一致的安全策略是用户和服务能够成功交互的基础.如何有效地实现安全策略的匹配已经成为保证云计算环境安全的重要关注点之一.因此,提出一种云计算环境中支持语义的服务安全策略匹配方法,将策略匹配的问题转换成语义概念...
关键词:云计算 安全策略 语义匹配 云安全本体 描述逻辑 
结合本体和规则推理的SFMEA方法研究被引量:2
《计算机与现代化》2015年第1期15-20,共6页朱羿全 沈国华 康达周 廖莉莉 
国家自然科学基金资助项目(61272083;61100034;61170043);江苏省自然科学基金青年基金资助项目(BK20130812);中央高校基本科研业务费专项资金资助项目(NS2014099)
安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis,SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析,存在信息共享性差、分析准确性低等问题。针对上述问...
关键词:安全关键软件 软件安全性 软件失效模式与影响分析 本体论 规则推理 
Walsh函数在组合测试中的应用
《计算机学报》2014年第12期2482-2491,共10页王蓁蓁 周毓明 康达周 王子元 李言辉 徐宝文 
国家自然科学基金重大研究计划重点项目(90818027);国家自然科学基金面上项目(60773104;60803007);国家"八六三"高技术研究发展计划专题项目(2008AA01Z143;2009AA01Z147);金陵科技学院科研基金(jit-n-201305)资助~~
实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式...
关键词:软件测试 组合测试 软件调试 WALSH函数 测试用例模式 
语义网本体在离散数学课程教学中的应用
《科教文汇》2014年第7期58-60,共3页康达周 
江苏省自然科学基金青年基金项目(BK20130812);南京航空航天大学青年科技创新基金(NS2014099);武汉大学软件工程国家重点实验室开放基金项目(SKLSE2012-09-09)资助
语义网本体广泛应用于知识工程、人工智能以及计算机科学领域,在教育、科研等方面也有重要作用。针对当前离散数学课程教学中存在的内容广、概念多、高度抽象和理论化等困难,利用本体作为辅助离散数学课程教学的重要工具,辅助学生理解...
关键词:本体 离散数学 教学 
基于隶属度比较的描述逻辑SHOIQ模糊扩展被引量:3
《中国科学:信息科学》2013年第5期571-583,共13页康达周 徐宝文 李言辉 
国家自然科学基金重大研究计划项目(批准号:90818027);国家自然科学基金重大研究计划重点项目(批准号:60633010);国家博士后科学基金项目(批准号:20090461085)资助
语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FS...
关键词:模糊描述逻辑 隶属度 比较 知识表示 推理算法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部