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

软件学报 2012年第7期23卷 1688-1701页

作者：孙昌爱北京科技大学计算机与通信工程学院北京100083 中国科学院软件研究所计算机科学国家重点实验室北京100190

随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术... 详细信息

随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.

关键词：软件测试测试用例软件失效软件缺陷程序分析

来源：评论

学校读者我要写书评

暂无评论

基于不完备用户偏爱信息的云服务组合研究

引用

计算机工程 2012年第11期38卷 8-10页

作者：赵晓永杨扬孙莉莉王磊赵耀培北京科技大学计算机与通信工程学院北京100083

在用户与服务提供者交互时,提供的偏爱信息通常是不完备的。为在不完备偏爱信息的前提下实现有效的云服务组合,提出一种不完备偏爱信息权重确定算法,利用不完备粗糙集方法确定用户主客观权重,进而得到符合用户偏爱的服务组合。在云计算... 详细信息

在用户与服务提供者交互时,提供的偏爱信息通常是不完备的。为在不完备偏爱信息的前提下实现有效的云服务组合,提出一种不完备偏爱信息权重确定算法,利用不完备粗糙集方法确定用户主客观权重,进而得到符合用户偏爱的服务组合。在云计算平台中的实验结果验证了该算法的有效性。

关键词：用户偏爱服务组合云计算粗糙集服务质量主观权重客观权重

来源：评论

学校读者我要写书评

暂无评论

自抗扰控制器在同步电机调速系统中的应用

引用

北京科技大学学报 2012年第1期34卷 107-111页

作者：彭露群解仑李崇坚巩潇孙铁北京科技大学计算机与通信工程学院北京100083 北京科技大学自动化学院北京100083

针对同步电机磁场定向控制系统受负载扰动、电机参数变化影响问题,将自抗扰控制器(ADRC)应用于调速系统中.为解决传统磁链观测器存在的直流偏置和依赖电机参数的问题,提出了基于ADRC的磁链观测器.仿真结果表明:ADRC对负载扰动和参数变... 详细信息

针对同步电机磁场定向控制系统受负载扰动、电机参数变化影响问题,将自抗扰控制器(ADRC)应用于调速系统中.为解决传统磁链观测器存在的直流偏置和依赖电机参数的问题,提出了基于ADRC的磁链观测器.仿真结果表明:ADRC对负载扰动和参数变化具有较强的鲁棒性,并且响应速度快、超调小,具有优良的稳态和动态性能;改进后的磁链观测器能有效抑制直流偏置和参数变化带来的影响,提高磁链的观测精度.

关键词：同步电机矢量控制自抗扰控制器(ADRC) 磁链观测器鲁棒性

来源：评论

学校读者我要写书评

暂无评论

岛屿争端中国家间博弈模型与策略仿真分析

引用

系统仿真学报 2012年第8期24卷 1686-1692页

作者：王元卓何辉辉刘丽程学旗中国科学院计算技术研究所北京100190 北京科技大学计算机与通信工程学院北京100083

岛屿争端通常涉及国家的核心利益及国际形象,根据岛屿争端问题的特点和相关国家可能采取的行为,研究了针对岛屿争端问题的国家间博弈模型,并对相关国家的策略进行了仿真分析。首先,将主动型国家和被动型国家的行为交互描述为一个随机博... 详细信息

岛屿争端通常涉及国家的核心利益及国际形象,根据岛屿争端问题的特点和相关国家可能采取的行为,研究了针对岛屿争端问题的国家间博弈模型,并对相关国家的策略进行了仿真分析。首先,将主动型国家和被动型国家的行为交互描述为一个随机博弈,并建立相应的博弈模型;然后,应用该模型分析主动型国家的期望行为和被动型国家的防守行为;最后,用计算机仿真分析相关国家的行为能力变化时对其策略选择和最终收益的影响。研究成果将为有岛屿争端问题的相关国家制定策略时提供有益的参考。

关键词：岛屿争端随机博弈模型策略仿真分析

来源：评论

学校读者我要写书评

暂无评论

一种模糊认知图分类器构造方法

引用

北京科技大学学报 2012年第5期34卷 590-595页

作者：马楠杨炳儒翟云李广原张德政北京科技大学计算机与通信工程学院北京100083 北京联合大学信息学院北京100101

提出了一种新的模糊认知图分类器模型构造方法,它包括构建流程、激活函数、推理规则和学习方法等核心构件.模型利用提出的动态交叉变异算子自适应遗传进化过程,实现种群间自动调节和自动适应.仿真实验表明:本文提出的模型增强了局部随... 详细信息

提出了一种新的模糊认知图分类器模型构造方法,它包括构建流程、激活函数、推理规则和学习方法等核心构件.模型利用提出的动态交叉变异算子自适应遗传进化过程,实现种群间自动调节和自动适应.仿真实验表明:本文提出的模型增强了局部随机搜索能力,加强了算法的全局收敛能力,与其他经典分类方法相比,不但性能较好,而且具有较强的抗噪能力,从而具有更强的鲁棒性.

