首页>外文会议>International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant

International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant

召开年：2019
召开地：Guiyang(CN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The Design of Safety Control Display Device of Small Modular Offshore Floating Reactor Protection System Based on FirmSys

机译：基于FirmSys的小型模块化海上漂浮堆保护系统安全控制显示装置的设计。
- 作者：Chun-Lei Zhang;Yu-Nan Fan;Xin Zuo;Ji-Kun Wang;Yi-Qin Xie
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Reactor protection system;
- Safety control display device;
- Customized keyboard;
2.Research on Maintenance Network Design Based on Nuclear Power Station Safety DCS System

机译：基于核电站安全DCS系统的维修网络设计研究
- 作者：Chun-Lei Zhang;Da-Peng Liu;Li Peng;Bao-Hua Ren;Song Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Safety DCS;
- The system of harmony;
- Safety DCS;
- Local area network communication;
- Data frame;
- Data monitoring;
- Data enforcement;
- CRC32;
- 802.3 protocol;
3.Research and Application of RPN Detector Positioning Technologies in Nuclear Power Plants

机译：RPN探测器定位技术在核电站中的研究与应用
- 作者：Tian-You Li;Rui Zhang;Ya-Jie Tian;Hua-Qing Peng;Jun Tian;Li Zeng;Jing Shang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear instrumentation;
- RPN;
- Positioning;
- Bucket type;
- Push-pull trolley type;
4.Preface

机译：前言
- 作者：Yongbin Sun
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
5.A Safety Level DCS Symbol Execution Test Optimization Method

机译：安全级别DCS符号执行测试优化方法
- 作者：Yan-Jun Dai;Zhi-Qiang Wu;Jie Liu;Zhi Chen;An-Hong Xiao;Hui Zeng
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear safety level DCS;
- Symbolic execution;
- Path test;
- Constraint optimization;
6.Analysis and Countermeasures of Inconsistency for Acoustic Design and Lighting Design Regulations and Standards in Main Control Room of Nuclear Power Plant

机译：核电厂主控室声学设计与照明设计规范，标准不一致的分析及对策
- 作者：Zhang Gang;Zhao Jinbo;Qi Kai;Cheng Bo;Mei Shibo;Wang Yan
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear;
- Power plant;
- Main control room;
- Acoustic design;
- Lighting design;
- Regulations and standards;
- Experience review;
7.Application Research of Fault Diagnosis in Conventional Island of Nuclear Power Plant Based on Support Vector Machine

机译：支持向量机在核电站常规岛故障诊断中的应用研究
- 作者：Heng Li;Nian-Wu Lan;Xin-nian Huang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Support vector machine;
- Machine learning;
- Nuclear power plant conventional island;
- Fault diagnosis;
8.Research on Stewardship-Intensive Digital Procedure System

机译：管理密集型数字程序系统研究
- 作者：Hao Qin
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Digital procedure;
- Stewardship-intensive;
- NPP;
- Operation safety;
9.Software Verification and Validation of Digital Nuclear Instrumentation System

机译：数字核仪器系统的软件验证与确认
- 作者：Mi Zhang;Ju-Zhi Wang;Wei-Jie Huang;Bing-Chen Huang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
10.Study and Optimization of Load Fluctuation of the Turbine Generator After Connected to the Grid in Nuclear Power Plant

机译：核电厂并网发电后负荷波动的研究与优化
- 作者：Xiao-Lei Zhan;Yan Liu;Gang Yin
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Load fluctuation;
- Speed deviation;
- Load closed loop control;
11.Reliability Analysis of Safety Class Analog Output Module Based on FFTA in Nuclear Power Plant

机译：基于FFTA的核电站安全类模拟输出模块的可靠性分析。
- 作者：Xu-Feng Tian;Cheng Yang;Qi-Chang Huang;Xu Zhang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Reliability;
- Analog output module;
- DCS system;
- FFTA;
12.Research on Instrument Channel Uncertainty of Nuclear Power Plant

机译：核电厂仪表通道不确定度的研究
- 作者：Shun Wang;Qi-Chang Huang;Zhi-Qiang Wu;Ming-Xing Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plant;
- Instrument channel;
- Uncertainty;
- Monte carlo method;
13.Research on the Human Factors Integration in Some Third Generation NPP

机译：第三代核电厂人为因素整合研究
- 作者：Zhong-Ping Yin;Yan-Zi Liu;Xue-Gang Zhang;Jian-Bo Zhang;Xiao-Mei Xu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Human factors integration;
- HF organization;
- HFI activities;
- HFE guidelines;
14.Development and Application of Closed-Loop Control Performance Evaluation System for Nuclear Power Plant

机译：核电厂闭环控制性能评估系统的开发与应用
- 作者：Zhen-Hua Luan;Zong-Wei Yang;Peng Liu;Jun Liang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plant;
- Control system;
- Performance evaluation;
15.An Optimum Solutions for Venturi Used for Main Feedwater Flowrate Measurement in Nuclear Power Plant

机译：用于核电厂主给水流量测量的文丘里管的最佳解决方案
- 作者：Zong-Jian Shangguan;Hua-Tong Wei;Lin Guo
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Venturi;
- Main feedwater flowrate measurement;
- Optimal type;
- Nuclear power plant;
16.Research on Typical Fault Diagnosis of Nuclear Power Plant Based on Weighted Logical Inference Arithmetic

机译：基于加权逻辑推理算法的核电站典型故障诊断研究
- 作者：Yi-Peng Fan;Hong-Yun Xie;Chao Lu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Fault diagnosis;
- Nuclear power plant;
- Weighted logical inference arithmetic;
17.Information Security Risk Analysis and Countermeasures of Digital Instrumentation Control System in NPP

机译：核电厂数字仪表控制系统信息安全风险分析与对策。
- 作者：Jian-Zhong Tang;Zi-Yin Liu;Hui-Hui Liang;Peng-Fei Gu;Wei-Jun Huang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- NPP;
- Digital instrument and control system;
- Information safety;
- Risk analysis;
18.Application of Mixed Reality Based on Hololens in Nuclear Power Engineering

机译：基于Hololens的混合现实在核电工程中的应用。
- 作者：Yi Zhang;Dan Li;Hao Wang;Zheng-Hui Yang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Mixed reality;
- Nuclear power plant;
- HPR1000;
- Hololens;
19.The Research and Development of Digital General Operating Procedure

机译：数字通用操作程序的研究与开发
- 作者：Chuang-Bin Zhou;Qing-Wu Huang;Ji Shi;Wei-Hong Cui;Xian-Min Li;Wen-Bin Liu;Yi-Xiong Luo;Shao-Shuai Qiu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
20.Visualization of Geologic Engineering Data Based on Nuclear Power Plant

机译：基于核电站的地质工程数据可视化
- 作者：Hui Chang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Geologic;
- Engineering data;
- Visualization;
21.Research on Hybrid Communication System for Nuclear Power Plants Safety-DCS

机译：核电厂安全DCS混合通信系统的研究
- 作者：Zhi-Qiang Chen;Qi Chen;Min-Jie Lei;Yan-Qun Wu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plants;
- Safety distributed control systems;
- Wireless communication;
- Hybrid communication;
22.Analysis of Analog Circuit Error in Reactor Control System

机译：电抗器控制系统模拟电路误差分析
- 作者：Qi-Chang Huang;Shun Wang;Xu-Feng Tian;Zhi-Qiang Wu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Control system;
- Analog circuit;
- Precision calculation;
- Error analysis;
23.Research on Defense-in-Depth Zone of Low-Altitude Security Area in Nuclear Power Plant

机译：核电站低空安全区纵深防御带研究
- 作者：Lin Ye;Jie Zhang;Guang Meng
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Physical protection;
- Defense-in-depth;
- Defending area;
- UAV (Unmanned aerial vehicle);
- Detection;
- Delay;
- Response;
- Control area;
- Protect area;
- Vital area;
24.Research on Axial Power Deviation Safety Early Warning Technology Based on Online Simulation

机译：基于在线仿真的轴向功率偏差安全预警技术研究
- 作者：Hong-Yun Xie;Ke Tan;Wei-Jun Huang;Chao Zhang;Zhen-Yu Shen
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Online simulation;
- Axial power deviation;
- Early warning technology;
25.Research and Analysis on 1E Distributed Control System Priority Logic Module

机译：1E分布式控制系统优先逻辑模块的研究与分析
- 作者：Zong-Hao Yang;Quan Ma;Ming-Ming Liu;Zi-Peng Zhang;Kai Wang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear reactor;
- Instrument and control;
- 1E DCS;
- Priority logic module;
26.Design and Optimization of Communication in Nuclear Safety Class Emulation System

机译：核安全级仿真系统中通信的设计与优化
- 作者：Xu Zhang;Quan Ma;Qi Chen;Kai Wang;Hao Peng;Guo-Hai Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Emulation system;
- Communication;
- DCS;
27.Integrated Digital Control Platform for Flywheel Systems with Active Magnetic Bearings

机译：具有主动电磁轴承的飞轮系统的集成数字控制平台
- 作者：Kai Zhang;Yang Xu;Xing-Jian Dai
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Flywheel;
- Magnetic bearing;
- Digital control system;
28.Off-Line Performance Calculating Software of the Secondary Loop Thermal System in AP1000 Nuclear Power Plant

机译：AP1000核电厂二次回路热力系统离线性能计算软件
- 作者：Zhi-Gang Wu;Wen Chen
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- The secondary loop thermal system;
- Thermal calculation;
- Java language;
- Nuclear power plant;
29.Reliability Allocation Based on Importance Measures

机译：基于重要性测度的可靠性分配
- 作者：Ming Xu;Duo Li;Shu-Qiao Zhou;Xiao-Jin Huang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
30.Monitoring and Analyzing of Wall Temperature Fluctuations for Thermal Fatigue in Elbow Pipe

机译：弯管热疲劳壁温波动的监测与分析
- 作者：Jun Ling;Hao Fu;Hong-Tao Liu;Jing-Qi Yuan
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plant;
- Elbow pipe;
- Thermal fatigue;
- Energy conservation;
- Linear interpolation;
31.Discussion on Traceability Analysis Method of Safety Software in Nuclear Power Plants

机译：核电厂安全软件溯源分析方法的探讨
- 作者：Peng-Fei Gu;Ya-Nan He;Jian-Zhong Tang;Wang-Ping Ye
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Safety software;
- Requirements items;
- Traceability analysis;
- Software verification and validation;
32.Discussions on Information Security Test Strategy for Digital Industrial Control System in Nuclear Power Plant

机译：核电厂数字工业控制系统信息安全测试策略的探讨
- 作者：Wang Xi;Peng-Fei Gu;Wei Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plant;
- Industrial control system;
- Information security;
- Digital;
33.The Application of LSTM Model to the Prediction of Abnormal Condition in Nuclear Power Plants

机译：LSTM模型在核电站异常状态预测中的应用
- 作者：Jing-Ke She;Shi-Yu Xue;Pei-Wei Sun;Hua-Song Cao
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear safety;
- Operation prediction;
- Deep learning;
- LSTM;
34.Study and Implementation on General Operating Procedure of CPR1000 Main Control Room in China

机译：中国CPR1000主控室通用操作规程的研究与实现
- 作者：Ji Shi;Qing-Wu Huang;Chuang-Bin Zhou;Liang-Jun Xu;Hui Jiang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Human system interface;
- Advanced control room;
35.Development and Application of Undisturbed Online Downloads in the FirmSys

机译：FirmSys在线无损下载的开发与应用
- 作者：Gui-Lian Shi;Bao-Hua Ren;Zhi-Hui Zhang;Xing-Xing Sun;Le Li
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- FirmSys;
- React protect system;
- Online download;
- Safety;
36.Inductive Displacement Sensors Based on the Integrated Demodulation Chip

机译：基于集成解调芯片的电感式位移传感器
- 作者：Ya-Ting Liu;Kai Zhang;Yang Xu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Active magnetic bearing;
- Inductive displacement sensor;
- Synchronous demodulation;
- ADA2200;
37.The Study on Automatic Control of Pressure and Temperature for the Pressure Water Reactor Nuclear Power Plant

机译：压水堆核电站压力和温度自动控制的研究
- 作者：Jia-Lin Ping;Hong-Yun Xie;Chao Lu;Lin Tian;Chun-Bing Wang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power station;
- Automatic control on pressure and temperature;
- Design validation;
38.The Development of TMSR-SFO Simulation Protection System

机译：TMSR-SFO仿真保护系统的开发
- 作者：Guo-Qing Huang;Jie Hou;Ye Liu;Wei Lai;Bing-Ying Li
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Reactor protection system;
- FPGA;
- Simulated nuclear instrumentation system;
39.A Hierarchical Task Analysis Approach for Static Human Factors Engineering Verification and Validation of Human-System Interface

机译：静态人为因素工程验证和人机界面验证的分层任务分析方法
- 作者：Xin-Yu Dai;Ming Jia;Ting Mao;Ming Yang;Jun Yang;Yu-Xin Zhang;Hong-Xing Lu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Hierarchical task analysis;
- Verification Validation;
- Human factors engineering;
- Human-system interfaces;
40.Assessment of Operating Safety State of Nuclear Power Plant Based on Improved CAE Method

机译：基于改进CAE方法的核电站运行安全状态评估
- 作者：Chao Lu;Jia-Lin Ping;Wei-Jun Huang;Ke Tan;Hong-Yun Xie
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Health state assessment;
- Arithmetic of variable weight;
- Analytic hierarchy process;
- Visualization;
41.Research on Static Testing Technology of Nuclear Safety-Critical Software Based on FPGA Technology

机译：基于FPGA技术的核安全关键软件静态测试技术研究
- 作者：Wei Xiong;Tao Bai;Peng-Fei Gu;Hui-Hui Liang;Jian-Zhong Tang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Static testing;
- FPGA;
- Coding rules;
42.Analysis and Solution of Design Difficulties of HMI with Scale Increase in Limited Space

机译：人机界面设计受限空间的设计难点分析与解决
- 作者：Bo Cheng;Ting Mao;Shi-Bo Mei;Xue-Gang Zhang;Yi-Qian Wu;Zhen-Hua Luan
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Human-Machine interface;
- Main control room;
- Nuclear power plant;
43.Features Extraction Based on Deep Analysis of Network Packets in Industrial Control Systems

机译：工业控制系统中基于网络包深度分析的特征提取
- 作者：Wen Si;Jiang-Hai Li;Xiao-Jin Huang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Features extraction;
- Network packet;
- Industrial control system;
44.Application Analysis of Wireless Sensor Networks in Nuclear Power Plant

机译：无线传感器网络在核电站中的应用分析
- 作者：Zhiguang Deng;Qian Wu;Xin Lv;Biwei Zhu;Sijie Xu;Xuemei Wang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Wireless sensor network;
- Nuclear environment;
- Anti-interference;
- Anti-irradiation;
- Low power consumption;
- Information security;
- Reliability;
45.Research and Application of Software Reliability Analysis Method for Safety IC System in NPPs

机译：核电厂安全监控系统软件可靠性分析方法的研究与应用
- 作者：Sheng-Chao Wang;Jian-Zhong Tang;Tao Bai
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- IC system;
- Software reliability;
- FMEA;
- FTA;
46.Development and Application of Intelligent Platform for Collaborative Electrical Design of Nuclear Power

机译：核电协同电气设计智能平台的开发与应用
- 作者：Chao Guo;Yu Zhang;Xin-Wei Xu;Jia-Kun Hu;Xiao-Fen He
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power;
- Electrical design;
- Intelligent platform;
- Data collaboration;
- Automatic drawing;
47.Development of Closed-Circuit Television Inspection System for Steam Generators in Nuclear Power Plants

机译：核电站蒸汽发生器闭路电视检查系统的开发
- 作者：Chao-Rong Wu;Bo-Wen Lu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear power plants;
- Steam generator;
- CCTV inspection system;
48.Study for Design and Application of Procedure-Based Automation in Nuclear Power Plant

机译：基于程序的核电站自动化设计与应用研究
- 作者：Xue-Gang Zhang;Fang-Fang Gao;Yan-Tong Luo;Zhi-Yao Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
49.Research on the Security Technology of the Internet of Things in Nuclear Power Plant

机译：核电厂物联网安全技术研究
- 作者：Hui-Hui Liang;Xin-Xin Gao;Wang-Ping Ye;Wei Liu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Security technology;
- Internet of things;
- Nuclear power plant;
50.Research on KDA System Reliability Model Based on Total Probability Formula

机译：基于总概率公式的KDA系统可靠性模型研究
- 作者：Ying-Jie Lin;Ze-Yu Xie;Jie Lin
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Reliability model;
- Total probability formula;
- Nuclear power control system;
51.A Study About Safety Technology of Control System and Information System in Nuclear Power Plant

机译：核电厂控制系统和信息系统安全技术研究
- 作者：Jing Zhao;Chao Zhang;Zhe-Ming Liu;Xia Yan
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- System security;
- Security analysis;
- Safe operation;
- NPP;
52.The Research and Application of Test Method for 1E IC System Platform's Change

机译：1E I＆C系统平台变更测试方法的研究与应用
- 作者：Hu-Jun Jia;Yao Wu;Xiao-Sheng Dong;Min Qi;Xiu-Hong Lv;Hong-Yan Chen
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Nuclear safety-class IC system platform;
- Change testing;
- Impact analysis;
53.Research and Application of a User Interface Automatic Testing Method Based on Data Driven

机译：基于数据驱动的用户界面自动测试方法的研究与应用
- 作者：Tai-Xin Huang;Jian-Wei Ji;Yun-Xu Shou;Yan Kong
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Data driven;
- User interface;
- Automatic;
- Testing method;
54.Research on a Certainty Data Link Layer Protocol for the Communication Network in Nuclear Safety DCS

机译：核安全DCS通信网络确定性数据链路层协议的研究
- 作者：Le Li;Chun-Lei Zhang;Kang Cheng;Xing-Xing Sun;Wen-Yu Yang
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Certainty;
- Protocol;
- Safety communication;
- Data link layer;
55.A Design of FPGA-Based Self-healing System for Communication Networks in Nuclear Safety DCS

机译：核安全DCS中基于FPGA的通信网络自愈系统设计
- 作者：Chun-Lei Zhang;Le Li;Kang Cheng;Wen-Yu Yang;Xing-Xing Sun
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Safety communication;
- Self-healing;
- FPGA;
- Isolation;
56.A Formal Method for Verifying the Ability of a Protocol to Resist Replay Attacks

机译：验证协议抵抗重放攻击的能力的正式方法
- 作者：Ru-Mei Shi;Yun-Bo Zhang;Ya-Dong Zhang;Qiao-Rui Du;Xiao-Bo Zhou;Xian-Zhu Xu
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- Replay attack;
- Network protocol;
- Information security;
- Formal;
57.Design and Analysis of Safety DCS Cabinet for Small Marine Reactor Based on the FirmSys

机译：基于FirmSys的小型船用反应堆安全DCS柜的设计与分析。
- 作者：Zhao-Feng Liu;Zhi-Rui Jiang;Xin Zuo;Wei Chen;Zhao-Long Li
- 会议名称：《International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant》 | 2019年
- SMR;
- DCS;
- Shock resistant cabinet;
- Double shock resistance;