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

第十一届全国软件与应用学术会议(NASAC2012)

作者：张侃张广泉张茗泰陈名才苏州大学计算机科学与技术学院苏州 215006 南京大学计算机软件新技术国家重点实验室南京 210093

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS 软件的可信性,评估结果作为CPS 软件演化依据。这一过程的核心是可信性评估,可信性评估分为两个阶段：首先根据可信性指标模型,评估CPS 软件可信性;然后根据软件交互结构评估软件交互可信性;最后通过一个实例说明了提出方法的有效性。

关键词： CPS 能耗可信性指标模型软件可信性评估软件可信管理

来源：评论

学校读者我要写书评

暂无评论

基于函数占用和需求分析测试代码用例自适应优先排序

引用

计算机与现代化 2016年第3期 46-51页

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

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中... 详细信息

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中的调用函数存在路径为参照,利用源代码信息变更影响,进行影响域的回归测试分析,并对测试代码用例集进行回归范围确定。其次,考虑测试代码用例优先级排序的需求影响因素,并确定其需求优先级评价指标,然后与调用函数源代码变更影响指标进行权重自适应融合,并设计基于函数占用和需求分析评价优先级的动态调整算法。最后,通过仿真对比显示,所提方法可提高缺陷检测正确率,降低测试成本。

关键词：代码变更测试代码用例排序回归测试路径调用需求分析

来源：评论

学校读者我要写书评

暂无评论

项目驱动的电子商务课程教学

引用

计算机教育 2016年第1期 94-96页

作者：许蕾李言辉南京大学计算机科学与技术系江苏南京210023 南京大学计算软件新技术国家重点实验室江苏南京210023

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并... 详细信息

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并进一步提高学生分析、解决问题的学习能力和互助协作的团队工作能力。

关键词：项目驱动电子商务课堂教学

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式系统模型的安全性分析验证方法

引用

计算机技术与发展 2015年第10期25卷 7-12页

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

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 详细信息

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

关键词：系统安全性分析模型驱动 SysML/MARTE XFTA 状态机模型嵌入式系统模型

来源：评论

学校读者我要写书评

暂无评论

数据仓库OMNIX中的实现

数据仓库OMNIX中的实现

引用

第十七届全国数据库学术会议

作者：刘伟宏李晋晋何瑷徐洁磐南京南大谷元石油软件研究所有限公司南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系(南京)

来源：评论

学校读者我要写书评

暂无评论

基于最小泛化高度和的k匿名近似算法

基于最小泛化高度和的k匿名近似算法

引用

2008中国计算机大会

作者：朱世红柏文阳南京大学软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

k匿名是在数据发布环境下实现隐私保护的一种重要技术。在对一个数据表进行k匿名化时,如何使被隐匿单元的数量最少已经被证明为NP-Hard问题,因此大都采用近似算法来实现匿名化处理。论文提出了一个基于最小泛化高度和的近似算法,该算法... 详细信息

k匿名是在数据发布环境下实现隐私保护的一种重要技术。在对一个数据表进行k匿名化时,如何使被隐匿单元的数量最少已经被证明为NP-Hard问题,因此大都采用近似算法来实现匿名化处理。论文提出了一个基于最小泛化高度和的近似算法,该算法根据所有准标识符属性的最小泛化高度和确定元组集合的一个划分,然后再对划分中的每个子集进行匿名化处理。实验表明该算法能够有效减少k匿名化的信息损失。

关键词：数据发布 k匿名隐私保护局部重编码

来源：评论

学校读者我要写书评

暂无评论

改进的蚁群优化算法

改进的蚁群优化算法

引用

第十三届中国Rough集与软计算学术会议、第七届中国Web智能学术研讨会、第七届中国粒计算学术研讨会联合学术会议

作者：王俊张月峰谢斌福王崇骏南京大学计算机科学与技术系南京 210023 南京大学软件新技术国家重点实验室南京 210023

针对蚁群优化算法在进行全局最优解搜索时容易出现陷入局部最优解和收敛速度慢等缺陷，提出了一种求解全局最优解搜索问题的重叠蚁群算法。通过设置多个重叠的蚁群系统，并对不同蚁群之间进行信息素的动态学习，增强不同蚁群对最优解的... 详细信息

