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

第五届中国计算机学会服务计算学术会议

作者：开金宇缪淮扣高洪皓上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 上海大学计算中心上海200444

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,本文提出了一种基于三段式概率消息的需求描述语言pLSC,用于描述概率... 详细信息

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,本文提出了一种基于三段式概率消息的需求描述语言pLSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.本文从马尔可夫随机过程特性出发,提出了随机变量与消息相结合的三段式概率消息概念,pLSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了pLSC语言的图形表示方法,并展示了pLSCEditor编辑工具用于图形化编辑随机场景.

关键词： web服务概率服务组合系统三段式概率消息随机场景需求描述语言

来源：评论

学校读者我要写书评

暂无评论

编程语言 C 支持嵌入式处理器的扩展

编程语言 C 支持嵌入式处理器的扩展

引用

标准类型：国家标准

本标准规定了 ISO/IEC 9899:1999编程语言C的一系列扩展。这些扩展支持嵌入式处理器。本标准的每章都处理一个特定的主题。第4、5、6章的第一条都包含了对该主题的特征的技术描述。这些条文提供了概览但不包含所有的细节。每一章的最后...

标准号: GB/T 30997-2014

本标准规定了 ISO/IEC 9899:1999编程语言C的一系列扩展。这些扩展支持嵌入式处理器。本标准的每章都处理一个特定的主题。第4、5、6章的第一条都包含了对该主题的特征的技术描述。这些条文提供了概览但不包含所有的细节。每一章的最后一条都包含对ISO/IEC 9899:1999编程语言C的编辑性修改,这些修改对完整地规定ISO/IEC 9899:1999中相关主题是必要的,并提供一个完整的定义。附加的解释和原理列在附录中。本标准适用于使用C语言对嵌入式处理器进行程序开发的过程。

关键词：

来源：评论

学校读者我要写书评

暂无评论

列存储数据查询中的连接策略优化方法

引用

计算机研究与发展 2013年第8期50卷 1647-1656页

作者：孙莉李静刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

列存储数据查询优化的重点是列的连接策略.现有的列存储系统通过存储的改变来简化列的连接,致使列的连接缺少查询优化处理,策略单一且无法满足复杂查询.在剖析现有连接选择策略的基础上,提出一种新的连接策略优化方法,即首先利用基于规... 详细信息

列存储数据查询优化的重点是列的连接策略.现有的列存储系统通过存储的改变来简化列的连接,致使列的连接缺少查询优化处理,策略单一且无法满足复杂查询.在剖析现有连接选择策略的基础上,提出一种新的连接策略优化方法,即首先利用基于规则的优化方法为列存储数据查询制定优化规则,过滤不可能产生最优计划的候选计划;然后设计了基于代价的优化算法,根据动态Huffman树和左深连接树原理对查询执行顺序进行改进,进一步减少候选计划的规模;根据列存储数据的特点将候选计划中每个连接节点的执行策略归纳为串行连接和并行连接两类,并在此基础上提出代价估计模型,进而可针对这两种连接策略进行代价估计和策略选择.最后在SSB数据集上通过实验证明了方法在列存储数据查询中的有效性.

关键词：列存储连接策略查询优化基于代价串并行策略

来源：评论

学校读者我要写书评

暂无评论

基于复用簇的测试用例复用度量

引用

小型微型计算机系统 2013年第5期34卷 1035-1041页

作者：张娟童维勤蔡立志上海大学上海200072 上海市计算机软件评测重点实验室上海200235

随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量... 详细信息

随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量模型.模型以复用为导向,建立和复用行为相关联的复用簇管理模式,并通过从属度为复用建立度量方法.该复用度量模型实现了计算过程的自动化,改进了简单计算测试用例复用次数的度量方法,保证复用度量的客观性和准确性,使复用度量的量化评价成为可能.

关键词：测试用例套测试用例测试项从属度复用簇复用度量软件测试

来源：评论

学校读者我要写书评

暂无评论

基于环境的多形态时间需求建模方法

引用

计算机学报 2013年第1期36卷 88-103页

作者：陈小红刘静华东师范大学上海市高可信计算重点实验室上海200062 北京大学高可信软件技术教育部重点实验室北京100871 浙江师范大学计算机软件与理论省级重中之重学科浙江金华321004

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.

关键词：时间需求多形态时间基于环境建模嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

分布式云存储高可用框架研究

引用

计算机与数字工程 2014年第1期42卷 76-80,144页

