检索结果-南通市图书馆

具有贯穿结构的铜/铝复合材料的强化及热导率

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Transactions of Nonferrous Metals Society of China 2024年第1期34卷 236-245页

作者：陈孝凌陈志青胡波严龙王静雅应韬曾小勤上海交通大学材料科学与工程学院轻合金精密成型国家工程研究中心上海200240 中国航空无线电电子研究所上海200233

为了在提高铝合金强度的同时避免降低其热导率,设计了一种具有单向贯穿结构的新型铜/铝双金属复合材料,并采用增材制造结合挤压铸造的工艺实现制备成形。该复合材料表现出较好的强度(约340 MPa)和热导率(200 W/(m·K))匹配性,综合性能... 详细信息

为了在提高铝合金强度的同时避免降低其热导率,设计了一种具有单向贯穿结构的新型铜/铝双金属复合材料,并采用增材制造结合挤压铸造的工艺实现制备成形。该复合材料表现出较好的强度(约340 MPa)和热导率(200 W/(m·K))匹配性,综合性能超过传统铝合金。这种良好的导热性能归因于单向贯穿的Cu骨架增强体结构能够为电子传导提供快速通道。同时,界面处生成Al2Cu共晶相,实现良好的界面冶金结合,有效改善复合材料的力学性能。

关键词： Cu/Al复合材料抗压强度挤压铸造技术热导率

稀土La对42CrMo钢碳化物析出特征及摩擦学性能增强机理研究

在线全文

学校读者我要写书评

暂无评论

摩擦学学报 2024年第8期44卷 1032-1042页

作者：吉宏斌王建梅程先华王震宇王强太原科技大学重型机械教育部工程研究中心上海交通大学机械与动力工程学院

使用真空熔炼技术制备了稀土42CrMo钢，采用光学显微镜(OM)、扫描电子显微镜(SEM)和能谱仪(EDS)对材料微观组织、拉伸断口、磨损表面和亚表层进行了表征，研究了La对42CrMo钢碳化物析出特征及摩擦学性能增强机理.结果表明：La减小了晶... 详细信息

使用真空熔炼技术制备了稀土42CrMo钢，采用光学显微镜(OM)、扫描电子显微镜(SEM)和能谱仪(EDS)对材料微观组织、拉伸断口、磨损表面和亚表层进行了表征，研究了La对42CrMo钢碳化物析出特征及摩擦学性能增强机理.结果表明：La减小了晶界张力和界面能，降低了碳化物沉淀所需成核势垒，提供了形核点，使42CrMo钢具有更小的原奥氏体晶粒和碳化物，原奥氏体和碳化物尺寸减少约46.5%和19.4%.添加La后，42CrMo钢具有更优良的力学和摩擦磨损性能，屈服强度、抗拉强度和断后伸长率比普通钢提升了9.29%、9.48%和25.01%，磨损率降低了36.71%.稀土钢强塑性的提高得益于La对晶粒和碳化物的细化以及碳化物和基体界面柔韧性的提高.摩擦磨损性能的提升是由于碳化物和基体的柔性界面在摩擦磨损过程中起到协调变形作用，减少了微裂纹的形成和碳化物的剥离，使摩擦表面形成的自润滑膜更加致密、完整，不易破坏.此外，La减少了钢中夹杂物，也提高了稀土钢的塑性和摩擦磨损性能.

关键词：稀土La 42CrMo钢碳化物摩擦学性能柔性界面

社区治理数字化转型结果因何不同?——一个整合性分析框架

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

在线全文

学校读者我要写书评

暂无评论

城市发展研究 2024年第8期 121-127页

作者：李哲权一章吴建南中共中央党校(国家行政学院)国家治理教研部(电子政务研究中心) 上海交通大学国际与公共事务学院上海交通大学中国城市治理研究院

社区治理数字化转型是推进基层治理现代化的路径，但数字化转型的结果却不尽相同。基于技术执行框架和合供理论，构建社区治理数字化转型的整合性分析框架，包括客观技术、制度安排、利益相关者、合供和结果。将整合性分析框架应用于上... 详细信息

社区治理数字化转型是推进基层治理现代化的路径，但数字化转型的结果却不尽相同。基于技术执行框架和合供理论，构建社区治理数字化转型的整合性分析框架，包括客观技术、制度安排、利益相关者、合供和结果。将整合性分析框架应用于上海市S社区治理的双案例分析，解释数字化转型结果差异的原因，并进一步对框架的适用性进行讨论。该整合性框架对社区治理数字化转型具有理论和实践启示。

