• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.8
• /
• pp.2865-2878
• /
• 2021

As a current popular technology, the blockchain has a serious issue: the private key cannot be retrieved due to force majeure. Since the outcome of the blockchain-based Bitcoin, there have been many occurrences of the users who lost or forgot their private keys and could not retrieve their token wallets, and it may cause the permanent loss of their corresponding blockchain accounts, resulting in irreparable losses for the users. We propose a recoverable private key scheme for consortium blockchain based on the verifiable secret sharing which can enable the user's private key in the consortium blockchain to be securely recovered through a verifiable secret sharing method. In our secret sharing scheme, users use the biometric keys to encrypt shares, and the preset committer peers in the consortium blockchain act as the participants to store the users' private key shares. Due to the particularity of the biometric key, only the user can complete the correct secret recovery. Our comparisons with the existing mnemonic systems or the multi-signature schemes have shown that our scheme can allow users to recover their private keys without storing the passwords accurately. Hence, our scheme can improve the account security and recoverability of the data-sharing systems across physical and virtual platforms that use blockchain technology.

• Nuclear Engineering and Technology
• /
• v.52 no.12
• /
• pp.2687-2698
• /
• 2020

Most of the machine learning-based intrusion detection tools developed for Industrial Control Systems (ICS) are trained on network packet captures, and they rely on monitoring network layer traffic alone for intrusion detection. This approach produces weak intrusion detection systems, as ICS cyber-attacks have a real and significant impact on the process variables. A limited number of researchers consider integrating process measurements. However, in complex systems, process variable changes could result from different combinations of abnormal occurrences. This paper examines recent advances in intrusion detection algorithms, their limitations, challenges and the status of their application in critical infrastructures. We also introduce the discussion on the similarities and conflicts observed in the development of machine learning tools and techniques for fault diagnosis and cybersecurity in the protection of complex systems and the need to establish a clear difference between them. As a case study, we discuss special characteristics in nuclear power control systems and the factors that constraint the direct integration of security algorithms. Moreover, we discuss data reliability issues and present references and direct URL to recent open-source data repositories to aid researchers in developing data-driven ICS intrusion detection systems.

• Journal of the Korean earth science society
• /
• v.40 no.1
• /
• pp.1-8
• /
• 2019

Although recent reports suggest that the negative correlation between the Arctic Oscillation (AO) and the East Asian winter monsoon (EAWM) has been strengthened, it is not clear whether this intermittent relationship is an intrinsic oscillation in the climate system. We investigate the oscillating behavior of the AO-EAWM relationship at decadal time scales using the long-term (500-yr) climate model simulation. The results show that ice cover over the East Siberian Seas is responsible for the change in the coupling strength between AO and EAWM. We found that increased ice cover over these seas strengthens the AO-EAWM linkage, subsequently enhancing cold advection over the East Asia due to anomalous northerly flow via a weakened jet stream. Thus, this strengthened relationship favors more frequent occurrences of cold surges in the EAWM region. Results also indicate that the oscillating relationship between AO and EAWM is a natural variability without anthropogenic drivers, which may help us understand the AO-EAWM linkage under climate change.

• The Mathematical Education
• /
• v.57 no.4
• /
• pp.371-391
• /
• 2018

The purpose of this study is to analyze manifestation examples and effects of group creativity in mathematical modeling and to discuss teaching and learning methods for group creativity. The following two points were examined from the theoretical background. First, we examined the possibility of group activity in mathematical modeling. Second, we examined the meaning and characteristics of group creativity. Six students in the second grade of high school participated in this study in two groups of three each. Mathematical modeling task was "What are your own strategies to prevent or cope with blackouts?". Unit of analysis was the observed types of interaction at each stage of mathematical modeling. Especially, it was confirmed that group creativity can be developed through repetitive occurrences of mutually complementary, conflict-based, metacognitive interactions. The conclusion is as follows. First, examples of mutually complementary interaction, conflict-based interaction, and metacognitive interaction were observed in the real-world inquiry and the factor-finding stage, the simplification stage, and the mathematical model derivation stage, respectively. And the positive effect of group creativity on mathematical modeling were confirmed. Second, example of non interaction was observed, and it was confirmed that there were limitations on students' interaction object and interaction participation, and teacher's failure on appropriate intervention. Third, as teaching learning methods for group creativity, we proposed students' role play and teachers' questioning in the direction of promoting interaction.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.26 no.4
• /
• pp.116-121
• /
• 2018

According to the incresement of aging aircraft, Republic of Korea Air Force (RoKAF) conducted a teardown inspection of aircraft's EWIS (electrical wiring interconnection system) to determine the status of deterioration and the influence of failure occurrences due to it. The inspected aircraft were the retired fighter jets that had been used for more than 40 years. By analyzing defect type and the defect tendency, RoKAF can establish the necessary measures for the usage extension of their fleet and furthermore, the analysis results can be used as a basic data for the preparation of it's aircraft aging. EWIS inspection was done throughout careful visual inspection technique by removing all the ducts and pipes located in the fuselage and wings. For the aircraft wiring where no damage was found, the elongation tests were performed to determine the deterioration of wiring according to the location of the aircraft. The connectors, which is the main cause of intermittent failure, were completely disassembled and inspected for internal damage such as corrosion, abrasion, and traces of foreign objects. The detected defects were classified into 4 severity levels based on the type of damage, and the classified defects were weighted according to the criticality which may affects to it's system to establish the action plan.

