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

计算机应用 2009年第7期29卷 1809-1812页

作者：王涛曾庆凯南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明... 详细信息

在分析以往安全操作系统中权限撤销机制的基础上,提出一种基于VTC和in-progress交叉链表的权限撤销机制。该机制通过对权限有效性、时效性检查以及in-progress权限双向搜索实现权限撤销,并在基于L4微内核的原型系统中得以实现。实验表明,该撤销机制增加了1%左右的系统性能损耗。

关键词：动态安全策略权限撤销安全操作系统访问向量安全服务器

来源：评论

学校读者我要写书评

暂无评论

基于SSA中间表示的源代码信息流分析

引用

计算机工程 2009年第13期35卷 166-168,171页

作者：黄强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。

关键词：信息流分析隐蔽通道静态单一赋值编译器

来源：评论

学校读者我要写书评

暂无评论

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

引用

通信学报 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在调度性能上明显优于目前所知的有效算法。

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

来源：评论

学校读者我要写书评

暂无评论

基于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) 异构性

来源：评论

学校读者我要写书评

暂无评论

无线网状网的QoS研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络的Java程序分析工具设计与实现

引用

计算机科学 2009年第4期36卷 145-150页

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

随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络... 详细信息

随着软件产业的迅速发展,软件系统的功能和结构日益复杂,有必要有效地理解复杂软件系统的结构,理解其在生命周期里的变化规律。开发了一个基于复杂网络的Java程序分析工具,分析Java代码,为Java软件系统结构构建复杂网络,并进行复杂网络特征的统计和分析,为更好地研究和理解复杂软件系统的结构及其演化规律提供了有力的支持。

关键词：软件系统结构程序分析复杂网络

来源：评论

学校读者我要写书评

暂无评论

电信系统可靠性评估方法案例研究

引用

计算机科学 2009年第1期36卷 273-278页

作者：史栋杰顾庆冯光成陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进... 详细信息

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。

关键词：可靠性定数截尾试验定时截尾试验曲线拟合 R^2检验电信系统

来源：评论

学校读者我要写书评

暂无评论

一种基于随机森林的多视角文本分类方法

引用

中文信息学报 2009年第4期23卷 48-54页

作者：田宝明戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

基于词的向量空间模型是文本分类中的传统的表示文本的方法。这种表示方法的一个缺点是忽略了词之间的关系。最近一些使用潜在主题文本表示的方法,如隐含狄利克雷分配LDA(Latent Dirichlet Allocation)引起了人们的注意,这种表示方法可... 详细信息

基于词的向量空间模型是文本分类中的传统的表示文本的方法。这种表示方法的一个缺点是忽略了词之间的关系。最近一些使用潜在主题文本表示的方法,如隐含狄利克雷分配LDA(Latent Dirichlet Allocation)引起了人们的注意,这种表示方法可以处理词之间的关系。但是,只使用基于潜在主题的文本表示可能造成词信息的损失。我们使用改进的随机森林方法结合基于词的和基于LDA主题的两种文本表示方法。对于两类特征分别构造随机森林,最终分类结果通过投票机制决定。在标准数据集上的实验结果表明,相比只使用一种文本特征的方法,我们的方法可以有效地结合两类特征,提高文本分类的性能。

关键词：计算机应用中文信息处理文本分类向量空间模型隐含狄利克雷分配集成分类随机森林

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：