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

同济大学学报（自然科学版） 2012年第7期40卷 1102-1105,1110页

作者：许金超曾国荪王伟同济大学电子与信息工程学院上海201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算... 详细信息

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.

关键词：可靠度模块影响关系贝叶斯理论软件测试

来源：评论

学校读者我要写书评

暂无评论

基于曲波变换的轨道梁面裂纹图像增强

引用

仪器仪表学报 2012年第12期33卷 2754-2760页

作者：郭春华汪同庆潍坊学院计算机工程学院潍坊261061 重庆大学光电技术及系统教育部重点实验室重庆400030

跨座式轨道梁表面出现的裂纹和缺陷,严重影响了列车安全及平稳运行。由于采集的图像存在边缘模糊、局部或整体对比度差等不足,提出一种基于曲波变换的梁面裂纹增强新算法。根据裂纹图像曲波变换后的不同尺度系数,由于分数阶微分能增强... 详细信息

跨座式轨道梁表面出现的裂纹和缺陷,严重影响了列车安全及平稳运行。由于采集的图像存在边缘模糊、局部或整体对比度差等不足,提出一种基于曲波变换的梁面裂纹增强新算法。根据裂纹图像曲波变换后的不同尺度系数,由于分数阶微分能增强信号的中频成分、非线性保留信号低频的特点,在曲波域的低频采用分数阶微分增强纹理信息;同时在曲波域的方向子带根据方向的敏感性,采用对弱边缘增强、强边缘保留、噪声去除的处理。并对低频和方向子带增强时的参数分别进行了讨论。实验结果表明,所提出的方法与其他算法相比,主观上细节增强和对比度提高均优于其他算法,客观上对比度改善指数(con-trast improvement index,CII)也大大提高,表明提出的算法增强效果良好。

关键词：裂纹增强曲波变换分数阶微分局部统计

来源：评论

学校读者我要写书评

暂无评论

物联网服务建模:一种基于环境建模的方法

引用

中国科学：信息科学 2013年第10期43卷 1198-1218页

作者：李戈魏强李力行金芝许焱郑丽伟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 中国科学院数学与系统科学研究院北京100190 中国科学院大学北京100049 北京信息科技大学计算机学院北京100085

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响... 详细信息

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.

关键词：物联网物联网服务环境建模服务建模本体服务建模过程

来源：评论

学校读者我要写书评

暂无评论

基于行人违章的交叉口信号配时研究

引用

公路与汽运 2013年第3期 62-65页

作者：王伟涛袁振洲向阳陈骁北京交通大学城市交通复杂系统理论与技术教育部重点实验室北京100044 深圳全程物流服务有限公司广东深圳518000 陕西交通职业技术学院陕西西安710018

主要考虑违章行人对信号交叉口左转车辆运行的影响,通过交通量调查,建立了左转车辆车头时距与违章行人数之间的关系模型,提出了新的信号配时方案,并在北京市中关村南大街和魏公村路交叉口对该模型进行验证,分析了其控制效果。

关键词：城市交通行人违章信号交叉口信号配时

来源：评论

学校读者我要写书评

暂无评论

国产高性能计算系统的输出瓶颈量化分析

国产高性能计算系统的输出瓶颈量化分析

引用

2013全国高性能计算学术年会

作者：梁亚雄尹万旺薛巍清华大学计算机科学与技术系北京 100084 清华大学清华信息科学与技术国家实验室(筹) 北京 100084 江南计算技术研究所江苏无锡 214083 清华大学计算机科学与技术系北京 100084 清华大学清华信息科学与技术国家实验室(筹) 北京 100084 清华大学地球系统数值模拟教育部重点实验室地球系统研究中心北京 100084

超级计算机的快速发展推动了应用规模的迅速攀升.应用在大规模并行文件系统获得的实际带宽通常远小于其峰值带宽,I/O输出性能逐渐成为限制大规模并行应用计算效率和可扩展性的关键.本文在国产超级计算机——天河-1A和探索100上,采用基... 详细信息

