首页> 外国专利> NUCLEAR-GRADE SAFETY DISPLAY APPARATUS AND CONFIGURATION-PARSING SYSTEM THEREFOR

NUCLEAR-GRADE SAFETY DISPLAY APPARATUS AND CONFIGURATION-PARSING SYSTEM THEREFOR

机译:核级安全显示装置和配置解析系统

摘要

A nuclear-grade safety display apparatus and a configuration-parsing system therefor. The configuration-parsing system comprises a configuration editor, a configuration compiler and a configuration parser, wherein the configuration editor is used for realizing engineering configuration page design and parameter setup, and generating an xml description file of user configuration data; the configuration compiler is used for converting the xml description file of the user configuration data, so as to generate a configuration setup data file; the configuration parser is deployed on a physical computer or a simulated computer or a master computer of a nuclear-grade safety display apparatus; and the configuration parser is used for parsing the configuration setup data file and periodically generating operation data comprising internal variable data, engineering page data, and human-machine operation data. Engineering configuration editing, compilation, and parsing operation of a nuclear-grade safety display apparatus are realized by means of a parametric configuration setup data construction method, such that the huge workload involved in using mathematical methods such as formalization to perform credibility verification and checking activities on a translation process is avoided.
机译:核级安全显示装置和其配置解析系统。配置解析系统包括配置编辑器,配置编译器和配置解析器,其中配置编辑器用于实现工程配置页面设计和参数设置,并生成用户配置数据的XML描述文件;配置编译器用于转换用户配置数据的XML描述文件,以便生成配置设置数据文件;配置解析器部署在物理计算机或模拟计算机或核级安全显示装置的主计算机上;并且配置解析器用于解析配置设置数据文件和周期性地生成包括内部可变数据,工程页数据和人机操作数据的操作数据。通过参数配置设置数据构造方法实现了核级安全显示装置的工程配置编辑,编译和解析操作,使得使用数学方法诸如形式化的巨大工作量来执行可信度验证和检查活动在翻译过程中避免了。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号