机床电气化系统设计与友好界面的编程开发

experience, the structuring mechanisms of TLA help to obtain clear, well-organized, and configurable specifications, finite instances of which are verified by the TLA model checker TLC. We have validated our approach on a concrete case study, a controller for fire fighting equipment in a ship dock, and report on the results obtained for this case study. ++

The control system for SSRF injection and extraction

This paper introduces the injection and extraction control system design for SSRF, which is a distributed control system aimed at stability and reliability of the pulse power supplies, PPS (Personnel Protection System) and MPS (Machine Protection System). The hardware environment is mainly based on PLC (Programmable Logic Controller), and ARM (Advanced RISC Machine) is also applied for studying

stability of the power supplies. WinCC and EPICS (Experimental Physics and Industrial Control System) have been selected as the platforms of SCADA (Supervisory Control and Data Acquisition). For unifying the interfacing to the control computer, all front-end equipments are connected via Industrial Ethernet.

The Development of Tools and Methods to Manage Residual Stresses in the Future Design of Nuclear Plant

能源电力企业的PLC安全化自动控制

1,2,3A long-term UK research programme on residual stresses was launched in 2004. It involves

Rolls-Royce plc and Serco Assurance, supported by UK industry and academia. The programme

involves the use of finite element analysis to simulate welding processes and supporting experimental validation using a variety of residual stress measurement techniques. 4

This programme is aimed at progressing the understanding of residual stresses in nuclear plant

components, whilst developing weld modelling analysis tools and residual stress measurement methods. These analysis tools will then be used to develop strategies to minimise welding residual stresses and distortions in the design and manufacture of future plant.