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

计算机科学 2013年第4期40卷 136-141,163页

作者：钱振江卢亮黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 常熟理工学院计算机科学与工程学院常熟215500

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式... 详细信息

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。

关键词：微内核多线程操作系统形式化描述形式化设计

来源：评论

学校读者我要写书评

暂无评论

一种随机TBFL方法

引用

计算机科学 2013年第1期40卷 5-13,18页

作者：王蓁蓁徐宝文周毓明陈林南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 金陵科技学院信息技术学院南京211169

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了... 详细信息

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。

关键词：错误定位测试为基础的错误定位随机错误定位方法

来源：评论

学校读者我要写书评

暂无评论

一种能量感知的无线传感网拓扑控制算法

引用

传感技术学报 2013年第3期26卷 382-387页

作者：陈志骆平岳文静扈罗全黄洵松曹壹毛博南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 江苏省无线传感网高技术研究重点实验室南京210003 宽带无线通信与传感网技术教育部重点实验室南京210003 苏州出入境检验检疫局江苏苏州215104

为不平衡能量分布的异构无线传感网构建一种拓扑控制算法EADCA。在该算法中,每个节点根据自己的剩余能量和邻居节点的平均剩余能量计算簇头声明报文发送的理论时刻;在该理论时刻,没收到任何簇头声明报文的节点成为簇头,该簇头广播簇头... 详细信息

为不平衡能量分布的异构无线传感网构建一种拓扑控制算法EADCA。在该算法中,每个节点根据自己的剩余能量和邻居节点的平均剩余能量计算簇头声明报文发送的理论时刻;在该理论时刻,没收到任何簇头声明报文的节点成为簇头,该簇头广播簇头声明报文;收到簇头声明报文的节点成为普通节点并放弃发送簇头声明报文。同时,该算法在簇头竞争过程中使用经验数据,并对孤立节点和能量过低节点进行休眠。仿真结果表明,EADCA能够延长网络生命周期,有效控制簇头分布密度。

关键词：无线传感网拓扑控制能量感知分簇

来源：评论

学校读者我要写书评

暂无评论

一种基于多维DHT空间映射的P2P安全拓扑方案

引用

中国科学：信息科学 2013年第3期43卷 343-360页

作者：孙知信骆冰清陈亚当卜凯南京邮电大学宽带无线通信与传感网技术教育部重点实验室南京210003 南京大学计算机软件新技术国家重点实验室南京210093

基于DHT(distributed Hash table)的分布式检索和路由算法凭借其良好的分布性、自组织性、可扩展性等优点,正成为国际上结构化P2P(peer-to-peer)网络研究和应用的热点.但相对于传统的C/S(client/server)网络,P2P网络的非中心化特点以及... 详细信息

基于DHT(distributed Hash table)的分布式检索和路由算法凭借其良好的分布性、自组织性、可扩展性等优点,正成为国际上结构化P2P(peer-to-peer)网络研究和应用的热点.但相对于传统的C/S(client/server)网络,P2P网络的非中心化特点以及网络中节点较强的自治性和动态性,使得节点实施恶意行为的可能性大大增加,这令DHT对节点安全性的要求很难得到满足.本文提出了一种基于多维映射机制的安全DHT协议,该机制通过对标识符进行按组划分,将P2P网络中的节点映射到一个多维空间,并通过设计合理的路由算法,使安全工作定位到相对简单的节点区域内进行.理论分析和实验结果表明,本机制能够简化现有DHT安全机制,有效抑制恶意路由行为,提高资源搜索成功率.

关键词：多维映射分布式Hash表结构化P2P网络路由攻击安全

来源：评论

学校读者我要写书评

暂无评论

多跳无线网络启发式网络编码协议研究

引用

小型微型计算机系统 2013年第6期34卷 1248-1252页

作者：李懿雯陶雯白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 江苏教育学院数学与信息技术学院南京210013

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调... 详细信息

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调整三个过程.其核心思想是:根据网络状况的变化,采用启发式方法自主地改变参与竞争转发节点的个数,以最大化网络吞吐量.另外,考虑到多跳无线网络的动态变化特性以及对服务质量的需求,分别提出动态启发式网络编码协议(DHNC)和快速启发式网络编码协议(FHNC).仿真结果表明,GHNC、DHNC以及FHNC能够快速适应网络环境的变化,显著提高网络性能.

关键词：多跳无线网络网络编码机会转发启发式方法

来源：评论

学校读者我要写书评

暂无评论

查询词相似度加权的邻近性检索方法

引用

模式识别与人工智能 2013年第2期26卷 189-194页

作者：乔亚男刘跃虎齐勇西安交通大学电子与信息工程学院西安710049 南京大学计算机软件新技术国家重点实验室南京210093 西安交通大学电子与信息工程学院西安710049

