检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

气候变化背景下陆面模式研究进展及不足——青藏高原的水文、植被和土壤模拟

在线全文

学校读者我要写书评

暂无评论

地球科学进展 2024年第1期39卷 46-55页

作者：兰措中国科学院青藏高原研究所环境变化与地表过程重点实验室北京100101 中国科学院青藏高原研究所青藏高原地球系统与资源环境国家重点实验室北京100101 中国科学院大学北京100049

气候变暖背景下,全球气候系统各圈层发生了复杂的响应和反馈。作为气候系统重要组成部分的陆地表面是地气水热交换、地球化学要素传输、水文过程产生和植被生长的界面,受气候变化影响显著。气候变化不仅直接影响水文过程,还可以通过影... 详细信息

气候变暖背景下,全球气候系统各圈层发生了复杂的响应和反馈。作为气候系统重要组成部分的陆地表面是地气水热交换、地球化学要素传输、水文过程产生和植被生长的界面,受气候变化影响显著。气候变化不仅直接影响水文过程,还可以通过影响植被的结构和生理特征,间接影响水文过程。陆面模式是研究气候变化影响和反馈的主要工具。全球描述陆气界面物质和能量交换过程的模式主要有3类:全球陆面过程模式、全球水文模式和全球动态植被模式。3种模式针对不同的科学问题,各有其侧重点,之间的差异较大。从20世纪90年代开始至今的许多陆面模式比较计划不断指出模式的不足及其原因,从而促进了陆面模式的不断发展。然而陆面模式依然存在很多不足,有待进一步提高和发展。如目前的水文模式普遍缺乏动态植被过程,无法准确模拟和预测长期气候变化导致的植被变化对水文过程的影响,累及极端水文事件的模拟和未来水资源的预估。水文过程模型耦合动态植被过程是水文学研究的前沿领域。作为亚洲水塔的青藏高原气候变化显著,冰冻圈要素不仅包括冰川、积雪和冻土退缩,而且植被生长趋好、变绿。因此,在青藏高原气候变化对水文过程的影响研究中,更应考虑气候变化导致的植被变化的水文效应。此外,陆面模式对青藏高原土壤结构内部的水热交换过程描述不足。为进一步提高陆面模式在青藏高原的模拟能力,今后需加强对青藏高原土壤质地观测和数据搜集整理,以及对土壤冻融阶段的水热物理过程的观测,提高对过程和机理的认识,并将有关的认识体现在陆面模式中。

关键词：气候变化植被变化 CO_(2)升高的水文效应陆面模式青藏高原

在线全文

学校读者我要写书评

暂无评论

汽车电池包PCB腐蚀失效案例分析

汽车知识 2024年第7期 106-108页

作者：冯亮钟淑兰孙威朱永辉孚能科技(赣州)股份有限公司

分析某汽车电池包PCB腐蚀失效案例，描述了PCB的腐蚀现象，阐述了腐蚀分析的过程，介绍了关键分析技术，揭示了其腐蚀机理。结果表明，PCB腐蚀的直接原因是沿海地区的高温高湿环境，间接原因分为两种：一是PCB绿油附着力很小，受力被破... 详细信息

分析某汽车电池包PCB腐蚀失效案例，描述了PCB的腐蚀现象，阐述了腐蚀分析的过程，介绍了关键分析技术，揭示了其腐蚀机理。结果表明，PCB腐蚀的直接原因是沿海地区的高温高湿环境，间接原因分为两种：一是PCB绿油附着力很小，受力被破坏、脱落；二是模组顶部灌胶方式较底部灌胶方式AB胶层不饱满，分布不均匀，且AB胶部分覆盖PCB，水汽渗透距离更短，密封性更差。

关键词： PCB 汽车电池包技术灌胶方式

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

体系化人工智能

北京邮电大学学报 2024年第4期47卷 1-10页

作者：冯俊兰中国移动研究院人工智能与智慧运营中心北京100053

