Design and Verification of Nuclear Waste Handling System

被引：0

作者：

Urade, Shashank ^{[1
]}

Nath, Amar ^{[1
]}

Niyogi, Rajdeep ^{[1
]}

机构：

[1] Indian Inst Technol Roorkee, Roorkee 247667, Uttar Pradesh, India

来源：

2017 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI) | 2017年

关键词：

Distributed algorithm; verification; Color Petri net; robot coordination; nuclear waste handling; COALITION-FORMATION;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Recently, we are shifting towards the green production of energy as fossil energy production has great environmental consequences. The previous study shows that energy production from nuclear is safer than the energy production from fossil fuels sources. The fossil-fuels energy production leads to more greenhouse gases emissions which are very dangerous to health. However, there are some issues even with nuclear energy production, e.g., handling the dangerous nuclear waste that is produced continuously, security of nuclear plant, radioactive accident, and nuclear proliferation and many more. For the safety of human being, robots can be applied to barrel the nuclear wastes. In this paper, we proposed distributed algorithm to barrel the nuclear waste by a team of robots. Furthermore, the system is verified with the help of state-of-the-art Colored Petri-net tool.

引用

页码：424 / 430

页数：7

共 50 条

[21] VERIFICATION OF THE RMC-SARAGR NUCLEAR DESIGN CODE SYSTEM BASED ON THE HTTR BENCHMARK
Yuan, Yuan
Liu, Guoming
Zhang, Peng
PROCEEDINGS OF 2024 31ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, VOL 10, ICONE31 2024, 2024,
[22] Nuclear waste imaging and spent fuel verification by muon tomography
Jonkmans, G.
Anghel, V. N. P.
Jewett, C.
Thompson, M.
ANNALS OF NUCLEAR ENERGY, 2013, 53 : 267 - 273
[23] Conceptual design of the space disposal system for the highly radioactive component of the nuclear waste
Kim, Hyungjin
Park, Chul
Kwon, Oh Joon
ENERGY, 2016, 115 : 155 - 168
[24] Applications of Compton imaging in nuclear waste characterization and treaty verification
Phillips, GW
1997 IEEE NUCLEAR SCIENCE SYMPOSIUM - CONFERENCE RECORD, VOLS 1 & 2, 1998, : 362 - 364
[25] A proposed design for security system for nuclear waste warehouses against terrorists attack
Wadoud, A. A.
Galahom, A. Abdelghafar
Abdel-Rahman, Mohamed A. E.
NUCLEAR ENGINEERING AND DESIGN, 2024, 427
[26] Packaged low level waste verification system
Tuite, K
NUCLEAR PLANT JOURNAL, 1996, 14 (01) : 44 - 46
[27] Decommissioning of uranium-graphite nuclear reactors and radioactive waste handling
Vainshtein, VV
Abramov, MI
SAFE DECOMMISSIONING FOR NUCLEAR ACTIVITIES, 2003, : 215 - 222
[28] Handling Complex Dependencies in System Design
Moestl, Mischa
Ernst, Rolf
PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 1120 - 1123
[29] Design, analysis and verification of recurrent neural dynamics for handling time-variant augmented Sylvester linear system
Shi, Yang
Mou, Chao
Qi, Yimeng
Li, Bin
Li, Shuai
Yang, Baoqing
NEUROCOMPUTING, 2021, 426 : 274 - 284
[30] System design - Upgrades materials handling
Seeley, R
MODERN PLASTICS, 2001, 78 (03): : 69 - 71

← 1 2 3 4 5 →