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

软件学报 2024年第11期35卷 4993-5015页

作者：刘靖宇李晅松陈芝菲叶海波宋巍南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京航空航天大学计算机科学与技术学院江苏南京211106

物联网设备的使用范围正在不断扩张.模型检测是提升这类设备可靠性和安全性的有效手段,但常用的模型检测方法不能很好地刻画这类设备常见的跨空间移动和通信行为.为此,提出一种面向物联网设备移动与通信行为的建模及验证方法,以实现对... 详细信息

物联网设备的使用范围正在不断扩张.模型检测是提升这类设备可靠性和安全性的有效手段,但常用的模型检测方法不能很好地刻画这类设备常见的跨空间移动和通信行为.为此,提出一种面向物联网设备移动与通信行为的建模及验证方法,以实现对这类设备时空相关性质的验证.通过将推拉动作和全局通信机制融入ambient calculus,提出全局通信移动环境演算(ACGC)并给出了ACGC对ambient logic的模型检测算法;在此基础上,提出描述物联网设备移动和通信行为的移动通信建模语言(MLMC),并给出将MLMC描述转换为ACGC模型的方法;进一步地,实现模型检测工具ACGCCk以验证物联网设备的性质是否得到满足,并通过一些优化加快检测速度;最后,通过案例研究和实验分析阐明所提方法的有效性.

关键词：模型检测物联网形式化验证建模语言

来源：评论

学校读者我要写书评

暂无评论

约束条件下基于区间组合的测试用例生成

引用

武汉大学学报（理学版） 2013年第5期59卷 458-464页

作者：杨健张焕国武汉大学计算机学院湖北武汉430072 中南民族大学管理学院湖北武汉430074 武汉大学软件工程国家重点实验室湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先... 详细信息

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.

关键词：测试用例生成区间集区间组合组合覆盖约束求解区间运算

来源：评论

学校读者我要写书评

暂无评论

一种基于非均匀分簇的无线传感器网络路由协议

引用

计算机学报 2007年第1期30卷 27-36页

作者：李成法陈贵海叶懋吴杰南京大学软件新技术国家重点实验室南京210093 美国佛罗里达大西洋大学计算机科学与工程系佛罗里达波卡雷顿33431

在路由协议中利用分簇技术可以提高无线传感器网络的可扩展性.当簇首以多跳通信的方式将数据传输至数据汇聚点时,靠近汇聚点的簇首由于转发大量数据而负载过重,可能过早耗尽能量而失效,这将导致网络分割.该文提出一种新颖的基于非均匀... 详细信息

在路由协议中利用分簇技术可以提高无线传感器网络的可扩展性.当簇首以多跳通信的方式将数据传输至数据汇聚点时,靠近汇聚点的簇首由于转发大量数据而负载过重,可能过早耗尽能量而失效,这将导致网络分割.该文提出一种新颖的基于非均匀分簇的无线传感器网络多跳路由协议.它的核心是一个用于组织网络拓扑的能量高效的非均匀分簇算法,其中候选簇首通过使用非均匀的竞争范围来构造大小不等的簇.靠近汇聚点的簇的规模小于远离汇聚点的簇,因此靠近汇聚点的簇首可以为簇间的数据转发预留能量.模拟实验结果表明,该路由协议有效地平衡了簇首的能量消耗,并显著地延长了网络的存活时间.

关键词：无线传感器网络能量高效非均匀分簇路由多跳通信

来源：评论

学校读者我要写书评

暂无评论

查询词相似度加权的邻近性检索方法

引用

模式识别与人工智能 2013年第2期26卷 189-194页

作者：乔亚男刘跃虎齐勇西安交通大学电子与信息工程学院西安710049 南京大学计算机软件新技术国家重点实验室南京210093 西安交通大学电子与信息工程学院西安710049

传统的邻近性检索模型同等地看待所有查询词,不加区分地考虑所有查询词的邻近性,造成"平行概念效应",影响邻近性检索方法的性能.文中提出一种查询词相似度加权的邻近性检索方法.该方法根据查询词之间的语义相似度对查询词邻... 详细信息

传统的邻近性检索模型同等地看待所有查询词,不加区分地考虑所有查询词的邻近性,造成"平行概念效应",影响邻近性检索方法的性能.文中提出一种查询词相似度加权的邻近性检索方法.该方法根据查询词之间的语义相似度对查询词邻近性统计量加权,可进一步推断用户的实际信息需求,挖掘查询中蕴含的更深层次的信息.实验结果表明,在短查询较多的应用环境下,文中方法可较显著提升传统邻近性检索模型的性能,有效规避查询词邻近性的平行概念效应.

关键词：信息检索语义相似度查询词邻近性(QTP) 信息需求

来源：评论

学校读者我要写书评

