检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于递归认证测试的SIP协议形式化分析

信息网络安全 2024年第10期24卷 1586-1594页

作者：姚萌萌王宇洪瑜平江南计算技术研究所无锡214063

文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过... 详细信息

文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。

关键词： SIP协议递归认证测试串空间形式化分析方法

阴离子水性聚氨酯上浆剂的制备及其对玻璃纤维性能的影响

在线全文

学校读者我要写书评

暂无评论

化工新型材料 2024年第7期52卷 199-203页

作者：宋嘉祁王矿卓炎朱博江南大学纺织研究所无锡214122

上浆是玻璃纤维加工过程中的关键步骤。水性聚氨酯作为玻璃纤维上浆剂具有机械强度高和耐磨性好等优点。以二环己基甲烷二异氰酸酯(HMDI)和聚四氢呋喃醚二醇(PTMEG)为单体,合成了阴离子水性聚氨酯(AWPU),在稀释的AWPU乳液中加入定量硅... 详细信息

上浆是玻璃纤维加工过程中的关键步骤。水性聚氨酯作为玻璃纤维上浆剂具有机械强度高和耐磨性好等优点。以二环己基甲烷二异氰酸酯(HMDI)和聚四氢呋喃醚二醇(PTMEG)为单体,合成了阴离子水性聚氨酯(AWPU),在稀释的AWPU乳液中加入定量硅烷偶联剂KH570制备了玻璃纤维上浆剂。通过傅里叶变换红外光谱仪、热重分析仪对AWPU的官能团、热性能进行表征并测试了其稳定性,研究了AWPU含量对上浆玻璃纤维(SGF)微观形貌、力学性能和集束性能的影响。结果表明:随着上浆剂中AWPU含量的增加,SGF表面越来越光滑;AWPU质量分数在15%~20%时,SGF的机械性能增幅最大;SGF-20断裂强力高达984.528cN,与未上浆玻璃纤维相比断裂强力提高了72.6%,耐磨性能比SGF-15提高了93.2%;SGF-20的集束性能最佳,上浆率达到2.3%。

关键词：上浆阴离子水性聚氨酯上浆剂玻璃纤维机械性能

面向广义Chiplet的高速BGA与PCB传输结构设计

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2024年第6期46卷 977-983页

作者：陈天宇李川王彦辉江南计算技术研究所江苏无锡214083

从广义Chiplet互连设计出发,重点研究BGA区域孔串扰分析方法和优化措施。提出以单元阵列孔建模计算作为全芯片BGA区域孔串扰评估方式,进一步根据不同布线层互连分析需求构建了多层扇出的孔建模平台。单元阵列孔建模分析结果和多层扇出... 详细信息

从广义Chiplet互连设计出发,重点研究BGA区域孔串扰分析方法和优化措施。提出以单元阵列孔建模计算作为全芯片BGA区域孔串扰评估方式,进一步根据不同布线层互连分析需求构建了多层扇出的孔建模平台。单元阵列孔建模分析结果和多层扇出孔阵建模分析结果相互印证,说明以单元阵列作为串扰评估最小单元是准确的,多层扇出孔阵建模方式是高效可行的。采用多层扇出孔阵建模平台对2种BGA封装管脚对应的PCB孔串扰进行了对比分析。结果显示,在封装管脚设计时,提高邻近信号孔间距与邻近信号孔地孔间距比例比增加地孔数量和管脚间距更能有效地抑制串扰。

关键词：单元阵列球栅阵列管脚分配孔信号完整性串扰

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

基于应变失配原理驱动的4D打印研究进展

复合材料学报 2024年第2期41卷 533-547页

作者：刘小艳张亚玲耿呈祯廖恩泽刘禹芦艾江南大学机械工程学院无锡214122 中国工程物理研究院化工材料研究所绵阳621900

4D打印是一种新兴技术,旨在赋予增材制造所得的物体随时间变化形状或功能的能力,由于其可以将平面前驱图案转换为具有复杂几何形状的3D结构,4D打印为制造领域提供了一种灵活高效的制造方式。4D打印中前驱结构的设计是影响形状转换效果... 详细信息

