期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
一种理性安全协议形式化分析方法及应用 被引量:1
1
作者 刘海 彭长根 任祉静 《贵州大学学报(自然科学版)》 2014年第6期77-84,108,共9页
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得... 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。 展开更多
关键词 ATEL 不动点 推理系统 理性安全协议 形式化分析
下载PDF
废旧橡塑合金改性剂制备及其改性基质沥青的机理 被引量:16
2
作者 任瑞波 耿立涛 +1 位作者 徐强 王飞 《建筑材料学报》 EI CAS CSCD 北大核心 2016年第3期528-533,共6页
基于废旧橡胶粉和废旧塑料的组分分析,制备了不同橡塑比(质量比)的废旧橡塑合金改性剂,并研究了废旧橡胶粉和废旧塑料的共混机理;利用优选的废旧橡塑合金改性剂制备了废旧橡塑改性沥青,分析了废旧橡塑合金改性剂对基质沥青的改性机理,... 基于废旧橡胶粉和废旧塑料的组分分析,制备了不同橡塑比(质量比)的废旧橡塑合金改性剂,并研究了废旧橡胶粉和废旧塑料的共混机理;利用优选的废旧橡塑合金改性剂制备了废旧橡塑改性沥青,分析了废旧橡塑合金改性剂对基质沥青的改性机理,测试了废旧橡塑改性沥青的技术性能和存储稳定性.结果表明:当橡塑比为7∶3时,废旧橡胶粉和废旧塑料具有良好的相容性;废旧橡胶与废旧塑料的共混过程及废旧橡塑合金改性剂对基质沥青的改性过程均以物理作用为主;废旧橡塑合金改性剂与基质沥青具有良好的相容性,废旧橡塑改性沥青具有良好的技术性能和存储稳定性.废旧橡塑合金改性剂明显改善了基质沥青的路用性能,具有应用潜力. 展开更多
关键词 废旧橡塑合金改性剂 红外分析 差热分析 组分分析 原子力显微镜分析 PG分级试验
下载PDF
高温熔盐泵散热器的数值优化与热分析 被引量:5
3
作者 王凯 何相慧 +1 位作者 刘厚林 李钰 《原子能科学技术》 EI CAS CSCD 北大核心 2017年第6期1016-1023,共8页
为提高高温熔盐泵散热器的散热效果,对影响散热器散热面积的重要因素——散热孔的直径和数量进行了数值优化,并将数值模拟得到的热载荷加载到结构体上,分析了热载荷下的热变形。结果表明:散热孔直径为12 mm、散热孔数量为6时,散热流体... 为提高高温熔盐泵散热器的散热效果,对影响散热器散热面积的重要因素——散热孔的直径和数量进行了数值优化,并将数值模拟得到的热载荷加载到结构体上,分析了热载荷下的热变形。结果表明:散热孔直径为12 mm、散热孔数量为6时,散热流体的流动均匀稳定,泵轴和散热器的综合散热效果较好,最终泵轴顶端的平均温度可降到440 K,散热器顶端的平均温度可降到417.5 K,满足散热需求;泵轴热变形量较小,最大值为0.46 mm,散热器的变形量较大,最大值为2.37 mm,加工时必须考虑材料的热膨胀和热变形。 展开更多
关键词 高温熔盐泵 散热器 数值优化 热分析
下载PDF
冷原子腔体的设计与实验研究
4
作者 林明嫱 洪国同 《低温工程》 CAS CSCD 北大核心 2018年第5期1-6,共6页
为满足冷原子的各类量子实验,设计了用脉冲管制冷机冷却的冷原子腔体。采用ANSYS软件建立了冷原子腔体低温组件模型并进行热模拟,得到其整体的漏热主要是通过低温组件和真空罩内壁的辐射换热,并分析了接触热阻对于样品腔均温性的影响。... 为满足冷原子的各类量子实验,设计了用脉冲管制冷机冷却的冷原子腔体。采用ANSYS软件建立了冷原子腔体低温组件模型并进行热模拟,得到其整体的漏热主要是通过低温组件和真空罩内壁的辐射换热,并分析了接触热阻对于样品腔均温性的影响。同时开展了超真空低温条件下的测量实验,分析并改进铂电阻温度计不同安装方式对于测温的影响,实现了低温条件下温度计的绝缘、粘接和测量,同时验证了模型的准确性,最终得到均温性小于10 mK,真空度达到10^(-8)Pa的冷原子腔体系统。 展开更多
关键词 冷原子腔体系统 热模拟 测温方法 热分析
下载PDF
基于RELAP5 MOD3.2的钠冷快堆热工水力系统分析程序开发及验证 被引量:10
5
作者 宋健 谭超 +5 位作者 唐思邈 刘利民 田文喜 巫英伟 秋穗正 苏光辉 《原子能科学技术》 EI CAS CSCD 北大核心 2017年第6期994-1001,共8页
对大型核反应堆热工水力分析程序RELAP5 MOD3.2进行了改造,使之适用于钠冷快堆系统安全分析。在不影响原程序功能的基础上添加了气液两相钠物性和液态金属对流换热模型,并改造了相应的初始化模块和计算模块。改造后的程序可正确模拟钠... 对大型核反应堆热工水力分析程序RELAP5 MOD3.2进行了改造,使之适用于钠冷快堆系统安全分析。在不影响原程序功能的基础上添加了气液两相钠物性和液态金属对流换热模型,并改造了相应的初始化模块和计算模块。改造后的程序可正确模拟钠的流体力学特性和热物性,搭建钠冷快堆热工水力流体网络进行分析计算。对EBR-Ⅱ试验堆基准题进行了稳态模拟和失流事故分析,其中稳态计算主要参数与实验值相对偏差小于1%,瞬态计算相对偏差小于10%,各参数变化趋势与实验值相符良好,初步验证了改造程序的可靠性。 展开更多
关键词 RELAP5 钠冷快堆 液态金属物性 热工水力分析 程序开发
下载PDF
22 0kV系统变压器保护误动分析及对策 被引量:2
6
作者 曹凯丽 刘杨 《电力自动化设备》 EI CSCD 北大核心 2002年第3期81-83,共3页
根据对安徽电网 2 2 0kV系统变压器保护动作情况的统计分析结果 ,总结归纳出变压器保护易发生误动的保护类型及造成误动的原因 ,并结合实际介绍了防误动的一些措施 ,旨在防止类似事故的重复发生。建议在电力系统中尽量选用微机变压器保... 根据对安徽电网 2 2 0kV系统变压器保护动作情况的统计分析结果 ,总结归纳出变压器保护易发生误动的保护类型及造成误动的原因 ,并结合实际介绍了防误动的一些措施 ,旨在防止类似事故的重复发生。建议在电力系统中尽量选用微机变压器保护 ,以减少调试、维护工作量 ,提高变压器保护正确动作率 ,保证系统的安全、稳定运行。 展开更多
关键词 220kV系统 变压器保护 误动分析 预防对策 继电保护 电力系统
下载PDF
变压器纵差动保护误动原因分析及改进措施 被引量:5
7
作者 李凤荣 《山西电力》 2005年第3期49-50,共2页
对变压器差动保护在区外故障时的误动进行了分析,提出了几种可行的改进方法。研究表明,新方案可提高保护的安全性,避免此类事故的再次发生。
关键词 变压器保护 误动分析 预防对策
下载PDF
X62W型万能铣床电路故障剖析 被引量:1
8
作者 吴鸣 《金华职业技术学院学报》 2003年第1期27-28,共2页
本文指出了X62W型万能铣床故障所在,并对故障原因进行了分析及对电路提出了改进方案。
关键词 X62W型万能铣床 电路故障 故障原因 电路改进方案 主轴冲动电路
下载PDF
小电流接地系统相间距离保护的误动分析及防范措施
9
作者 李玉平 张玮 杨东 《华电技术》 CAS 2015年第11期28-30,77,共3页
为满足小电流接地系统复杂网络保护之间的整定配合问题,采用相间距离保护替代过流保护。当系统发生相间短路故障时,非故障相相间距离保护元件因负荷电流、线路长度的影响,导致距离保护元件在某种情况下落入动作区域。本文结合现场相间... 为满足小电流接地系统复杂网络保护之间的整定配合问题,采用相间距离保护替代过流保护。当系统发生相间短路故障时,非故障相相间距离保护元件因负荷电流、线路长度的影响,导致距离保护元件在某种情况下落入动作区域。本文结合现场相间距离保护动作案例,对相间距离保护的动作特性进行了深入分析,并提出了相应的解决方案。 展开更多
关键词 小电流接地系统 相间距离保护 选相元件 负荷电流 误动分析
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部