检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于事件逻辑的PUFs认证协议形式化分析

华中科技大学学报（自然科学版） 2024年第2期52卷 69-76页

作者：钟小妹肖美华杨科罗运先华东交通大学软件学院江西南昌330013

提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存... 详细信息

提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.

关键词：形式化方法事件逻辑(LoET) 物理不可克隆函数(PUFs) 双向认证协议定理证明

在线全文

学校读者我要写书评

暂无评论

小苍耳历险记

红蜻蜓 2024年第4期 5-7页

作者：钟采娟一朵云(图) 广西壮族自治区湖南省长沙市

在宁静的小山村里,有一个小小的苍耳,他有着大大的梦想,那就是环游世界。他搭上了小狗顺风车,和微风一起奔跑。一朵蒲公英问小苍耳:“小苍耳,你好呀,你也是去旅行吗?”“是的,我要去环游世界!”小苍耳兴奋地回答。小苍耳的第一站来到了... 详细信息

在宁静的小山村里,有一个小小的苍耳,他有着大大的梦想,那就是环游世界。他搭上了小狗顺风车,和微风一起奔跑。一朵蒲公英问小苍耳:“小苍耳,你好呀,你也是去旅行吗?”“是的,我要去环游世界!”小苍耳兴奋地回答。小苍耳的第一站来到了高山之上,他藏在松树爷爷茂密的头发里。

关键词：历险记顺风车苍耳蒲公英

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

在线全文

学校读者我要写书评

暂无评论

机翼混合相冰晶结冰现象的数值研究

西安交通大学学报 2024年第10期58卷 168-177页

作者：钟富豪刘森云刘秀芳代欣波陈佳军苗庆硕易贤侯予西安交通大学能源与动力工程学院西安710049 中国空气动力研究与发展中心结冰与防除冰重点实验室四川绵阳621000 西安交通大学深低温技术与装备教育部重点实验室西安710049

为探究冰晶与过冷水滴共存时的混合相结冰特性,基于FENSAP-ICE结冰计算平台,以NACA0012翼型为研究对象,采用阻力系数对非球形冰晶的运动过程进行修正,考虑了冰晶黏附效应和侵蚀效应的影响,建立了欧拉框架下冰晶运动、碰撞、黏附、结冰... 详细信息

为探究冰晶与过冷水滴共存时的混合相结冰特性,基于FENSAP-ICE结冰计算平台,以NACA0012翼型为研究对象,采用阻力系数对非球形冰晶的运动过程进行修正,考虑了冰晶黏附效应和侵蚀效应的影响,建立了欧拉框架下冰晶运动、碰撞、黏附、结冰和侵蚀全物理过程的混合相结冰数值计算方法。分析了冰晶质量浓度(ice water content,IWC)、液态水质量浓度(liquid water content,LWC)以及冰晶黏附和侵蚀效应对结冰形态和结冰厚度的影响规律,对比了NTI和NRC两种冰晶黏附模型的适用条件。研究结果表明:当总水含量(total water content,TWC)一定时,随着冰水含量比IWC与LWC之比的增加,结冰覆盖面积逐渐减小,最大结冰厚度先增大后减小,冰形由冠状逐渐变为尖角状,当IWC与LWC分别为0.4 g·m^(-3)和1.0 g·m^(-3)时,驻点处的结冰厚度达到最大值;对于高IWC工况,NRC黏附模型的驻点结冰厚度更接近实验结果,误差为7.2%;对于低IWC工况,NTI模型与NRC模型的驻点结冰厚度接近;侵蚀作用主要影响翼型驻点附近的区域,IWC或LWC的增大均会加剧侵蚀效应。研究可为飞行器高效防除冰系统的设计提供理论依据。

关键词：混合相冰晶结冰黏附侵蚀数值模拟

在线全文

学校读者我要写书评

暂无评论

“不吃不喝”的新成员

学生·家长·社会 2024年第Z2期 61-63页

作者：代黛

