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

2011全国软件与应用学术会议(NASAC2011)

作者：冯涛闫林郭耀陈向群高可信软件技术教育部重点实验室北京大学信息科学技术学院软件所软件工程国家工程研究中心北京 100871

海量的传感器数据会占用大量的存储资源，传统的数据压缩方法虽然可以降低传感器数据的存储空间，但是会给数据的访问带来额外的性能开销。根据传感器数据的特点，讨论了基于压缩的传感器数据存储与访问方法。具体采用了分组压缩的思想... 详细信息

海量的传感器数据会占用大量的存储资源，传统的数据压缩方法虽然可以降低传感器数据的存储空间，但是会给数据的访问带来额外的性能开销。根据传感器数据的特点，讨论了基于压缩的传感器数据存储与访问方法。具体采用了分组压缩的思想，通过消除原始数据中的冗余信息降低数据存储空间，同时保证数据随机访问的性能;根据不同的压缩算法，提出了3种不同的存储与访问方法。利用上述的存储与访问方法，实现了一个实验室环境数据采集发布系统，在真实环境中收集的传感器数据上测试了提出的存储与访问方法的有效性。

关键词：传感器数据数据压缩数据存储访问算法

来源：评论

学校读者我要写书评

暂无评论

一种基于运行时软件体系结构的JEE反模式检测工具

一种基于运行时软件体系结构的JEE反模式检测工具

引用

2011全国软件与应用学术会议(NASAC2011)

作者：张磊王玮琥宋晖黄罡北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871 软件工程国家工程研究中心北京 100871

反模式描述的是一种典型的不良设计，它通常会给系统带来负面的影响，如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体系结构的反模式的描述及检测机制，并实现相应工具。该工具基... 详细信息

反模式描述的是一种典型的不良设计，它通常会给系统带来负面的影响，如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体系结构的反模式的描述及检测机制，并实现相应工具。该工具基于标准模型转换语言QVT进行反模式描述，减少了检测反模式所需的编码量，提高了反模式检测代码的可复用性。对38个常见的反模式进行了总结及分类，并在工具中进行了描述，最终通过实例研究验证了工具的有效性。

关键词：软件设计模式软件体系结构反模式描述反模式检测工具

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的MARTE 顺序图的形式化分析

基于模型转换的MARTE 顺序图的形式化分析

引用

2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

作者：朱梅霞王捍贫刘西奎北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871 山东科技大学信息科学与工程学院青岛 266510

本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析... 详细信息

本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析工作，这在很大程度上提高了设计阶段模型的正确性。通过一个实例说明从顺序图到TTS4SD 的转化过程以及基于TTS4SD的验证过程。

关键词：程序设计语义定义算法语言 TTS4SD模型

来源：评论

学校读者我要写书评

暂无评论

支持自适应过程中分析与规划的软件体系结构模型

引用

计算机研究与发展 2010年第7期47卷 1156-1164页

作者：陈湘萍黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用... 详细信息

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用性和集成性,总结了分析和规划中所需的模型以及模型上的操作,并考察了如何在体系结构建模语言中引入标准模型技术进行支持.基于分析所得的设计原则,对ABC-ADL进行扩展,并且在实现中使用模型转换和模型查询等标准化技术来支持分析和规划.以ECPerf系统中一个性能相关的不良模式自适应分析和规划的过程为例,展示了如何使用扩展后的ADL对分析规划过程进行支持.此外,其中使用2种不同的分析方法,展示了如何使用ADL复用和集成不同的分析和规划方法.

关键词：软件体系结构自适应软件体系结构描述语言模型驱动的软件工程 ABC

来源：评论

学校读者我要写书评

暂无评论

基于二分决策图的特征模型验证方法

引用

软件学报 2010年第1期21卷 84-97页

作者：闫华张伟赵海燕梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所... 详细信息

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高.

关键词：特征模型验证 BDD(binary decision diagram) 领域工程软件复用

来源：评论

学校读者我要写书评

暂无评论

一种支持软件资源可信评估的框架

引用

软件学报 2010年第2期21卷 359-372页

作者：蔡斯博邹艳珍邵凌霜谢冰邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

提出了一种支持软件资源可信评估的框架,并分析了该框架涉及到的技术,如证据收集、证据信任管理和可信评估等.阐述了该框架在北京大学软件资源库中的设计决策和实现方案,并给出一个详尽的实例分析.

关键词：软件资源库软件可信可信评估

来源：评论

学校读者我要写书评

暂无评论

一种从UML模型到可靠性分析模型的转换方法

引用

软件学报 2010年第2期21卷 287-304页

作者：柳毅麻志毅何啸邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基... 详细信息

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.

关键词：基于构件的软件开发软件可靠性 UML 模型转换 Markov链

来源：评论

学校读者我要写书评

暂无评论

以决策为中心的软件体系结构设计方法

引用

软件学报 2010年第6期21卷 1196-1207页

作者：崔晓峰孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现... 详细信息

提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现了候选体系结构方案的自动合成以及设计决策与理由的捕捉.这种以决策为中心的方法切合体系结构层次的特点,降低了体系结构设计的复杂性和设计决策与理由捕捉的代价.

关键词：软件体系结构设计设计决策设计理由决策抽象问题分解

来源：评论

学校读者我要写书评

暂无评论

一种基于模型的软件系统监测方法

引用

计算机研究与发展 2010年第7期47卷 1175-1183页

作者：邵津邓芳王千祥北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软... 详细信息

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.

关键词：软件维护软件质量保障软件系统监测运行时验证约束模型

来源：评论

学校读者我要写书评

暂无评论

面向高维数据的低冗余top-k异常点发现方法

引用

计算机研究与发展 2010年第5期47卷 788-795页

作者：陈冠华马秀莉杨冬青唐世渭帅猛谢昆青北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

异常发现是数据挖掘领域的一类重要任务.针对高维对象的异常度量问题和异常点集合的冗余问题,提出了一种新的面向高维数据的异常点发现方法.该方法通过采用高维数据的二部图表示,以高维对象的压缩能力作为其异常程度的度量,能够有效支... 详细信息

异常发现是数据挖掘领域的一类重要任务.针对高维对象的异常度量问题和异常点集合的冗余问题,提出了一种新的面向高维数据的异常点发现方法.该方法通过采用高维数据的二部图表示,以高维对象的压缩能力作为其异常程度的度量,能够有效支持包含不同类型属性的高维数据.为了解决top-k异常点集合中的冗余问题,提出了低冗余top-k异常点的概念.由于精确计算低冗余的top-k异常点是NP-hard问题,设计了计算近似低冗余的top-k异常点的启发式方法k-AnomaliesHD算法.从在真实和人工数据集上的实验结果可以看出,该方法具有较好的扩展性;而且与不考虑冗余的异常点发现方法相比较,能够更有效地概括数据中的异常模式.

关键词：数据挖掘异常检测高维数据低冗余异常度量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：