检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

3D打印连续纤维增强树脂T型梁的弯曲性能

材料导报 2024年第7期38卷 242-248页

作者：吴思远单忠德陈恳刘丰刘晓军严春晖中国机械科学研究总院集团有限公司先进成形技术与装备国家重点实验室北京100048 清华大学机械工程系北京100084 南京航空航天大学机电学院南京210016

1中国机械科学研究总院集团有限公司先进成形技术与装备国家重点实验室,北京1000482清华大学机械工程系,北京1000843南京航空航天大学机电学院,南京210016实现基梁于结熔构融的沉轻积量技化、术功的能连化续设纤计维和增制强造树。脂本3... 详细信息

1中国机械科学研究总院集团有限公司先进成形技术与装备国家重点实验室,北京1000482清华大学机械工程系,北京1000843南京航空航天大学机电学院,南京210016实现基梁于结熔构融的沉轻积量技化、术功的能连化续设纤计维和增制强造树。脂本3D工作打对印筋工高艺0为m梁m结与构5的m制m造的提T供型了梁一打种印新件的在途不径,同该打工印艺参具数有下快的速弯近曲净性成能型进、行可测设计试性实强验,等研优究势了,能打够印基于熔融沉积技术的连续纤维增强树脂3D打印工艺为梁结构的制造提供了一种新的途径,该工艺具有快速近净成型、可设计性强等优势,能够实现梁结构的轻量化、功能化设计和制造。本工作对筋高0 mm与5 mm的T型梁打印件在不同打印参数下的弯曲性能进行测试实验,研究了打印厚度分别为0.7 mm、0.8 mm、0.9 mm时与打印丝束间距分别为0.6 mm、0.7 mm、0.8 mm时T型梁对应的弯曲强度与模量。由于3D打印连续纤维增强树脂材料存在着复杂的破坏模式,本研究运用声发射技术对T型梁的弯曲破坏过程进行测试分析,采用主成分分析法与K-means++聚类算法对采集的过程信号进行损伤分类。结果表明,当打印层厚为0.7~0.9 mm时,随着打印层厚的增加,T型梁的弯曲强度与模量均降低。当打印丝束间距为0.6~0.8 mm时,随着打印丝束间距的增加,T型梁的弯曲强度与模量降低。在T型梁从弯曲载荷加载初始到破坏失效阶段,对应特征信号可以聚类为五类,分别对应五种破坏模式,即基体开裂、层间剥离、纤维与基体脱粘、纤维开裂及纤维断裂,分类结果能够很好地解释弯曲破坏过程。

关键词： 3D打印 T型梁弯曲性能声发射主成分分析 K-means++

基于PAST的毫米波雷达MIMO阵列幅相误差校正算法

在线全文

学校读者我要写书评

暂无评论

信号处理 2024年第9期40卷 1633-1647页

作者：王纪平刘衍琦邓钱钰郭淑婷毛新华南京航空航天大学电子信息工程学院雷达成像与微波光子技术教育部重点实验室江苏南京211106

