-
题名基于改进AHP法的道路选线风险评估研究
被引量：15
- 1
-
-
作者
李军
蒋世琼
-
机构
中南大学土木工程学院
-
出处
《安全与环境学报》
CAS
CSCD
北大核心
2013年第1期246-249,共4页
-
基金
国家自然科学基金项目(50708117)
-
文摘
阐述了现行道路选线设计中存在的不确定因素对整体选线设计造成的影响,分析了在道路选线设计中引入风险评估思想,以风险估计结果作为选线设计可行性分析的一个重要参数的可行性和实用性。通过逆向风险识别思维,提出选线设计风险"隐因子"的概念,建立了风险识别HOI模型,即隐因子风险识别模型。基于该风险识别模型构建相应的风险指标层次结构体系,利用层次分析法与BP神经网络相结合的优化AHP法,结合各指标对选线风险的影响权值进行风险评价分析,对该类不确定因素进行综合评估。实例证明,风险评估的引入能够为选线设计可行性研究阶段线路方案的评价提供参考。
-
关键词
道路工程
道路选线
风险评价
hoi模型
改进AHP法
-
Keywords
road engineering
route alignment
risk assessment
hoi model
improved AHP
-
分类号
U412.32
[交通运输工程—道路与铁道工程]
-
-
题名典型安全网关的形式化设计与证明
- 2
-
-
作者
王瑞云
赵国磊
常朝稳
王雪健
-
机构
中国人民解放军信息工程大学密码工程学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第9期142-147,共6页
-
基金
面向用户的可信云计算环境安全研究(61572517)资助
-
文摘
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计提供了一定的借鉴意义。
-
关键词
典型安全网关
形式化设计
BLP模型
功能规约
一致性验证
Isabelle/HOL
-
Keywords
Typical security gateway, Formal design, BLP model, Functional specification, Consistency verification, Isa- belle/hoi.
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
