As remote sensing measures, satellite imagery has played an essential role in verifying nuclear activities for decades. Starting with the first artificial satellite, Sputnik 1, in 1957, thousands of satellites are currently missioning in space. Since the 2000s, the level of detail in pixels of an image (spatial resolution) has been significantly improving, thereby identifying objects less than one meter, even tens of centimetres. The more things are identifiable, the wider regions become targets for observation. With the increasing number of satellites, computer vision technology is required to explore the applicability of algorithm-based automation. This paper aims to investigate the R&D publications worldwide from the 1990s to the present, which have tried to apply algorithms to verify any clandestine nuclear activities or detect anomalies at the site. The versatile open-source publications, including the IAEA, ESARDA, US-DOE national laboratories, and universities, are extensively reviewed from the perspective of nuclear nonproliferation (or counter-proliferation). Thus, target objects for applications are essentially located in nuclearrelated sites, and the source type of satellite sensors focuses on electro-optical images with high spatial resolution. The research trend over time by groups is discussed with limitations at the time in order to contemplate the role of algorithms in the field and to present recommendations on a way forward.

This study presents a method for analyzing the surface temperatures of specific facilities, such as the 5 MWe reactor within the Yongbyon Nuclear Complex, to explore its potential utility in monitoring suspected nuclear-related activities in North Korea using thermal infrared (TIR) satellite imagery (Landsat series). TIR band data is utilized to derive surface temperatures in the specified areas, and the temperatures are analyzed on a monthly basis to examine any patterns within these regions. This research provides a pattern-of-life on temperature variation for the target areas through multiple TIR image datasets, offering additional information to analyze facilities’ operational status in remote and inaccessible regions.

Satellite imagery is an effective supplementary material for detecting and verifying nuclear activities and is helpful in areas where access and information are limited, such as nuclear facilities. This study aims to build training data using high-resolution KOMPSAT-3/3A satellite images to detect and identify key objects related to nuclear activities and facilities using a semantic segmentation algorithm. First, objects of interest, such as buildings, roads, and small objects, were selected, and the primary dataset was built by extracting them from the AI dataset provided by AIHub. In addition, to reflect the features of the area of interest (e.g., Yongbyon, Pyongsan), satellite images of the area were acquired, augmented, and annotated to construct an additional dataset (approximately 150,000). Finally, we conducted three stages of quality inspection to improve the accuracy of the training data. The training dataset of this study can be applied to semantic segmentation algorithms (e.g., U-Net) to detect objects of interest related to nuclear activities and facilities. Furthermore, it can be used for pixelbased object-of-interest change detection based on semantic segmentation results for multi-temporal images.

For countering nuclear proliferation, satellite imagery is being used to monitor suspicious nuclear activities in inaccessible countries or regions. Monitoring such activities involves detecting changes over time in nuclear facilities and their surroundings, and interpreting them based on prior knowledge in terms of nuclear proliferation or weaponisation. Therefore, analysts need to acquire and analyze satellite images periodically and have an understanding of nuclear fuel cycle as well as expertise in remote sensing. Meanwhile, as accessibility of satellite information has been increasing and accordingly a large amount of high-resolution satellite images is available, a lack of experts with expertise in both fields to perform satellite imagery analysis is being concerned. In this regard, the Institute of Korea Nonproliferation and Control (KINAC) has developed a prototype of semi-automatic satellite imagery analysis system that can support monitoring of potential nuclear activities to overcome the limitations of professionals and increase analysis efficiency. The system provides a satellite imagery database that can manage acquired images, and the users can load images from the database and analyze them in stages. The system includes a preprocessing module capable of resizing, correcting and matching images, a change detection module equipped with a pixel-object-based change detection algorithm for multi-temporal images, and a module that automatically generates reports with relevant information. In particular, this system continuously updates open-source information database related to potential nuclear activities and provides users with an integrated analytics platform that can support their interpretation by linking related images and textual information together. As such, the system could save time and cost in processing and interpreting satellite images by providing semi-automated analytic workflows for monitoring potential nuclear activities.

This study aimed to investigate whether bacterial ghosts (BGs), empty cell envelopes of a gram-negative bacterium, delivering envelope protein domain III (EDIII) of dengue virus (DENV) serotype 2 could induce protective immune responses against dengue infection. In this study, we constructed Salmonella Typhimurium BGs expressing and delivering EDIII (BG-EDIII) and evaluated these ghosts for their immunogenicity studies in C57BL/6 mice. Our results demonstrated that the mice vaccinated once orally with BG-EDIII followed by an intramuscular boosting with a recombinant EDIII protein elicited significantly higher humoral and cell-mediated immune responses compared to the BGs alone vaccinated group (p<0.001). Upon challenge with DENV2, significantly lower viral load and liver damage was observed in BG-EDIII vaccinated group than BGs alone control group (p<0.05). The outcomes of this study revealed the ability of BG- EDIII to stimulate immune response with no observable damage to the vital organs.

With the enhancement of the spatial resolution of satellite imagery (1 m or less), the satellite image analysis has been considered as the indispensable means for remote sensing of nuclear proliferation activities in the restricted access areas such as North Korea. Notably, in the case of an open-pit uranium mine, e.g. the Pyongsan uranium mine, the mining activity can be presumed if detecting the location and extent uranium tailing piles near shafts within temporal images. Several studies have researched on the target detection for minerals of interest such as limestone and coal to evaluate the economic activities by utilizing similarity measures, e.g., a spectral angle mapper and a spectral information divergence (SID). Thus, this paper presented a systematic change detection methodology for monitoring the uranium mining activity in the Pyongsan uranium mine with a similarity measure of SID. The proposed methodology using the target detection results consists of the following five steps. The first step is to acquire stereo images of areas of interest for change detection. The second step is to preprocess the stereo images as following measures: (i) the QUick Atmospheric Correction and the image-to-image registration with ENVI and (ii) the Gram-Schmidt pansharpening. The third step is to extract spectral information for minerals of interest, i.e., uranium tailing piles, by sampling pixels within the reference image. It is based on the satellite analysis report for the Pyongsan uranium mine by CSIS, which specified the location of the uranium tailing piles. As the fourth step, the target detection for uranium tailing piles was performed through the similarity measure of SID between the extracted spectral information and the spectral reflectance of the image. In the fifth step, the change detection was processed using the multivariate alteration detection algorithm, which compares the target detection results by canonical correlation analysis. Furthermore, this paper evaluated the performance of the proposed methodology with the change detection accuracy assessment index, i.e., the area under a receiver operating characteristic curve. In conclusion, this paper suggests the systematic change detection methodology utilizing time series analysis of target detection for uranium tailing piles, which can save time and cost for humans to interpret large amounts of satellite information at the restricted access areas. As future works, the feasibility of the proposed methodology would be investigated by analyzing distribution of minerals of interest regarding nuclear proliferation at Yongbyon, which has the historical events of suspicious nuclear activities.