-
题名面向终端决策需求的化工储罐火灾态势感知模型构建
被引量：3
- 1
-
-
作者
朱毅
夏登友
-
机构
中国人民警察大学河北省应急救援技术重点实验室
-
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2024年第5期69-74,共6页
-
基金
国家自然科学基金资助(5217041330)。
-
文摘
为解决重特大化工火灾应急救援现场信息融合和终端决策群体态势感知难题,基于储罐火灾态势演化特征和多层网络理论,提出大型储罐区火灾态势感知模型。通过构建化工储罐火灾态势信息集合,提出基于贝叶斯参数估计的网络边权值计算方法;以节点重要度和层间关联系数分别度量网络层内部节点的连接强度和网络层之间的关联强度,进而识别储罐自身、储罐与储罐之间关键态势的演化趋势;通过对某储罐区火灾应急救援态势演化过程进行分析。结果表明:基于多层网络的态势感知模型能够更加客观地反映大型储罐区火灾态势演化过程;节点的重要度越大,节点所对应的储罐内部态势演化速度越快;层间关联强度越强,相邻储罐之间的态势演化趋势越显著。
-
关键词
化工储罐火灾
终端决策
态势感知
应急教援
多层网络
-
Keywords
chemical storage tank fire
terminal decision-making
situation awareness
emergency rescue
multi-layer network
-
分类号
X928.7
[环境科学与工程—安全科学]
-
-
题名自然灾害情境下的终端供电设施应急抢修决策规划
被引量：2
- 2
-
-
作者
于明璐
李向阳
岳国君
-
机构
哈尔滨工业大学经济与管理学院
中国粮油控股有限公司
-
出处
《运筹与管理》
CSSCI
CSCD
北大核心
2015年第4期1-8,共8页
-
基金
国家自然科学基金资助项目(91024028
91024031
+2 种基金
91324018)
国家自然科学基金资助项目(71473058
71172156)
-
文摘
自然灾害情境造成部分决策信息模糊和应急决策者的消极情绪。考虑消极情绪在自然灾害应急决策的影响,构建了考虑情绪下的前景理论的价值函数。运用反函数原理,根据应急决策者对模糊信息的心理感知价值,构建了其实际值的估计函数,用于解决决策信息模糊下的终端供电设施应急抢修决策规划问题,提出了相应的决策模型和求解算法。采用自主开发的在线实验系统,完成了信息模糊下的电网应急抢修决策实验,验证了决策模型和消极情绪下基于决策者心理感知对模糊信息估值方法的有效性。
-
关键词
行为决策
终端供电设施抢修决策
前景理论
信息模糊
消极情绪
-
Keywords
behavioral decision making
decision ties
prospect theory
fuzzy information
negative making for emergency repair of terminal power supply facili- emotions
-
分类号
C934
[经济管理—管理学]
-
-
题名可能性测度下的CTL符号化模型检测
被引量：4
- 3
-
-
作者
雷丽晖
郭越
张延波
-
机构
陕西师范大学计算机科学学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2018年第11期2008-2014,共7页
-
基金
国家自然科学基金(A011404)
-
文摘
随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证。对可能性测度下CTL符号化模型检测进行了研究。首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证。该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义。
-
关键词
符号模型检测
可能性测度
CTL
多终端二值决策图
-
Keywords
symbolic model checking
possibility measure
CTL
MTBDD
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名模糊计算树逻辑的符号模型检测
被引量：1
- 4
-
-
作者
聂朋展
姜久雷
马占有
-
机构
北方民族大学计算机科学与工程学院
常熟理工学院计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2021年第8期2381-2385,共5页
-
基金
国家自然科学基金资助项目(61762002,61962001)
宁夏自然科学基金资助项目(2018AAC03127)
北方民族大学研究生创新项目(YCX20068)。
-
文摘
对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题。将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储。对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出模糊计算树逻辑的符号化模型检测算法,最后通过一个实例验证算法的正确性。该算法可有效缓解对模糊模型检测验证时的状态空间爆炸问题,并扩展了模型检测的应用范围。
-
关键词
模糊计算树逻辑
不动点算法
多终端二叉决策图
符号模型检测
-
Keywords
fuzzy computation tree logic
fixed point algorithm
multi-terminal binary decision diagrams
symbolic model checking
-
分类号
TP305
[自动化与计算机技术—计算机系统结构]
-