关键词：模糊认知图分类器分类模糊集合论学习算法

来源：评论

学校读者我要写书评

暂无评论

可抵御节点恶意行为的锚节点型IP坐标系统

引用

电子科技大学学报 2012年第2期41卷 285-290页

作者：黄琼王万新阳小龙隆克平重庆邮电大学移动通信技术重点实验室重庆南岸区400065 电子科技大学通信与信息工程学院成都631711 北京科技大学计算机与通信工程学院北京海淀区100083

锚节点型IP坐标系统的性能受锚节点选择与布局情况以及节点恶意行为的影响较大,由此提出了一种新的可抵御节点恶意行为的锚节点型IP坐标系统(LCSD),锚节点按聚类最优化选择与布局,并采用协作推荐信任评估机制限制恶意节点对其他节点坐... 详细信息

锚节点型IP坐标系统的性能受锚节点选择与布局情况以及节点恶意行为的影响较大,由此提出了一种新的可抵御节点恶意行为的锚节点型IP坐标系统(LCSD),锚节点按聚类最优化选择与布局,并采用协作推荐信任评估机制限制恶意节点对其他节点坐标更新的影响.从相对误差、邻居度和最近邻居可信度等方面分析了LCSD.结果表明与ICS相比,LCSD相对误差更小；不论恶意节点比例大小,LCSD邻居度和最近邻居可信度都较优越.

关键词：时延 IP坐标系统 P网络锚节点

来源：评论

学校读者我要写书评

暂无评论

SMC/ADL:一种层级式构件系统的体系结构描述语言

引用

计算机科学 2012年第7期39卷 127-131页

作者：岳洋曾广平北京科技大学计算机与通信工程学院北京100083 武警北京指挥学院北京100012

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至... 详细信息

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。

关键词：软件体系结构体系结构描述语言 SMC XML

来源：评论

学校读者我要写书评

暂无评论

一种面向构件的行为语义模型及其应用研究

引用

计算机应用研究 2012年第5期29卷 1751-1755页

作者：岳洋曾广平北京科技大学计算机与通信工程学院北京100083 武警北京指挥学院北京100012

以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换... 详细信息

以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。

关键词：构件动态行为行为描述语言替换性

来源：评论

学校读者我要写书评

暂无评论

一种有效的分级的基于身份签名方案

引用

计算机科学 2012年第8期39卷 67-69,110页

作者：孙华王爱民郑雪峰安阳师范学院计算机与信息工程学院安阳455000 北京科技大学计算机与通信工程学院北京100083

利用双线性对技术,依据Boneh等人提出的分级的基于身份加密方案,设计了一个在标准模型下分级的基于身份的签名方案。方案中签名的大小是一个常量,且与签名者所在的层数无关。最后,对方案的安全性进行了分析,证明方案在Diffie-Hellman In... 详细信息

利用双线性对技术,依据Boneh等人提出的分级的基于身份加密方案,设计了一个在标准模型下分级的基于身份的签名方案。方案中签名的大小是一个常量,且与签名者所在的层数无关。最后,对方案的安全性进行了分析,证明方案在Diffie-Hellman Inversion(DHI)困难问题的假设下满足选择消息和选择身份攻击下的存在不可伪造性。

关键词：分级的基于身份的签名双线性对 DHI问题

来源：评论

学校读者我要写书评

暂无评论

基于小波树模型的CoSaMP压缩感知算法

引用

计算机应用研究 2012年第12期29卷 4530-4533页

作者：苏维均王红红于重重杨扬北京工商大学计算机与信息工程学院北京100048 北京科技大学计算机与通信工程学院北京100083

无线传感网络存在网络带宽限制和传感器节点的能耗问题,实际应用中通常希望可以通过重构算法从采集的少量数据中还原出原始信息,压缩感知理论为上述问题提供了一个解决思路。利用压缩感知理论,对无线传感器网络中温度传感器的监测信号... 详细信息

无线传感网络存在网络带宽限制和传感器节点的能耗问题,实际应用中通常希望可以通过重构算法从采集的少量数据中还原出原始信息,压缩感知理论为上述问题提供了一个解决思路。利用压缩感知理论,对无线传感器网络中温度传感器的监测信号进行了压缩感知的应用研究。针对传统压缩采样匹配追踪(CoSaMP)算法中测量次数多、重构精度低等问题,利用信号的小波系数所形成的连通树的结构特性,提出了基于小波树模型的压缩采样匹配追踪算法。将该算法应用到无线传感器网络监测信号的压缩感知仿真实验中,与传统压缩采样匹配追踪算法的重构性能进行比较,结果表明该算法较传统压缩采样匹配追踪算法在一定范围内对无线传感器网络中的温度信号具有更好的压缩感知性能。

关键词：小波树模型压缩采样匹配追踪压缩感知无线传感器网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：