检索结果-南通市图书馆

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

一种可靠的多方不可否认协议的逻辑分析方法

计算机科学 2018年第7期45卷 143-149页

作者：苑博奥刘军陆军工程大学指挥信息系统学院南京210007

多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,... 详细信息

多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。

关键词：多方不可否认协议 SVO逻辑时限性公平性

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

DGKMNP协议的改进及形式化分析

军事通信技术 2016年第4期37卷 8-13+64页

作者：曾睿刘军苑博奥解放军理工大学指挥信息系统学院1营1连解放军理工大学指挥信息系统学院解放军理工大学指挥信息系统学院研究生2队

保证信息交换中的公平性和安全性是多方不可否认协议的重要任务。文章对基于双重组加密的多方不可否认(DGKMNP)协议进行分析研究,发现其存在不满足时限性的缺陷,并且不能抵抗合谋攻击,针对这些问题提出一种新的改进思路。通过向协议消... 详细信息

保证信息交换中的公平性和安全性是多方不可否认协议的重要任务。文章对基于双重组加密的多方不可否认(DGKMNP)协议进行分析研究,发现其存在不满足时限性的缺陷,并且不能抵抗合谋攻击,针对这些问题提出一种新的改进思路。通过向协议消息中添加时间限制信息和加密身份标识的办法对该协议作出了改进,使用SVO逻辑对其安全性进行形式化分析,结果表明改进后的协议满足时限性和公平性,且协议执行效率高。

关键词：多方不可否认时限性抗合谋攻击公平性形式化分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

第3讲密码协议研究与发展

军事通信技术 2017年第1期38卷 90-96页

作者：苑博奥刘军周海刚解放军理工大学指挥信息系统学院研究生2队解放军理工大学指挥信息系统学院

密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用。文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议计算可靠和面向协议实现的形式化分析方法,对密码协议的研究与... 详细信息

密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用。文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议计算可靠和面向协议实现的形式化分析方法,对密码协议的研究与发展情况进行了归纳总结。

关键词：密码协议计算可靠协议实现形式化分析

基于贝叶斯和统计相似度量测的水下自主定位方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

控制与决策 2025年第1期40卷 48-54页

作者：黄浩乾吕奥奇王迪张昱曈河海大学人工智能与自动化学院

复杂的水下环境通常会引起信号传播延迟或带来量测野值,从而产生量测丢失和非高斯噪声问题,导致水下自主定位的精度降低.为了解决这些问题,提出一种基于贝叶斯推断和统计相似度量测的水下自主定位方法.首先,该定位方法使用最大后验估计... 详细信息

复杂的水下环境通常会引起信号传播延迟或带来量测野值,从而产生量测丢失和非高斯噪声问题,导致水下自主定位的精度降低.为了解决这些问题,提出一种基于贝叶斯推断和统计相似度量测的水下自主定位方法.首先,该定位方法使用最大后验估计方法来判断量测丢失是否发生.如果接收到此刻的量测信息,则采用不动点迭代方法最大化统计相似度量测的下界,以逼近真实的噪声协方差矩阵,从而获得更准确的状态估计和误差协方差矩阵;如果没有接收到量测信息,则只输出一步预测的状态估计和误差协方差矩阵,以提高该方法的鲁棒性.仿真和海试实验验证结果表明,所提出的水下自主定位方法相较于其他的定位方法具有更高的定位精度和更好的鲁棒性.

关键词：统计相似度量测量测丢失非高斯噪声不动点迭代水下自主定位贝叶斯推断

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

磁场诱导梯度水凝胶的制备及其致动性能研究

现代化工 2025年第01期 170-177页

作者：张伟腾郑奥从怀萍合肥工业大学化学与化工学院

采用酸刻蚀和高温热分解法合成了2D超顺磁性Fe3O4-MXene纳米片，以Fe3O4-MXene纳米片和聚N-异丙基丙烯酰胺（PNIPAM）为原料开发了一种各向异性梯度水凝胶致动器。结果表明，Fe3O4-MXene纳米片在水凝胶前溶液中垂直向下移动，产生增量... 详细信息

