检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

基于门级信息流追踪技术的逻辑混淆攻击方法

西北工业大学学报 2024年第1期42卷 78-83页

作者：刘亮朱嘉诚张喆沈利香孙玉峰慕德俊北京智芯微电子科技有限公司北京100000 西北工业大学深圳研究院广东深圳518057

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条... 详细信息

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条件的混淆密钥序列。实验结果表明该攻击方法对5种混淆加密算法、2种面积开销生成的测试基准有很好的破解效果和效率。

关键词：逻辑混淆攻击门级信息流追踪集成电路知识产权保护

基于故障传播模型的硬件安全性与可靠性验证方法

在线全文

学校读者我要写书评

暂无评论

西北工业大学学报 2024年第1期42卷 92-97页

作者：张茜歌朱嘉诚马俊沈利香周佳慧慕德俊北京智芯微电子科技有限公司北京100000 西北工业大学深圳研究院广东深圳518057

大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和... 详细信息

大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和可靠性验证需求。研究面向安全性和可靠性验证的形式化模型,形成有效的硬件安全性与可靠性形式化验证方法。该方法能够从门级对集成电路进行建模,生成细粒度的形式化模型,实现对安全性与可靠性的形式化验证,可以捕捉硬件设计中潜在的安全隐患。实验结果表明该验证方法对硬件设计中存在的侧信道和硬件木马导致的信息泄露和篡改有很好的检测效果。

关键词：形式化模型故障效应分析漏洞检测硬件安全

在线全文

学校读者我要写书评

暂无评论

装配机器人的数字孪生虚实同步及抓取方法

系统仿真学报 2024年第9期36卷 2181-2192页

作者：徐健刘高峰赵一剑郑自立闫焕营西安工程大学电子信息学院陕西西安710048 深圳市罗博泰尔机器人技术有限公司广东深圳518109

针对工业机器人进行装配任务时对物料智能抓取精度差和数据处理难等问题,提出一种基于数字孪生的装配机器人虚实同步及抓取方法。以数字孪生为基础,设计了数字孪生装配机器人虚实同步及抓取架构。通过对多源异构数据的分类实现OPC UA服... 详细信息

针对工业机器人进行装配任务时对物料智能抓取精度差和数据处理难等问题,提出一种基于数字孪生的装配机器人虚实同步及抓取方法。以数字孪生为基础,设计了数字孪生装配机器人虚实同步及抓取架构。通过对多源异构数据的分类实现OPC UA服务器和客户端的信息模型搭建,并以OPC UA通信协议为桥梁进行装配机器人的数据通信,实现虚实同步。通过虚拟机器人对卷积神经网络进行进一步训练,提高对物料的抓取精度。在所开发的机器人数字孪生原型系统中验证所提方法的正确性和有效性,为实现装配机器人的数字孪生虚实同步和精确抓取提供新方案。

关键词：数字孪生装配装机器人实时数据抓取 OPC UA 虚实同步

同方期刊数据库博看期刊

红外飞秒光纤激光焊接石英玻璃与304不锈钢

在线全文

学校读者我要写书评

暂无评论

中国激光 2024年第16期51卷 31-39页

作者：袁锦辉霍靖宇张博元王磊郑重李嘉铭郭亮罗爱平张庆茂华南师范大学信息光电子科技学院广东省微纳光子功能材料与器件重点实验室广东广州510006 深圳市中基自动化股份有限公司广东深圳518105 深圳市青锐科技有限公司广东深圳518000 广东省工业超短脉冲激光技术企业重点实验室广东深圳518055 华南师范大学广州市特种光纤光子器件与应用重点实验室广东广州510006

研究探索金属与玻璃异种材料的连接技术是推动其大规模应用的关键,其中,对热膨胀系数相差大的玻璃与金属进行连接的超短脉冲激光焊接技术,对于提升精密微型器件的制造水平和应用具有重要意义。笔者利用有限元模型分析了石英玻璃与304不... 详细信息

研究探索金属与玻璃异种材料的连接技术是推动其大规模应用的关键,其中,对热膨胀系数相差大的玻璃与金属进行连接的超短脉冲激光焊接技术,对于提升精密微型器件的制造水平和应用具有重要意义。笔者利用有限元模型分析了石英玻璃与304不锈钢飞秒激光焊接过程的温度场,验证了所用激光焊接工艺参数的焊接可行性。为优化飞秒脉冲激光焊接工艺参数,研究了飞秒激光焊接单脉冲能量对焊接质量的影响规律。结果表明:激光单脉冲能量对热效应有显著影响;热应力因热效应的增强而增大,当其超过石英玻璃的损伤阈值后会导致微裂纹产生,进而导致焊接样品的焊接强度降低;最佳工艺参数是激光单脉冲能量5.6μJ,重复频率500 kHz,扫描速度60 mm/s,此工艺参数下焊接样品的剪切强度最大,可达到13 MPa。对两种材料的焊接机理进行了研究,结果表明:激光焊接石英玻璃与304不锈钢实现了冶金结合;Fe、Cr在界面与SiO2可能发生了氧化还原反应,形成了Fe2O3和Cr2O3。