4D打印是一种新兴技术,旨在赋予增材制造所得的物体随时间变化形状或功能的能力,由于其可以将平面前驱图案转换为具有复杂几何形状的3D结构,4D打印为制造领域提供了一种灵活高效的制造方式。4D打印中前驱结构的设计是影响形状转换效果的关键因素之一,本文从前驱结构设计的角度,对基于应变失配原理驱动变形下4D打印的发展进行综述。首先对4D打印的研究现状作了简要概述,再从不同维度下的前驱结构展开,对结构设计相关的研究进行分类,全面梳理了不同维度前驱结构驱动下的4D打印。同时,对于前驱结构的设计,讨论了几种辅助设计方法,有预测变形的理论计算模型和仿真分析及可用来相对精确设计前驱结构的逆向设计工具。最后,对4D打印的应用前景及面临的挑战进行了总结和展望。

关键词： 4D打印应变失配前驱结构外界刺激形状变化

在线全文

学校读者我要写书评

暂无评论

高性能内燃机用滤纸的制备及其对性能的影响

材料导报 2024年第6期38卷 261-266页

作者：马锐金圣楠龙柱朱瑞丰孙昌江南大学造纸研究室江苏无锡214122 江南大学短纤维功能材料研究室江苏无锡214122

采用高强高模聚乙烯(UHMWPE)纤维与针叶木浆混抄,制备具有力学性能高、疏水性好和透气性适当的内燃机用滤纸。通过探讨原纸制备工艺、树脂浸渍和热压工艺对滤纸性能的影响,确定试验条件下的最佳参数,并采用相关手段表征了滤纸的力学性... 详细信息

采用高强高模聚乙烯(UHMWPE)纤维与针叶木浆混抄,制备具有力学性能高、疏水性好和透气性适当的内燃机用滤纸。通过探讨原纸制备工艺、树脂浸渍和热压工艺对滤纸性能的影响,确定试验条件下的最佳参数,并采用相关手段表征了滤纸的力学性能、热稳定性能、孔径大小以及疏水性能。结果表明:在试验条件下,当UHMWPE纤维与针叶木浆的质量比为8∶2、针叶木浆打浆度为22°SR、分散剂PEO和增强剂CPAM相对于绝干浆的质量分数分别为0.5%和0.1%、热压时间为15 min、热压压力为10 MPa、热压温度为140℃时,制备的内燃机用UHMWPE滤纸性能最佳,其中,滤纸抗张指数为50.28 N·m/g,耐破度为503.55 kPa,接触角为123.52°且1 min内不渗透,熔点提高至155℃。

关键词：高强高模聚乙烯(UHMWPE)纤维酚醛树脂热压耐破度滤纸

在线全文

学校读者我要写书评

暂无评论

神威超级计算机运行时故障定位方法

计算机研究与发展 2024年第1期61卷 86-97页

作者：高剑刚郑岩于康彭达佳李宏亮刘勇何王全陈德训王飞国家并行计算机工程技术研究中心北京100190 江南计算技术研究所江苏无锡214083

随着高性能计算机的性能不断提升、系统规模不断提高,系统和应用的错误率也不可避免地持续增多.快速发现和定位系统及应用级的错误、为用户提供高质量服务,成为了超级计算机系统设计开发过程中急需考虑的问题.超级计算机系统中硬件故障... 详细信息

随着高性能计算机的性能不断提升、系统规模不断提高,系统和应用的错误率也不可避免地持续增多.快速发现和定位系统及应用级的错误、为用户提供高质量服务,成为了超级计算机系统设计开发过程中急需考虑的问题.超级计算机系统中硬件故障与异常、软件程序的错误等都会导致用户大规模并行应用的错误、挂死与退出.如何快速准确定位错误现场,让管理员或用户以此为基础查看异常发生的故障进行高精度、高效率的诊断,是维护高性能计算系统可靠性的重要基础.高性能计算机传统的故障定位主要通过硬件异常跟踪、系统日志分析和程序主动探测等方法,缺乏对无日志信息、无明显故障现象的程序挂死问题的定位手段,并且技术的扩展性也面临挑战.针对“新一代神威超级计算机”体系结构和SW26010-Pro众核处理器特点,提出一种运行时故障定位方法,包括基于消息传递的故障关联分析、基于全局聚合信息的在线综合分析诊断、面向申威众核处理器的异常线程过滤方法等关键技术,阐述了如何有效检测、收集、处理大量系统资源和并行进程的异常信息问题,为应对未来超大规模高性能计算中故障高效定位难题提供有效支撑.