生活中，我们见过一些植物离开土壤能够生存，也了解过部分植物离开水源依旧存活，但你相信有一种植物即便离开了土壤、水源，依旧活得精彩吗？前不久，植物园来了一位新成员，它就这样奇特地存在着。那么，这种不按常理出牌的植物是什...

生活中，我们见过一些植物离开土壤能够生存，也了解过部分植物离开水源依旧存活，但你相信有一种植物即便离开了土壤、水源，依旧活得精彩吗？前不久，植物园来了一位新成员，它就这样奇特地存在着。那么，这种不按常理出牌的植物是什么？它身上又隐藏着怎样的秘密呢？

关键词：

基于MPGW分布的压力蒸汽灭菌器可靠性分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

机械强度 2024年第1期46卷 115-121页

作者：钟添萍南京大学医学院附属口腔医院南京市口腔医院南京大学口腔医学研究所南京210008

浴缸形状的失效率函数因其能够捕捉某些实际情境中的故障率特征,在机械结构可靠性分析中至关重要。引入一种修正广义幂威布尔(Modified Power Generalized Weibull,MPGW)分布,能够建模表征浴缸形状的失效率变化规律。为评估该模型的有效... 详细信息

浴缸形状的失效率函数因其能够捕捉某些实际情境中的故障率特征,在机械结构可靠性分析中至关重要。引入一种修正广义幂威布尔(Modified Power Generalized Weibull,MPGW)分布,能够建模表征浴缸形状的失效率变化规律。为评估该模型的有效性,本研究使用了压力蒸汽灭菌器故障数据集进行实证研究,并将其性能与5种经典分布模型进行了比较,发现该模型在灵活性上具有较大优势。

关键词： MPGW 分布浴盆曲线压力蒸汽灭菌器

亲子友好城市:人口老龄化问题的城市设计解决方案

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

在线全文

学校读者我要写书评

暂无评论

China City Planning Review 2024年第1期33卷 47-57页

作者：蒋黛兰吕金云高杨 Department of Psychology Tsinghua University Tsinghua Laboratory of Brain and Intelligence BeijingP.R.China Child Cognition Center of Tsinghua Laboratory of Brain and Intelligence BeijingP.R.China

Caregivers,i.e.,parents,grandparents,and anyone caring for children,make up the majority of users in many urban centers around the world,including in *** urban design and planning rarely consider specific needs of *** can result in a negative perception among people that cities are unfriendly places to raise *** negative perception is among the major contributors to the aging population problem,as parents and parents-to-be feel reluctant to give birth and raise more than one or even any *** an interdisciplinary approach,i.e.,cognitive science,psychology,behavioral economics,and urban studies,this paper examines a new city model of"parent-friendly city,"where urban design serves the needs of caregivers,effectively creating a perception that cities are friendly places for raising ***,we identify that caregivers'needs are characterized by two major factors:provision:parents want to provide for their children,such as providing places for play and learning,and@restoration:parents want to restore things that they lack due to childcare responsibilities,such as lack of rest and interaction with other ***,we offer cognitive-based design principles that can work powerfully and effectively to fll both ***,using real case studies from cities in China and around the world,we illustrate how these design principles work,even reversing caregivers'perception from negative to ***,thoughtful urban design can support parents in raising children,making cities into partners in parenthood.

关键词： urban planning child-friendly city cognitive science aging population parenthood

在线全文

学校读者我要写书评

暂无评论

中子衍射应力分析技术及其应用进展

金属学报 2024年第8期60卷 1017-1030页

作者：林皓李建杨钊龙钟圣怡上海交通大学材料科学与工程学院上海200240 上海交通大学中子科学与技术全国重点实验室上海200240 中国工程物理研究院核物理与化学研究所绵阳621999 上海交通大学巴黎卓越工程师学院上海200240

