检索结果-南通市图书馆

基于时间-事件逻辑的ID-AOFE协议形式化分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

郑州大学学报(理学版) 2025年

作者：肖美华乔珊珊杨科华东交通大学信息与软件工程学院

公平交换协议旨在为数字信息交换提供安全、公平的机制,分析该类协议的公平性是信息安全领域中一个重要的研究内容。时间-事件逻辑具有描述协议主体知识和状态随时间变化的机制,是一种分析协议安全属性的有效方法。基于时间-事件逻辑,... 详细信息

公平交换协议旨在为数字信息交换提供安全、公平的机制,分析该类协议的公平性是信息安全领域中一个重要的研究内容。时间-事件逻辑具有描述协议主体知识和状态随时间变化的机制,是一种分析协议安全属性的有效方法。基于时间-事件逻辑,针对公平交换协议中主体互不信任、存在欺骗行为的特点,通过分析当协议结束运行时,是否存在使不诚实主体获得额外优势的策略来分析协议的公平性。以一个基于身份的混淆乐观公平交换(identity based-ambiguous optimistic fair exchange, ID-AOFE)协议为例进行分析,定义了一种规范的消息交互过程,对ID-AOFE协议消息交互过程中时间进行了细粒度分析,发现了协议中存在两个公平性漏洞,结合图形描述方式给出了攻击发生的全过程,说明了时间-事件逻辑理论的有效性。

关键词：形式化方法时间事件逻辑 ID-AOFE协议公平性分析

金属/金属氧化物在家蚕组织中的腐蚀行为研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

浙江大学学报(农业与生命科学版) 2025年

作者：李佩珊吴佳龙张小宁资源昆虫高效养殖与利用全国重点实验室/西南大学蚕桑纺织与生物质科学学院

添食育蚕法是一种通过在家蚕幼虫饲养过程中向桑叶或饲料中加入功能性物质，获得改性蚕丝的方法。然而，利用该方法添食金属或金属氧化物纳米颗粒后，通常难以在改性蚕丝纤维中直接检测到这些纳米颗粒的存在。本研究将铜、氧化铜、铁、... 详细信息

添食育蚕法是一种通过在家蚕幼虫饲养过程中向桑叶或饲料中加入功能性物质，获得改性蚕丝的方法。然而，利用该方法添食金属或金属氧化物纳米颗粒后，通常难以在改性蚕丝纤维中直接检测到这些纳米颗粒的存在。本研究将铜、氧化铜、铁、氧化铁、钛和氧化钛样品分别浸泡或包埋于家蚕血淋巴、中肠液和中部丝腺组织中，采用电感耦合等离子体质谱仪（inductively coupled plasma mass spectrometry, ICP-MS）检测各组织液和组织中相应金属元素的含量变化，同时利用场发射扫描电镜（field emission scanning electron microscopy, FE-SEM）观察金属和金属氧化物表面的形貌变化。实验结果表明，金属和金属氧化物在家蚕血淋巴、丝腺组织和中肠液中受到不同程度的腐蚀，导致金属离子释放。这一现象可能解释了在添食金属或金属氧化物纳米颗粒后，难以在蚕丝纤维中直接观察到这些添食物的原因。本研究为进一步理解家蚕体内金属/金属氧化物纳米颗粒的转化过程提供了新的见解，并为优化添食育蚕法改性蚕丝的工艺提供了理论支持。

关键词：家蚕组织金属金属氧化物

地方政府预算绩效评价结果应用的关键影响因素及其作用机制——基于信息生态理论的分析框架

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

浙江大学学报(人文社会科学版) 2025年第1期55卷 74-89页

作者：何文盛申珊兰州大学管理学院

预算绩效评价结果应用通过目标与反馈的充分结合，能够有效形成全过程预算绩效的闭环管理，提高公共部门的财政治理效能。地方政府预算绩效评价结果应用行为与制度压力、变革型领导和结果可靠性息息相关。实证研究发现：制度压力是助推... 详细信息

预算绩效评价结果应用通过目标与反馈的充分结合，能够有效形成全过程预算绩效的闭环管理，提高公共部门的财政治理效能。地方政府预算绩效评价结果应用行为与制度压力、变革型领导和结果可靠性息息相关。实证研究发现：制度压力是助推地方政府预算绩效评价结果应用最直接、最有力的影响因素；变革型领导和结果可靠性分别是地方政府预算绩效评价结果应用的内在拉力和重要支撑，并在制度压力对结果应用的影响过程中发挥重要传导作用，呈现不同程度的影响效果。破解地方政府预算绩效评价结果应用困境，需要完善制度压力驱动机制、优化组织领导风格以及强化绩效评价能力。

关键词：地方政府预算绩效评价结果应用制度压力信息生态理论

基于谐振型DCX的部分功率调节技术研究综述

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