• Journal of Soil and Groundwater Environment
• /
• v.23 no.6
• /
• pp.9-27
• /
• 2018

In recent years, the sales of bottled spring water (BSW) have been drastically increasing in Korea and other countries, which accompanied great interests in conservation and reclamation of natural mineral water (NMW). In this study, management and research activities on NMW in Europe, USA, and Codex Alimentarius were reviewed. In each region, NMW is regulated with its own quality standards that differ from ordinary drinking water, and management actions are strictly implemented to protect water resources and to secure quality of NMW. Many studies on NMW were carried out for monitoring inorganic constituents including major and trace elements in national levels for bottled NMW, groundwater, and tap water in other countries. In Korea, NMW became commercialized in 1995 when BSW was legally approved as a drinking water. To further promote utilization of various types of NMW in Korea, regulations and policies for NMW need to be revised in accordance with international NMW management trends. Further, studies of NMW that compile a comprehensive set of physical and chemical parameters of NMW are also needed to properly understand occurrences, hydrogeological and geochemical processes of NMW, as well as to evaluate its potential use as a natural resource.

• Journal of Forest and Environmental Science
• /
• v.35 no.3
• /
• pp.189-196
• /
• 2019

Plants are consumed by a myriad of organisms that compete for resources. Direct interactions among multiple plant-feeding organisms in a single host can range for each species from positive to negative. Wood-boring beetle faces a number of biotic and abiotic constraints that interfere with the good prospects from the tree. Biotic factors, including arthropod pests and diseases, and abiotic factors, such as drought and water-logging, are the major constraints affecting the species. The present study aimed to provide basic data for analyzing forest health, identify the kinds of wood-boring beetles in the central part of Korea. Our second goal was to analyze the species composition and diversity of regional communities and to examine. A total of 10,461 individual wood-boring beetles belonging to 8 families and 50 species attracted to trap trees in the pine forests were recorded during the study period on study sites. The results of the analysis of collected species showed that the community structure on all study sites was similar. Seasonal occurrences of dominant wood-boring beetles (5 species) from each study site showed the highest number of all species, except for Siphalinus gigas in May, followed by a gradual decline, and the largest number of Siphalinus gigas appeared in June. The similarity index of species composition was relatively high, ranging from 0.75 to 0.90 for each study site.

• ALGAE
• /
• v.34 no.3
• /
• pp.199-216
• /
• 2019

Platysiphon verticillatus and Punctaria glacialis are synonymized by mainly on the basis of shared genes, nine identical sequences. Our hypothesis is that synonymy is erroneous. We posit the many differences of biological features between the two species, their ecological preferences, and occurrences do not support synonymy. Arcticophycus (nov. gen.) is described and contains the new combination Arcticophycus glacialis. Asexual, vegetative, life histories are proposed. Novel reproductive structures are described including previously unknown features of thallus development in the life history of both species. Discovery of the novel Platysiphon cyst, and dual sporangia types in Arcticophycus, is critical in establishing a probable strategy for survival through the Arctic winter for each annual species. Pl. verticillatus is erect, tubular, ovoid to circular in X sections, flaccid, non-parenchymatous, light brown, 10-15 cm high with distinctive photosynthetic hairs in clusters or whorled on the upper one third of the thallus. A. glacialis is erect, planar, robust, parenchymatous, dark brown and hairs absent. The Halosiphon clade is named, consisting of four genera: Halosiphon, Platysiphon, Arcticophycus, and Stschapovia. Occurrence of these genera is identified. Emended are the genus Platysiphon, the family Platysiphonaceae and the order Stschapoviales.

• ETRI Journal
• /
• v.43 no.3
• /
• pp.483-510
• /
• 2021

In computational biology, desired patterns are searched in large text databases, and an exact match is preferable. Classical benchmark algorithms obtain competent solutions for pattern matching in O (N) time, whereas quantum algorithm design is based on Grover's method, which completes the search in $O(\sqrt{N})$ time. This paper briefly explains existing quantum algorithms and defines their processing limitations. Our initial work overcomes existing algorithmic constraints by proposing the quantum-based combined exact (QBCE) algorithm for the pattern-matching problem to process exact patterns. Next, quantum random access memory (QRAM) processing is discussed, and based on it, we propose the QRAM processing-based exact (QPBE) pattern-matching algorithm. We show that to find all t occurrences of a pattern, the best case time complexities of the QBCE and QPBE algorithms are $O(\sqrt{t})$ and $O(\sqrt{N})$, and the exceptional worst case is bounded by O (t) and O (N). Thus, the proposed quantum algorithms achieve computational speedup. Our work is proved mathematically and validated with simulation, and complexity analysis demonstrates that our quantum algorithms are better than existing pattern-matching methods.

• Journal of the Korean Society of Industry Convergence
• /
• v.23 no.6_2
• /
• pp.1103-1110
• /
• 2020

In this study, a segmented model with Upside-Down bathtub shaped failure intensity for a repairable system are proposed under the assumption that the occurrences of the failures of a repairable system follow the Non-Homogeneous Poisson Process. The proposed segmented model is the compound model of S-PLP and LIP (Segmented Power Law Process and Logistic Intensity Process), that fits the separate failure intensity functions on each segment of time interval. The maximum likelihood estimation is used for estimating the parameters of the S-PLP and LIP model. The case study of system A shows that the S-PLP and LIP model fits better than the other models when compared by AICc (Akaike Information Criterion corrected) and MSE (Mean Squared Error). And it also implies that the S-PLP and LIP model can be useful for explaining the failure intensities of similar systems.