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

软件学报 2010年第5期21卷 1138-1152页

作者：陈建忠徐天音李文中陆桑璐陈道蓄 Edward CHAN 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 香港城市大学电脑科学系

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销... 详细信息

提出了一种基于衍生树的P2P系统框架,以支持交互式流媒体应用.该系统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的系统管理策略可以显著地降低节点动态加入和退出等交互操作的开销.另外,通过使用分布式散列表(distributed hash table,简称DHT)来维护会话,可以较低的代价实现资源查找、服务重构和拓扑维护等任务.仿真实验结果表明,与现有的P2P流媒体系统相比,该系统具有良好的性能,其用户交互操作的开销可以降低超过50%.

关键词：衍生树 P2P流媒体交互性分割缓存分布式发现服务

来源：评论

学校读者我要写书评

暂无评论

联盟规范系统及其规范能力极限

引用

软件学报 2012年第7期23卷 1796-1804页

作者：王崇骏吴骏张雷谢俊元南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 河海大学计算机与信息学院江苏南京210098

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,... 详细信息

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.

关键词：规范系统交互时态逻辑联盟并发博弈结构

来源：评论

学校读者我要写书评

暂无评论

Agent思维状态属性的研究

引用

南京理工大学学报 2004年第6期28卷 634-638页

作者：程显毅夏德深南京理工大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

该文分析了目前有影响的BGP(信念—目标—规划 )和BDI(信念—愿望—意向 )思维状态模型的局限性 ,给出了Agent思维状态KOCBDI(知识—义务—交互—信念—愿望—意向 )模型 ,并用机器人足球 ,说明KOCBDI模型各属性的独立性。

关键词： Agent 思维状态机器人足球

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的三维模型视觉特征分析

引用

计算机工程与应用 2008年第21期44卷 174-178,216页

作者：韦伟杨育彬林金杰阮佳彬南京大学计算机软件新技术国家重点实验室计算机科学与技术系

首先从形状、颜色、纹理材质三个主要视觉特性入手,阐述模型的特征描述符,设计三元组视觉特征向量用于神经网络进行模型分类。具体基于感知器神经网络、Hopfield神经网络分别实现了对三维物体的分类。实验表明,基于神经网络的分类器能... 详细信息

首先从形状、颜色、纹理材质三个主要视觉特性入手,阐述模型的特征描述符,设计三元组视觉特征向量用于神经网络进行模型分类。具体基于感知器神经网络、Hopfield神经网络分别实现了对三维物体的分类。实验表明,基于神经网络的分类器能对基于视觉特征描述的三维物体进行有效识别。

关键词：三维模型视觉特征感知器神经网络 Hopfield网络三维物体分类

来源：评论

学校读者我要写书评

暂无评论

基于硬件虚拟化的内核同层多域隔离模型

引用

软件学报 2022年第2期33卷 473-497页

作者：钟炳南邓良曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 华为技术有限公司上海201206

为了解决内核不可信带来的问题,很多工作提出了同层可信基的架构,即,在内核同一硬件特权水平构建可部署安全机制的唯一保护域.但是,实际过程中往往面临多样化的安全需求,将多种对应的安全机制集中于唯一的保护域必然导致只要其中任何一... 详细信息

为了解决内核不可信带来的问题,很多工作提出了同层可信基的架构,即,在内核同一硬件特权水平构建可部署安全机制的唯一保护域.但是,实际过程中往往面临多样化的安全需求,将多种对应的安全机制集中于唯一的保护域必然导致只要其中任何一个安全机制被攻陷,同一个保护域内其他所有安全机制都可能被攻击者恶意篡改或者破坏.为了解决上述问题,提出了内核同层多域隔离模型,即在内核同一硬件特权水平构建多个保护域实现了不同安全机制的内部隔离,缓解了传统方法将所有安全机制绑定在唯一保护域带来的安全风险.实现了内核同层多域隔离模型的原型系统Decentralized-KPD,其利用硬件虚拟化技术和地址重映射技术,将不同安全机制部署在与内核同一特权水平的多个保护域中,并不会引起较大的性能开销.总体而言,实验结果展示了内核同层多域隔离模型的安全性和实用性.