在线全文

学校读者我要写书评

暂无评论

中国电机工程学报 2025年第1期45卷 251-265,I0021页

作者：王懿杰桑汐坤高珊珊徐殿国哈尔滨工业大学电气工程学院黑龙江省哈尔滨市150001

以LLC为代表的谐振变换器具有良好的软开关性能以及高效功率传输优势,但是开关频率的改变会使得谐振点发生偏移,效率显著降低,直流变压器(DC transformer, DCX)工作状态虽有利于实现效率优化,但却限制了系统的电压调节范围。此外,传统... 详细信息

以LLC为代表的谐振变换器具有良好的软开关性能以及高效功率传输优势,但是开关频率的改变会使得谐振点发生偏移,效率显著降低,直流变压器(DC transformer, DCX)工作状态虽有利于实现效率优化,但却限制了系统的电压调节范围。此外,传统全功率传输会导致器件应力高,存在效率优化局限。近年来,部分功率传输由于低应力、高效率以及控制简单等优势得到广泛的应用,将谐振变换器与部分功率技术结合,强化优势互补,提高应用价值,已成为目前的研究热点。文中从部分功率传输概念和基本连接形式入手,对基于谐振型DCX的部分功率调节系统结构进行归纳分析,概括为单级式、两级式以及准两级式3种结构类型,讨论分析适用于不同种类结构的变换器拓扑以及控制方式;其次,对目前所实现的部分功率调节系统所能达到的性能指标进行归纳,并对传统两级级联式结构和另外3种部分功率调节结构的器件数量、电压增益以及工作效率进行综合分析对比;最后,对不同结构的优缺点和应用局限性进行总结,并对未来发展趋势展望,为后续研究提供一定的参考。

关键词：谐振变换器直流变压器部分功率调节单级式两级式准两级式

Twin-PBL剪力连接件力学性能与结构参数优选

在线全文

学校读者我要写书评

暂无评论

重庆交通大学学报(自然科学版) 2025年第02期44卷 1-9页

作者：姚国文董雨杭应立贺煊博吴树杭重庆交通大学土木工程学院中铁长江交通设计集团有限公司

波形钢腹板连续刚构桥是一种新型的桥梁结构形式，其结合了钢的高强度、强变形能力和混凝土的良好抗压性能，其剪力连接件的细部构造对整体承载能力有着决定性的影响。为深入探索Twin-PBL剪力连接件的力学行为，并通过细部构造优化来提... 详细信息

波形钢腹板连续刚构桥是一种新型的桥梁结构形式，其结合了钢的高强度、强变形能力和混凝土的良好抗压性能，其剪力连接件的细部构造对整体承载能力有着决定性的影响。为深入探索Twin-PBL剪力连接件的力学行为，并通过细部构造优化来提高其力学性能，基于ABAQUS建立了典型波形钢腹板箱梁节段的实体有限元模型，研究了波形钢腹板与混凝土顶板之间Twin-PBL剪力连接件的力学表现，揭示了横向贯穿钢筋构造的有无对Twin-PBL剪力连接件抗剪性能的影响规律，并对开孔钢板孔径、厚度及横向贯穿钢筋直径进行了结构参数优选。研究表明：Twin-PBL剪力连接件设置横向贯穿钢筋能够降低开孔钢板和钢翼缘板的剪应力，且贯穿钢筋分摊了孔洞内混凝土榫的部分剪力；综合考虑开孔钢板的材料属性、制作工艺等因素，对开孔钢板截面高度为180 mm的Twin-PBL连接件，最优开孔直径为70 mm,横向贯穿钢筋直径为25 mm,开孔钢板厚度为28 mm。

关键词：桥梁工程 Twin-PBL剪力连接件力学性能构造优化波形钢腹板组合箱梁

在线全文

学校读者我要写书评

暂无评论

员工跟投与企业创新

财会通讯 2025年第4期 26-31页

作者：曹玉珊陈一玲江西财经大学会计学院江西南昌330013

文章以员工激励为研究视角,系统性地考察了员工跟投与企业创新之间的关系。结果表明,员工跟投显著提升了企业的创新水平;优化人力资本结构和抑制管理层短视是其核心作用机制。分组检验结果表明,在管理层风险偏好较高、企业融资约束较低... 详细信息

文章以员工激励为研究视角,系统性地考察了员工跟投与企业创新之间的关系。结果表明,员工跟投显著提升了企业的创新水平;优化人力资本结构和抑制管理层短视是其核心作用机制。分组检验结果表明,在管理层风险偏好较高、企业融资约束较低以及地区知识产权保护水平较高时,员工跟投的创新效应更强;进一步检验发现,员工跟投不仅提升了企业创新数量,更提升了企业创新质量。经济后果检验则表明,员工跟投所带来的创新效应,提高了企业的韧性与全要素生产率。

