检索结果-南通市图书馆

SiC基底覆多层石墨烯力学强化性能分子动力学模拟

在线全文

学校读者我要写书评

暂无评论

物理学报 2024年第10期73卷 372-382页

作者：陈晶晶赵洪坡王葵占慧敏罗泽宇南昌理工学院机电工程学院南昌330044 南昌理工学院计算机信息工程学院南昌330044

微机电系统半导体SiC器件覆多层石墨烯的力学强化性能与塑性变形微观研究,将对提升该器件耐久性服役寿命期和强韧化机制理解起到显著作用.因此,本文基于分子动力学法探讨了石墨烯堆垛类型(AA和AB堆垛)和极端使役温度对其接触力学性能(... 详细信息

微机电系统半导体SiC器件覆多层石墨烯的力学强化性能与塑性变形微观研究,将对提升该器件耐久性服役寿命期和强韧化机制理解起到显著作用.因此,本文基于分子动力学法探讨了石墨烯堆垛类型(AA和AB堆垛)和极端使役温度对其接触力学性能(最大承载荷、硬度、杨氏模量、接触刚度)、微结构演化、接触质量、褶皱形貌、位错总长的影响,解释了SiC基底覆多层石墨烯力学强化的原子尺度机制.研究发现:相同使役温度下,随覆石墨烯层数增加,SiC基底微结构的棱柱形位错环演化中越早发生脆断;石墨烯AB堆垛在最大压深时的C-C键断裂会导致石墨烯优异面内弹性变形丧失,以致其最大承载性呈现断崖式下降.研究表明:SiC基底覆三层石墨烯的力学强化性能是纯SiC的2倍,该强化效应不受石墨烯堆垛类型影响,其力学强化机制主要源于多层石墨烯受载加大会引起石墨烯面内褶皱增大,从而增大界面接触刚度,触发界面接触质量减小所致.使役温度升高,会激发原子振动频率增大,诱导界面接触原子数增多,以致界面接触质量增大,而界面接触刚度随之减弱,最终引起SiC基底覆多层石墨烯力学性能随温度升高呈近似直线下降.此外,SiC基底的亚表层应力集中会诱导基底内的微结构产生滑移与演变;基底覆石墨烯层数增加可有效减小基底亚表层的应力集中分布程度,从而对基底起抗载保护作用.

关键词： SiC 多层石墨烯力学强化分子动力学接触刚度

点云空间与反射强度融合的非结构化道路可行驶区域检测

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2024年第5期41卷 847-854页

作者：周越洋徐江钟珊龚声蓉东北石油大学计算机与信息技术学院黑龙江大庆163319 常熟理工学院计算机科学与工程学院江苏苏州215500

可行驶区域检测旨在检测和提取智能车辆在道路上可行进的区域,目前主流的检测方法主要基于三维激光雷达的空间特征实现,难以处理路面边缘无清晰空间特征的非结构化道路.为此,本文提出了一种基于点云空间和反射强度融合的非结构化道路可... 详细信息

可行驶区域检测旨在检测和提取智能车辆在道路上可行进的区域,目前主流的检测方法主要基于三维激光雷达的空间特征实现,难以处理路面边缘无清晰空间特征的非结构化道路.为此,本文提出了一种基于点云空间和反射强度融合的非结构化道路可行驶区域检测方法.首先,通过融合反射强度因子改进了基于空间特征的柱坐标系检测模型;然后,使用强度和降维空间检测对检测精度较低的环形检测模型进行优化,并将其与柱坐标系检测模型联合使用以提高方法检测准确率;最后,在自录实际道路数据集上进行对比实验.实验结果表明本文方法显著提高了非结构化道路可行驶区域检测的成功率与精确率,在结构化道路上也具有良好效果.

关键词：智能驾驶非结构化道路三维激光雷达反射强度空间分布区域检测

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

以成果为导向的计算机创新实验室管理

实验室研究与探索 2024年

作者：牛国锋钱振江龚声蓉朱苗苗常熟理工学院计算机科学与工程学院

为了提高高校计算机创新实验室的利用率，我们坚持以成果导向的理念开展实验室管理。在实验室场地申请初期签订目标考核责任书；使用过程中结合管理制度、准入授权、门禁系统、智能监控、信息化网络和流控等管理措施，建立多部门合作的... 详细信息

为了提高高校计算机创新实验室的利用率，我们坚持以成果导向的理念开展实验室管理。在实验室场地申请初期签订目标考核责任书；使用过程中结合管理制度、准入授权、门禁系统、智能监控、信息化网络和流控等管理措施，建立多部门合作的消防安全监管机制；在学校职能部门、二级学院、实验中心和团队负责人四级管理的有效结合下，达到创新实验室资源公平、分配合理，过程管理到位，确保实验室安全高效使用；最后严格按照产出成果进行对照考核。学校—学院—双创学院三级奖励机制激发创新实验室师生多出成果和出高水平成果，形成高效成果产出的良性循环，为高校计算机创新实验室使用和管理提供借鉴作用。

关键词：以成果为导向计算机创新实验室准入授权视频监控实验室安全

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

融合卷积通道注意力的遥感图像目标检测方法

计算机工程与应用 2024年第2期60卷 200-210页

作者：王怀济李广明张红良申京傲吴京东莞理工学院计算机科学与技术学院广东东莞523808

针对遥感目标检测中,目标分布不均匀、排列杂乱、大长宽比和尺寸变化剧烈等导致目标定位困难的问题,提出了一种融合卷积通道注意力的旋转目标检测方法。基于k-means进行改进,设计了在最优解下增加聚类簇之间距离的锚框设计方法;基于YOL... 详细信息

针对遥感目标检测中,目标分布不均匀、排列杂乱、大长宽比和尺寸变化剧烈等导致目标定位困难的问题,提出了一种融合卷积通道注意力的旋转目标检测方法。基于k-means进行改进,设计了在最优解下增加聚类簇之间距离的锚框设计方法;基于YOLOv5进行改进,设计融合卷积通道注意力的网络模型,增强主干网络传达给特征金字塔顶层和底层的语义和定位特征;设计包含覆盖面积、中心点距离、宽高比和角度损失四种要素的目标框损失函数;优化YOLOv5的目标框宽高回归函数,自适应生成回归预测范围。实验在两个遥感公共数据集UCAS-AOD和HRSC2016上分别与5种具有代表性的方法进行比较,在UCAS-AOD数据集上,平均精度mAP达到了95.9%,相比于CSL方法,mAP提升了0.8个百分点;在HRSC2016数据集上,平均精度mAP达到了96.3%,速度FPS达到了77.5,相比于R3Det方法,mAP提升了0.3个百分点,FPS提升了5.46倍。实验结果表明,方法的整体性能超过了近年来一些代表性的方法,在两个遥感数据集中验证了方法的有效性。

关键词：旋转目标检测 YOLO 锚框卷积通道注意力回归函数优化损失函数重构

在线全文

学校读者我要写书评

暂无评论

基于多指标交互的加权时序网络节点重要性

郑州大学学报（理学版） 2024年第2期56卷 59-65页

作者：杨晔彬姜久雷邹鹏北方民族大学计算机科学与工程学院宁夏银川750021 常熟理工学院计算机科学与工程学院江苏常熟215500

时序网络中的重要节点评估一直是社交网络领域中的热门话题,在病毒传播、信息挖掘等方面有着诸多应用。现有的算法虽然考虑到节点的邻居信息对节点产生的影响,但建模时仅仅考虑节点是否存在关系,对于链接强度的考虑不够全面。针对此问题... 详细信息

时序网络中的重要节点评估一直是社交网络领域中的热门话题,在病毒传播、信息挖掘等方面有着诸多应用。现有的算法虽然考虑到节点的邻居信息对节点产生的影响,但建模时仅仅考虑节点是否存在关系,对于链接强度的考虑不够全面。针对此问题,从时间层面去考虑节点链接强度,提出一种新的层内邻接矩阵。同时,综合考虑节点自身的邻居和跨层节点的公共邻居来衡量层间耦合关系,提出多指标交互算法;其次,构建加权超邻接模型(WSAM);最后,通过计算时序网络中每个时间层节点的特征向量中心性来评估时序网络中节点的重要性。实验结果表明,TWCR算法在时序最大连通分量、网络性能、容错性三个方面优于SAM、SSAM和WPA方法。

关键词：多层网络加权时序网络节点重要性多指标交互指数最大连通分量

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

考虑频率空间分布特性的虚拟惯量配置优化

电力系统自动化 2024年第8期48卷 122-130页

作者：刘瑞煦汪震吴佳良赵天阳单煜浙江大学电气工程学院浙江省杭州市310027 瑞典皇家理工学院电气工程与计算机科学学院斯德哥尔摩11428瑞典

高比例电力电子设备并网改变了电力系统频率响应特性,使各节点的频率动态异质化明显,导致低系统惯量、弱频率稳定等问题。电力电子装备提供虚拟惯量支撑是提升频率稳定性的有效途径之一。为改善以新能源为主体的新型电力系统频率响应性... 详细信息

高比例电力电子设备并网改变了电力系统频率响应特性,使各节点的频率动态异质化明显,导致低系统惯量、弱频率稳定等问题。电力电子装备提供虚拟惯量支撑是提升频率稳定性的有效途径之一。为改善以新能源为主体的新型电力系统频率响应性能,提出一种考虑新型电力系统频率响应空间分布差异化的虚拟惯量配置优化方法。首先,基于分频器理论,构建反映频率空间分布差异特性的系统频率响应模型。其次,为定量描述惯量分布对节点频率响应性能的影响,提出节点惯量指标与节点动能偏差指标。然后,考虑频率空间分布特性,以优化扰动后各节点的能量不平衡为目标,建立虚拟惯量配置优化模型。最后,通过仿真验证了节点惯量指标有效性以及所提虚拟惯量配置方法对系统节点频率稳定性的提升作用。

关键词：虚拟惯量配置优化频率稳定空间分布节点惯量

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于逻辑回归与区块链的车联网信任管理方案

计算机工程与应用 2024年第1期60卷 281-288页

作者：王春东郭茹月天津理工大学计算机科学与工程学院天津300384

车联网使车辆能够传播信息,以提高交通安全和效率。然而,在不可信环境下,如何有效地实施信任评估并即时更新多个路边单元(RSU)之间一致的信任值仍是具有挑战性的问题。因此,提出了一种基于逻辑回归与区块链的车联网信任管理方案。车辆... 详细信息

车联网使车辆能够传播信息,以提高交通安全和效率。然而,在不可信环境下,如何有效地实施信任评估并即时更新多个路边单元(RSU)之间一致的信任值仍是具有挑战性的问题。因此,提出了一种基于逻辑回归与区块链的车联网信任管理方案。车辆可以通过通信对方的历史行为,为其计算直接信任值和推荐信任值,并利用逻辑回归算法计算综合信任值,然后上传到附近的RSU,RSU将这些数据打包成一个区块。提出了基于权益证明(PoS)和实用拜占庭容错(PBFT)的混合共识机制,权益越大的RSUs更容易被选为矿工,并与授权的RSUs一起工作验证区块的正确性,使得信任值变化较大的区块能够即时发布。安全性分析及性能仿真表明该方案在计算和存储车辆信任值方面是有效可行的。

关键词：车联网区块链信任评估共识机制

基于改进EfficientnetV2的苹果叶片病害识别模型

在线全文

学校读者我要写书评

暂无评论

山东农业科学 2024年

作者：王浩宇崔艳荣胡玉荣胡施威长江大学计算机科学学院荆楚理工学院计算机工程学院

斑点落叶病、褐斑病、灰斑病、花叶病和锈病是常见的五种苹果树叶部病害，严重影响苹果产量。针对实际生产环境下叶片病害识别准确率不高以及现有模型参数量大难以迁移到移动设备的问题，本研究基于EfficientnetV2-b0 模型，经过改进后... 详细信息

斑点落叶病、褐斑病、灰斑病、花叶病和锈病是常见的五种苹果树叶部病害，严重影响苹果产量。针对实际生产环境下叶片病害识别准确率不高以及现有模型参数量大难以迁移到移动设备的问题，本研究基于EfficientnetV2-b0 模型，经过改进后提出了轻量级的EGV2-CA 网络。该网络在保留EfficientnetV2-b0主干网络的基础上，一是引入GhostNetV2网络中的核心Ghost Module，并选用original分支替换第一层卷积结构，可以进一步优化网络的计算效率，减少冗余计算，从而在提高模型速度和可移植性的同时保持较高的识别准确率；二是将EfficientnetV2-b0模型中Fused-MBConv模块的SE注意力机制替换为更高效的CA注意力机制，通过将空间信息编码为坐标信息以更好地捕捉和表达空间上的细粒度特征。实验结果显示，相较于原始网络，EGV2-CA 网络的识别精确率提高2.94个百分点，召回率提高2.53个百分点，F1得分提高2.67个百分点，Top-1准确率提高2.47个百分点，而参数量仅为48.9 MB，可迁移至移动设备上使用，为真实场景下苹果叶片病害的快速、准确识别提供了一种有效的解决方案。

关键词：苹果叶片病害轻量级网络深度学习算法 EfficientnetV2 Ghost模块 CA注意力机制

基于Isabelle/HOL的文件系统形式化设计与验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2024年第4期50卷 277-285页

作者：王文斌钱振江靳勇孙高飞邢晓双苏超孙天琦苏州大学计算机科学与技术学院江苏苏州215000 常熟理工学院计算机科学与工程学院江苏苏州215500

对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工... 详细信息

对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。

关键词：形式化验证文件系统定理证明有限状态机微内核