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

软件学报 2014年第2期25卷 419-438页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系上海200235

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 详细信息

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统多Agent 能耗自适应 Petri网

来源：评论

学校读者我要写书评

暂无评论

表格语言的分析比较

引用

计算机科学 2014年第3期41卷 23-26页

作者：陈怡海缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 详细信息

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。

关键词：表格方法形式方法规格说明验证与确认工具支持

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的CPS系统安全量化分析模型

引用

计算机工程与应用 2014年第3期50卷 82-88页

作者：徐昕虞慧群黄骏虎华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

随着信息物理融合系统(CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化... 详细信息

随着信息物理融合系统(CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化的安全分析模型,该模型既能适用CPS离散连续混合结构的模型刻画,又可合理模拟系统攻防双方行为,基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。通过对飞机空中避撞系统的实例研究,表明该模型和分析方法的有效性。

关键词：信息物理融合系统博弈理论与混合Petri网结合的方法(GHPN) 纳什均衡系统可靠性

来源：评论

学校读者我要写书评

暂无评论

一种改进的BM字符串匹配算法

引用

计算机工程与应用 2014年第16期50卷 104-108页

作者：李韦男虞慧群华东理工大学计算机科学与工程系上海200237 计算机软件评测重点实验室上海201112

经典字符串匹配算法的本质都是从左向右或者从右向左顺序进行字符匹配的,在主串中存在大量子串与模式串前缀或者后缀相同时效率较低,并且模式串最大右移长度为模式串长度。改进算法采用二分匹配字符串的方法,有效地避免了由主串中大量... 详细信息

经典字符串匹配算法的本质都是从左向右或者从右向左顺序进行字符匹配的,在主串中存在大量子串与模式串前缀或者后缀相同时效率较低,并且模式串最大右移长度为模式串长度。改进算法采用二分匹配字符串的方法,有效地避免了由主串中大量子串与模式串前缀相同或者后缀相同引起的无意义比较次数。模式串的移动距离根据改进的坏字符规则进行计算,增大了模式串的移动距离。实验结果表明,改进的字符串匹配算法可以有效地减少字符串的匹配次数和移动次数,达到了提高算法效率的目的。

关键词：匹配模式串主串入侵

来源：评论

学校读者我要写书评

暂无评论

树型模型中进化设计的一致性维护技术的研究

引用

小型微型计算机系统 2014年第12期35卷 2780-2784页

作者：王山山邬春学高丽萍杨桂松上海理工大学光电信息与计算机工程学院上海200093 上海市计算机软件评测重点实验室上海201112 上海理工大学实验室管理与服务中心上海200293

基于文本操作转换算法已经广泛的应用于协同应用中,但是之前基于文本编辑的协同研究大部分都是基于文本的插入,删除操作,而且研究的对象大多为线性的文档模型,对于新的文档模型和新的操作之前的协同算法已经不适应.本文对基于树型文档... 详细信息

基于文本操作转换算法已经广泛的应用于协同应用中,但是之前基于文本编辑的协同研究大部分都是基于文本的插入,删除操作,而且研究的对象大多为线性的文档模型,对于新的文档模型和新的操作之前的协同算法已经不适应.本文对基于树型文档模型的遗传操作(包括交叉操作和变异操作)进行了一致性维护研究.对比分析了之前多种协同设计方案的优劣,建立了基于树型文档模型,描述了遗传操作实现的过程,设计和冲突检测和冲突消解算法,提出了一致性维护的流程.最后模拟了协同编辑的场景,并把算法应用于协同编辑,从理论上证明了算法的收敛性和方案的正确性.

关键词：树型模型进化设计遗传操作一致性维护

来源：评论

学校读者我要写书评

暂无评论

基于Ajax技术的Web应用的建模与测试用例生成

引用

计算机科学 2014年第8期41卷 219-223,244页

作者：贺涛缪淮扣钱忠胜上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201114 江西财经大学信息管理学院南昌330013

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测... 详细信息

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的Web应用的建模与测试用例生成方法,给出一种可行的产生测试用例的技术。结合课题组自身开发的项目进行建模与测试用例的生成分析,结果表明,该技术能有效地得到所需的测试用例。

关键词： Web应用模型检查测试用例 Ajax技术 Kripke结构

来源：评论

学校读者我要写书评

暂无评论

软件质量标准的发展与应用

引用

软件产业与工程 2014年第6期 10-14页

作者：刘振宇上海市计算机软件评测重点实验室上海201112 上海计算机软件技术开发中心上海201112

质量是软件的生命,而标准化是软件质量发展的必然趋势和要求。自上世纪90年代以来,软件质量领域的标准化发展迅速,软件质量的重要性获得了行业界的一致认可。我国的软件质量标准与国际同步发展,并适应产业发展要求,既有等同或修订采用... 详细信息

质量是软件的生命,而标准化是软件质量发展的必然趋势和要求。自上世纪90年代以来,软件质量领域的标准化发展迅速,软件质量的重要性获得了行业界的一致认可。我国的软件质量标准与国际同步发展,并适应产业发展要求,既有等同或修订采用国际标准,又有自主研制的国家标准,二者相得益彰。本文回顾了国际、国内软件质量标准的发展历程,并介绍了国内软件质量标准的应用情况。

关键词：软件质量质量标准软件测评

来源：评论

学校读者我要写书评

暂无评论

基于效用的云计算容错策略和模型

引用

中国科学：信息科学 2014年第1期44卷 158-176页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室南京210093 上海应用技术学院计算机科学与信息工程学院上海200235

云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本... 详细信息

云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值.

关键词：云计算容错 Petri网博弈模型验证

来源：评论

学校读者我要写书评

暂无评论

信息技术 SOA服务质量模型及测评规范

信息技术 SOA服务质量模型及测评规范

引用

标准类型：国家标准

本标准规定了SOA应用中服务的质量模型、测量方法及评价过程。本标准适用于SOA应用中服务的质量的测量及评价，服务质量模型和评价结果可作为SOA应用中服务的全生存周期的参考依据。本标准可供下列人员使用：--提供SOA应用中质量评价服...

标准号: GB/T 32428-2015

本标准规定了SOA应用中服务的质量模型、测量方法及评价过程。本标准适用于SOA应用中服务的质量的测量及评价，服务质量模型和评价结果可作为SOA应用中服务的全生存周期的参考依据。本标准可供下列人员使用：--提供SOA应用中质量评价服务的测试实验室的评价者；--提供SOA应用中服务的服务提供者；--需要从服务提供者或测试实验室得到评价信息的服务消费者。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于SR-IOV的虚拟机防火墙设计与实现

引用

计算机工程 2014年第5期40卷 154-157页

作者：荀仲恺黄皓金胤丞南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 中国电子科技集团公司第三十二研究所上海200233

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实... 详细信息

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实网卡交互。针对低特权级的虚拟域中防火墙容易受到攻击的问题,通过在高特权级的Xen中部署监控模块,对虚拟域中的防火墙进行实时监控。实验结果表明,应用SR-IOV网卡可使虚拟机的网络I/O性能相对于Xen传统网络访问模式平均提高1倍以上,并且具有监控模块的Xen能防止防火墙被非法访问和恶意篡改,保证防火墙的安全。

关键词：虚拟化 Xen虚拟机管理器 SR—IOV规范防火墙高性能监控

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：