作者：李东辉沈丽菁方方潘晨灵朱广新叶保留南京南瑞集团公司信息系统集成分公司南京210000 上海市电力公司信息通信公司上海200122 南京大学计算机软件新技术国家重点实验室南京210049

近年来,分布式云存储为非结构化数据的存储、处理提供了高效、廉价的解决方案,但随着业务系统对系统可用性要求的不断提高,对分布式云存储高可用框架的研究具有重要的理论价值和广阔的应用前景。论文综合分析了分布式云存储的基本理论,... 详细信息

近年来,分布式云存储为非结构化数据的存储、处理提供了高效、廉价的解决方案,但随着业务系统对系统可用性要求的不断提高,对分布式云存储高可用框架的研究具有重要的理论价值和广阔的应用前景。论文综合分析了分布式云存储的基本理论,提出了针对智能电网设计的分布式云存储高可用框架,该框架采用双活主节点以及多服务心跳监测算法,保障在高并发读写文件操作下分布式云存储的高可用性。实验结果表明,该框架能够有效应对任意节点失效产生的系统故障。

关键词：云存储智能电网高可用框架分布式计算

来源：评论

学校读者我要写书评

暂无评论

基于副本分布策略的MapReduce性能优化技术

引用

华东理工大学学报（自然科学版） 2013年第6期39卷 739-745页

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

集群中的节点由于其硬件配置不同导致其性能不同,使得集群环境成为异构环境。然而,在以Hadoop为代表的MapReduce实现中并没有充分考虑到环境的异构性,致使过多的Map任务需要从其他节点传输输入数据块,从而影响MapReduce在异构环境中的... 详细信息

集群中的节点由于其硬件配置不同导致其性能不同,使得集群环境成为异构环境。然而,在以Hadoop为代表的MapReduce实现中并没有充分考虑到环境的异构性,致使过多的Map任务需要从其他节点传输输入数据块,从而影响MapReduce在异构环境中的性能。提出了一种基于节点性能的数据块副本分布策略,使副本的分布与节点性能相适应,同时将可靠性、创建的传输开销及数据块间性能的平衡纳入考虑。结果表明:该策略在异构环境中能有效提升输入数据在本地的Map任务比例,并缩短MapReduce任务的完成时间。

关键词：分布式文件系统副本分布策略 MapReduce 异构环境

来源：评论

学校读者我要写书评

暂无评论

一种云存储数据完整性验证方法

引用

华东理工大学学报（自然科学版） 2013年第2期39卷 211-216页

作者：于洋洋虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复... 详细信息

随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。

关键词：云存储数据完整性可恢复性证明 MD5

来源：评论

学校读者我要写书评

暂无评论

面向制造业信息化的软件综合评价模型研究

引用

计算机应用与软件 2013年第6期30卷 97-100页

作者：宋俊典杨爽杨根兴李婷上海市计算机软件评测重点实验室上海201112 上海计算机软件技术开发中心上海201112 上海市软件行业协会上海200235

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评... 详细信息

软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评价模型,系统地讨论基于该模型的软件质量综合评价方法和实现过程,并结合实际应用案例进行分析和验证。实验结果表明,该综合评价模型能有效地协助制造业企业在信息化实施时的软件评估和选型、软件评估活动的实施,从而指导面向领域应用的软件质量改进。

关键词：软件评价模型综合评估软件质量制造业信息化

来源：评论

学校读者我要写书评

暂无评论

面向应用领域的软件质量特性分析

引用

上海大学学报（自然科学版） 2013年第3期19卷 286-292页

作者：杜春业张博锋蔡立志上海大学计算机工程与科学学院上海200072 上海计算机软件评测重点实验室上海201112

随着信息技术的快速发展,软件质量已经成为用户最为关心的问题.但由于目前较难证明软件产品的正确性,因此一直没有一个令人信服的软件质量评价方法.特别是已有的软件质量评价方法基本上都采用同一种评价指标对不同领域的软件进行评价,... 详细信息

随着信息技术的快速发展,软件质量已经成为用户最为关心的问题.但由于目前较难证明软件产品的正确性,因此一直没有一个令人信服的软件质量评价方法.特别是已有的软件质量评价方法基本上都采用同一种评价指标对不同领域的软件进行评价,缺乏对不同领域软件的个性化评价指标.针对不同领域的软件质量需求和应用,提出了不同的软件质量评价指标,为建立面向领域的软件产品基准体系提供依据,以满足软件产业发展的需要.

关键词：软件质量质量特性质量评价评价指标特性分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：