咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 计算机自动推理
  • 1 篇 共同参与
  • 1 篇 日本
  • 1 篇 程序指令
  • 1 篇 投资
  • 1 篇 应用程序
  • 1 篇 组建
  • 1 篇 操作方式
  • 1 篇 可操作性分析
  • 1 篇 防护层设计
  • 1 篇 研制
  • 1 篇 程序设计语言
  • 1 篇 研究所
  • 1 篇 化工系统
  • 1 篇 第五代计算机
  • 1 篇 风险辨识
  • 1 篇 代码
  • 1 篇 计算机辅助设计
  • 1 篇 新一代
  • 1 篇 计划

机构

  • 1 篇 北京化工大学

作者

  • 1 篇 刘琪
  • 1 篇 马昕
  • 1 篇 吴重光
  • 1 篇 张贝克

语言

  • 2 篇 中文
检索条件"主题词=计算机自动推理"
2 条 记 录,以下是1-10 订阅
排序:
Yigo语言:'零代码'颠覆传统信息化
收藏 引用
中国信息化 2011年 第7期 36-43页
作者: 刘琪
1982年,日本通产省提出了一项宏伟的IT超越计划--在10年内投资8亿美元,研发第五代计算机,以突破'冯-诺依曼体系'的计算机,日本为此组建了新一代计算机研究所,并联合了富士通、NEC、日立、东芝、松下、夏普等八家产业巨头共同参... 详细信息
来源: 评论
化工系统风险辨识和防护层设计
化工系统风险辨识和防护层设计
收藏 引用
第五届全国技术过程故障诊断与安全性学术会议
作者: 张贝克 马昕 吴重光 北京化工大学 安全科学与监控工程中心 北京 100029
化工生产过程属于典型的复杂系统,其潜在的安全问题的分析及其解决方案是目前安全工程研究领域的热点。从系统安全事故发生、发展及最后爆发的机理模型出发,提出结合危险与可操作性分析(HAZOP)及防护层分析(LOPA)的方法,从系统工程... 详细信息
来源: 评论