本发明公开了一种蒸汽锅炉系统的安全分析方法及系统。
本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系。
进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。
-
半导体发光芯片光学特性预测方法及系统
类型：实用新型,实用新型,实用新型
应用领域：通用仪器仪表制造成熟度：通过小试
交易方式：许可转让,完全转让,技术入股,资料待完善,资料待完善 -
基于改进BP神经网络的电厂设备的状态监测方法
类型：发明
应用领域：通用仪器仪表制造成熟度：可规模生产
交易方式：许可转让,完全转让,资料待完善 -
钢板号喷码字符识别技术
类型：实用新型
应用领域：通用仪器仪表制造成熟度：可规模生产
交易方式：许可转让,完全转让 -
一种IT运维数据可视化设备
类型：实用新型
应用领域：通用仪器仪表制造成熟度：正在研发
交易方式：完全转让 -
一种电子病历领域用可挂号的智能发卡机
类型：实用新型
应用领域：通用仪器仪表制造成熟度：正在研发
交易方式：完全转让 -
一种基于联合深度学习的行人再辨识和行人性别分类方法
类型：发明
应用领域：通用仪器仪表制造成熟度：正在研发
交易方式：完全转让