检索结果-南通市图书馆

基于Surrogate模型的断言覆盖技术研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2023年第8期45卷 1365-1375页

作者：史明川龙巧洲邹鸿基李暾国防科技大学计算机学院湖南长沙410073

随着集成电路设计规模不断增大,验证成为制约设计进程的瓶颈之一。目前,仿真仍是集成电路设计验证的主导方法之一,仿真的完备性通常通过各种覆盖率测度来度量。功能覆盖率是抽象层次较高的一种覆盖率,实际工程中,功能常以SystemVerilog... 详细信息

随着集成电路设计规模不断增大,验证成为制约设计进程的瓶颈之一。目前,仿真仍是集成电路设计验证的主导方法之一,仿真的完备性通常通过各种覆盖率测度来度量。功能覆盖率是抽象层次较高的一种覆盖率,实际工程中,功能常以SystemVerilog断言形式呈现。目前常用的随机测试向量生成较难生成大量激活断言的测试向量;而采用约束求解的策略时,一旦覆盖条件中涉及到非初始输入信号(内部信号、输出信号),约束求解的效率将极为低下,导致仍然难以覆盖目标断言。针对含非初始输入信号断言的覆盖问题,提出了一种利用Surrogate模型的断言覆盖率提升方法,主要是为非初始输入信号生成体现其与初始输入信号关系的、只包含初始输入信号的Surrogate模型,再以此Surrogate模型作为约束求解的对象,降低了约束求解的复杂度。实验结果表明,相比于随机测试向量生成,该方法在断言覆盖方面有较大提升。

关键词： SystemVerilog断言测试生成 Surrogate模型

基于WCOJ的UPF供电状态分析器的设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2023年第6期45卷 979-986页

作者：史明川邹鸿基秦志楷李暾国防科技大学计算机学院湖南长沙410073

随着集成电路工艺水平日益提高,单个芯片上可集成的功能单元数不断增加,电路的总功耗也变得越来越高,特别是超大规模集成电路设计的功耗问题已经无法回避。一套完备的基于UPF的低功耗设计流程可以解决该问题。针对UPF分析主要为数据表... 详细信息

随着集成电路工艺水平日益提高,单个芯片上可集成的功能单元数不断增加,电路的总功耗也变得越来越高,特别是超大规模集成电路设计的功耗问题已经无法回避。一套完备的基于UPF的低功耗设计流程可以解决该问题。针对UPF分析主要为数据表运算的特点,提出了一种WCOJ算法——Leapfrog,对电压域中的每个层次结构的供电电源状态表进行设计规则检查与合并,并设计实现了一个基于WCOJ的UPF供电状态分析工具。实验结果表明,该算法在空间复杂度与时间复杂度方面均有改进,且可移植性强,具有重要的理论与实践意义。

关键词：低功耗设计供电状态表最坏情况最优合并算法

在线全文

学校读者我要写书评

暂无评论

基于纹理增强的双分支遥感建筑物提取网络

激光与光电子学进展 2024年第14期61卷 291-301页

作者：谌旭史明昌北京林业大学水土保持学院北京100083

