陕西省教育厅自然科学基金(11JK1037)
- 作品数:2 被引量:8H指数:1
- 相关作者:李金玉孙家泽王曙燕舒新峰更多>>
- 相关机构:西安邮电大学更多>>
- 发文基金:陕西省教育厅自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于加权D-S的软件易用性评估模型被引量:7
- 2016年
- 在目前软件的易用性评估中,评估结果往往直接依靠专家主观经验决定,忽略了各属性的重要程度,其准确性和客观性无法得到保证。针对软件易用性评估的问题,提出一种基于加权D-S证据理论合成法则的易用性评估方法。在运用AHP法确定各指标间相对权重的基础上,对D-S合成法则进行改进,完成对各评价信息的加权合成。实例分析结果表明,该方法能够有效削减多个证据间的冲突,极大减小了不确定度和模糊性,使最终得到的易用性评估结果客观准确。
- 李金玉王曙燕孙家泽
- 关键词:D-S证据理论层次分析法数据融合
- 基于Spin的地铁门控制系统建模与验证被引量:1
- 2015年
- 针对地铁门控制系统(MDCS)安全问题,提出一种MDCS检测方法。通过分析MDCS的控制逻辑,使用Promela建立了基于Spin的MDCS系统模型,将MDCS中的地铁控制系统、地铁门控制系统及屏蔽门控制系统抽象为三个进程,并用线性时态逻辑公式描述待验证性质,运行Spin后即可判断MDCS是否存在安全隐患。实验结果表明,该检测方法可有效验证MDCS的安全性。
- 舒新峰张炎龙孙林泽
- 关键词:SPINPROMELA