关键词：社区治理城市治理数字化转型合供整合性框架

微内核操作系统互斥量模块功能正确性的形式化验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4179-4192页

作者：张林雁李希萌施智平关永曹钦翔张倩颖首都师范大学信息工程学院北京100048 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 北京成像理论与技术高精尖创新中心(首都师范大学) 北京100048 上海交通大学约翰霍普克罗夫特计算机科学中心上海200030

操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 详细信息

操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证.

关键词：互斥量功能正确性形式化验证定理证明 Coq定理证明器

基于变分模态分解和希尔伯特变换的转子非平稳信号故障特征识别

在线全文

学校读者我要写书评

暂无评论

哈尔滨工程大学学报 2024年第5期45卷 825-832页

作者：朱少民夏虹尹文哲王志超张汲宇上海交通大学船舶海洋与建筑工程学院上海200240 浙江清华柔性电子技术研究院浙江嘉兴314006 哈尔滨工程大学核安全与先进核能技术工业和信息化部重点实验室黑龙江哈尔滨150001 哈尔滨工程大学核安全与仿真技术国防重点学科实验室黑龙江哈尔滨150001

为了提升传统希尔伯特黄变换在处理复杂非平稳信号时的时频分析能力,本文将变分模态分解和希尔伯特变换进行结合,提出了一种时频分析方法变分模态分解和希尔伯特变换。此外,为了对变分模态分解的模态数进行自动调整,还提出了一种基于相... 详细信息

为了提升传统希尔伯特黄变换在处理复杂非平稳信号时的时频分析能力,本文将变分模态分解和希尔伯特变换进行结合,提出了一种时频分析方法变分模态分解和希尔伯特变换。此外,为了对变分模态分解的模态数进行自动调整,还提出了一种基于相关系数的希尔伯特黄变换参数优化方法,有效避免了由于希尔伯特黄变换模态数设置不合理而导致的信号分解不足和分解过剩的问题。利用转子故障信号对变分模态分解和希尔伯特变换方法的时频分析能力进行了验证,并且与传统希尔伯特黄变换的对比突出了该方法在处理非平稳信号中的优势。

关键词：转子非平稳信号变分模态分解希尔伯特黄变换特征识别

维普期刊数据库博看期刊

电池储能温度-功率特性建模及其在综合能源系统中的应用

在线全文

学校读者我要写书评

暂无评论

电工技术学报 2024年第16期39卷 5238-5250页

作者：熊康黎灿兵樊飞龙李新喜杨汶圣上海交通大学电子信息与电气工程学院上海200240 广东工业大学材料与能源学院广州510006

针对综合能源系统(IES)中电池储能在极端高温、低温下寿命衰减快、性能差的问题,该文提出含温度-功率特性的电池储能运行模型及含电池储能温度控制的IES低碳经济调度方法。通过电池特性实验和软件仿真,构建电池电热耦合模型,并提出相应... 详细信息

针对综合能源系统(IES)中电池储能在极端高温、低温下寿命衰减快、性能差的问题,该文提出含温度-功率特性的电池储能运行模型及含电池储能温度控制的IES低碳经济调度方法。通过电池特性实验和软件仿真,构建电池电热耦合模型,并提出相应的电热耦合模型凸化方法;根据凸化电池电热耦合模型估算电池温度并构建含温度-功率特性的电池储能运行模型,分析电、气、冷、热多能流耦合特性,构建IES低碳经济运行模型;结合电池储能运行模型及其温度控制,以最小化IES总运行成本为目标,构建混合整数规划模型,制定IES经济调度策略。为验证所提方法的效果,该文根据不同季节运行场景,构建仿真模型,将所提方法与不包含电池储能温度控制的方法进行对比。对比结果表明,所提方法可以有效提升电池储能运行的使用寿命、热安全性及利用率,降低IES运行成本与碳排放量。

关键词：综合能源系统电池储能温度特性温度控制优化调度

V2X环境下基于MPC算法的弯道区域CACC车队轨迹跟踪控制策略

在线全文

学校读者我要写书评

暂无评论

控制与决策 2024年第3期39卷 975-984页

作者：赵红专吴浩卢宁宁付建胜许恩永展新何水龙桂林电子科技大学广西智慧交通重点实验室广西桂林541004 桂林电子科技大学建筑与交通工程学院广西桂林541004 东风柳州汽车有限公司商用车技术中心广西柳州545005 桂林电子科技大学机电工程学院广西桂林541004