关键词：硬件虚拟化内存隔离多域隔离

来源：评论

学校读者我要写书评

暂无评论

基于多层油藏问题负载均衡的并行任务划分

引用

软件学报 1999年第10期10卷 1061-1066页

作者：舒继武赵金熙赵金熙周维四张德富南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 胜利油田地质科学研究院东营257000

该文基于分布式并行计算机系统，对一类多层二维二相流油藏数值模拟问题给出了３种任务划分策略──“卷帘”方式、区域分解方式和“卷帘”与区域分解结合的方式，对它们进行了比较，提出了减少求解时间、利于负载均衡和提高并行性能的... 详细信息

该文基于分布式并行计算机系统，对一类多层二维二相流油藏数值模拟问题给出了３种任务划分策略──“卷帘”方式、区域分解方式和“卷帘”与区域分解结合的方式，对它们进行了比较，提出了减少求解时间、利于负载均衡和提高并行性能的任务划分方法，并实际应用于有多达７２万个网格节点的大规模油藏模拟问题实算结果表明，该策略划分产生的并行求解任务均衡，有利于加速比的提高．该方法也适用于区域或数据并行的任务划分问题.

关键词：并行计算负载均衡任务划分油藏数值模拟

来源：评论

学校读者我要写书评

暂无评论

一种面向非干扰的线程程序逻辑

引用

软件学报 2014年第6期25卷 1143-1153页

作者：李沁曾庆凯袁志祥安徽工业大学计算机学院安徽马鞍山243032 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 详细信息

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推理程序变量和线程标识符之间的依赖关系,进而判定是否存在高机密性变量对低机密性变量的干扰.

关键词：非干扰动态作用域线程公理语义

来源：评论

学校读者我要写书评

暂无评论

用于图分类的组合维核方法

引用

计算机学报 2009年第5期32卷 946-952页

作者：李宇峰郭天佑周志华南京大学计算机软件新技术国家重点实验室南京210093 香港科技大学计算机科学与工程系中国香港

对图等内含结构信息的数据进行学习,是机器学习领域的一个重要问题.核方法是解决此类问题的一种有效技术.文中针对分子图分类问题,基于Swamidass等人的工作,提出用于图分类的组合维核方法.该方法首先构建融合一维信息的二维核来刻画分... 详细信息

对图等内含结构信息的数据进行学习,是机器学习领域的一个重要问题.核方法是解决此类问题的一种有效技术.文中针对分子图分类问题,基于Swamidass等人的工作,提出用于图分类的组合维核方法.该方法首先构建融合一维信息的二维核来刻画分子化学特征,然后基于分子力学的相关知识,利用几何信息构建三维核来刻画分子物理性质.在此基础上对不同维度的核进行集成,通过求解二次约束二次规划问题来获得最优核组合.实验结果表明,文中方法比现有技术具有更好的性能.

关键词：机器学习图分类核方法结构信息集成学习

来源：评论

学校读者我要写书评

暂无评论

行动推理中循环因果关系的研究

引用

计算机学报 2005年第5期28卷 829-837页

作者：骆斌戈也挺朱朝晖陈世福南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与工程系南京210016

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处... 详细信息

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.

关键词：因果关系结果问题行动推理非单调推理规划因果理论

来源：评论

学校读者我要写书评

暂无评论

随机模型检验研究

引用

计算机学报 2015年第11期38卷 2145-2162页

作者：刘阳李宣东马艳王林章南京大学计算机软件新技术国家重点实验室南京210093 新加坡国立大学计算学院计算机科学系新加坡117417 南京航空航天大学计算机科学与技术学院南京210016

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛... 详细信息

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.

关键词：形式验证马尔可夫随机过程随机模型检验定量分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：