针对蚁群优化算法在进行全局最优解搜索时容易出现陷入局部最优解和收敛速度慢等缺陷，提出了一种求解全局最优解搜索问题的重叠蚁群算法。通过设置多个重叠的蚁群系统，并对不同蚁群之间进行信息素的动态学习，增强不同蚁群对最优解的开采能力，避免算法出现早熟现象。仿真实验结果表明，重叠蚁群算法在避免陷入局部最优解方面具有良好的效果，表明重叠蚁群算法是一种提高蚁群算法性能的有效改进算法。

关键词：人工智能蚁群算法局部最优解重叠蚁群动态学习

来源：评论

学校读者我要写书评

暂无评论

控制流监控在程序漏洞定位中的应用

控制流监控在程序漏洞定位中的应用

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：王磊郭二旺茅兵南京大学软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

如今，程序的安全漏洞层出不穷，受到的安全攻击也日益严重。传统的修补安全漏洞的方法是通过手工的方式进行漏洞的定位，然后再进行漏洞的修补。这种人工参与的方式的不足，不仅在于漏洞定位的困难性，而且在于程序漏洞补丁发布的滞后... 详细信息

如今，程序的安全漏洞层出不穷，受到的安全攻击也日益严重。传统的修补安全漏洞的方法是通过手工的方式进行漏洞的定位，然后再进行漏洞的修补。这种人工参与的方式的不足，不仅在于漏洞定位的困难性，而且在于程序漏洞补丁发布的滞后性。为此，我们提出一种自动定位程序漏洞的方法，可以自动捕获正在遭受攻击的程序，并迅速定位到遭受攻击的根源，由此为后续的工作，不管是自动生成虚拟补丁还是辅助生成官方补丁都有所裨益。我们的方法的基本思想是，提取出程序控制流对象，通过监控程序的控制流对象，由此检测出程序的漏洞。我们采用了最常用的缓冲区溢出攻击实例来测试我们设计的系统的有效性。通过实验，我们的系统均成功定位到了所有程序漏洞的源程序行。

关键词：自动定位程序漏洞漏洞攻击缓冲区溢出补丁发布

来源：评论

学校读者我要写书评

暂无评论

基于改进蚁群优化算法的云计算调度方法

引用

计算机与数字工程 2019年第4期47卷 743-747,793页

作者：王恩重陶传奇南京理工大学计算机科学与工程学院南京210094 南京航空航天大学计算机科学与技术学院南京210016 计算机软件新技术国家重点实验室(南京大学) 南京210023

云计算以其可伸缩性、高可靠性、低成本以及按需服务等诸多特点吸引了无数研究人员和企业的关注,成为了当今时代的热门话题,云计算任务调度在云计算研究领域占有十分重要的地位。论文首先分析了当前云计算任务调度现状,并对任务调度中... 详细信息

云计算以其可伸缩性、高可靠性、低成本以及按需服务等诸多特点吸引了无数研究人员和企业的关注,成为了当今时代的热门话题,云计算任务调度在云计算研究领域占有十分重要的地位。论文首先分析了当前云计算任务调度现状,并对任务调度中常用的蚁群算法进行了描述,同时针对传统蚁群算法在云计算任务调度中的不足,提出了基于改进蚁群优化算法的云计算调度方法,在信息素更新和信息素挥发两个方面对蚁群算法进行了改进。最后使用CloudSim进行实验,对算法的可行性进行了分析和验证。

关键词：云计算任务调度蚁群优化算法 CloudSim

来源：评论

学校读者我要写书评

暂无评论

基于Kinect的人体实时三维重建及其应用

基于Kinect的人体实时三维重建及其应用

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：马旋薛原杨若瑜南京大学计算机科学与技术系南京 210093 南京大学软件新技术国家重点实验室南京 210093

目前，人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据，并限定人体的姿势，不能很好地用于需要人体模型的交互式应用中。针对这个问题，提出一种基于单个Kinect的渐进式人体重建方法。首先结合特征点检测算法和校错处... 详细信息

目前，人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据，并限定人体的姿势，不能很好地用于需要人体模型的交互式应用中。针对这个问题，提出一种基于单个Kinect的渐进式人体重建方法。首先结合特征点检测算法和校错处理，对深度视频帧中人体上的特征点进行定位;其次对身体尺寸进行测算或估算，并在对视频流的处理中渐进式地补充与完善;最后根据以上信息对人体进行分块参数化建模和合成，得到人体模型。实验结果表明，在尺寸不完整的情况下，该方法即可重建包含肢体结构语义的完整人体，易于实现局部模型或姿势的修改，并在虚拟试衣应用中体现出良好的实时性和交互性。

关键词：人体三维重建实时性特征点定位渐进式人体测量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：