超级计算机的快速发展推动了应用规模的迅速攀升.应用在大规模并行文件系统获得的实际带宽通常远小于其峰值带宽,I/O输出性能逐渐成为限制大规模并行应用计算效率和可扩展性的关键.本文在国产超级计算机——天河-1A和探索100上,采用基于统计的实验方法,准确测量了多种数据输出模式的I/O性能,藉此挖掘计算节点、存储节点、存储配置等因素对实际I/O带宽的影响,量化大规模输出的拥塞和竞争问题,对比分析不同计算系统的I/O特征.本文工作的结论可能会对大规模应用、I/O中间件以及并行文件系统的设计和有效使用提供依据.

关键词：超级计算机数据处理输出性能并行文件

来源：评论

学校读者我要写书评

暂无评论

可追踪并撤销叛徒的属性基加密方案

引用

计算机学报 2012年第9期35卷 1845-1855页

作者：马海英曾国荪同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室上海201804 南通大学计算机科学与技术学院江苏南通226019

属性基加密(ABE)是一种有效地对加密数据实现细粒度访问控制的密码学体制.在ABE系统中,存在恶意用户(或叛徒)泄露私钥生成盗版解码器,并将其分发给非法用户的问题.现有的解决方案仅能追查到密钥泄漏者的身份,但不能将其从ABE系统中撤销... 详细信息

属性基加密(ABE)是一种有效地对加密数据实现细粒度访问控制的密码学体制.在ABE系统中,存在恶意用户(或叛徒)泄露私钥生成盗版解码器,并将其分发给非法用户的问题.现有的解决方案仅能追查到密钥泄漏者的身份,但不能将其从ABE系统中撤销.文中提出了一种既可追踪又可撤销叛徒的属性基加密方案(ABTR).首先,给出一个具有扩展通配符的属性基加密方案(GWABE),基于3个3素数子群判定假设,采用双系统加密方法证明该GWABE方案是完全安全的.然后,利用完全子树构架将GWABE转化成ABTR方案,并证明该ABTR方案是完全安全的,且用户私钥长度是固定的.而此前的可追踪叛徒的ABE方案仅满足选择安全性.

关键词：属性基加密访问控制完全子树框架叛徒追踪撤销

来源：评论

学校读者我要写书评

暂无评论

网络结构化多Agent系统的任务分配

引用

模式识别与人工智能 2012年第2期25卷 262-272页

作者：蒋嶷川哈尔滨工业大学机器人技术与系统国家重点实验室哈尔滨150080 东南大学计算机科学与工程学院计算机网络和信息集成教育部重点实验室南京211189

网络结构化多Agent系统既包括系统运行的底层物理网络,还包括Agent之间的交互网络.传统的任务分配方式并没有深入考虑到网络结构化的特点.文中首先论述网络结构化多Agent系统中任务分配的特点,介绍和分析基于底层网络拓扑与资源分布的... 详细信息

网络结构化多Agent系统既包括系统运行的底层物理网络,还包括Agent之间的交互网络.传统的任务分配方式并没有深入考虑到网络结构化的特点.文中首先论述网络结构化多Agent系统中任务分配的特点,介绍和分析基于底层网络拓扑与资源分布的任务分配方式、基于Agent交互网络与资源分布的任务分配方式和基于综合网络情境资源的任务分配方式.然后对相关工作进行综述,并与网络结构化多Agent系统任务分配模型进行比较分析.最后论述该方向的难点和未来要解决的问题.

关键词：多Agent系统网络结构化任务分配底层网络交互网络

来源：评论

学校读者我要写书评

暂无评论

邻域粗糙协同分类模型

邻域粗糙协同分类模型

引用

第十三届中国Rough集与软计算学术会议、第七届中国Web智能学术研讨会、第七届中国粒计算学术研讨会联合学术会议

作者：张维苗夺谦高灿岳晓冬同济大学电子与信息工程学院计算机科学与技术系上海 201804 上海电力学院计算机科学与技术学院上海 200090 同济大学嵌入式系统与服务计算教育部重点实验室上海201804 同济大学电子与信息工程学院计算机科学与技术系上海 201804 同济大学嵌入式系统与服务计算教育部重点实验室上海201804 中联重科中央研究院智能所长沙湖南 410013 上海大学计算机工程与科学学院上海 200444

