检索结果-内蒙古大学图书馆

计算机科学与探索 2015年第4期9卷 385-402页

作者：胡军马金晶刘雪程桢石娇洁黄志球南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 详细信息

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

关键词：系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)

来源：评论

学校读者我要写书评

暂无评论

跨机构的软件缺陷集成采样预测研究

引用

小型微型计算机系统 2015年第8期36卷 1700-1705页

作者：戴翔毛宇光南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

针对在本机构的历史缺陷数据缺乏的情况下,如何合理利用跨机构的缺陷数据进行预测的问题,提出一种基于迁移的跨机构软件缺陷集成采样预测方法.首先利用跨机构的源缺陷数据和所要预测的目标缺陷数据共有的特征属性进行K-NN过滤,合理选择... 详细信息

针对在本机构的历史缺陷数据缺乏的情况下,如何合理利用跨机构的缺陷数据进行预测的问题,提出一种基于迁移的跨机构软件缺陷集成采样预测方法.首先利用跨机构的源缺陷数据和所要预测的目标缺陷数据共有的特征属性进行K-NN过滤,合理选择带标记的跨机构缺陷数据;然后,综合利用SMOTE过采样和K-means聚类降采样解决所选择的跨机构缺陷数据中的不平衡问题;最后,对平衡后的数据,进行集成投票训练,并在目标数据上验证预测分类的效果.实验结果表明,该缺陷预测方法能够在保持较高的查全率的同时,显著降低误报率,具有一定的实际指导测试过程的能力.

关键词：跨机构 SMOTE K-means 采样集成学习

来源：评论

学校读者我要写书评

暂无评论

一种基于卡尔曼滤波的队列长度自适应算法

引用

传感器与微系统 2016年第1期35卷 131-134,138页

作者：张孝鹏王平邢建春杨启亮解放军理工大学国防工程学院江苏南京210007 国防工程设备环境及智能化军队重点实验室(解放军理工大学) 江苏南京210007 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

传统主动队列管理(AQM)算法在处理传感器网络突发流时具有响应速度慢、抗网络突变性能弱的缺点。针对此问题,提出了一种新的AQM算法,算法首先将队列长度作为早期拥塞检测参量,运用卡尔曼滤波理论预测队列长度;其次根据队列长度在缓冲区... 详细信息

传统主动队列管理(AQM)算法在处理传感器网络突发流时具有响应速度慢、抗网络突变性能弱的缺点。针对此问题,提出了一种新的AQM算法,算法首先将队列长度作为早期拥塞检测参量,运用卡尔曼滤波理论预测队列长度;其次根据队列长度在缓冲区的占用比来划分网络状态;最后根据不同占用比采取相应的丢包策略,自适应地调整丢包率,当出现网络突变时,加大调整幅度,使队列长度保持在理想区间。仿真实验表明:新算法能够较好地适应网络波动,提高网络服务质量(QoS),算法综合性能优于主流AQM算法。

关键词：主动队列管理拥塞控制队列长度预测卡尔曼滤波自适应

来源：评论

学校读者我要写书评

暂无评论

基于无线局域网的国防工程信息传输平台设计

引用

微型机与应用 2016年第6期35卷 75-78页

作者：张孝鹏王平邢建春杨启亮解放军理工大学国防工程学院江苏南京210007 解放军理工大学国防工程设备环境及智能化军队重点实验室江苏南京210007 南京大学计算机软件新技术国家重点实验室江苏南京210093

为提高国防工程保障水平,提供稳定快捷、安全可靠的信息通道,构建了基于无线局域网的国防工程信息传输平台。对传统有线网络的不足进行了分析,总结了无线局域网技术的优势;根据国防工程保障需求,分析了国防工程网络传输平台系统需求和... 详细信息

为提高国防工程保障水平,提供稳定快捷、安全可靠的信息通道,构建了基于无线局域网的国防工程信息传输平台。对传统有线网络的不足进行了分析,总结了无线局域网技术的优势;根据国防工程保障需求,分析了国防工程网络传输平台系统需求和设计原则;阐述了国防工程网络传输平台协议体系和功能架构;对存在的问题和下一步研究的方向进行了总结。

关键词：无线局域网网络传输传输协议网络拥塞

来源：评论

学校读者我要写书评

暂无评论

形式概念分析在软件维护中的应用综述

引用

电子学报 2015年第7期43卷 1399-1406页

作者：孙小兵李云李必信文万志扬州大学信息工程学院江苏扬州225127 南京大学计算机软件新技术国家重点实验室江苏南京210023 东南大学计算机科学与工程学院江苏南京211189 南通大学计算机科学与技术学院江苏南通226019

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的... 详细信息

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000～2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.

关键词：形式概念分析软件维护

来源：评论

学校读者我要写书评