采用酸刻蚀和高温热分解法合成了2D超顺磁性Fe3O4-MXene纳米片，以Fe3O4-MXene纳米片和聚N-异丙基丙烯酰胺（PNIPAM）为原料开发了一种各向异性梯度水凝胶致动器。结果表明，Fe3O4-MXene纳米片在水凝胶前溶液中垂直向下移动，产生增量含量梯度，交联固定后得到各向异性梯度的网络结构。水凝胶在厚度上形成不同尺寸的孔径，在远离磁体的一侧孔具有相对较大的尺寸，约有50μm,在靠近磁体附近尺寸逐渐减小到约5μm。Fe3O4-MXene纳米片赋予水凝胶优异光热效应，在近红外光的照射下能够实现多种可逆的形状变化和仿生软机器人的功能。

关键词： Fe3O4-MXene磁性纳米片 N-异丙基丙烯酰胺光聚合梯度水凝胶软机器人

广义Benjamin-Bona-Mahony方程的精确行波解

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

华侨大学学报(自然科学版) 2025年

作者：申明奥温振庶潘昀蔚华侨大学数学科学学院

采用F-展开法和(G'/G)-展开法,得到了广义Benjamin-Bona-Mahony (BBM)方程的各种形式的精确行波解。结果表明:F-展开法虽然只能得到广义BBM方程在特殊条件r=2下的解,但其解的形式较丰富;而(G'/G)-展开法虽然可以得到该方程在一般的r的... 详细信息

采用F-展开法和(G'/G)-展开法,得到了广义Benjamin-Bona-Mahony (BBM)方程的各种形式的精确行波解。结果表明:F-展开法虽然只能得到广义BBM方程在特殊条件r=2下的解,但其解的形式较丰富;而(G'/G)-展开法虽然可以得到该方程在一般的r的情况下的解,但其解的形式有较大的限制。

关键词：广义Benjamin-Bona-Mahony方程 F-展开法 (G’/G)-展开法精确行波解

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

MOF玻璃基气体分离膜的研究进展

化工学报 2025年

作者：杨紫博王有发岳寒松远双杰耿付江李晴晴奥德叶茂顾振杰乔志华邯郸学院河北省杂环化合物重点实验室河北省高校纳米无机光电新材料应用技术研发中心国家管网集团项目管理分公司中国石油天然气管道工程有限公司天津工业大学省部共建分离膜与膜过程国家重点实验室

近年来，由金属-有机框架（Metal-Organic Framework， MOFs）材料熔融-淬火得到的MOF玻璃引起了众多研究学者的关注。经过熔融-淬火处理，MOF晶体由长程有序的晶态转变为短程有序、长程无序的非晶玻璃态。在这一转化过程中，MOF玻璃有... 详细信息

近年来，由金属-有机框架（Metal-Organic Framework， MOFs）材料熔融-淬火得到的MOF玻璃引起了众多研究学者的关注。经过熔融-淬火处理，MOF晶体由长程有序的晶态转变为短程有序、长程无序的非晶玻璃态。在这一转化过程中，MOF玻璃有效地消除了非选择性的晶界，确保了材料的均匀性和一致性。MOF玻璃优异的可加工性和成型性，使其能够方便地制备成各种形状和尺寸的膜材料。MOF玻璃永久且可进入的孔结构，赋予其选择性吸附不同类型气体的能力。基于此，MOF玻璃有望成为高性能分离膜的候选材料，推动相关研究和应用的不断发展。本文综述了用于气体分离的MOF玻璃膜的熔融机理、分类和最新研究进展。此外，本文还讨论了膜生产过程中面临的挑战，并提出了未来可能的研究方向。

关键词：金属-有机框架 MOF玻璃熔融-淬火分离膜

大学生“蹲考族”现象研究:理性人假设的视角

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

广西师范大学学报（哲学社会科学版） 2025年第1期61卷 72-84页