随着毫米波雷达探测场景的复杂多元化,仅仅利用合成孔径雷达(Synthetic Aperture Radar,SAR)成像技术获得探测场景二维信息很难满足实际工程需要。因此,基于车载毫米波雷达二维SAR成像结果,利用高度向多输入多输出(Multiple Input Multi... 详细信息

随着毫米波雷达探测场景的复杂多元化,仅仅利用合成孔径雷达(Synthetic Aperture Radar,SAR)成像技术获得探测场景二维信息很难满足实际工程需要。因此,基于车载毫米波雷达二维SAR成像结果,利用高度向多输入多输出(Multiple Input Multiple Output,MIMO)阵列来进行到达角(Direction Of Arrival,DOA)估计,获得目标高度信息,实现高分辨率三维点云成像就显得十分重要。然而在实际MIMO阵列中存在的幅度和相位误差会导致DOA估计性能下降,影响目标聚焦效果,难以满足目标分类识别的要求。由于SAR成像后的阵列幅相误差具有时变性,现有的阵列幅相误差校正算法难以兼顾补偿精度和计算效率。针对上述问题,本文首先构建了车载毫米波雷达三维回波模型,提出了一种基于后向投影算法的高分辨三维重构成像方法。相较于传统的毫米波点云成像,该方法可以获得更高的方位向和高度向分辨率。然后,建立了高度向一维阵列信号模型,利用最大似然估计方法,推导了阵列幅相误差最大似然估计值与阵列协方差矩阵的最大特征值对应的特征向量之间的等效关系。最后,提出了一种基于投影近似子空间跟踪(Projection Approximation Subspace Tracking,PAST)的MIMO阵列幅相误差校正算法,该算法利用PAST技术迭代求解所需的特征向量,有效避免了复杂的估计协方差矩阵和特征分解过程。相较于已有算法,该算法拥有较高的估计精度的同时可以满足工程实时处理的需要。理论分析、数值仿真以及实测实验验证了该算法可以有效排除阵列幅相误差干扰,获得高分辨DOA估计结果。

关键词：毫米波雷达 MIMO阵列合成孔径雷达幅相误差投影近似子空间跟踪

在线全文

学校读者我要写书评

暂无评论

针对音频识别的物理世界音素对抗攻击

计算机研究与发展 2024年

作者：王嘉凯孔宇升陈镇东胡琎尹子鑫马宇晴杨晴虹刘祥龙北京中关村实验室复杂关键软件环境全国重点实验室(北京航空航天大学) 北京航空航天大学自动化科学与电气工程学院南栖仙策(南京)科技有限公司北京航空航天大学软件学院合肥综合性国家科学中心数据空间研究院

语音识别等智能技术在自动驾驶、物联网等场景下得到了广泛的应用.近年来，针对语音识别的对抗攻击研究逐渐受到关注.然而，现有的大多数研究主要依赖于粗粒度的音频特征来在实例级别生成对抗噪声，这导致生成时间成本高昂且攻击能力弱... 详细信息

语音识别等智能技术在自动驾驶、物联网等场景下得到了广泛的应用.近年来，针对语音识别的对抗攻击研究逐渐受到关注.然而，现有的大多数研究主要依赖于粗粒度的音频特征来在实例级别生成对抗噪声，这导致生成时间成本高昂且攻击能力弱.考虑到所有语音可以被视为基本音素的不同组合，提出了一个基于音素的通用对抗攻击方法（phonemic adversarial noise，PAN），该方法通过攻击在音频数据中普遍存在的、音素级别的细粒度音频特征，以生成音素级对抗噪声，取得了更快的对抗噪声生成速度并具备更强的通用攻击能力.为了全面地评估所提出的PAN框架，在实验中基于LibriSpeech等多种语音识别任务中被广泛采用的公开数据集，对提出的音素对抗噪声的攻击有效性、跨数据集的泛化能力、跨模型迁移攻击能力和跨任务迁移攻击能力进行了验证，并进一步在物理世界设备中证实了对民用智能音频识别应用的攻击效果.实验结果表明，所提出的方法比其他对比方法的攻击能力提高了38％，生成速度快了24倍以上，且提出的采样策略和学习方法对降低训练时间和提升攻击能力具有重要作用.

关键词：人工智能安全对抗攻击音频识别物理攻击音素对抗噪声

基于自然语言需求的SCADE模型测试用例自动生成方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机科学 2024年第7期51卷 29-39页

作者：邵温欣杨志斌李维周勇南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室南京211106 航空防护救生技术航空科技重点实验室湖北襄阳441003

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 详细信息

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。

关键词：安全关键软件模型驱动开发 SCADE 测试用例自动生成模型检测

在线全文

学校读者我要写书评

暂无评论

智能合约漏洞检测技术综述

软件学报 2024年第1期35卷 38-62页

作者：董伟良刘哲刘逵黎立葛春鹏黄志球南京航空航天大学计算机科学与技术学院江苏南京211106 Monash University Clayton VIC 3800Australia

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分... 详细信息

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.

关键词：智能合约合约安全合约可靠性合约质量保障漏洞检测合约程序分析

碳纤维复合材料编织-针刺预制体成形质量研究

在线全文

学校读者我要写书评

暂无评论

高科技纤维与应用 2024年第3期49卷 34-43页

作者：周征西单忠德孙正郭子桐杨天政南京航空航天大学机电学院南京210016 南京航空航天大学航空航天结构力学及控制全国重点实验室南京210016

编织-针刺复合成形技术可实现大厚度回转形复合材料预制体一体化成形。为研究编织-针刺复合材料预制体成形质量,试制了不同K数纱线、编织角度的编织-针刺预制体以及作为对照组的机织-针刺预制体。考虑背面针刺纤维束形貌以及基布损伤提... 详细信息

编织-针刺复合成形技术可实现大厚度回转形复合材料预制体一体化成形。为研究编织-针刺复合材料预制体成形质量,试制了不同K数纱线、编织角度的编织-针刺预制体以及作为对照组的机织-针刺预制体。考虑背面针刺纤维束形貌以及基布损伤提出通过用预制体纤维束细长率χ_(f)定量表征针刺纤维束形貌。结合实际针刺预制体剥离曲线的变化特点,采用有效剥离曲线内所有波峰和波谷的平均值来对层间剥离强力进行描述。结果表明,试样纱线K数为6K时,编织-针刺预制体平均细长率相较机织-针刺预制体提升7.2%,编织-针刺预制体纤维束形貌更理想。当纱线K数由6增加至12时,机织-针刺预制体背面纤维束平均细长率提升了78.9%,编织-针刺预制体却减少了30.6%,其原因在于编织-针刺预制体刺针作用位置处纱线被挤开,增大了纤维束投影面积。编织-针刺预制体在层间剥离强力指标方面优势显著,各试样相较机织-针刺预制体提升38.0%以上,12K纱线编织-针刺预制体层间剥离强力比6K纱线大78.3%,且随着编织角由30°增加至60°,编织-针刺预制体平均剥离强力减少46.6%。

关键词：复合材料编织-针刺预制体成形质量预制体性能表征

在线全文

学校读者我要写书评

暂无评论

针刺疗法的力学基础

应用数学和力学 2024年第6期45卷 803-822页

作者：季恒谭为康巫桐雨舒文雅吴啸亚晓旭纪昌春王欣君韩玉龙南京航空航天大学航空航天结构力学及控制全国重点实验室南京210016 南京纯白矩阵科技有限公司南京210000 首都医科大学附属北京中医医院北京100010 陕西省中医医院西安710003 南京中医药大学针药结合教育部重点实验室南京210023

针刺疗法的有效性已被大量研究证实,许多国家将其纳入医疗系统.但是,针刺疗法的发展仍存在一些挑战,如针刺过程定量化方法缺乏、针刺技术传承困难、穴位定位精确度不足等.随着近年来多学科交叉的发展,尤其是工程科学与医学的结合,为解... 详细信息

针刺疗法的有效性已被大量研究证实,许多国家将其纳入医疗系统.但是,针刺疗法的发展仍存在一些挑战,如针刺过程定量化方法缺乏、针刺技术传承困难、穴位定位精确度不足等.随着近年来多学科交叉的发展,尤其是工程科学与医学的结合,为解决针刺技术中存在的问题提供了新的思路和方法.该文综述了针刺技术中力学核心要素的历史发展,包括力学刺激工具(针具)、针刺过程(刺入及行针阶段)和力学刺激对象(穴位)三个部分.通过对这三个力学要素的剖析,总结了其对针刺过程和治疗效果的定量化研究及影响.同时,梳理了在针刺量化研究中的力学实验及模型,深化了对针刺过程的理解.总结了针刺机器人前沿的研究成果,及其在提升针刺技术传承、推动针灸国际化进程中的作用.最后,展望了针刺力学研究的发展方向.

关键词：针刺力学力学刺激核心要素针刺力学模型针刺机器人

着角与攻角联合作用下薄芳纶层合板抗平头弹侵彻性能

在线全文

学校读者我要写书评

暂无评论

应用数学和力学 2024年第2期45卷 184-196页

作者：季海波王昕苏金波李振王鹏飞巨圆圆卢天健南京航空航天大学机械结构力学及控制国家重点实验室南京210016 南京航空航天大学多功能轻量化材料与结构工信部重点实验室南京210016 中国航天科技创新研究院先进材料与能源研究中心北京100176 中船黄埔文冲船舶有限公司广州510715 海军研究院北京100161

为探究着角和攻角对薄芳纶层合板抗平头弹侵彻性能的影响,建立了三维有限元仿真模型,对4 mm厚芳纶层合板在着角单独作用下以及着/攻角联合作用下的弹道行为进行了计算.通过弹丸的剩余速度、靶板的极限弹道速度及穿孔能量阈值反映了芳纶... 详细信息

为探究着角和攻角对薄芳纶层合板抗平头弹侵彻性能的影响,建立了三维有限元仿真模型,对4 mm厚芳纶层合板在着角单独作用下以及着/攻角联合作用下的弹道行为进行了计算.通过弹丸的剩余速度、靶板的极限弹道速度及穿孔能量阈值反映了芳纶层合板的抗侵彻性能,分析了其在不同工况下的变形与破坏机理.结果表明:薄芳纶层合板的弹道极限速度随初始着角的增加先减小后增大;随着入射速度的增大和初始着角的减小,着角改变量和攻角改变量均有减小的趋势;对于固定的着角,负攻角不利于子弹侵彻,正攻角有利于侵彻.

关键词：着角攻角芳纶层合板平头弹弹道极限速度穿孔能量阈值

面向高速磨削强化传热的振荡热管测试平台设计研究

在线全文

学校读者我要写书评

暂无评论

机械设计 2024年第6期41卷 114-122页

作者：张新鹏钱宁姜帆傅玉灿徐九华南京航空航天大学机电学院江苏南京210016

振荡热管砂轮在航空难加工材料的磨削加工中可以显著降低磨削温度,防止磨削烧伤。为了更好地指导振荡热管砂轮设计,需探究振荡热管在不同旋转条件下的传热性能,文中设计了全新的旋转振荡热管传热性能试验平台。通过磁耦合谐振无线供电... 详细信息

振荡热管砂轮在航空难加工材料的磨削加工中可以显著降低磨削温度,防止磨削烧伤。为了更好地指导振荡热管砂轮设计,需探究振荡热管在不同旋转条件下的传热性能,文中设计了全新的旋转振荡热管传热性能试验平台。通过磁耦合谐振无线供电的方式为振荡热管的加热元件供电,实现振荡热管模拟磨削热载荷的加载;通过微控制器采集温度信息,并以无线通信的方式传输温度数据,以克服现有的基于电刷滑环的试验装置在高转速下存在的信号干扰和机械磨损等问题;通过试验确定了无线供电装置的最佳工作参数,测定了信号采集系统的测量误差,并通过旋转振荡热管的传热性能试验验证了测试平台的性能。

关键词：磨削热振荡热管磁耦合谐振无线通信试验平台设计