随着以基础模型为代表的人工智能(AI)技术取得举世瞩目的成绩,机器智能的总体水平已达到前所未有的高度。基础模型、算力及网络、数据逐渐成为AI领域的重要基础设施。为了实现依托上述基础设施提供泛在安全的社会级智能服务,让其像水、... 详细信息

随着以基础模型为代表的人工智能(AI)技术取得举世瞩目的成绩,机器智能的总体水平已达到前所未有的高度。基础模型、算力及网络、数据逐渐成为AI领域的重要基础设施。为了实现依托上述基础设施提供泛在安全的社会级智能服务,让其像水、电、通信服务一样无处不在且边际成本趋向为零的目标,从技术体系的角度,提出并阐述了体系化AI (HAI)技术框架。该框架中,用户的智能化需求可以用自然语言、图形、图片、组件编排等方式灵活表达。依托基础大模型,HAI对用户需求进行理解并形成最优执行计划,执行计划包括完成业务需求所需的模型、工具、数据及算力网络资源;继而HAI将模型和能力部署到相应的算力网络资源上,通过灵活调度及联合优化满足用户需求。所提框架涉及到的核心技术包括AI服务大闭环优化、AI能力原子化、网络原生的建模技术以及安全可信AI服务技术。

关键词：人工智能大闭环原子化网络原生安全可信

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

大型浓密机两相流动与沉砂规律数值模拟研究

力学与实践 2024年第1期46卷 41-54页

作者：杨科迪黄宝兴李泽茂兰谁刘青泉王晓亮北京理工大学宇航学院北京100081 广西华锡集团矿业有限公司铜坑矿业分公司广西河池547204

大型浓密机的复杂结构和系统参数识别是制约认识固液两相流动和沉砂规律的关键问题。本文按照沉砂机制,给出了一套大型浓密机模糊系统运行参数识别方法。建立了车河选矿厂30 m浓密机的数值模型,依次识别出进料流速、进料级配和进料体积... 详细信息

大型浓密机的复杂结构和系统参数识别是制约认识固液两相流动和沉砂规律的关键问题。本文按照沉砂机制,给出了一套大型浓密机模糊系统运行参数识别方法。建立了车河选矿厂30 m浓密机的数值模型,依次识别出进料流速、进料级配和进料体积分数,通过大量数值模拟指出车河选矿厂30 m大型浓密机进料井特征结构使其自然稀释功能较好,但动能耗散性能较差,进料井结构还存在较大的改进空间,并给出了各粒径颗粒的沉降规律。

关键词：大型浓密机固液两相流参数识别沉降规律

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

主体性问题与“日本哲学史”探索转向——“日本哲学史”仅以近现代文本为对象探因

在线全文

学校读者我要写书评

暂无评论

哲学研究 2024年第4期 71-82,126页

作者：林美茂中国人民大学哲学院

20世纪30年代中期之后,日本学界关于“日本哲学史”的探索从最初立足于对明治以前经典文献的考察与阐述,转向了以明治后的文本为对象的研究,这种转向的根本原因源于对日本主体性的追求。由于意识到明治以前的日本经典文献只是以汉学为... 详细信息

20世纪30年代中期之后,日本学界关于“日本哲学史”的探索从最初立足于对明治以前经典文献的考察与阐述,转向了以明治后的文本为对象的研究,这种转向的根本原因源于对日本主体性的追求。由于意识到明治以前的日本经典文献只是以汉学为主体进行的论说,为了寻求所谓的日本性,日本学界将明治之前与之后的学术史进行区别对待,把近代以前的文献归入“日本思想史”研究领域,只将近代以后引进和接受西方哲学过程中出现的哲学文献作为“日本哲学史”研究对象,这导致迄今尚未出现一部得到普遍认可的通史性“日本哲学史”。这一极具日本特色的学术现象在形式上体现为日本学界对何谓“哲学”的认识分歧,实质则是学者们寻求确立日本哲学与思想“主体性”而采取的无奈快择。

关键词：日本哲学史文本选择近代前后主体性