关键词：激光技术飞秒激光焊接异种材料焊接焊缝形貌焊接强度焊接机理

在线全文

学校读者我要写书评

暂无评论

电介质储能陶瓷薄膜研究进展及改性方法

硅酸盐学报 2024年第4期52卷 1413-1437页

作者：岳文锋颜廷楠王大伟哈尔滨工业大学仪器科学与工程学院哈尔滨150001 顺络电子股份有限公司研发部广东深圳518110

电介质陶瓷薄膜材料制备的储能电容器,具有充放电速率快、功率密度大以及良好的温度稳定性和循环稳定性等优势,在脉冲激光武器、心脏起搏器等军事、民用领域具有广阔的应用前景。然而,电介质电容器的储能密度相对较低,限制了其应用范围... 详细信息

电介质陶瓷薄膜材料制备的储能电容器,具有充放电速率快、功率密度大以及良好的温度稳定性和循环稳定性等优势,在脉冲激光武器、心脏起搏器等军事、民用领域具有广阔的应用前景。然而,电介质电容器的储能密度相对较低,限制了其应用范围,因此如何提高其储能密度成为当前研究的重点之一。此外,电介质储能陶瓷薄膜材料种类繁多、制备工艺复杂,因此选择合适的材料体系和制备工艺至关重要。本文总结了电介质储能陶瓷薄膜材料的研究进展,重点讨论了6种类型的材料,包括线性电介质、顺电材料、铁电材料、弛豫铁电材料、超顺电材料和反铁电材料。此外,进一步总结了目前常用的提升电介质储能陶瓷薄膜材料储能性能的方法。期望本文的研究成果能够对开发新一代高性能电介质储能陶瓷薄膜提供有价值的参考。

关键词：陶瓷薄膜电介质电容器储能性能

非晶/Fe-Si软磁复合材料的电磁特性及微观组织

在线全文

学校读者我要写书评

暂无评论

复合材料学报 2024年

作者：郭海聂敏杨依婷赵冯香何家毅深圳顺络电子股份有限公司

本文利用成分与粒径级配两种手段优化了Fe-Si系软磁复合材料的电磁特性，并探究了软磁性能与微观组织的关系。先采用不同粉末粒径的Fe-Si粉末级配，之后利用Fe-Si-B-C非晶粉部分替代粒径相当的Fe-Si粗粉，可以获得良好的综合电磁性能。... 详细信息

本文利用成分与粒径级配两种手段优化了Fe-Si系软磁复合材料的电磁特性，并探究了软磁性能与微观组织的关系。先采用不同粉末粒径的Fe-Si粉末级配，之后利用Fe-Si-B-C非晶粉部分替代粒径相当的Fe-Si粗粉，可以获得良好的综合电磁性能。所制备的非晶/Fe-Si软磁复合材料在1 MHz内均具备良好的频率稳定性。当非晶粉:Fe-Si粗粉:Fe-Si细粉的质量比为25:25:50时，在100 kHz下的有效磁导率为47.6，100 Oe下的直流偏置能力为79.5%，100 kHz/100 mT下的功率损耗为1806 mW/cm3。相比于已报道的其他含非晶软磁复合材料，本文所报道的非晶Fe-Si-B-C/Fe-Si软磁复合材料有明显的成本和综合电磁性能上的优势。细小的Fe-Si粉末可以填充粗粉之间的空隙，有利于提高材料密度与磁导率，而非晶粉末的添加则可以明显降低功率损耗。本文制备的非晶/Fe-Si软磁复合材料具备良好的综合电磁特性，可以为工业生产提供潜在的解决方案。

关键词：软磁复合材料非晶合金功率电感电磁特性微观组织性价比

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

FPGA验证流程综述

科技资讯 2024年第4期22卷 20-22页

作者：张勇陈逸韬深圳市国微电子有限公司广东深圳518000