针对高分辨率的遥感影像建筑物提取过程中,卷积神经网络难以兼顾全局信息、边缘信息和底层纹理信息,导致提取结果出现边缘模糊、结果不完整的现象,提出联合浅层卷积神经网络和Transformer网络的基于纹理增强的双分支遥感建筑物提取网络(... 详细信息

针对高分辨率的遥感影像建筑物提取过程中,卷积神经网络难以兼顾全局信息、边缘信息和底层纹理信息,导致提取结果出现边缘模糊、结果不完整的现象,提出联合浅层卷积神经网络和Transformer网络的基于纹理增强的双分支遥感建筑物提取网络(TEOA-UNet)。首先,为了在学习全局上下文信息的同时保持模型对局部建筑的关注,引入Outlook注意力机制;然后,为了提升模型对建筑物边缘的感知能力,使用边缘感知模块(EAM)促进模型学习建筑物边缘信息;最后,为了提升模型对底层纹理的感受能力,提出基于浅层卷积网络的纹理增强分支来加强模型的底层信息学习。在Massachusetts、WHU,以及Inria建筑物数据集上的实验结果表明,TEOA-UNet在不同分辨率和不同场景的遥感影像建筑物提取方面表现良好,能够有效提升建筑物边界分割精度和完整性。F1分数在上述3个数据集分别达到88.54%、95.22%、90.94%,相比Baseline模型SDSC-UNet分别提升1.72百分点、0.49百分点和0.23百分点。这一结果表明,TEOA-UNet具有较高的提取精度。

关键词：遥感影像建筑物提取注意力机制边缘感知纹理增强

在线全文

学校读者我要写书评

暂无评论

CYQ集团人力资源培训管理数字化转型研究

CYQ集团人力资源培训管理数字化转型研究

作者：史明久吉林大学

学位级别：硕士

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

辣椒病虫害检测中的轻量级机器学习算法研究

辣椒病虫害检测中的轻量级机器学习算法研究

作者：史明健长春工业大学

学位级别：硕士

机器学习算法的不断发展,加速了不同领域的智能化,在农业方面上面表现出较好效果。在传统的农业中,辣椒在生长过程中会出现很多种类的疾病,辣椒病虫害常常发生在叶片和根部,需要种植者自己分辨是哪种疾病,然后对症下药,但是这个方法即... 详细信息

机器学习算法的不断发展,加速了不同领域的智能化,在农业方面上面表现出较好效果。在传统的农业中,辣椒在生长过程中会出现很多种类的疾病,辣椒病虫害常常发生在叶片和根部,需要种植者自己分辨是哪种疾病,然后对症下药,但是这个方法即耗时又费力,且准确率较低,使得产量大大降低,严重影响辣椒种植户的经济效益。神经网络能够自主的学习到图片的特征,在图像识别领域方面突出,但是普通的神经网络模型参数量大,无法嵌入到移动端设备进行快速识别,因此本文选取轻量化的卷积神经网络对辣椒病虫害类别进行识别,包括11种病虫害类别炭疽病、疫病、用药不当、病毒病、温度不适、螨虫、细菌性病害、根腐病、缺素、脐腐病和蓟马。本文主要工作如下:(1)对比不同轻量化神经网络,选择MobileNetV2网络对辣椒病虫害类别进行识别,其中辣椒病虫害数据集包含11类,一共5700张图片,实验结果与另外两种典型的轻量化神经网络进行对比验证,分别为Efficient Net和Shuffle Net,证明MobileNetV2网络相对于其他网络的优越性。(2)为了进一步提高模型的准确率,在MobileNetV2网络原有的基础之上进行改进,由于相对于其他的非轻量化神经网络准确率较低,使用结构重参数化的方法,提出Rep-MobileNetV2结构,在原有的倒残差结构之后添加新的结构重参数化层,能够融合多尺度特征信息,以增加少量参数代价提高准确率。考虑到图像通道和空间的特征信息,分别在原有结构中加入混合注意力机制SE模块和CBAM模块得到新的网络结构SE-MobileNetV2和CBAM-MobileNetV2,使得网络能够捕捉到每个通道的信息,从而提高网络的性能。(3)为了提升识别模型的泛化能力,对原始数据图片进行随机裁剪、旋转、改变颜色和添加高丝噪声等方法,同时采用Mosic数据增强方法,将原始数据集扩充到7700张图片,使用扩充后的辣椒病虫害数据集进行训练,提升模型的泛化能力。通过对比实验分析发现,改进模型Rep-MobileNetV2、SE-MobileNetV2和CBAMMobileNetV2与原始MobileNetV2相比较,三种改进模型参数量分别提升9.1%、25%和9.4%,推理时间分别下降38%、17%和2%,Rep-MobileNetV2以提高少量参数为代价使得模型的推理速度加快、准确率提高,而且Rep-MobileNetV2的模型效果最佳,最终在原始数据集中到达92.55%,在数据增强的数据集中达到95.25%。

关键词：轻量级算法 SE模块 CBAM模块 MobileNetV2 结构重参数化

切除与保留大网膜对进展期胃癌患者预后影响的系统评价及Meta分析

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

切除与保留大网膜对进展期胃癌患者预后影响的系统评价及Meta分析

作者：史明睿内蒙古民族大学

学位级别：硕士

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

多传感器融合的激光-视觉SLAM技术研究

多传感器融合的激光-视觉SLAM技术研究

作者：史明鸿电子科技大学

学位级别：硕士

基于注意力机制和互补学习的全频图像去噪方法研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于注意力机制和互补学习的全频图像去噪方法研究

作者：史明月南京信息工程大学

学位级别：硕士

组态视角下城市公园环境对老年人游憩行为意愿促进路径研究 ——以上海市为例

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

组态视角下城市公园环境对老年人游憩行为意愿促进路径研究 ——...

作者：史明珠上海师范大学

学位级别：硕士

随着我国社会老龄化不断加剧,老年人对游憩活动的需求日益增长。城市公园作为承载老年人日常游憩活动的重要绿色空间,对老年人身心健康具有积极作用。设计合理的公园环境能够吸引老年人更多地进行游憩活动,促进其社会参与和情绪改善,为... 详细信息

随着我国社会老龄化不断加剧,老年人对游憩活动的需求日益增长。城市公园作为承载老年人日常游憩活动的重要绿色空间,对老年人身心健康具有积极作用。设计合理的公园环境能够吸引老年人更多地进行游憩活动,促进其社会参与和情绪改善,为其带来较多健康益处。只有切实了解城市公园环境中对老年人游憩行为意愿影响的因素,才能更好地、更具有针对性满足老年人的需求,建设出适宜老年人的公园环境,从而促进老年人的游憩行为。本研究选取上海市老龄化最严重的三个区:虹口区、黄浦区和普陀区中老年人较多、较为有代表性的城市公园:鲁迅公园、上海人民公园、复兴公园、普陀公园、“碧波园”口袋公园、“云之丘”口袋公园为研究对象,通过实地现场调研,对老年人游憩行为特征进行观察研究,结合老年人游憩需求,在组态视角下探究多种前因变量即健身设施、交往空间、娱乐设施、景观环境、无障碍设计、休憩设施、可达性、管理状况、服务水平和安全性如何组合形成路径并且促进结果变量即老年人游憩行为意愿的提升。最终研究挖掘出城市公园环境因素促进老年人游憩行为意愿的路径,并提出相应的优化策略。研究主要成果如下:(1)通过实地现场调研,可大致将老年人游憩行为分为运动健身、社会交往、休闲娱乐三类。(2)在环境行为学理论框架下构建概念模型。其中物理环境要素有健身设施、交往空间、娱乐设施、景观环境、无障碍设计、休憩设施和可达性。人文环境要素为管理状况、服务水平、安全性。经过定性比较分析的单因素的充分性和必要性分析,单个影响因素均不能构成老年人游憩行为的充分条件,老年人游憩行为的影响是多维度多因素协同作用的。(3)城市公园环境对老年人游憩行为的促进存在多样性,通过定性比较分析的组态分析可以得出促进老年人游憩行为的14组组态,被概括为3组关键路径。包括康体健身路径、社会交往路径和休闲娱乐路径。(4)结合城市公园环境对老年人游憩行为促进路径的差异性,针对性提出能够促进老年人游憩行为意愿产生的组合策略。具体包括“增加健身设施,划分锻炼空间、加强管理维护,保障运动安全、引入数字技术,打造老年人康体活动中心”策略;“做好统筹规划,提高公园可达性、优化景观环境,丰富交往空间、联合社会力量”策略;“增加娱乐设施,增设老幼复合空间、丰富娱乐活动,合理规划休憩设施、注重文化建园,增加文化氛围”策略。

关键词：老年人城市公园游憩行为意愿组态研究