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

计算机科学 2009年第2期36卷 15-19,54页

作者：伏晓蔡圣闻谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

针对新的安全形势,网络安全管理作为一类更全面、更智能化的综合技术业已得到越来越多的关注,不少相关产品也已经出现在市场上。网络安全管理的作用是通过对各种安全技术和安全产品的统一管理和协同来实现整体的安全。首先总结比较了现... 详细信息

针对新的安全形势,网络安全管理作为一类更全面、更智能化的综合技术业已得到越来越多的关注,不少相关产品也已经出现在市场上。网络安全管理的作用是通过对各种安全技术和安全产品的统一管理和协同来实现整体的安全。首先总结比较了现有的网络安全管理实现体系结构。然后,回顾了在网络安全管理中占重要地位的安全策略研究的进展,介绍了信息集成、智能分析引擎、协同及通信规范这3种网络安全管理的关键实现技术。最后,分析了网络安全管理当前的不足以及未来的发展趋势。

关键词：网络安全管理安全管理体系结构安全管理协议协同安全本体

来源：评论

学校读者我要写书评

暂无评论

无线网状网的QoS研究

引用

软件学报 2009年第6期20卷 1539-1552页

作者：董超陈贵海王海南京大学计算机科学与技术系江苏南京2100932 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 解放军理工大学通信工程学院江苏南京210007

作为下一代无线通信网络的关键技术,无线网状网能够融合异构网络,满足多类型的业务需求,因此必须提供一定的服务质量(QoS)保证.对目前各种QoS体系结构进行了分析,讨论了无线网状网的QoS体系结构.针对无线网状网网络层以下各层的QoS问题... 详细信息

作为下一代无线通信网络的关键技术,无线网状网能够融合异构网络,满足多类型的业务需求,因此必须提供一定的服务质量(QoS)保证.对目前各种QoS体系结构进行了分析,讨论了无线网状网的QoS体系结构.针对无线网状网网络层以下各层的QoS问题,对近年来国内外在功率控制、无线环境感知、支持QoS的MAC协议、QoS路由以及跨层QoS设计等方向所取得的研究成果进行了全面的概括总结和比较分析.最后对未来的研究发展趋势提出了自己的观点.

关键词：无线网状网服务质量 QoS体系结构功率控制环境感知 MAC(媒体接入控制) QoS路由跨层

来源：评论

学校读者我要写书评

暂无评论

基于MDE的异构模型转换：从MARTE模型到FIACRE模型

引用

软件学报 2009年第2期20卷 214-233页

作者：张天 Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093 ATLAS Team INRIA ＆ LINA Nantes University Nantes 44300 France COLOSS Team LINA Faculty of Science Nantes University Nantes 44300 France

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.

关键词：模型驱动工程形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性

来源：评论

学校读者我要写书评

暂无评论

硬实时系统中基于任务同步及节能的动态调度算法

引用

通信学报 2009年第11期30卷 15-26页

作者：韩建军吴晓东李庆华 Abbas A.Essa 华中科技大学计算机科学与技术学院湖北武汉430074 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学电子工程与科学系江苏南京210093

提出基于任务同步及节能的动态实时调度算法HDSA(hybrid dynamic scheduling algorithm),以有效地解决任务同步及节能的难题。HDSA结合RM及EDF算法,在满足任务实时可调度性及任务同步的限制条件下,采用DVFS节省能耗。HDSA包含静态算法... 详细信息

提出基于任务同步及节能的动态实时调度算法HDSA(hybrid dynamic scheduling algorithm),以有效地解决任务同步及节能的难题。HDSA结合RM及EDF算法,在满足任务实时可调度性及任务同步的限制条件下,采用DVFS节省能耗。HDSA包含静态算法及动态算法两部分。静态算法在静态条件下,求出任务的静态速度。动态调度算法在实际运行中,固定临界区的运行速度,并充分回收、利用任务运行时的空闲执行时间,调节处理器的速度,以有效降低能耗并满足实时可调度性。同时避免高优先权任务被阻塞时,临界区继承高优先权任务的速度时所造成的处理器电压开关的频繁切换,因而能有效地降低实时任务调度的成本。实验测试表明,HDSA在调度性能上明显优于目前所知的有效算法。

