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

通信学报 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期35卷 139-141,144页

作者：陆明王小黎谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功... 详细信息

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功地将攻击概率从O(pT)降低到O(pT2),进一步增强地址空间随机化技术的防御能力。

关键词：地址空间随机化细粒度随机化静态随机化动态随机化重复随机化

来源：评论

学校读者我要写书评

暂无评论

基于Time Petri Nets的实时系统资源冲突检测

引用

计算机研究与发展 2009年第9期46卷 1578-1585页

作者：周航黄志球胡军祝义南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 徐州师范大学计算机科学与技术学院江苏徐州221116

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束... 详细信息

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.

关键词：时间Petri网时间约束资源冲突检测

来源：评论

学校读者我要写书评

暂无评论

基于分类树的随机测试用例生成

引用

计算机科学 2009年第1期36卷 263-266,285页

作者：徐伟王林章李宣东南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,... 详细信息

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,提出了一种基于分类树的随机测试用例产生方法(CT-RT),运用分类树分析已运行测试用例的输入域,从而指导产生新的测试用例,并通过实验案例说明了对于UML活动图中的简单路径覆盖。该方法较之完全随机的方法大大减少了冗余测试用例的数量。

关键词：随机测试自动生成测试用例分类树 UML活动图

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种软件可靠性增长模型选择与综合方法

引用

计算机科学 2009年第9期36卷 135-138页

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

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失... 详细信息

软件可靠性增长模型可以预测软件在将来某个时刻的可靠性,以此作为软件是否发布的依据。而目前常见的各种模型对不同失效数据集的预测能力并不一致。提出了一种软件可靠性增长模型选择和应用的框架,利用可靠性模型评价准则,对特定的失效数据集选择优选模型集,根据优选模型集利用神经网络较好的学习预测能力计算可靠性。利用此方法对实际软件项目中的失效数据进行了分析,并验证了它的有效性。

关键词：软件可靠性可靠性增长模型模型选择与综合神经网络

来源：评论

学校读者我要写书评

暂无评论

服务组合中基于DTMC的可靠性和性能分析

引用

计算机科学 2009年第10期36卷 179-182,196页

作者：曹科强顾庆任颖新陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关... 详细信息

Web服务组合可以通过整合网络上现有的多种异构服务从而形成新的服务。针对服务组合中的可靠性和相关性能评估问题,提出了一种基于离散时间马尔可夫链DTMC(Discrete Time Markov Chain)的评估方法。从不同运行场景的角度,利用DTMC相关性质和公式综合估算了服务组合的可靠性和其他性能,并针对具体服务组合的瓶颈进行了分析,提出了改进措施。与现有的服务组合可靠性和性能分析方法相比,本方法对服务组合中结构复杂和运行场景多样化的特点具有更好的适应性,更全面、准确地评估了服务组合的可靠性和相关性能。实验表明,本方法具有良好的分析效果和指导改进的能力。

关键词：服务组合可靠性分析离散时间马尔可夫链运行场景

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无线网状网的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卷 2859-2866页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：