中子衍射依托中子源大科学装置,能够非破坏性地获取材料内部微结构的统计信息,是建立物质微观、介观和宏观结构与性能内在联系的重要表征手段,同时也是航空发动机涡轮盘/叶片、反应堆压力容器等重大技术与装备关键部件内部残余应力定量... 详细信息

中子衍射依托中子源大科学装置,能够非破坏性地获取材料内部微结构的统计信息,是建立物质微观、介观和宏观结构与性能内在联系的重要表征手段,同时也是航空发动机涡轮盘/叶片、反应堆压力容器等重大技术与装备关键部件内部残余应力定量无损评价的重要方法。本文简要介绍了中子衍射技术测量原理和基本方法,阐述了该技术在材料基础与前沿探索的研究进展,评述了其在工程构件设计、制造、服役及安全评估中的地位与作用。基于新材料和新工艺开发的共性需求,展望了中子衍射技术跨尺度、多参量分析的开发潜力,及其未来在高通量表征中的发展方向。

关键词：中子衍射残余应力高通量表征服役安全

在线全文

学校读者我要写书评

暂无评论

融合BIM技术的装配式建筑结构设计分析

中国科技期刊数据库工业A 2024年第8期 0055-0058页

作者：姜剑黛广西大学设计院有限公司广西南宁530000

BIM是当前建筑、工程和土木工程领域最具实用价值的一种管理方法,目前已经被大量采用,其技术方法也比较成熟。BIM技术的兴起同样是建筑业的一次重大变革,它体现了信息化建设、绿色环保施工、科学稳定设计等思想,从工作流程到表现形式都... 详细信息

BIM是当前建筑、工程和土木工程领域最具实用价值的一种管理方法,目前已经被大量采用,其技术方法也比较成熟。BIM技术的兴起同样是建筑业的一次重大变革,它体现了信息化建设、绿色环保施工、科学稳定设计等思想,从工作流程到表现形式都发生了质变。而在建筑业要达到高效率、高质量、低能耗、可持续发展等目的,必须进行产业化。在“双碳”战略的推动下,装配式建筑已逐渐成为我国建筑产业化发展的主体。然而,由于其规模大、构件类型多、构造复杂,给其设计和施工带来了很大的压力。在此基础上,本文以实际案例为研究对象,以BIM技术为核心,研究BIM技术在装配式建筑结构设计中的应用,对促进我国建筑业的工业化和信息化发展具有重要的理论和实际意义。

关键词： BIM技术装配式建筑建筑结构设计

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

数字产业集群发展水平评价及其时空演变

经济地理 2024年第6期44卷 113-123页

作者：卢福财钟诗韵江西财经大学应用经济学院(数字经济学院) 江西南昌330013

文章从数字产业集群演化视角出发,结合区位商和社会网络分析法从中国302个城市中识别出36个数字产业集群;同时综合运用动态改进理想解法首次测算了数字产业集群发展水平,并通过整体与维度分析探究其区域差异及来源和分布动态。结果表明:... 详细信息

文章从数字产业集群演化视角出发,结合区位商和社会网络分析法从中国302个城市中识别出36个数字产业集群;同时综合运用动态改进理想解法首次测算了数字产业集群发展水平,并通过整体与维度分析探究其区域差异及来源和分布动态。结果表明:(1)中国数字产业集群发展水平呈逐年增长趋势。(2)支持度及其增长率最高,是数字产业集群发展的“压舱石”;关联度增长率最低,是最具潜力的发展点。(3)区域差异呈微弱缩小趋势,主要源自区域间差异和超变密度。(4)数字产业集群发展具有稳定性和俱乐部趋同特征。从趋势预测来看,中国数字产业集群随时间的推移而逐步提升,但近邻水平越高越影响本地发展水平向高值集中的趋势。因此,要创新数字产业集群合作模式,探究兼顾异质性与长效性的协调发展路径和完善区域间关联互动机制,以保障打造具有国际竞争力的数字产业集群目标的实现。

关键词：数字产业集群识别动态评价方法区域差异创新链与产业链协调发展