王海峰
【姓名】 王海峰
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;安全科学与灾害防治;宏观经济管理与可持续发展;
【研究方向】 铁路安全关键计算机系统的研究
【发表文献关键词】 激励方法,激励法,故障-安全,冗余系统,榜样激励,控制系统,安全关键,目标激励法,DVP,故障容忍,负强化激励,安全苛求,故障安全性,Petri网,模糊颜色,模糊计算,正强化,人的积极性,安全性,情感...
【工作单位】 北方交通大学
【曾工作单位】 北方交通大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/11 4 1 8 63 2377
中国期刊全文数据库    共找到11篇
[1]王海峰,吕永波,张仲义.一种系统安全性的形式化验证方法[J]计算机工程与应用.2003,(04)
[2]陈建明,龚尧莞,王海峰.基于系统工程的信息系统安全体系结构模型研究[J]微电子学与计算机.2003,(08)
[3]陈建明,王海峰.信息系统工程监理机制研究[J]系统工程与电子技术.2003,(05)
[4]张仲义,王海峰.智能交通安全控制系统的模型验证[J]交通运输工程与信息学报.2003,(01)
[5]王海峰,郭进.构建铁路“车站信号自动控制”课程新体系思考[J]西南交通大学学报(社会科学版).2003,(06)
[6]王海峰,王冬梅.激励方法种种[J]铁道物资科学管理.2000,(02)
[7]王海峰,张仲义.一种安全关键软件系统的形式化开发模型[J]铁路计算机应用.2002,(10)
[8]王海峰,张仲义.双重冗余控制系统故障安全性的研究[J]中国安全科学学报.2002,(03)
[9]王海峰,张仲义.基于模糊颜色Petri网的表决DVP安全软件模型初探[J]中国安全科学学报.2002,(04)
[10]王海峰,陈建明,张仲义.安全苛求系统的形式化开发方法[J]北方交通大学学报.2002,(06)
更多