现场可编程门阵列(Field-Programmable Gate Array,FPGA),也被称为FPGA芯片,在通信、安防、工业等领域有着举足轻重的作用。随着FPGA芯片的规模不断扩大、性能不断提升,其模块数量、电路网表规模、连接复杂度也随之增加。在此趋势下,如... 详细信息

现场可编程门阵列(Field-Programmable Gate Array,FPGA),也被称为FPGA芯片,在通信、安防、工业等领域有着举足轻重的作用。随着FPGA芯片的规模不断扩大、性能不断提升,其模块数量、电路网表规模、连接复杂度也随之增加。在此趋势下,如何有效地提升大规模FPGA电路的验证效率与验证完备性变得更为重要。一个完整的、有针对性的、结构性的验证流程方法,能更全面地对电路设计情况进行覆盖性检查,确保FPGA芯片功能的正确性。详细叙述从底层到顶层(模块级、子系统级、全芯片级)的FPGA芯片验证方式,包括它们各自的验证方法、流程与侧重等细节,探讨了这种方式是如何帮助FPGA验证工作进行的。

关键词： FPGA芯片验证效率验证流程方法全芯片级验证

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

在线全文

学校读者我要写书评

暂无评论

智能辊压成形装备(系统)及其应用案例分析

南京航空航天大学学报 2024年第1期56卷 55-64页

作者：任银旺贺靖晟刘江熊自柳肖骏峰吴康孙勇电子科技大学(深圳)高等研究院深圳518110 深思有形(深圳)科技有限公司深圳518110

辊压成形是一种通过顺序排布的成形模具渐近横向弯曲金属带材和板材的塑性加工工艺。由于其低成本、高效率、柔性化的特点,已成为中国新能源、航空航天、轨道交通等多个领域实现轻量化、节能、减排和安全性提升的重要技术之一。但是,该... 详细信息

辊压成形是一种通过顺序排布的成形模具渐近横向弯曲金属带材和板材的塑性加工工艺。由于其低成本、高效率、柔性化的特点,已成为中国新能源、航空航天、轨道交通等多个领域实现轻量化、节能、减排和安全性提升的重要技术之一。但是,该工艺的工序复杂性和离散性、材料厚向性能的不均匀性、设备信息化和柔性化自动化的低水平等问题,导致了它类似于“黑匣子”,使得产品质量难以预测,调试生产高度依赖人工经验,可成形截面受限,成品率不稳定。为此,本文提出了一种数据驱动的智能辊压成形装备(系统),并介绍了该装备(系统)的技术架构和特点。通过搭建基于人工智能的数据架构,该系统将传统辊压成形中的离散数据进行采集、筛选、集成、储存和分析。同时融合数字孪生、人工智能、轮廓检测技术和多智能体协同控制等来构建可以替代人工经验的自纠偏的生产模式。针对新能源汽车行业,本文给出了利用该系统解决的一个辊压成形的动力电池包结构件的回弹控制案例,并对该系统的发展给出了建议和展望。

关键词：辊压成形智能装备数字孪生工业人工智能

光学双基站空间定位测量系统在核电厂波动管安装中的应用研究

在线全文

学校读者我要写书评

暂无评论

核电子学与探测技术 2024年第2期44卷 362-371页

作者：路宏杰许志强张亚军赫海涛王宝迪张永胜中国核工业二三建设有限公司北京100000 深圳普达核工业数字测控有限公司深圳518120

在核电厂运行过程中,作为稳压器与主管道热段连接的通道,稳压器可通过波动管调节主回路系统冷却剂的工作压力,避免因压力过高或过低而引发事故。波动管安装施工涉及管线长,焊口多,安装精度要求高,需要进行精确的组对和安装过程控制。本... 详细信息

在核电厂运行过程中,作为稳压器与主管道热段连接的通道,稳压器可通过波动管调节主回路系统冷却剂的工作压力,避免因压力过高或过低而引发事故。波动管安装施工涉及管线长,焊口多,安装精度要求高,需要进行精确的组对和安装过程控制。本文主要描述了采用自主研发的高精密光学双基站空间定位测量系统实现波动管安装的工艺方法,从测量控制网布设、波动管本体尺寸测量、接管管嘴测量、模拟组对等方面开展应用研究,通过模拟组对可提前确定管道坡口的预制加工尺寸,相较于实际拼接后再进行手工量取的传统方式,能够大幅缩短现场施工工期,同时对波动管本体尺寸进行了重复性测量,其3次测量结果互差最大为0.11 mm,满足核电厂三维测量两次互差小于0.3 mm的精度要求,验证了该系统能够较好地满足现场使用需求。

关键词：核电厂波动管精密测量仪器模拟组对