暂无评论

基于电子病历的临床数据中心构建研究

基于电子病历的临床数据中心构建研究

引用

江苏省卫生信息学会第三次学术年会

作者：刘健韩秋君曹磊镇江市第一人民医院镇江212002 南京大学软件新技术国家重点实验室南京工业大学计算机学院南京211816

来源：评论

学校读者我要写书评

暂无评论

大数据哈希学习:现状与趋势

引用

Science Bulletin 2015年第Z1期 485-490页

作者：李武军周志华南京大学计算机软件新技术国家重点实验室软件新技术与产业化协同创新中心

随着信息技术的迅速发展,各行各业积累的数据都呈现出爆炸式增长趋势,我们已经进入大数据时代.大数据在很多领域都具有广阔的应用前景,已经成为国家重要的战略资源,对大数据的存储、管理和分析也已经成为学术界和工业界高度关注的热点.... 详细信息

随着信息技术的迅速发展,各行各业积累的数据都呈现出爆炸式增长趋势,我们已经进入大数据时代.大数据在很多领域都具有广阔的应用前景,已经成为国家重要的战略资源,对大数据的存储、管理和分析也已经成为学术界和工业界高度关注的热点.收集、存储、传输、处理大数据的目的是为了利用大数据,而要有效地利用大数据,机器学习技术必不可少.因此,大数据机器学习(简称大数据学习)是大数据研究的关键内容之一.哈希学习通过将数据表示成二进制码的形式,不仅能显著减少数据的存储和通信开销,还能降低数据维度,从而显著提高大数据学习系统的效率.因此,哈希学习近年来成为大数据学习中的一个研究热点.本文对这方面的工作进行介绍.

关键词：大数据机器学习哈希学习大数据学习

来源：评论

学校读者我要写书评

暂无评论

一致闭的禁忌交互集生成算法

引用

计算机学报 2015年第11期38卷 2279-2289页

作者：周吴杰张德平徐宝文东南大学数学系南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式... 详细信息

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.

关键词：组合测试约束条件禁忌覆盖表禁忌交互一致闭禁忌交互集类AETG算法

来源：评论

学校读者我要写书评

暂无评论

一种基于动态词典和三支决策的情感分析方法

引用

山东大学学报（工学版） 2015年第1期45卷 19-23页

作者：周哲商琳南京大学计算机科学与技术系江苏南京210046 南京大学计算机软件新技术国家重点实验室江苏南京210046

提出了一种新的特征提取方式,与三支决策思想相结合,运用在文本情感分析中,以提高分类器的效率。根据训练集合创建动态情感词典,然后根据情感词典提取文本的抽象特征,形成特征矩阵。在分类过程中,如果分类器对于目标文本的所属分类确信... 详细信息

提出了一种新的特征提取方式,与三支决策思想相结合,运用在文本情感分析中,以提高分类器的效率。根据训练集合创建动态情感词典,然后根据情感词典提取文本的抽象特征,形成特征矩阵。在分类过程中,如果分类器对于目标文本的所属分类确信程度不够高,那么分类器会利用三支决策的思想,将文本置于边界域中,等待别的处理方法。实验结果表明,在英文影评数据集上,基于动态词典的特征提取方法可以取得更好的分类准确率,而且三支决策规则可将一些样例放入边界域,提高了分类准确率。

关键词：情感分析观点挖掘文本数据挖掘特征抽取三支决策

来源：评论

学校读者我要写书评

暂无评论

进化算法首达时间分析的停时理论模型

引用

计算机学报 2015年第8期38卷 1582-1591页

作者：张宇山郝志峰黄翰林智勇广东财经大学数学与统计学院广州510320 南京大学计算机软件新技术国家重点实验室南京210093 广东工业大学计算机学院广州510006 华南理工大学软件学院广州510006 广东技术师范学院计算机科学学院广州510665

计算时间分析是进化算法理论基础研究中的重要课题,也是一大难点.该文基于停时理论,结合时齐马氏过程的性质,将进化算法的首达时间视为停时,提出了分析进化算法首达时间的一个新方法.在此框架下,Level-reaching Estimation Technique作... 详细信息

计算时间分析是进化算法理论基础研究中的重要课题,也是一大难点.该文基于停时理论,结合时齐马氏过程的性质,将进化算法的首达时间视为停时,提出了分析进化算法首达时间的一个新方法.在此框架下,Level-reaching Estimation Technique作为特例得到了严格的证明.为展示如何用该理论方法分析具体问题,以(1+λ)EA求解PEAK函数和(1+λ)ES求解倾斜平面问题为实例,分析了平均首达时间.结果表明,该文所提出的方法不但适用于离散优化问题也适用于连续优化问题,具有通用性.

关键词：进化算法计算时间停时时齐马氏过程首达时间

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：