关键词： E级计算机可靠性错误定位运行时众核处理器

在线全文

学校读者我要写书评

暂无评论

窗口长度自适应调整的策略迭代最优控制

控制理论与应用 2024年第4期41卷 745-750页

作者：方欣栾小丽刘飞江南大学自动化研究所轻工过程先进控制教育部重点实验室江苏无锡214122

在系统模型参数未知的最优控制问题中,策略迭代能否快速收敛到最优控制策略的关键在于值函数的估计.为了提升值函数的估计精度以及收敛速度,本文提出一种窗口长度自适应调整的策略迭代最优控制算法.充分利用一段时间内的历史样本数据,... 详细信息

在系统模型参数未知的最优控制问题中,策略迭代能否快速收敛到最优控制策略的关键在于值函数的估计.为了提升值函数的估计精度以及收敛速度,本文提出一种窗口长度自适应调整的策略迭代最优控制算法.充分利用一段时间内的历史样本数据,通过影响力函数构建窗口长度与值函数估计性能之间的定量关系,根据数据窗口长度对估计性能影响力的不同,实现窗口长度的自适应调整.最后,将本文所提方法应用到连续发酵过程,结果表明,本文所提方法能够加快最优控制策略的收敛,克服参数变化或外部扰动对控制性能的影响,从而提升控制精度.

关键词：最优控制策略迭代窗口长度自适应调整影响力函数

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

在线全文

学校读者我要写书评

暂无评论

通过图注意力网络识别空间转录组中的空间域

生物医学工程学杂志 2024年第2期41卷 246-252页

作者：吴瀚文高洁江南大学江苏无锡214122

由于数据的高维和复杂性,空间转录组数据的分析一直是一个具有挑战性的问题,而聚类分析则是空间转录组数据分析的核心问题。本文提出了一种基于图注意力网络的深度学习方法,用于空间转录组数据的聚类分析。首先,对空间转录组数据进行增... 详细信息

由于数据的高维和复杂性,空间转录组数据的分析一直是一个具有挑战性的问题,而聚类分析则是空间转录组数据分析的核心问题。本文提出了一种基于图注意力网络的深度学习方法,用于空间转录组数据的聚类分析。首先,对空间转录组数据进行增强,然后使用图注意力网络对节点进行特征提取,最后使用莱顿(Leiden)算法进行聚类分析。通过聚类的评价指标发现,与传统的非空间及空间聚类方法相比,本文提出的方法具有更好的数据分析性能。实验结果表明,本文所提方法可以有效地聚类空间转录组数据,从而能够识别不同的空间区域,为研究空间转录组数据提供了新的工具。

关键词：空间转录组学图注意力网络深度学习聚类分析

在线全文

学校读者我要写书评

暂无评论

保息蕃育:出土文献所见秦汉生育保障初探

史学月刊 2024年第9期 33-42页

作者：冯闻文江南大学江南文化研究院江苏无锡214122

秦汉时期的生育保障覆盖从怀孕到生产再到抚育的不同阶段。出土文献中包含了关于秦汉时期生育保障的丰富史料。通过对相关史料的系统梳理可知,国家以法律手段对妊娠期的女性加以保护,给予刑具宽松、判决延期的区别对待。在婴儿出生后,... 详细信息

秦汉时期的生育保障覆盖从怀孕到生产再到抚育的不同阶段。出土文献中包含了关于秦汉时期生育保障的丰富史料。通过对相关史料的系统梳理可知,国家以法律手段对妊娠期的女性加以保护,给予刑具宽松、判决延期的区别对待。在婴儿出生后,政府则会要求在八月案户比民之际著录其户籍,为后续的福利发放提供依据。政府给予产子家庭一定时间的赋役免除,以保障亲职的履行。对于多子家庭,生育福利则会随着子女数量的增加而累进。

关键词：出土文献生育福利产妇福利慈幼