关键词：计算机应用技术实时系统动态调度任务同步节能

来源：评论

学校读者我要写书评

暂无评论

一种基于类型传播分析的泛型实例重构方法

引用

软件学报 2009年第10期20卷 2617-2627页

作者：陈林徐宝文钱巨周天琳周毓明南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 东南大学计算机科学与工程学院江苏南京210096 南京航空航天大学信息科学与技术学院江苏南京210016

重构泛型实例有利于提高软件的复用性和类型安全,但现有重构方法的时间复杂度较高,不适用于即时持续的重构.分析了变量类型传播分析方法在重构中的不足,提出了一种改进的泛型变量类型传播分析方法.该方法通过引入一种可以描述复杂参数... 详细信息

重构泛型实例有利于提高软件的复用性和类型安全,但现有重构方法的时间复杂度较高,不适用于即时持续的重构.分析了变量类型传播分析方法在重构中的不足,提出了一种改进的泛型变量类型传播分析方法.该方法通过引入一种可以描述复杂参数化类型关系的泛型类型传播图,以复制节点的方式实现泛型变量属性敏感的类型分析,并通过解决别名问题来提高分析的精度.实例研究表明,可以在与程序规模呈近似线性增长的时间复杂度内实施重构,取得了较满意的效果.

关键词：泛型软件重构类型传播分析别名分析软件重用

来源：评论

学校读者我要写书评

暂无评论

基于Atom的远程对象交换机制的研究

引用

小型微型计算机系统 2009年第8期30卷 1565-1570页

作者：崔璨陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型... 详细信息

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型语言结构化要求的条件下,利用Atom文档格式解决了远程对象的封装问题;利用Atom发布协议解决了远程对象的操作问题.在此基础上,通过性能评估和综合比较,说明该机制具有实现简单、适应半结构化数据、在少量易变数据时性能好等优点.

关键词： atom REST 对象交换半结构化数据 Web2.0 mash—up

来源：评论

学校读者我要写书评

暂无评论

软件可靠性评估的重要抽样方法

引用

软件学报 2009年第10期20卷 2859-2866页

作者：张德平聂长海徐宝文东南大学计算机科学与工程学院江苏南京210096 南京航空航天大学理学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概... 详细信息

基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度.

关键词：软件可靠性统计测试马尔可夫使用模型重要抽样交叉熵方法

来源：评论

学校读者我要写书评

暂无评论

基于内存更新记录的漏洞攻击错误定位方法

引用

计算机科学 2009年第1期36卷 252-255页

作者：葛毅茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的... 详细信息

软件漏洞攻击威胁日益严重。其中基于内存腐败漏洞的攻击最为普遍,如缓冲区溢出和格式化串漏洞。提出一种针对内存腐败漏洞攻击的自动错误定位方法。基于内存更新操作记录,可以回溯找到程序源代码中腐败关键数据的语句,从而提供有益的信息修复漏洞并生成最终补丁。

关键词：内存腐败攻击软件安全错误定位程序源代码

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的大型软件系统度量

引用

计算机科学 2009年第2期36卷 287-290,302页

作者：王树森顾庆陈焘陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度... 详细信息

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题。近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角。介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC。JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值。

关键词：复杂网络软件系统软件度量 JPAC

来源：评论

学校读者我要写书评

暂无评论

基于构件软件的抗衰策略分析

引用

计算机科学 2009年第5期36卷 121-123,180页

作者：王平涛许满武刘志军南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境... 详细信息

软件在长期运行过程中由于资源消耗、数据损坏、数值错误累积而引起性能下降的现象被称为软件老化。在软件失效前选择合适时机通过预反应的技术来保持软件性能的方法称作软件抗衰。由于构件软件常常应用在结构复杂、规模庞大的网络环境中,软件老化现象就更为突出。提出了一种针对构件软件的抗衰策略,通过对构件软件进行可靠性分析,构造了一种结合失效性和泊松失败分布的马尔可夫模型,并根据模型进行软件抗衰来保持构件软件的性能。

关键词：软件老化软件抗衰可用性可靠性马尔科夫模型泊松分布

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：