暂无评论

求解动态优化问题的多种群热力学遗传算法

引用

计算机科学与探索 2014年第2期8卷 179-185页

作者：李志杰李元香武汉大学计算机学院软件工程国家重点实验室武汉430072 湖南理工学院计算机学院湖南岳阳414006

多种群方法已被证明是提高演化算法动态优化性能的重要方法之一。提出了多种群热力学遗传算法(multi-population based thermodynamic genetic algorithm,MPTDGA)。该算法使用一个概率向量在热力学遗传算法迭代过程中不断演化优化与竞... 详细信息

多种群方法已被证明是提高演化算法动态优化性能的重要方法之一。提出了多种群热力学遗传算法(multi-population based thermodynamic genetic algorithm,MPTDGA)。该算法使用一个概率向量在热力学遗传算法迭代过程中不断演化优化与竞争学习,环境变化时分化成三个概率向量,并分别抽样产生原对偶和随机迁入三个子种群,依据这三个种群和记忆种群最好解的情况,选择新的工作概率向量进入新环境进行学习。在动态背包问题上的实验结果表明,MPTDGA比原对偶遗传算法跟踪最优解的能力更强,有很好的多样性,非常适合求解0-1动态优化问题。

关键词：动态环境多种群热力学遗传算法(MPTDGA) 多样性概率向量分化动态背包问题 multi-population based thermodynamic genetic algorithm (MPTDGA)

来源：评论

学校读者我要写书评

暂无评论

集水区尺度降雨侵蚀力空间分布对土壤流失的影响

引用

农业工程学报 2009年第12期25卷 69-73页

作者：程琳琳赵文武张银辉徐海燕中国矿业大学(北京)地球科学与测绘工程学院北京100083 北京师范大学资源学院地表过程与资源生态国家重点实验室北京100875 中国科学院对地观测与数字地球科学中心北京100190

为探讨降雨侵蚀力空间分布对土壤流失的影响效应,该文以黄土丘陵沟壑区子长集水区为例,将区域重心概念应用到降雨侵蚀力的空间分布研究中,基于GIS探讨了降雨侵蚀力重心在不同年份间的变迁对土壤流失的影响。研究结果表明:降雨侵蚀力重... 详细信息

为探讨降雨侵蚀力空间分布对土壤流失的影响效应,该文以黄土丘陵沟壑区子长集水区为例,将区域重心概念应用到降雨侵蚀力的空间分布研究中,基于GIS探讨了降雨侵蚀力重心在不同年份间的变迁对土壤流失的影响。研究结果表明:降雨侵蚀力重心与水文站点、大于15?坡度重心的距离会显著影响土壤流失;当降雨侵蚀力重心位于水文站点和较陡坡度重心中间位置时,也会产生较多土壤流失;降雨侵蚀力重心在南北方向上变化对土壤流失影响不大,但在东西方向上的移动能够明显改变土壤流失。在集水区尺度上,随着降雨侵蚀力空间分布的变化,降雨侵蚀力与坡度、土地利用、水文站点的空间耦合关系将发生改变,从而导致土壤流失量的增加或减少。

关键词：降雨侵蚀土壤区域重心土壤流失空间分布

来源：评论

学校读者我要写书评

暂无评论

不同垂度导线连接变电站实体耦联设备振动台试验研究

引用

地震工程与工程振动 2011年第1期31卷 67-73页

作者：谢强王亚非朱瑞元同济大学土木工程学院上海200092 同济大学土木工程防灾国家重点实验室上海200092 华东电力设计院数字化工程设计部上海200063

为了对地震作用下柔性导线连接的变电站电气设备间的相互作用进行研究,本文进行了不同垂度下柔性双分裂导线连接实体隔离开关和断路器的地震模拟振动台试验。振动台试验中采用无导线连接的单体设备以及三种不同松弛度导线连接设备体系,... 详细信息

为了对地震作用下柔性导线连接的变电站电气设备间的相互作用进行研究,本文进行了不同垂度下柔性双分裂导线连接实体隔离开关和断路器的地震模拟振动台试验。振动台试验中采用无导线连接的单体设备以及三种不同松弛度导线连接设备体系,在不同强度的三种地震动输入下对耦联体系的动力响应进行了试验研究。试验结果表明:导线的存在使得耦联设备间存在较强的非线性耦合振动。对于松弛度较小的导线,地震动较小时,由于导线对设备的约束及导线振动的能量耗散作用,导线的存在减小了设备的响应;地震动较大时,导线的振动剧烈,产生动力相互作用,对设备产生不利的影响。松弛度较小的导线具有非线性连接件的特点,且导线与设备、设备与设备间存在着耦合振动。变电站柔性导线连接设备需要考虑强震作用下导线的影响。