作者：吴克明欧阳奥琪冯帮湖南师范大学教育科学学院湖南长沙410081 广东技术师范大学教育科学学院广东广州510665

近年来,大学生就业形势日益严峻,越来越多的失业大学生选择了“蹲考”。访谈和问卷调查发现,蹲考族表现为以自愿性蹲考为主、获得家庭支持、期望到体制内单位和大城市或家乡城市就业等特征。从理性人假设的角度来看,蹲考族现象的原因在... 详细信息

近年来,大学生就业形势日益严峻,越来越多的失业大学生选择了“蹲考”。访谈和问卷调查发现,蹲考族表现为以自愿性蹲考为主、获得家庭支持、期望到体制内单位和大城市或家乡城市就业等特征。从理性人假设的角度来看,蹲考族现象的原因在于蹲考的预期收益大于预期成本。严峻的就业形势降低了蹲考的机会成本,家庭的支持增强了蹲考族对经济成本和心理成本的承受能力;蹲考的预期收益包括更多的就业机会和更高的就业质量。蹲考是失业大学生为了实现预期收益最大化的理性选择,是一种人力资本投资行为,体现了一种自立自强的奋斗精神和人生态度,无法也无必要完全消除。应对蹲考族现象的解决思路在于:提高其考试成功概率,提高大学生就业率和就业质量。

关键词：蹲考族理性人假设预期收益预期成本人力资本投资大学生就业代际流动

维普期刊数据库

丙泊酚抑制T2DM大鼠压力感受性反射与疑核GABAA受体的关系

在线全文

学校读者我要写书评

暂无评论

青岛大学学报(医学版) 2025年

作者：张宁纪奥彰黄容韩春馨张琳李大江康复大学青岛中心医院麻醉与围术期医学科

目的探讨丙泊酚抑制2型糖尿病（T2DM）大鼠颈动脉窦压力感受性反射（CSR）与疑核γ-氨基丁酸A型（GABAA）受体的关系。方法将36只雄性SD大鼠分为正常-生理盐水组（NN组）、正常-丙泊酚组（NP组）、正常-GABAA受体拮抗剂-丙泊酚组（NP... 详细信息

目的探讨丙泊酚抑制2型糖尿病（T2DM）大鼠颈动脉窦压力感受性反射（CSR）与疑核γ-氨基丁酸A型（GABAA）受体的关系。方法将36只雄性SD大鼠分为正常-生理盐水组（NN组）、正常-丙泊酚组（NP组）、正常-GABAA受体拮抗剂-丙泊酚组（NPG组）、糖尿病-生理盐水组（DN组）、糖尿病-丙泊酚组（DP组）、糖尿病-GABAA受体拮抗剂-丙泊酚组（DPG组）,每组6只。建立大鼠颈动脉窦隔离灌流模型,评估各组大鼠CSR敏感性。采用Western blot法检测大鼠疑核GABAA受体的表达水平。结果各组大鼠CSR功能参数差异有统计学意义（F=14.24～56.49,P<0.05）。T2DM和泵注丙泊酚均使曲线上移,最大斜率（PS）、平均动脉压反射性下降的最大值（RD）降低,阈压（TP）、饱和压（SP）、颈动脉窦压力感受器的工作范围（OR）升高（P<0.05）;而疑核内微量注射GABAA受体拮抗剂荷包牡丹碱（Bicuculline）后泵注丙泊酚两组较单纯泵注丙泊酚两组曲线下移,PS、RD升高,TP、SP、OR降低（P<0.05）。各组大鼠疑核GABAA受体的表达水平差异有统计学意义（F=28.08,P<0.05）。与NN组、NP组比较,DN组、DP组大鼠疑核GABAA受体表达下调（P<0.05）;与NN组、DN组比较,NP组、DP组大鼠疑核GABAA受体表达上调（P<0.05）。结论丙泊酚抑制T2DM大鼠CSR敏感性可能与疑核GABAA受体上调有关。

关键词：二异丙酚糖尿病,2型压力感受器反射受体,GABA 大鼠