您的位置： 专家智库 > >

张福新

作品数：2 被引量：5H指数：1
供职机构：山东科技大学信息科学与工程学院更多>>
发文基金：山东省“泰山学者”建设工程项目国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇代理
  • 1篇代理机制
  • 1篇异构
  • 1篇异构数据库
  • 1篇数据库
  • 1篇最小割集
  • 1篇联锁
  • 1篇联锁系统
  • 1篇割集
  • 1篇故障树
  • 1篇故障树分析
  • 1篇安全测试
  • 1篇安全性
  • 1篇安全性测试
  • 1篇PETRI网
  • 1篇WEB服务

机构

  • 2篇山东科技大学
  • 1篇中国科学院软...

作者

  • 2篇张福新
  • 1篇崔宾阁
  • 1篇王传民
  • 1篇杜玉越

传媒

  • 1篇计算机应用研...
  • 1篇福建电脑

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于代理机制的异构数据库检索技术的研究
2010年
本文提出一种采用基于代理技术和元数据检索方法的统一检索平台设计方案,同时应用了Webservice技术实现代理的分布式计算,对提高系统的处理效率与可扩展性起了很大作用。
王传民崔宾阁张福新
关键词：代理异构数据库WEB服务
改进的最小割集生成算法与联锁系统模型的安全性测试被引量：5
2009年
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
张福新杜玉越
关键词：联锁系统故障树分析最小割集PETRI网安全测试
全选 清除 导出
共1页<1>
聚类工具0