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

计算机学报 2004年第3期27卷 339-346页

作者：崔萌李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)... 详细信息

统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 .

关键词： UML 统一建模语言 OMG规范面向对象活动图形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于结构体随机化的内核Rootkit防御技术

引用

计算机学报 2014年第5期37卷 1100-1110页

作者：辛知陈惠宇韩浩茅兵谢立南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

内核Rootkit对于操作系统来说是个严重的威胁.入侵者通过植入内核Rootkit,修改一些关键的内核结构体,实现恶意进程隐藏、日志文件删除、私密信息窃取等恶意行为.由于Rootkit主要通过篡改内核结构体对象来实现控制流截取,因此我们试图通... 详细信息

内核Rootkit对于操作系统来说是个严重的威胁.入侵者通过植入内核Rootkit,修改一些关键的内核结构体,实现恶意进程隐藏、日志文件删除、私密信息窃取等恶意行为.由于Rootkit主要通过篡改内核结构体对象来实现控制流截取,因此我们试图通过结构体随机化来防御这些入侵.在文中,作者提出了一种基于编译器的自动结构体随机化技术,解决了包括结构体的可随机化识别,随机化语义不变保护以及自动随机化等多个技术难题,最终利用随机环境下攻击者无法预知结构体域排列的特点,实现对内核Rootkit的防御.在实验环节,我们在被随机化的Linux系统中测试了已知的5种不同原理的8个真实的Rootkit,结果展示了我们的方法以几乎零负荷的代价防御了全部的Rootkit加载.

关键词：计算机安全内核Rootkit 随机化结构体操作系统网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

TV-Anytime服务器网络中一个映射问题的启发式算法

引用

计算机学报 2001年第10期24卷 1009-1017页

作者：杜鹏周笑波谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于... 详细信息

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于服务器网络的总存储容量、连接服务器结点之间的主干网通信带宽、用户的服务请求模式 ,来考虑尽大化服务器网络可提供的总服务质量 .给出了基于模拟退火的启发式算法集 ,并基于一套映射问题的基准集实例对算法进行了模拟和性能分析 .算法得到近似最优的方案 .

关键词： TV-Anytime 影像对象映射编码比特率层次型服务器网络启发式算法

来源：评论

学校读者我要写书评

暂无评论

GCaching——一种网格协同缓存系统

引用

计算机研究与发展 2004年第12期41卷 2211-2217页

作者：李文中顾铁成李春洪陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

协同缓存通过多个代理缓存服务器的协同工作 ,可以充分利用各服务器的缓存空间 ,提高缓存命中率网格技术可以方便地共享和整合异构的服务器资源结合网格和协同技术 ,提出了一种网格协同缓存系统GCaching ,它将地域上分布的多个代理... 详细信息

协同缓存通过多个代理缓存服务器的协同工作 ,可以充分利用各服务器的缓存空间 ,提高缓存命中率网格技术可以方便地共享和整合异构的服务器资源结合网格和协同技术 ,提出了一种网格协同缓存系统GCaching ,它将地域上分布的多个代理缓存服务器组成缓存池 ,充分利用缓存资源 ,协同工作 ,为用户提供更好的服务能力 GCaching系统设计并实现了一种缓存放置和替换算法GCPR ,它使用周期缓存更新策略 ,根据用户访问模式自适应地调整缓存数据的分布仿真实验表明。

关键词：网格协同缓存

来源：评论

学校读者我要写书评

暂无评论

公共服务热线中基于地域自适应的突发事件实时检测方法

引用

计算机学报 2020年第12期43卷 2259-2275页

作者：麦丞程陈玉婷仇学明刘健赵博袁春风黄宜华南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

随着信息技术的普及应用,城市公共服务热线平台累积了大量亟待分析的民生诉求数据.传统事件检测方法缺少对于地域模式的考虑,同时,其所依赖的GPS地理信息也不易获得.因此,难以直接运用现有的突发事件检测方法挖掘公共服务热线中潜在的... 详细信息

随着信息技术的普及应用,城市公共服务热线平台累积了大量亟待分析的民生诉求数据.传统事件检测方法缺少对于地域模式的考虑,同时,其所依赖的GPS地理信息也不易获得.因此,难以直接运用现有的突发事件检测方法挖掘公共服务热线中潜在的民生突发事件.为此,本文提出了一种基于地域自适应的突发事件实时检测方法(RAEDetection).首先,提出一种基于增量式Kleinberg模型的突发词识别算法,克服了现有批处理式Kleinberg模型的局限性,可从流式增量数据中实时识别突发词汇;然后,提出一种基于分层语义分析的候选突发事件识别算法,以突发词为线索,先根据突发词的主题层语义信息确定突发主题事件,再根据诉求记录的事件层语义信息将每个突发主题事件进一步细分为多个候选突发事件;最后,提出一种基于事件地域树的地域模式自适应识别算法,通过构建包含市级、区级、街道级三层结构的事件地域树,并通过基于KL距离的事件地域分布检验与优化,自适应地识别不同事件发生的地域模式,过滤候选突发事件中的噪声数据,得到最终的突发事件.在城市公共服务真实数据集以及Twitter数据集上的实验结果表明,与目前最新的方法对比,本文方法具有更高的检测准确率和更快的计算性能,能够有效地检测出数据流中的突发事件,算法具备良好的数据和系统可扩展性.本文方法已经成功落地应用于江苏省公共服务热线平台,提供高效的自动化和智能化突发事件检测服务.