关键词：员工跟投创新人力资本结构升级管理层短视高质量发展

化学高考试题融合优秀传统文化的分析及命题预测——2023—2024年高考试题

在线全文

学校读者我要写书评

暂无评论

化学教育(中英文) 2025年第3期46卷 19-20页

作者：邹翠珊赵国燕安阳师范学院河南安阳455000

1研究综述中华优秀传统文化是中华民族在长期的发展过程中形成的,对历史发展产生了积极影响,并且在当代仍然具有重要价值的思想文化和成果。无论是博大精深的文学典籍,还是智慧凝聚的科技工艺与历史文物,乃至源远流长的中医体系,无一不... 详细信息

1研究综述中华优秀传统文化是中华民族在长期的发展过程中形成的,对历史发展产生了积极影响,并且在当代仍然具有重要价值的思想文化和成果。无论是博大精深的文学典籍,还是智慧凝聚的科技工艺与历史文物,乃至源远流长的中医体系,无一不记录着化学信息,展现着中华文明的璀璨光芒。2014年,教育部印发的《完善中华优秀传统文化教育指导纲要》中明确指出要增加中华优秀传统文化内容在中考、高考升学考试中的比重。

关键词：中华优秀传统文化升学考试历史文物高考试题命题预测文学典籍中考指导纲要

在线全文

学校读者我要写书评

暂无评论

上市公司ESG表现与审计时滞

中国注册会计师 2025年第2期 44-49页

作者：李晗菲王倩陈晓珊广东财经大学会计学院/智能财会管理学院广东省基础与应用基础研究基金委员会

本文基于2011-2022年沪深A股上市公司数据,实证研究了上市公司ESG表现对审计时滞的影响及其作用机制。结果发现,上市公司良好的ESG表现有助于缩短审计时滞,且主要通过提高分析师关注度和约束高管违规行为这两条路径发挥作用。进一步分... 详细信息

本文基于2011-2022年沪深A股上市公司数据,实证研究了上市公司ESG表现对审计时滞的影响及其作用机制。结果发现,上市公司良好的ESG表现有助于缩短审计时滞,且主要通过提高分析师关注度和约束高管违规行为这两条路径发挥作用。进一步分析表明,上市公司ESG表现对审计时滞的抑制作用在非国有和非重污染行业的公司中更显著。

关键词： ESG表现审计时滞分析师关注度高管违规行为

医疗机构辐射安全管理中放射工作人员职业健康风险因素的识别与应对

在线全文

学校读者我要写书评

暂无评论

环境与职业医学 2025年

作者：李莉珊张静黄艾弥于佳纪灏上海市胸科医院(上海交通大学医学院附属胸科医院)医院感染管理办公室

[背景]医疗机构是健康中国战略的重要关口，如何在放射诊疗工作中加强辐射安全管理与防护，已经成为放射卫生工作的重点领域。[目的]通过识别、分析、评价辐射安全管理过程中的风险因素和危急程度，提出降低辐射安全管理过程中风险的策... 详细信息

[背景]医疗机构是健康中国战略的重要关口，如何在放射诊疗工作中加强辐射安全管理与防护，已经成为放射卫生工作的重点领域。[目的]通过识别、分析、评价辐射安全管理过程中的风险因素和危急程度，提出降低辐射安全管理过程中风险的策略。[方法]根据失效模式与效应分析（FMEA）模型，确定11名专家组成员，通过问卷调查与头脑风暴法制定辐射安全管理重点内容，以失效风险指数≥9.5和失效风险危急值（RPN）>80为基准评估风险因素，并进行潜在失效原因分析，拟定辐射安全管理策略。[结果]医疗机构辐射安全管理过程中的风险因素包括主风险3个，子风险7个，共32项风险内容，并根据失效风险指数提出12个关键环节，根据RPN对10个风险环节进行潜在失效原因分析并提出管理策略。辐射安全管理过程中的关键环节主要为放射工作人员辐射安全管理依从性低，防护意识不足，职业压力导致职业倦怠，放射性废物处置不当等。辐射安全管理主要策略包括对联合管理部门、设备供应部门等人员进行持续动态辐射安全教育培训，强化放射工作人员心理干预与辐射认知，提升辐射防护安全设施与设备质量，加强个人剂量计佩戴管理与反馈，规定给药后患者流动路线，针对放射性废物加强独立通风与过滤装置管理。[结论]通过分析辐射安全管理过程的主要风险因素，提出具有可操作性和实用性的管理策略，包括应针对性开展职业健康培训，加强职业健康监护与辐射防护，加强对放射源和放射性废物的管理，可为医疗机构辐射安全管理工作提供建议和指导，研究具有实践意义。

关键词：辐射安全失效模式与效应分析医疗机构防护风险因素管理