传统的邻近性检索模型同等地看待所有查询词,不加区分地考虑所有查询词的邻近性,造成"平行概念效应",影响邻近性检索方法的性能.文中提出一种查询词相似度加权的邻近性检索方法.该方法根据查询词之间的语义相似度对查询词邻... 详细信息

传统的邻近性检索模型同等地看待所有查询词,不加区分地考虑所有查询词的邻近性,造成"平行概念效应",影响邻近性检索方法的性能.文中提出一种查询词相似度加权的邻近性检索方法.该方法根据查询词之间的语义相似度对查询词邻近性统计量加权,可进一步推断用户的实际信息需求,挖掘查询中蕴含的更深层次的信息.实验结果表明,在短查询较多的应用环境下,文中方法可较显著提升传统邻近性检索模型的性能,有效规避查询词邻近性的平行概念效应.

关键词：信息检索语义相似度查询词邻近性(QTP) 信息需求

来源：评论

学校读者我要写书评

暂无评论

带方向特征的Contourlet HMT模型

引用

中国科学：信息科学 2013年第5期43卷 626-643页

作者：王相海陈明莹宋传鸣徐孟春方玲玲辽宁师范大学计算机与信息技术学院大连116029 南京大学计算机软件新技术国家重点实验室南京210093 苏州大学江苏省计算机信息处理技术重点实验室苏州215006

根据Shannon信息理论将纹理的方向特征定义为:图像中信号取值为随机分布的奇异值时方向变量的取值特征.根据这一定义,并结合Tamura方向特征的求取方法,文中对Contourlet变换系数的方向概率分布进行了研究,获得方向特征在Contourlet变换... 详细信息

根据Shannon信息理论将纹理的方向特征定义为:图像中信号取值为随机分布的奇异值时方向变量的取值特征.根据这一定义,并结合Tamura方向特征的求取方法,文中对Contourlet变换系数的方向概率分布进行了研究,获得方向特征在Contourlet变换的父子子带间形成传递这一结论,在此基础上结合Contourlet隐Markov树(HMT)模型,建立了以隐状态变量分布为条件的方向隐变量的概率分布模型,即带方向特征的Contourlet HMT模型,给出了该模型的结构和训练方法.此外,通过基于所提出模型的无监督结合上下文信息的图像分割算法对合成图像和遥感图像的目标分割实验验证了所提出模型的有效性.

关键词：方向特征 Contourlet HMT 无监督纹理分割隐状态变量分布

来源：评论

学校读者我要写书评

暂无评论

一种求三支决策阈值的模拟退火算法

引用

小型微型计算机系统 2013年第11期34卷 2603-2606页

作者：贾修一商琳南京理工大学计算机科学与工程学院南京210094 南京大学软件新技术国家重点实验室南京210093

三支决策粗糙集模型作为一种代表性的概率型粗糙集模型,在给定损失函数基础上可以计算出决策所需阈值,能够推导出现有多种概率型粗糙集模型,但是决策粗糙集模型需要合适的先验知识预先设定损失函数,使得三支决策粗糙集在应用过程中受限... 详细信息

三支决策粗糙集模型作为一种代表性的概率型粗糙集模型,在给定损失函数基础上可以计算出决策所需阈值,能够推导出现有多种概率型粗糙集模型,但是决策粗糙集模型需要合适的先验知识预先设定损失函数,使得三支决策粗糙集在应用过程中受限.基于针对决策粗糙集模型构建的最优化问题,提出了一种模拟退火算法,通过解决该优化问题,能够从数据中学习出三支决策模型所需的阈值.在部分数据集上的实验表明了模拟退火算法在运行时间上要优于现有的算法,基于模拟退火算法求得的阈值能够得到较小的决策风险代价.

关键词：三支决策粗糙集模拟退火代价函数决策阈值

来源：评论

学校读者我要写书评

暂无评论

TBFL和SAFL方法熵分析

引用

计算机科学 2013年第11期40卷 152-157页

作者：王蓁蓁徐宝文周毓明陈林金陵科技学院信息技术学院南京211169 江苏省信息分析工程实验室南京211169 南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为TBFL(testing-based fault localization)方法和SAFL(similarity-aware fault localization)方法构造了熵模型,并用该模型对Dicing方法、TARANTULA方法、SAFL方法在一个实例上进行分析比较。结果表明,熵模型可以为构造以及分析TBFL方... 详细信息

关键词：熵错误定位相似性错误定位

来源：评论

学校读者我要写书评

暂无评论

微内核架构文件系统的形式化设计与验证方法研究

引用

小型微型计算机系统 2013年第10期34卷 2261-2266页

作者：钱振江唐洪英李康杰黄皓宋方敏常熟理工学院计算机科学与工程学院江苏苏州215500 南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 伦敦大学国王学院

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语... 详细信息

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

关键词：文件系统微内核架构形式化设计形式化验证正确性断言 Isabelle HOL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：