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

计算机科学 2011年第B10期38卷 359-363,393页

作者：缪成蓓白光伟顾跃跃南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093

主要研究传感器网络安全和能量高效的层簇式路由协议机制。在深入分析现有LEACH协议所面临的安全威胁的基础上,提出了一种动态的、基于分区自治的层簇式安全路由协议DZS-LEACH。其核心思想是,在多跳路由中融入动态密钥管理,使协议适应... 详细信息

主要研究传感器网络安全和能量高效的层簇式路由协议机制。在深入分析现有LEACH协议所面临的安全威胁的基础上,提出了一种动态的、基于分区自治的层簇式安全路由协议DZS-LEACH。其核心思想是,在多跳路由中融入动态密钥管理,使协议适应无线传感器网络动荡的拓扑结构,增强了协议的延展性;同时,DZS-LEACH通过分区自治避免远离基站的节点直接与汇聚节点通信,以均衡节点能耗。仿真实验表明,改进的路由协议DZS-LEACH大大减少了因网络攻击而造成的数据流失,增强了抗攻击能力,显著降低了网络能耗,延长了网络生存时间。

关键词：传感器网络安全路由协议分区自治动态密钥均衡能耗

来源：评论

学校读者我要写书评

暂无评论

改进的程序时序安全属性模型检测技术

引用

计算机工程 2011年第7期37卷 28-30页

作者：张志张林曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 上海市信息安全综合管理技术研究重点实验室上海200030

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改... 详细信息

针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性。

关键词：时序安全属性模型检测别名分析

来源：评论

学校读者我要写书评

暂无评论

移动无线传感器网络采样区域自调整的MCL定位算法

引用

计算机科学 2011年第12期38卷 49-52,60页

作者：叶飞虎沈航曹磊白光伟南京工业大学计算机科学与技术系南京210009 南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210093

定位技术是无线传感器网络中关键的支撑技术之一。现有的无线传感器网络定位算法大多是针对静态场景的,不能直接应用于移动无线传感器网络。针对移动无线传感器网络的特点,在深入分析现有蒙特卡洛算法的基础上,提出一种改进机制,即采样... 详细信息

定位技术是无线传感器网络中关键的支撑技术之一。现有的无线传感器网络定位算法大多是针对静态场景的,不能直接应用于移动无线传感器网络。针对移动无线传感器网络的特点,在深入分析现有蒙特卡洛算法的基础上,提出一种改进机制,即采样区域自调整的蒙特卡洛节点定位(SA_MCL)算法。该算法通过对节点历史位置信息插值模拟获得节点的运动速度和方向,目的是为了自动调整采样区域,从而提高定位精度。仿真结果表明,采用SA_MCL算法,节点的定位精度有较大提高。

关键词：移动无线传感器网络定位蒙特卡洛采样区域

来源：评论

学校读者我要写书评

暂无评论

结合语句执行补集的程序错误定位

引用

计算机科学与探索 2011年第6期5卷 522-533页

作者：胡从兴陈林丁晖曾奕南京大学计算机科学与技术系南京210093 上海市计算机软件评测重点实验室上海201114 南京大学计算机软件新技术国家重点实验室南京210093

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影... 详细信息

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明,与其他方法相比,所提方法能够减少找到错误时需要检查的语句数目,从而达到提高错误定位效果的目的。

关键词：软件测试覆盖信息错误定位调试

来源：评论

学校读者我要写书评

暂无评论

基于特征融合的多模态身份识别方法研究

引用

计算机工程与设计 2011年第8期32卷 2849-2852页

作者：林玲周新民商琳高阳伊犁师范学院计算机系新疆伊宁835000 江苏省公安厅江苏南京210024 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学江阴信息技术研究院江苏无锡214433

研究了多模态身份识别问题,结合人脸和掌纹两种不同生理特征,提出了基于特征融合的多模态身份识别方法。对人脸和掌纹图像分别进行Gabor小波、二维主元变换(2DPCA)提取图像特征,根据新的权重算法,结合两种模态的特征,利用最邻近分类器... 详细信息

研究了多模态身份识别问题,结合人脸和掌纹两种不同生理特征,提出了基于特征融合的多模态身份识别方法。对人脸和掌纹图像分别进行Gabor小波、二维主元变换(2DPCA)提取图像特征,根据新的权重算法,结合两种模态的特征,利用最邻近分类器进行分类识别。在AMP、ORL人脸库和Poly-U掌纹图像库中的实验结果表明,两种模态的融合能更多地给出决策分析所需的特征信息相比传统的单一模态的人脸或掌纹识别具有较高的识别率,更具安全性和准确性。

关键词：身份识别多模态人脸识别掌纹识别特征融合

来源：评论

学校读者我要写书评

暂无评论

基于变异测试和OWL-S文档的Web服务测试用例生成

引用

计算机与数字工程 2011年第12期39卷 8-11页

作者：严满根许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还... 详细信息

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。

关键词： Web服务变异测试 OWL-S文档测试用例生成

来源：评论

学校读者我要写书评

暂无评论

采用动作时序逻辑的Web服务组合方法

引用

计算机科学与探索 2011年第3期5卷 208-220页

作者：周宁刘慧王红兵谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 东南大学计算机科学与工程学院南京210096

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

关键词：网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的JBoss中间件动态更新

基于虚拟机的JBoss中间件动态更新

引用

2011全国软件与应用学术会议(NASAC2011)

作者：姚燕顾天晓曹春马晓星南京大学计算机科学与技术系南京 210093 南京大学计算机软件新技术国家重点实验室南京 210093

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来... 详细信息

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来实现典型Java中间件JBoss系统的动态更新。该技术克服了既有技术不能支持内部类和自定义加栽器等缺陷，能够在微内核、构件容器以及应用程序等不同层面支持JBoss中间件及其上应用的动态更新。

关键词：软件中间件动态更新 JBoss系统 JDUS技术

来源：评论

学校读者我要写书评

暂无评论

基于边界剪枝的不确定场境下偏好查询技术

引用

计算机科学与探索 2011年第5期5卷 410-425页

作者：郑吉平秦小麟戴华南京航空航天大学计算机科学与技术系南京210016 南京大学计算机软件新技术国家重点实验室南京210093

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询... 详细信息

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询,用户查询等价于搜索建立的场境偏好空间(contextual preferencesspace,CPS)。根据具体应用需求,考虑了两种搜索方案:搜索最优的元组和返回top-k(k为用户指定)个元组。采用定量的方法对用户偏好进行建模。为了提高查询处理效率,提出两种搜索剪枝策略:边界剪枝(branch and bound searching,BBS)和偏序边界剪枝(partial value branch and bound space searching,pBBS)。最后,从I/O访问次数和CPU运行时间两个角度评价所提出的方法。

关键词：场境感知偏好查询处理边界剪枝 top-k

来源：评论

学校读者我要写书评

暂无评论

静动态结合的Java程序不变性分析方法

引用

计算机学报 2010年第4期33卷 736-746页

作者：于利前王林章雷斌赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态... 详细信息

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.

关键词：不变性静态分析动态分析混合分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：