Pawlak粗糙集理论是一种有监督学习模型并且只适合处理离散型数据.但在一些现实问题中存在着大量的连续型数据，并且有标记数据很有限，更多的是无标记数据.结合邻域粗糙集和协同学习理论，提出了适合处理连续型数据并可有效利用无标记... 详细信息

Pawlak粗糙集理论是一种有监督学习模型并且只适合处理离散型数据.但在一些现实问题中存在着大量的连续型数据，并且有标记数据很有限，更多的是无标记数据.结合邻域粗糙集和协同学习理论，提出了适合处理连续型数据并可有效利用无标记数据提升分类性能的邻域粗糙协同分类模型.该模型首先构建了邻域粗糙半监督约简算法，并利用该算法提取两个差异性较大的约简构造基分类器，然后迭代地在无标记数据上交互协同学习.UCI数据集实验对比分析表明，该模型能提高分类学习性能.

关键词：邻域粗糙集邻域互信息半监督约简协同学习连续型数据

来源：评论

学校读者我要写书评

暂无评论

基于改进高斯混合建模和短时稳定度的运动目标检测算法

引用

电子与信息学报 2012年第10期34卷 2402-2408页

作者：张超吴小培周建英戚培庆王营冠吕钊安徽大学计算智能与信号处理教育部重点实验室合肥230039 中国科学院上海微系统与信息技术研究所上海200050

传统高斯混合建模方法中前景模型转换为背景模型的风险随着模型权值在一定更新率下的迭代累加而增大,使得传统方法难以有效检测低速运动目标。该文对高斯混合建模中背景匹配失败时生成的前景模型加以利用并引入短时稳定度指标进行综合判... 详细信息

传统高斯混合建模方法中前景模型转换为背景模型的风险随着模型权值在一定更新率下的迭代累加而增大,使得传统方法难以有效检测低速运动目标。该文对高斯混合建模中背景匹配失败时生成的前景模型加以利用并引入短时稳定度指标进行综合判断,在深入挖掘前景模型中包含的运动目标信息和像素点级稳定性的基础上实时区分各像素点的状态。多场景下的实验结果表明,该方法对低速目标达到了更高的检出率。

关键词：运动目标检测高斯混合建模前景模型短时稳定度

来源：评论

学校读者我要写书评

暂无评论

多核与众核架构下对不同Stencil的性能优化和分析

多核与众核架构下对不同Stencil的性能优化和分析

引用

2013全国高性能计算学术年会

作者：徐阳彤付昊桓甘霖王欣亮乔宇宸韩鹏薛巍杨超计算机科学与技术系清华大学北京 100084 清华信息科学与技术国家实验室(筹) 清华大学北京 100084 地球系统数值模拟教育部重点实验室地球系统科学研究中心清华大学北京 100084 地球系统数值模拟教育部重点实验室地球系统科学研究中心清华大学北京 100084 计算机科学与技术系清华大学北京 100084 清华信息科学与技术国家实验室(筹) 清华大学北京 100084 计算机科学与技术系清华大学北京 100084 数理学院北京科技大学北京 100083 软件研究所中国科学院北京 100190 空间天气学国家重点实验室中国科学院北京 100864

在很多应用中,模板计算(stencil)是最为重要和耗时最多的计算核心.随着越来越多的超级计算机开始使用多核CPU和众核协处理器,如何在这样的平台上将stencil优化至较高的性能和效率便成为了一个亟待解决的问题.在本文中,选取了7点Jacobi... 详细信息

在很多应用中,模板计算(stencil)是最为重要和耗时最多的计算核心.随着越来越多的超级计算机开始使用多核CPU和众核协处理器,如何在这样的平台上将stencil优化至较高的性能和效率便成为了一个亟待解决的问题.在本文中,选取了7点Jacobi、13点浅水波方程和19点有限差分三个典型stencil进行研究.通过对这3个stencil在不同平台上的优化和分析,探讨了不同的体系结构对于性能和效率产生的影响.通过线程并行、向量化以及优化数据在cache和共享内存中的重用,在Sandy Bridge CPU,MIC和Kepler GPU三个平台上都达到了较好的性能.分析和讨论展示了体系结构的区别如何对不同stencil的性能产生不同的影响.

关键词：计算机系统模板计算性能优化多核架构众核架构效果评估

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：