关键词：振动台试验变电站设备松弛度耦合振动双分裂柔性导线

来源：评论

学校读者我要写书评

暂无评论

基于矩阵转置优化的Intel KNL特性分析

引用

计算机工程与设计 2018年第5期39卷 1358-1364,1371页

作者：王琦韩林高雨辰李颖颖王曦信息工程大学数学工程与先进计算国家重点实验室河南郑州450001 成都市双流区规划建设局建设工程质量监督站四川成都610200

矩阵转置访存密集,便于并行优化,因此优化矩阵转置程序,旨在分析Knights Landing平台新特性。分析矩阵转置程序特性,按照矩阵一行元素个数,将矩阵分为3类;利用KNL平台提供的AVX-512扩展指令集对其进行向量化优化以及数据预取,利用OpenM... 详细信息

矩阵转置访存密集,便于并行优化,因此优化矩阵转置程序,旨在分析Knights Landing平台新特性。分析矩阵转置程序特性,按照矩阵一行元素个数,将矩阵分为3类;利用KNL平台提供的AVX-512扩展指令集对其进行向量化优化以及数据预取,利用OpenMP实现两种不同粒度的并行优化;利用矩阵转置程序,通过实验数据对比,分析KNL平台优化程序的特点及其不同模式的不同特性。

关键词：矩阵转置英特尔第二代至强融合处理器并行优化高带宽内存集群模式

来源：评论

学校读者我要写书评

暂无评论

国产啁啾光纤光栅应用于高功率飞秒激光系统

引用

中国激光 2022年第24期49卷 155-156页

作者：林庆典宋冬冬余军张哲赵华龙王屹山李峰郭晓杨周沧涛阮双琛深圳技术大学工程物理学院先进材料测试技术研究中心深圳市超强激光与先进材料技术重点实验室广东深圳518118 中国科学院西安光学精密机械研究所瞬态光学与光子技术国家重点实验室陕西西安710119

飞秒激光在3C产业(包括计算机、通信和消费电子产品)、增材制造、精准医疗、微纳加工、超快检测等领域具有广阔的应用前景。光纤啁啾脉冲放大(FCPA)技术是获得高功率飞秒激光的重要技术路线。在F CPA系统中,啁啾光纤布拉格光栅(CFBG)是... 详细信息

飞秒激光在3C产业(包括计算机、通信和消费电子产品)、增材制造、精准医疗、微纳加工、超快检测等领域具有广阔的应用前景。光纤啁啾脉冲放大(FCPA)技术是获得高功率飞秒激光的重要技术路线。在F CPA系统中,啁啾光纤布拉格光栅(CFBG)是调控色散的关键器件,然而目前国内使用的CFBG长期依赖进口,使得我国的飞秒激光产业面临不可控风险。

关键词：飞秒激光啁啾脉冲放大啁啾光纤光栅关键器件微纳加工消费电子产品增材制造 CPA

来源：评论

学校读者我要写书评

暂无评论

考虑流端口数量约束下的连续微流控生物芯片流路径规划算法

引用

电子与信息学报 2023年第9期45卷 3321-3330页

作者：陈志盛朱予涵刘耿耿黄兴徐宁福州大学计算机与大数据学院福州350116 中国科学院计算机体系结构国家重点实验室北京100190 西北工业大学计算机科学学院西安710072 武汉理工大学信息工程学院武汉430070

连续微流控生物芯片通常需要构建复杂交错的流路径来支持样本/试剂的运输,也需要大量的流端口来推动液体的有序流动,这阻碍了生物芯片的进一步发展。因此,该文考虑了有限流端口驱动下的流路径规划问题,并提出一个流路径驱动下的连续微... 详细信息

连续微流控生物芯片通常需要构建复杂交错的流路径来支持样本/试剂的运输,也需要大量的流端口来推动液体的有序流动,这阻碍了生物芯片的进一步发展。因此,该文考虑了有限流端口驱动下的流路径规划问题,并提出一个流路径驱动下的连续微流控生物芯片的架构综合设计流程。首先采用基于列表调度算法实现操作的绑定与调度,通过时间窗对调度进行调整,从而满足给定的流端口数量约束;然后采用基于序列对表示的遗传算法求得芯片的布局设计,通过考虑并行任务之间的冲突以及组件之间的连接关系,进一步优化了布局解的质量;最后采用基于A^(*)寻路的优化布线算法规划所需的流路径,以有效减少流通道总长度和交叉点数量,生成具有高执行效率的芯片架构。实验结果表明,该方法在严格满足给定的流端口数量约束条件下,极大地避免了各种液体运输任务的冲突,同时也优化了流通道的总长度以及交叉点的数量,降低了芯片的构造成本。

关键词：连续微流控生物芯片高层次综合流层物理设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：