针对CACC (cooperative adaptive cruise control)车队在弯道行驶的安全性和稳定性问题,提出一种V2X (vehicle to everything)环境下基于MPC (model predictive control)算法的弯道区域CACC车队行驶轨迹跟踪策略.首先,分析CACC车队在弯道区域的行驶工况以及纵向平衡问题,并基于牛顿第二定律构建车辆在弯道行驶的车辆动力学模型;其次, CACC车队基于V2X技术实现车车之间状态信息的实时交互,并以基于车辆运动学的MPC算法为基础,引入可变间距的车队安全距离控制模型,提出一种适用于弯道区域的轨迹跟踪模型;最后,通过二次规划进行模型求解.实验分析结果表明:V2X环境下的CACC车队在弯道行驶过程中面对不同的行驶工况能够不同程度地保证车车之间的安全性、稳定性以及驾乘人员的舒适性,有效验证了所提V2X环境下基于MPC算法的弯道区域CACC车队轨迹跟踪策略的可行性.

关键词：弯道区域 CACC车队轨迹跟踪 MPC 可变间距二次规划

在线全文

学校读者我要写书评

暂无评论

基于SASGAN的戏剧脸谱多样化生成

图学学报 2024年第1期45卷 102-111页

作者：古天骏熊苏雅林晓上海师范大学信息与机电工程学院上海200234 上海交通大学海洋装备研究院上海200240 上海师范大学上海智能教育大数据工程技术研究中心上海200234 上海市中小学在线教育研究基地上海200234

为解决现有自动生成的戏剧脸谱在分辨率和真实性上效果不佳的问题,提出了基于自注意力机制的风格化生成对抗网络(SASGAN)。首先在StyleGAN的基础上引入了自注意力机制以及矢量量化方法,增强了对脸谱图案几何结构特征的提取,接着通过多... 详细信息

为解决现有自动生成的戏剧脸谱在分辨率和真实性上效果不佳的问题,提出了基于自注意力机制的风格化生成对抗网络(SASGAN)。首先在StyleGAN的基础上引入了自注意力机制以及矢量量化方法,增强了对脸谱图案几何结构特征的提取,接着通过多样化差异性增强(DDG)扩充数据,采用脸谱色调辅助算法对DDG方法进行补充,建立了包含12599张图像的戏剧脸谱数据集,最后在此数据集上进行训练,生成了兼顾多样性和真实性的脸谱图像。实验结果表明,对于戏剧脸谱图像,DDG方法较传统方法在数据增广方面有着较大提升,而SASGAN则提升了戏剧脸谱图像的分辨率和真实性,在主观视觉上得到了理想的效果。

关键词：戏剧脸谱生成对抗网络图像生成注意力机制矢量量化

在线全文

学校读者我要写书评

暂无评论

基于特征融合与随机森林的吊车碰线预警算法

高电压技术 2020年第2期46卷 471-479页

作者：赵庆杭王昕郑益慧李立学上海交通大学电工与电子技术中心上海200240

现有的输电线路防外力破坏技术无法自动识别目标,导致对吊车碰线的监测效果较差。因此,该文提出了1种基于特征融合与随机森林的预警算法来解决这一问题。该算法在分析吊车自身特点的基础上设计了"形状–纹理–颜色"的融合特征提取方式:... 详细信息

现有的输电线路防外力破坏技术无法自动识别目标,导致对吊车碰线的监测效果较差。因此,该文提出了1种基于特征融合与随机森林的预警算法来解决这一问题。该算法在分析吊车自身特点的基础上设计了"形状–纹理–颜色"的融合特征提取方式:首先采用改进的边缘直线检测方法提取吊臂形状特征,然后利用局部二值模式(local binary pattern,LBP)算子获取纹理特征,最后在两步量化后的色调饱和值(Hue,Saturation,Value,HSV)颜色空间内得到颜色特征。进行融合特征后采用随机森林分类器进行目标识别,当判定目标为吊车时,根据其姿态和距离参数发出不同等级的预警信息。实验结果表明:该算法对工程吊车的平均识别准确率达到90.6%,相比于3种单一特征提取方式分别提升17.3%、7.9%和12.6%。同时该算法具备较强的实时处理能力,适用于输电线路防外力破坏的智能监控场合。

关键词：吊车碰线边缘直线检测局部二值模式颜色空间量化随机森林