期刊文献+
共找到85篇文章
< 1 2 5 >
每页显示 20 50 100
基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证
1
作者 王昌晶 欧阳俊媛 +3 位作者 张取发 左正康 程着 卢家兴 《通信学报》 EI CSCD 北大核心 2024年第10期225-242,共18页
为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合... 为提升拍卖合约时间安全性验证效率及验证公平性,提出基于角色的拍卖合约抽象建模及其验证方法。首先,对合约源代码进行基于账户角色的抽象建模,转换为时间自动机网络模型,并对时间安全性进行形式化描述,用UPPAAL工具验证。其次,提取合约源代码机制,建立智能合约机制模型,同样转换为时间自动机网络模型,并对4种公平性进行形式化描述,再用UPPAAL验证。最后,通过2个经典案例证明了所提方法的可行性和有效性。 展开更多
关键词 拍卖合约 时间安全 公平性 时间自动机 UPPAAL
在线阅读 下载PDF
超临界CO_(2)管道安全停输再启动过程和安全停输时间影响因素 被引量:2
2
作者 李欣泽 孙佳奇 +9 位作者 袁亮 张超 王梓丞 孙晨 董正淼 张海帆 孙颖婷 邢晓凯 熊小琴 邹炜杰 《大庆石油地质与开发》 CAS 北大核心 2024年第6期136-147,共12页
超临界CO_(2)管道在停输和再启动等瞬态过程中,流体易发生相变,密度、比热容等物性参数会发生阶跃式变化,使得管内的CO_(2)流体体积发生剧烈波动,将对管道产生脉动冲击,危害管道安全。为了明确超临界CO_(2)管道安全停输时间的影响因素,... 超临界CO_(2)管道在停输和再启动等瞬态过程中,流体易发生相变,密度、比热容等物性参数会发生阶跃式变化,使得管内的CO_(2)流体体积发生剧烈波动,将对管道产生脉动冲击,危害管道安全。为了明确超临界CO_(2)管道安全停输时间的影响因素,从安全控制的角度出发,首先结合超临界CO_(2)物性、相图和准临界性质,确定了超临界CO_(2)管道安全停输时间的定义,从管道停输开始至管内任一点流体进入气液共存区的时间;然后依托新疆油田CO_(2)管输示范工程,分别采用商业软件和MATLAB编程的方式,建立超临界管输水力热力计算模型,探究了管道停输及再启动过程中管内温度、压力、密度及相态协同变化波动规律;最后采用因素轮换法研究了主要工艺参数和环境参数对管道安全停输时间的影响规律。结果表明:降低首站出站温度、提高管道运行压力、较高土壤环境温度、较低管土总传热系数有助于延长超临界CO_(2)管道的安全停输时间。研究结果可为超临界CO_(2)管道安全运行提供一定理论支持和技术保障。 展开更多
关键词 超临界CO_(2) 管道输送 瞬变特性 停输再启动 相变 安全停输时间
在线阅读 下载PDF
基于可用与必需安全疏散时间的地铁站火灾人员疏散仿真
3
作者 焦柳丹 刘任可 +1 位作者 张羽 霍小森 《重庆交通大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第10期106-115,共10页
基于火灾人员疏散理论,建立了可用安全疏散时间(t_(ASET))模型和必需安全疏散时间(t_(RSET))模型,分别对地铁站内的4种空间结构(空旷结构、墙壁结构、楼梯结构、墙壁+楼梯结构)发生火灾后的关键位置(楼、扶梯出入口、站点出口)处的人员... 基于火灾人员疏散理论,建立了可用安全疏散时间(t_(ASET))模型和必需安全疏散时间(t_(RSET))模型,分别对地铁站内的4种空间结构(空旷结构、墙壁结构、楼梯结构、墙壁+楼梯结构)发生火灾后的关键位置(楼、扶梯出入口、站点出口)处的人员疏散时间进行了研究。采用Pyrosim对火灾发展情况进行模拟,采用Pathfinder对人员疏散情况进行仿真;对比分析了4种空间结构下地铁站关键位置的t_(ASET)和t_(RSET),对不同起火位置的安全性进行判定。研究结果表明:t_(ASET)主要由能见度到达临界状态的时间决定;t_(RSET)主要根据楼、扶梯出入口和站点出口的疏散情况决定。在所选取的4种空间结构中,仅有空旷结构发生火灾后,人员能安全疏散;墙壁结构发生火灾后,不利于楼扶梯出口处人员安全疏散;楼梯结构、墙壁+楼梯结构发生火灾后,均处于危险状态,导致人员无法安全疏散。 展开更多
关键词 交通工程 地铁站火灾模拟 能见度 可用安全疏散时间(t_(ASET)) 必需安全疏散时间(t_(RSET))
在线阅读 下载PDF
安全时间模型下的井下运动目标防撞预警方法 被引量:3
4
作者 李占利 陈佳迎 +1 位作者 李洪安 谢爱玲 《西安科技大学学报》 CAS 北大核心 2016年第6期875-881,共7页
为了预防井下碰撞事故发生,提高煤矿安全生产水平,文中利用井下业已安装的视频监控系统,提出了一种基于安全时间模型的井下运动目标防撞预警方法。该方法首先依据视觉计算原理推导出目标的运动状态三维参数,分析运动目标之间的相对运动... 为了预防井下碰撞事故发生,提高煤矿安全生产水平,文中利用井下业已安装的视频监控系统,提出了一种基于安全时间模型的井下运动目标防撞预警方法。该方法首先依据视觉计算原理推导出目标的运动状态三维参数,分析运动目标之间的相对运动情况构建出相对运动情况树;然后根据运动状态三维参数和相对运动情况树,计算出运动目标之间的实际距离;最后建立安全时间模型计算出安全距离,分析从t时刻到t+Δt时刻内运动目标之间是否可能发生碰撞,制定相应的预警策略,其中Δt的选取由安全时间模型中的安全时间决定。实验结果表明,该方法能够准确计算出运动目标之间的实际距离,实时预防矿工和运煤车碰撞事故的发生,为煤矿运输事故自动预警机制提供了新的技术手段。 展开更多
关键词 煤矿安全 碰撞预警 安全时间模型 运动情况树
在线阅读 下载PDF
井漏失返条件下的吊灌作业安全时间计算方法 被引量:4
5
作者 刘绘新 樊东昌 刘璞 《天然气工业》 EI CAS CSCD 北大核心 2016年第7期63-67,共5页
"吊灌"作业是在井漏失返条件下保持井内压力动态平衡、获得安全作业时间的重要措施。但在实施吊灌作业时,由于反映井筒内环空液面变化规律的动态数模分析方法缺失,不能为工程实践提供吊灌的合理依据,使其基本处于"盲吊&q... "吊灌"作业是在井漏失返条件下保持井内压力动态平衡、获得安全作业时间的重要措施。但在实施吊灌作业时,由于反映井筒内环空液面变化规律的动态数模分析方法缺失,不能为工程实践提供吊灌的合理依据,使其基本处于"盲吊"状态。为此,笔者根据"吊灌"技术实际工况,首次采用井筒漏失动态分析方法,建立起吊灌安全作业时间数学模型,给出了多种漏失速率的积分结果,并结合现场实例对计算结果进行了验证。结果表明:(1)利用计算实例对数学模型的可靠性进行检验,计算结果与实际数据高度吻合;(2)适当增加吊灌量可以增加安全作业时间;(3)适当减少吊灌钻井液密度也可以增加安全作业时间。结论认为:该成果可以从根本上解决"吊灌"技术的安全作业时间准确计算问题,对于规避井漏失返条件下的井控安全风险、实现"吊灌"技术优化、降低工程费用等都具有重要意义。 展开更多
关键词 压力控制 井漏失返 吊灌技术 液面监测 数学建模 动态平衡 安全时间 漏失速率
在线阅读 下载PDF
保温层失效比例对热油管道安全停输时间的影响 被引量:3
6
作者 王雷 吴明 +4 位作者 贾冯睿 姚尧 马跃 金盾 冯锦烨 《辽宁石油化工大学学报》 CAS 2012年第4期55-59,共5页
针对热油管道的保温层由于特定原因而出现部分失效,进而导致在维修过程中安全停输时间难以控制的问题,结合有限容积法,建立了热油管道二维、非稳态模型。该模型考虑了凝固潜热的影响,对比分析了热油管在5种情况(即保温层未失效、1/8失效... 针对热油管道的保温层由于特定原因而出现部分失效,进而导致在维修过程中安全停输时间难以控制的问题,结合有限容积法,建立了热油管道二维、非稳态模型。该模型考虑了凝固潜热的影响,对比分析了热油管在5种情况(即保温层未失效、1/8失效、1/4失效、1/2失效及全部失效)下的温降规律。在此基础上,运用SPSS软件,拟合了停输时间与热油的平均温度的关系曲线,最终确定了上述5种情况下的安全停输时间。研究结果表明,5种情况下管内热油温降规律基本相似,且安全停输时间分别为205、148、118、99和74h;由于凝固潜热弥补了部分散热损失,因此1/4失效和1/2失效情况下的安全停输时间差仅为19h。 展开更多
关键词 热油管道 保温层失效比例 安全停输时间 温降规律
在线阅读 下载PDF
热油管道安全停输时间数值模拟 被引量:3
7
作者 王兵 李长俊 马云强 《管道技术与设备》 CAS 2007年第5期12-14,共3页
针对加热原油管道停输后油品、管壁、保温层、防护层及周围介质的相互关系和它们的不稳定传热问题,对埋地管道、架空管道分别提出了热力计算及安全停输时间计算的数学模型。该模型综合考虑了有关物性参数随温度的变化情况。采用保角变... 针对加热原油管道停输后油品、管壁、保温层、防护层及周围介质的相互关系和它们的不稳定传热问题,对埋地管道、架空管道分别提出了热力计算及安全停输时间计算的数学模型。该模型综合考虑了有关物性参数随温度的变化情况。采用保角变换和盒式积分法对上述数学模型进行处理,构造出问题的差分格式,并采用高斯消元法求解差分方程组,得到了问题的数值解,最后附有算例。 展开更多
关键词 热油管道 安全停输时间 数值模拟
在线阅读 下载PDF
埋地热油管道安全停输时间近似计算方法 被引量:1
8
作者 李小玲 田西宁 《管道技术与设备》 CAS 2009年第1期14-15,共2页
输油管道停输后,当管内原油温度降到一定值时,管道的再启动会遇到极大的困难,甚至造成凝管事故。为了避免凝管事故的发生,需要对输油管道的停输安全性进行研究。文中主要介绍埋地热油管道安全停输时间的近似计算方法,并且给出了计算实例。
关键词 管道 安全停输时间 热油
在线阅读 下载PDF
电伴热方式下稠油管道结构参数对安全停输时间的影响
9
作者 王焕然 吴明 +3 位作者 贾冯睿 赵梁 韩策 赵玲 《辽宁石油化工大学学报》 CAS 2014年第6期21-25,共5页
建立电伴热方式的稠油伴热管道二维非稳态模型,分析了管道的保温层厚度、伴热管个数以及位置参数对稠油管道安全停输时间的影响及其变化规律。研究结果表明,在单管伴热的情况下,管道的保温层厚度分别为60、70mm和80mm时,安全停输时间分... 建立电伴热方式的稠油伴热管道二维非稳态模型,分析了管道的保温层厚度、伴热管个数以及位置参数对稠油管道安全停输时间的影响及其变化规律。研究结果表明,在单管伴热的情况下,管道的保温层厚度分别为60、70mm和80mm时,安全停输时间分别为26、30h和34h;在双管伴热的情况下,双管夹角的变化对安全停输时间的影响较小,安全停输时间约为36h。 展开更多
关键词 电伴热 安全停输时间 数值模拟 温度分布 保温层
在线阅读 下载PDF
公共建筑安全疏散时间的简便算法
10
作者 王欣 《消防科技》 1997年第2期46-48,共3页
在公共建筑的设计和防火审核过程中,经常会遇到安全疏散时间的计算问题或者是根据安全疏散控制时间来确定疏散走道的长度和宽度问题.在计算中,目前我国常采用四阶段法,即:第一阶段,从室内任意一点向房间门疏散,即在室内疏散;第二阶段,... 在公共建筑的设计和防火审核过程中,经常会遇到安全疏散时间的计算问题或者是根据安全疏散控制时间来确定疏散走道的长度和宽度问题.在计算中,目前我国常采用四阶段法,即:第一阶段,从室内任意一点向房间门疏散,即在室内疏散;第二阶段,从房间门外侧至楼梯间人口处疏散,即在走廊内疏散;第三阶段。 展开更多
关键词 公共建筑 设计防火 安全疏散时间
在线阅读 下载PDF
深海钻井表层导管安全等候时间影响因素分析 被引量:3
11
作者 王志亮 夏成宇 +3 位作者 周旺明 陈霖 郭良林 李俊雄 《石油机械》 北大核心 2021年第6期61-67,共7页
深海钻井表层导管是海洋石油勘探与开发过程中下放的第一根管柱,其安全等候时间直接影响井口的稳定性,间接影响生产成本。为了避免钻完井后的时间浪费,急需对深海钻井表层导管的安全等候时间以及影响因素进行分析。首先对表层导管安装... 深海钻井表层导管是海洋石油勘探与开发过程中下放的第一根管柱,其安全等候时间直接影响井口的稳定性,间接影响生产成本。为了避免钻完井后的时间浪费,急需对深海钻井表层导管的安全等候时间以及影响因素进行分析。首先对表层导管安装方法进行优选,再利用表层导管与表层套管的几何参数、海底地层参数和钻井工具参数等各种参数,采用力的平衡方程建立了一开后表层导管安全等候时间与表层导管下放到位至二开表层套管固井前的等候时间模型,将模型与数值分析软件Matlab相结合,通过现场应用结果反馈,证明了该模型的正确性。最后分析了表层导管内径、井口工具重力以及水泥浆密度等对等候时间的影响。该研究成果既提高了海上钻完井的时间效率,还大幅度降低了等候时间的支出成本,可为我国南海深水钻井表层导管的安全等候时间的合理预测提供依据。 展开更多
关键词 表层导管 深海钻井 安全等候时间 钻进方法 侧向摩擦力
在线阅读 下载PDF
数字轨道电路列车最小安全间隔时间计算 被引量:2
12
作者 吴汶麒 韩立春 《城市轨道交通研究》 2001年第2期36-40,共5页
采用数字轨道电路作为车一地信息传输设各及列车定位设备时,列车之间的安全间隔距离必须以数字轨道电路的长度作为最小计量单位。本文在推导出列车安全间隔时间计算公式的基础上,提出了基于最小列车安全间隔时间的数字轨道电路长度的... 采用数字轨道电路作为车一地信息传输设各及列车定位设备时,列车之间的安全间隔距离必须以数字轨道电路的长度作为最小计量单位。本文在推导出列车安全间隔时间计算公式的基础上,提出了基于最小列车安全间隔时间的数字轨道电路长度的推荐值。 展开更多
关键词 移动闭塞 数字轨道电路 最小安全间隔时间 计算 列车自动控制
在线阅读 下载PDF
静脉留置针输注垂体后叶素的安全留置时间的临床研究 被引量:2
13
作者 孙利红 《安徽医学》 2011年第8期1142-1143,共2页
目的观察使用静脉留置针持续输注垂体后叶素的安全留置时间及静脉炎发生率。方法回顾分析237例子宫肌瘤剥除术后使用静脉留置针持续输注垂体后叶素止血的患者资料,分为两组:A组140例静脉留置针留置时间为≤2 d;B组97例静脉留置针留置时... 目的观察使用静脉留置针持续输注垂体后叶素的安全留置时间及静脉炎发生率。方法回顾分析237例子宫肌瘤剥除术后使用静脉留置针持续输注垂体后叶素止血的患者资料,分为两组:A组140例静脉留置针留置时间为≤2 d;B组97例静脉留置针留置时间为>2 d,统计各组静脉炎的发生率。结果 A组和B组静脉炎的发生率分别为6.43%和15.46%,差异有统计学意义(P<0.05)。结论使用静脉留置针输注垂体后叶素的安全留置时间是2 d以内,留置时间超过2 d容易发生静脉炎。 展开更多
关键词 静脉留置针 安全留置时间 垂体后叶素 静脉炎
在线阅读 下载PDF
长大地铁区间隧道火灾可用安全疏散时间算法研究及应用 被引量:14
14
作者 田峰 王海桥 +2 位作者 朱祝龙 陈世强 黄俊歆 《隧道建设(中英文)》 北大核心 2019年第1期54-59,共6页
为合理确定长大地铁区间隧道火灾时人员可用安全疏散时间,根据长大地铁区间隧道火灾疏散特点,分析影响人员安全疏散的主要因素,提出长大地铁区间隧道火灾时可用安全疏散时间算法,即多因素联合限定法(multi-factor combined method,MCM)... 为合理确定长大地铁区间隧道火灾时人员可用安全疏散时间,根据长大地铁区间隧道火灾疏散特点,分析影响人员安全疏散的主要因素,提出长大地铁区间隧道火灾时可用安全疏散时间算法,即多因素联合限定法(multi-factor combined method,MCM),并在国内在建地铁过海隧道工程中进行应用。研究结果表明:采用多因素联合限定法能够有效判定长大地铁区间隧道火灾时可用安全疏散时间(ASET),计算方便快捷,结果合理可行,可供相关工程参考借鉴。 展开更多
关键词 地铁区间隧道 长大隧道 火灾 安全疏散时间 多因素联合限定法
在线阅读 下载PDF
埋地湿天然气管道安全停输时间计算方法研究 被引量:1
15
作者 马艳琳 李春林 《天然气与石油》 2014年第6期11-16,20,共7页
为了防止湿天然气管道在停输过程中水合物的形成,有必要对管道的安全停输时间进行计算。湿天然气管道在停输过程中,管内介质与周围环境进行热交换,停输时间过长可能会导致水合物形成,造成再启动困难。采用多相流模拟软件对安全停输时间... 为了防止湿天然气管道在停输过程中水合物的形成,有必要对管道的安全停输时间进行计算。湿天然气管道在停输过程中,管内介质与周围环境进行热交换,停输时间过长可能会导致水合物形成,造成再启动困难。采用多相流模拟软件对安全停输时间计算方法进行了研究,利用有限元方法分析停输时埋地管道及周围土壤温度变化情况,将天然气温度与水合物形成温度进行对比,计算湿天然气管道安全停输时间,并研究了不同输送工况下安全停输时间变化规律。一般说来,安全停输时间随着输量、起点温度、环境温度增加而延长。所以,准确计算湿天然气管道安全停输时间对于指导气田安全生产具有重要意义,可以为计划停输方案制定提供依据,防止事故停输工况下水合物的形成,提高输气管道操作安全性。 展开更多
关键词 埋地管道 湿天然气 水合物 安全停输时间 OLGA
在线阅读 下载PDF
NB/T 47013.2-2015附录D中工业射线检测胶片暗室安全照射时间确定的应用分析 被引量:1
16
作者 牛壮 《中国标准化》 2019年第20期208-209,共2页
工业射线检测胶片暗室安全照射时间确定是标准NB/T 47013.2-2015《承压设备无损检测第2部分:射线检测》中新增的内容,为了更好地对此部分内容进行应用,笔者从整个试验阶段流程入手进行分析,并提出了进行暗室安全照射时间试验的注意事项。
关键词 工业射线检测 暗室 安全照射时间
在线阅读 下载PDF
大型商场可用安全疏散时间不确定性探讨 被引量:1
17
作者 杨海潮 王祎龙 《消防科学与技术》 CAS 北大核心 2017年第12期1738-1742,共5页
从哈尔滨市245家大型商场火灾荷载调查入手,分析并确定大型商场火灾荷载分布的数学模型,在此基础上研究影响大型商场可用安全疏散时间的火灾增长系数和燃料质量燃烧速率等不确定性参数的分布。利用火灾动力学和统计理论耦合的方法计算... 从哈尔滨市245家大型商场火灾荷载调查入手,分析并确定大型商场火灾荷载分布的数学模型,在此基础上研究影响大型商场可用安全疏散时间的火灾增长系数和燃料质量燃烧速率等不确定性参数的分布。利用火灾动力学和统计理论耦合的方法计算大型商场设定火灾场景下可用安全疏散时间的分布,结合工程实例分析某大型商场火灾下的可用安全疏散时间分布。 展开更多
关键词 大型商场 火灾荷载 可用安全疏散时间 火灾动力学 蒙特卡罗
在线阅读 下载PDF
新浇桩身C40大体积混凝土安全爆破时间及距离的研究与应用 被引量:1
18
作者 陈凯 孔维国 +3 位作者 柳磊 陈汉彬 张锐 桂芳 《工程质量》 2015年第8期67-69,共3页
根据《爆破安全规程》(GB 6722-2003)的规定,对某项目的人工挖孔桩爆破施工进行了爆破振速检测,分析了新浇C40大体积混凝土的安全爆破距离与安全爆破时间。结果表明:新浇大体积C40混凝土龄期<1 d时,安全爆破距离为7 m,当龄期超过1 d... 根据《爆破安全规程》(GB 6722-2003)的规定,对某项目的人工挖孔桩爆破施工进行了爆破振速检测,分析了新浇C40大体积混凝土的安全爆破距离与安全爆破时间。结果表明:新浇大体积C40混凝土龄期<1 d时,安全爆破距离为7 m,当龄期超过1 d时,C40混凝土安全爆破距离为2 m。 展开更多
关键词 早期混凝土强度 爆破振动速度 安全爆破距离 安全爆破时间
在线阅读 下载PDF
粮食安全储存时间的预测
19
作者 孙德林 《粮油食品科技》 CAS 北大核心 1993年第3期 35,25,共2页
我们知道,粮堆温度和粮食水分是影响储粮安全的两个重要因子,而粮温和粮食水分最终分别受空气温度和湿度的影响。当粮食水分一定时,粮温升到某一定值,粮食就会出现霉变前兆。当粮温一定时,水分升高到某一定值,粮食也出现霉变前兆。
关键词 粮食 安全储存时间 预测
全文增补中
输油管道安全停输时间的计算方法
20
作者 纪庆国 《油气田地面工程》 北大核心 2012年第7期56-57,共2页
计算管道安全停输时间需要确定管道的最低允许启动温度,该温度决定了再启动过程所需要的启动压力,它受制于由管道承压和输油泵的工作特性所决定的最大启动压力,所以,安全停输时间的确定过程是一个重复试算过程。苏嵯输油管道中间站只有... 计算管道安全停输时间需要确定管道的最低允许启动温度,该温度决定了再启动过程所需要的启动压力,它受制于由管道承压和输油泵的工作特性所决定的最大启动压力,所以,安全停输时间的确定过程是一个重复试算过程。苏嵯输油管道中间站只有加热炉,因此将管道全线作为一个密闭系统来评价其安全停输时间。根据计算步骤中的方法,最终确定苏嵯输油管道春季安全停输时间为9~10 h、夏季为13~14 h、秋季为16~17 h、冬季为9~10 h。 展开更多
关键词 输油管道 数值模拟 安全停输时间 压力 流速 计算方法
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部