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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于TPM的运行时软件可信证据收集机制

引用

软件学报 2010年第2期21卷 373-387页

作者：古亮郭耀王华邹艳珍谢冰邵维忠高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学与技术学院软件研究所北京100871

扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利用可信平台模块(trusted platform ... 详细信息

扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利用可信平台模块(trusted platform module,简称TPM)提供的安全功能,结合"最新加载技术(late launch)",在操作系统层引入了一个可信证据收集代理.此代理利用TPM,可以客观地收集目标应用程序的运行时可作为软件可信证据的信息,并保障可信证据本身的可信性.该可信证据收集机制具有良好的可扩展性,能够支持面向不同应用的信任评估模型.基于Linux Security Module,在Linux中实现了一个可信证据收集代理的原型.基于该原型,分析了一个分布式计算客户端实例的相关可信属性,并且分析了可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性.

关键词：高可信软件软件可信性评估软件可信证据软件可信证据收集可信计算 TPM(trusted platform module)

来源：评论

学校读者我要写书评

暂无评论

一种基于时间序列的RFID供应链数据分析方法

引用

电子学报 2010年第B02期38卷 26-32页

作者：高昕赵文叶蔚张世琨王立福北京大学信息科学技术学院北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京大学软件工程国家工程研究中心

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成... 详细信息

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成反映各环节周转状况的时间序列格式，然后通过分段趋势分解方法分解提取的时间序列数据，并根据分解后的随机项建立阈值来判断数据是否异常，从而建立相应的时间序列分析模型；最后基于模型检测数据异常.通过多样本和多数据集的实验检测，结果表明这种方法有效并具有较高的效率.

关键词：无线射频识别(RFID) RFID数据集供应链时间序列

来源：评论

学校读者我要写书评

暂无评论

供应链环境下一种分布式RFID发现服务

引用

电子学报 2010年第B02期38卷 99-106页

作者：赵文李信鹏刘殿兴张世琨王立福北京大学软件工程国家工程研究中心 100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 100871 北京大学信息科学技术学院 100871

本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,... 详细信息

本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,在发起查询时采用多个查询流以提高查询效率,在返回结果时并行地直接返回给客户端以缩减路由跳数.实验表明这种分布式RFID发现服务具有较高的效率和可用性.

关键词：无线射频识别(RFID) 供应链分布式发现服务 EPC信息服务

来源：评论

学校读者我要写书评

暂无评论

基于RFID发现服务的一种供应链建模技术

引用

电子学报 2010年第B02期38卷 107-116页

作者：李信鹏赵文刘殿兴袁崇义张世琨王立福北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个（些）物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了... 详细信息

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个（些）物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了物品的移动、包装/解包装、加工制造;同时,采用P2P和并行处理技术,给出了一种新的分布式RFID发现服务;然后,基于Petri网提出了一种新的建模工具“SupplyNet”,并给出了构建SupplyNet的算法.算法分析和实验表明这种构建SupplyNet的算法具有较高的效率和可用性.

关键词：无线射频识别(RFID) 发现服务供应链 Petri网建模

来源：评论

学校读者我要写书评

暂无评论

死路删除语义下的WS-BPEL流程的建模

引用

北京大学学报（自然科学版） 2010年第2期46卷 162-170页

作者：徐春香屈婉玲王捍贫朱梅霞北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPE... 详细信息

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。

关键词： Web服务死路删除建模 DPE网

来源：评论

学校读者我要写书评

暂无评论

基于容斥原理的Skyband基数估计方法

引用

软件学报 2010年第7期21卷 1550-1560页

作者：赵加奎杨冬青陈立军高可信软件技术教育部重点实验室北京大学信息科学技术学院北京100871 中国电力科学研究院北京100085

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能... 详细信息

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能够对Skyband查询进行优化非常重要.基于容斥原理的推广形式对Skyband基数进行理论分析并给出了时间和空间代价很小的对Skyband基数进行估计的算法.实验结果表明,该方法能够准确地对Skyband基数进行估计.

关键词：基数 Skyband查询 Skyline查询数据库系统查询优化

来源：评论

学校读者我要写书评

暂无评论

一种基于双向选择的多Agent系统自动集成方案

引用

计算机工程与科学 2010年第6期32卷 68-73页

作者：方汐马剑竹王茂光焦文品北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

多Agent系统集成方案的选择能极大程度地影响多Agent系统的性能。目前大多数的多Agent系统集成方案只关注于系统级的行为与性能。本文在关注多Agent系统性能的同时,也关注各个Agent的收益。本文提出一种基于双向选择的多Agent系统集成方... 详细信息

多Agent系统集成方案的选择能极大程度地影响多Agent系统的性能。目前大多数的多Agent系统集成方案只关注于系统级的行为与性能。本文在关注多Agent系统性能的同时,也关注各个Agent的收益。本文提出一种基于双向选择的多Agent系统集成方案,在此方案中,Agent根据自身的意愿选择合适的角色进行申请,同时角色根据对各个Agent的信任值选择合适的Agent来承担其任务。实验表明,随着若干次系统学习,多Agent系统协作任务完成时间能较快地下降,Agent在单位时间内的收益逐步提高。

关键词：多Agent系统环境角色双向选择

来源：评论

学校读者我要写书评

暂无评论

互联网时代的软件技术:现状与趋势

引用

科学通报 2010年第13期55卷 1214-1220页

作者：梅宏刘譞哲高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

互联网(Internet)的快速发展为信息技术与应用扩展了更为广阔的空间,同时也为传统的软件开发理论、方法和技术带来了一系列的挑战.回顾了现有基于网络的新型计算范型和应用模式.探讨了软件模型、软件运行平台和支撑机制、软件开发方法... 详细信息

互联网(Internet)的快速发展为信息技术与应用扩展了更为广阔的空间,同时也为传统的软件开发理论、方法和技术带来了一系列的挑战.回顾了现有基于网络的新型计算范型和应用模式.探讨了软件模型、软件运行平台和支撑机制、软件开发方法和软件质量评价与保障体系的现状和发展趋势.讨论并展望了进一步的研究工作.

关键词：互联网软件技术软件方法学网构软件

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：