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

计算机工程与应用 2013年第5期49卷 64-69页

作者：陈智勇徐锋余萍南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为... 详细信息

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-Oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态地调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法。根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在LegoNXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性。

关键词：软件安全性面向上下文编程(COP) 编程模型

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava2处理系统——代码转换程序

引用

计算机科学与探索 2013年第7期7卷 659-666页

作者：蔡希辉徐家福南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,... 详细信息

NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。

关键词： NDQJava2语言处理系统语法树代码转换程序

来源：评论

学校读者我要写书评

暂无评论

回归测试用例选择技术研究综述

引用

计算机科学 2013年第10期40卷 1-9页

作者：陈翔顾卫江徐慧顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先... 详细信息

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先在回归测试活动和测试用例划分基础上,引出RTS问题和相关假设。随后从源代码和模型角度对已有RTS技术进行分类,从源代码角度出发,又进一步将其细分为线性规划法、数据流分析法、图遍历法、程序切片法和防火墙法等。接着对常见评测数据集和评测指标进行总结,最后对该问题的未来研究方向进行了展望。

关键词：回归测试测试用例选择图遍历法.程序切片线性规划

来源：评论

学校读者我要写书评

暂无评论

回归测试中测试用例集扩充技术研究进展

引用

计算机科学 2013年第6期40卷 8-15,28页

作者：陈翔顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并... 详细信息

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。

关键词：回归测试测试用例集扩充测试覆盖准则动态符号执行演化测试

来源：评论

学校读者我要写书评

暂无评论

一种检测具有反分析能力的恶意软件的方法

引用

计算机应用与软件 2013年第4期30卷 1-4,39页

作者：杨兆曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

提出一种自动检测具有反分析能力的恶意软件的方法。在四种不同的分析环境中,采用两种不同类型的监控技术记录恶意程序执行的系统调用序列和指令序列。首先比较系统调用序列,如果发现不同,进一步比较指令序列,判断不同的原因是否由反分... 详细信息

提出一种自动检测具有反分析能力的恶意软件的方法。在四种不同的分析环境中,采用两种不同类型的监控技术记录恶意程序执行的系统调用序列和指令序列。首先比较系统调用序列,如果发现不同,进一步比较指令序列,判断不同的原因是否由反分析导致。实验结果表明,该方法能检测出不同类型的逃避分析技术。

关键词：虚拟机发现行为比较序列对齐动态后向切片

来源：评论

学校读者我要写书评

暂无评论

基于人脸检测和关键点识别的快速人体组件划分

引用

计算机应用与软件 2013年第1期30卷 273-276,324页

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

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定... 详细信息

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定位人体大致范围,再通过边缘检测获取准确的人体轮廓,最后设计并使用高效的十字链表存储和检索方法,完成基于轮廓关键点查找的人体组件划分。实验表明该方法具有较好的实时性和准确率。

关键词：人体组件划分人脸检测边缘检测十字链表关键点

来源：评论

学校读者我要写书评

暂无评论

一种用于中药方剂网络重叠社区发现的改进COPRA算法

引用

南京大学学报（自然科学版） 2013年第4期49卷 483-490页

作者：孙道平高原谢隽范欣生王崇骏南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 南京中医药大学江苏省方剂重点实验室南京210046

现阶段关于方剂配伍规律的研究主要用到的是数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和... 详细信息

现阶段关于方剂配伍规律的研究主要用到的是数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和内隐性方面还有不足之处.提出一种新的复杂网络的模型来探索中药方剂配伍规律,并用改进的COPRA算法对构建的复杂中药方剂网络进行社团发现,最后通过用自定义的模块密度来衡量所发现的社团紧密程度,以及对发现的社团与关联规则挖掘算法挖掘出的最大频繁项集进行比较,发现该模型及算法有很好的效果,具有一定的实用性.

关键词：中药方剂网络 COPRA算法模块密度

来源：评论

学校读者我要写书评

暂无评论

多力驱动的无线传感器网络QoS路由协议

引用

传感技术学报 2013年第11期26卷 1564-1572页

作者：于淼白光伟沈航张芃曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于多势场力的QoS感知的无线传感器网络路由MFQR。为了更有效的适应网络环境的变化,MFQR中节点自适应的选取满足时延和投递率要求的转发节点。在网络状况良好时,协议通过深度-能量混合势场力选取转发节点集合,以均衡节点能耗;... 详细信息

提出一种基于多势场力的QoS感知的无线传感器网络路由MFQR。为了更有效的适应网络环境的变化,MFQR中节点自适应的选取满足时延和投递率要求的转发节点。在网络状况良好时,协议通过深度-能量混合势场力选取转发节点集合,以均衡节点能耗;当网络负载加重时,协议通过深度-队列长度混合势场力选取转发节点集合,以避开拥塞区域。仿真结果表明,MFQR可以有效地适应实时性、可靠性要求的变化,同时提高了网络吞吐量,均衡了节点能耗,延长了网络生命周期。

关键词：无线传感器网络路由协议势场力 QoS 流量感知

来源：评论

学校读者我要写书评

暂无评论

基于动态缓存的无线网络编码性能分析模型

引用

系统仿真学报 2013年第10期25卷 2468-2474,2480页

作者：白光伟金铃沈航曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 南京理工大学高维信息智能感知与系统教育部重点实验室南京210094

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的。结合IEEE802.11DCF信道随机接入机制,提出了一种基于动态缓存的精确分析无线网络编码性能的模型。该模型主要研究无线节点缓存有限及可变的情况下,网络节点平等接入和... 详细信息

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的。结合IEEE802.11DCF信道随机接入机制,提出了一种基于动态缓存的精确分析无线网络编码性能的模型。该模型主要研究无线节点缓存有限及可变的情况下,网络节点平等接入和多优先级接入时的网络编码性能。通过构建嵌入式马尔科夫链模型对动态缓存进行数学建模,及离散二维马尔科夫链模型对DCF信道随机接入机制进行建模分析,从而得出一系列与网络编码性能密切相关的重要参数,如节点信道接入概率、数据包成功发送概率、平均编码数目、有效吞吐量等。结果表明,该模型精确评估了动态缓存和随机接入机制对无线网络编码的影响,为深入剖析无线网络编码特性和更好地运用网络编码提供了有力的依据。

关键词：网络编码动态缓存随机信道接入机制嵌入式马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

基于TCP/IP的远程触觉交互系统力反馈数据传输方法

引用

计算机科学 2013年第11期40卷 58-60,69页

作者：蒋峥峥高瞻顾翔陈翔南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验... 详细信息

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验结果证明,该方法有效地解决了远程触觉交互系统中实时力反馈的信息再现与信息交互问题,在远程医疗、远程教学、虚拟现实等领域具有重要的应用价值。

关键词：触觉交互远程协作力反馈 TCP IP 实时数据传输

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：