关键词：事件检测突发性分析地域自适应公共服务热线数据挖掘

来源：评论

学校读者我要写书评

暂无评论

考虑类特性的面向对象错误定位

引用

计算机学报 2013年第12期36卷 2420-2428页

作者：涂径玄陈林许蕾卢红敏徐宝文南京大学软件新技术国家重点实验室南京210048 南京大学计算机科学与技术系南京210048

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实... 详细信息

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率.

关键词：错误定位面向对象类可疑度频谱程序分析

来源：评论

学校读者我要写书评

暂无评论

局部协同视角下的鲁棒标记分布学习

引用

模式识别与人工智能 2021年第1期34卷 44-57页

作者：徐苏平商琳周宇杰南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

已有标记分布学习(LDL)算法在一定程度上破坏不同标记间的关联性及标记分布的整体结构,同时,大多仅以提升标记分布的预测性能为目的,忽略计算代价和噪声鲁棒性在实际应用中的重要性.为了缓解上述不足,文中提出基于局部协同表达的标记分... 详细信息

已有标记分布学习(LDL)算法在一定程度上破坏不同标记间的关联性及标记分布的整体结构,同时,大多仅以提升标记分布的预测性能为目的,忽略计算代价和噪声鲁棒性在实际应用中的重要性.为了缓解上述不足,文中提出基于局部协同表达的标记分布学习算法(LCR-LDL).在LCR-LDL中,一个未标记样本可被视作由该未标记样本邻域构建的局部字典的协同表达,表达系数中的鉴别信息可用于重构未标记样本的标记分布.在15个真实的LDL数据集上的实验表明,LCR-LDL不仅可有效提升LDL的预测性能,而且具有较强的鲁棒性和轻量级的计算开销.

关键词：标记分布学习(LDL) 多标记学习标记多义性稀疏字典学习鲁棒性

来源：评论

学校读者我要写书评

暂无评论

软件Agent的继承性研究

引用

软件学报 1999年第11期10卷 1132-1137页

作者：樊晓聪徐殿祥侯建民郑国梁南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给... 详细信息

Agent作为一种受限的智能对象，对Agent的继承权性进行深入研究并将继承机制嵌入到AOP（agent－orientedprogramming）中则具有重要意义．文章基于BDIAgent模型，对软件Agent的继承性和复制行为进行了研究。从单继承和多继承两个方面给成了Agent继承的语义，将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类，分析了每类分割方式的作用，并基于电子市场系统应用背景给出了相应的实例．

关键词：软件人工智能继承性 BDI模型

来源：评论

学校读者我要写书评

暂无评论

一种篇章结构指导的中文Web文档自动摘要方法

引用

计算机研究与发展 2003年第3期40卷 398-405页

作者：王继成武港山周源远张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

“摘要”、“关键词”是对文档内容提供简要概括的元数据 ,在Web信息检索中起着重要作用针对Web信息检索的需求和Web文档的特点 ,采用拟人思维 ,提出了一种以篇章结构为指导的自动摘要方法该方法对段落之间的内容语义关系进行分析 ,... 详细信息

“摘要”、“关键词”是对文档内容提供简要概括的元数据 ,在Web信息检索中起着重要作用针对Web信息检索的需求和Web文档的特点 ,采用拟人思维 ,提出了一种以篇章结构为指导的自动摘要方法该方法对段落之间的内容语义关系进行分析 ,进而划分出文档的主题层次 ,得到文档的篇章结构 ;在篇章结构的指导下 ,使用统计方法和启发式规则来提取文档的关键词、关键句 ,生成文档的摘要在实验评估中。

关键词：自动摘要篇章结构 Web 信息检索

来源：评论

学校读者我要写书评

暂无评论

Hybrid-Fixing:上下文一致性错误的正确修复

引用

计算机研究与发展 2015年第6期52卷 1443-1451页

作者：陈小康许畅江磊计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023

在普适计算中,上下文持续快速变化,上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文会发生一致性错误,从而导致应用表现异常甚至失效.为了... 详细信息

在普适计算中,上下文持续快速变化,上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文会发生一致性错误,从而导致应用表现异常甚至失效.为了解决这些问题,上下文一致性错误需要被自动并正确地修复,现基于已有工作提出了一项新的修复技术hybrid-fixing,它结合了对一致性约束的静态分析和修复动作的动态产生,即使一致性约束内部存在复杂依赖关系,也能确保所生成的修复用例必然正确.实验结果表明,这项修复技术大幅提高了一致性约束内部存在复杂依赖关系下一致性错误修复的成功率,并只花费了很小的时间开销.

关键词：普适计算上下文一致性错误自动修复正确修复

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：