Governments around the world are enacting laws mandating explainable traceability when using AI(Artificial Intelligence) to solve real-world problems. HAI(Human-Centric Artificial Intelligence) is an approach that induces human decision-making through Human-AI collaboration. This research presents a case study that implements the Human-AI collaboration to achieve explainable traceability in governmental data analysis. The Human-AI collaboration explored in this study performs AI inferences for generating labels, followed by AI interpretation to make results more explainable and traceable. The study utilized an example dataset from the Ministry of Oceans and Fisheries to reproduce the Human-AI collaboration process used in actual policy-making, in which the Ministry of Science and ICT utilized R&D PIE(R&D Platform for Investment and Evaluation) to build a government investment portfolio.

North Korea continues to upgrade and display its long-range rocket launchers to emphasize its military strength. Recently Republic of Korea kicked off the development of anti-artillery interception system similar to Israel’s “Iron Dome”, designed to protect against North Korea’s arsenal of long-range rockets. The system may not work smoothly without the function assigning interceptors to incoming various-caliber artillery rockets. We view the assignment task as a dynamic weapon target assignment (DWTA) problem. DWTA is a multistage decision process in which decision in a stage affects decision processes and its results in the subsequent stages. We represent the DWTA problem as a Markov decision process (MDP). Distance from Seoul to North Korea’s multiple rocket launchers positioned near the border, limits the processing time of the model solver within only a few second. It is impossible to compute the exact optimal solution within the allowed time interval due to the curse of dimensionality inherently in MDP model of practical DWTA problem. We apply two reinforcement-based algorithms to get the approximate solution of the MDP model within the time limit. To check the quality of the approximate solution, we adopt Shoot-Shoot-Look(SSL) policy as a baseline. Simulation results showed that both algorithms provide better solution than the solution from the baseline strategy.

췌석은 만성췌장염에서 흔히 동반되는 소견으로 반복되는 복통과 췌장염의 원인이 될 수 있다. 췌석은 췌관 협착과 자주 동반되고 췌관내 박혀 있는 경우가 많아 바스켓을 이용하여 제거하기 어렵다. 체외충격파쇄석술(ESWL)로 치료하기도 하나 반복 시술이 필요하고 성공률도 높지 않았다. 최근에 개발된 SpyGlass™ DS II (Boston Scientific, Marlborough, MA, USA)는 직경이 3.5 mm로 가늘어 췌관이 확장되어 있을 때 안으로 삽입이 가능하게 되었다. 그리고 직접 췌석을 보면서 전기수압쇄석술(EHL)이나 레이저 유도 쇄석술(laser lithotripsy)를 시행하며 췌석을 제거해 볼 수 있게 되었다. 본고에서는 SpyGlass™ DS II와 EHL을 이용하여 10 mm 이상의 다발성 췌석을 제거하는 방법을 소개하고자 한다.

Reliability analysis of the components frequently starts with the data that manufacturer provides. If enough failure data are collected from the field operations, the reliability should be recomputed and updated on the basis of the field failure data. However, when the failure time record for a component contains only a few observations, all statistical methodologies are limited. In this case, where the failure records for multiple number of identical components are available, a valid alternative is combining all the data from each component into one data set with enough sample size and utilizing the useful information in the censored data. The ROK Navy has been operating multiple Patrol Killer Guided missiles (PKGs) for several years. The Korea Multi-Function Control Console (KMFCC) is one of key components in PKG combat system. The maintenance record for the KMFCC contains less than ten failure observations and a censored datum. This paper proposes a Bayesian approach with a Dirichlet mixture model to estimate failure time density for KMFCC. Trends test for each component record indicated that null hypothesis, that failure occurrence is renewal process, is not rejected. Since the KMFCCs have been functioning under different operating environment, the failure time distribution may be a composition of a number of unknown distributions, i.e. a mixture distribution, rather than a single distribution. The Dirichlet mixture model was coded as probabilistic programming in Python using PyMC3. Then Markov Chain Monte Carlo (MCMC) sampling technique employed in PyMC3 probabilistically estimated the parameters’ posterior distribution through the Dirichlet mixture model. The simulation results revealed that the mixture models provide superior fits to the combined data set over single models.

Quantum-inspired Genetic Algorithm (QGA) is a probabilistic search optimization method combined quantum computation and genetic algorithm. In QGA, the chromosomes are encoded by qubits and are updated by quantum rotation gates, which can achieve a genetic search. Asset-based weapon target assignment (WTA) problem can be described as an optimization problem in which the defenders assign the weapons to hostile targets in order to maximize the value of a group of surviving assets threatened by the targets. It has already been proven that the WTA problem is NP-complete. In this study, we propose a QGA and a hybrid-QGA to solve an asset-based WTA problem. In the proposed QGA, a set of probabilistic superposition of qubits are coded and collapsed into a target number. Q-gate updating strategy is also used for search guidance. The hybrid-QGA is generated by incorporating both the random search capability of QGA and the evolution capability of genetic algorithm (GA). To observe the performance of each algorithm, we construct three synthetic WTA problems and check how each algorithm works on them. Simulation results show that all of the algorithm have good quality of solutions. Since the difference among mean resulting value is within 2%, we run the nonparametric pairwise Wilcoxon rank sum test for testing the equality of the means among the results. The Wilcoxon test reveals that GA has better quality than the others. In contrast, the simulation results indicate that hybrid-QGA and QGA is much faster than GA for the production of the same number of generations.

We demonstrated an effective way of preparing melt spinnable mesophase pitches via catalytic hydrogenation of petroleum residue (fluidized catalytic cracking-decant oil) and their subsequent thermal soaking. The mesophase pitches thus obtained were analyzed in terms of their viscosity, elemental composition, solubility, molecular weight, softening point and optical texture. We found that zeolite-induced catalytic hydrogenation under high hydrogen pressure contributed to a large variation in the properties of the pitches. As the hydrogen pressure increased, the C/H ratio decreased, and the solubility in n-hexane increased. The mesophase pitch with entirely anisotropic domains of flow texture exhibited good meltspinnability. The mesophase carbon fibers obtained from the catalytically hydrogenated petroleum residue showed moderate mechanical properties.

Insect pollinators of the endanger orchid Cypripedium japonicum were surveyed and identified during two years, as a part of a conservation project of the orchid at Jukyeup-san and Hwaak-san (Mt.), South Korea. In total 40 individuals of 16 species in 4 families were identified. The dominant family was Halictidae, and Lasioglossum exiliceps Vachal visited the most frequently C. japonicum during the surveys. The average visiting frequency was 2.5 individuals per hour and the highest 4.3, from 12:00 – 13:00 in a day. After 15:00 insects did not visit the flowers at all. However, all of the visiting insects were found to not carry a pollinium or pollens of the orchard on their bodies; pollen carryover by any of the visiting insects did not occur at all. The orchid seems to require certain pollinators in particular body thickness due to its unique pollination mechanism. The orchid has two exit route openings, around 1 cm in diametre, where the entrapped insects can exit and an anther is situated just in front of each opening. It was inferred that a pollen carrier should be around 1 cm in body thickness. Therefore, the candidate species as the proper pollen carriers can be Tetralonia nipponensis Perez, Xylocopa appendiculata circumvolans Smith and Bombus consobrinus Dahlbom among the surveyed visitors.

Ski protein is a nuclear transcription factor that does not bind DNA directly. Due to its unique binding properties with multiple factors, Ski could perform various roles in the regulation of both cellular proliferation and differentiation. We had previously reported that Ski protein is present in granulosa cells of atretic follicles, but not in preovulatory follicles, suggesting that Ski has a role in apoptosis of granulosa cells. The alternative fate of granulosa cells other than apoptosis is to differentiate to luteal cells; however, it is unknown whether Ski is expressed and has a role in granulosa cells undergoing luteinization. Thus, the aim of the present study was to examine whether the initiation of luteinization with luteinizing hormone (LH) directly regulates expression of Ski in the luteinized granulosa and luteal cells after ovulation by in vitro models. RT-PCR and real time PCR analysis respectively revealed that LH had no effect on c-Ski mRNA expression in the cultured granulosa cells regardless of LH treatment. Though Ski protein isabsent in granulosa cells of preovulatory follicle, its mRNA(c-Ski) was expressed and the level was unchanged even after LH surge. Taken together, these results demonstrated that Ski protein expression is induced in granulosa cells upon luteinization, and suggested that its expression is regulated post-transcriptionally. Moreover, expression of mRNA of Arkadia, an E3 ubiquitin ligases, in luteinizing granulosa cells in vivo was assessed by real time-PCR. The levels of Arkadia mRNA expression were unchanged during follicular growth and post ovulatory luteinization. These findings suggest that Ski protein level may be regulated during luteinization at translational and/or post-translational level but not by Arkadia.

Sloan-Kettering virus gene product of a cellular pro-oncogene c-Ski is an unique nuclear pro-onco protein and belongs to the Ski/Sno proto-oncogene family. Ski plays multiple roles in a variety of cell types, it can induce both oncogenic transformation and terminal muscle differentiation when expressed at high levels. Ski protein is implicated in proliferation/differentiation in a variety of cells. The alternative fate of granulosa cells other than apoptosis is to differentiate to luteal cells, however, it is unknown whether Ski is expressed and has a role in granulosa cells undergoing luteinization. Thus, the aim of this study was, by means of immunohistochemical methods, to locate Ski protein in the rat ovaries during ovulation and corpora lutea(CL) formation to predict the possible involvement of Ski in luteinization. In addition, to examine whether the initiation of luteinization with luteinizing hormone(LH) directly regulates expression of Ski in the luteinized granulosa and luteal cells after ovulation by in vivo models. In order to examine the expression pattern of Ski protein along with the progress of luteinization, follicular growth was induced by administration of equine chorionic gonadtropin to immature female rat, and luteinization was induced by human chorionic gonadtropin treatment to mimic luteinizing hormone(LH) surge. While no Ski-positive granulosa cells were present in preovulatory follicle, Ski protein expression was induced in response to LH surge, and was maintained after the formation of corpus luteum(CL). These results indicate that Ski is profoundly expressed in the luteinized granulosa cells and luteal cells of CL during luteinization, and suggest that Ski may play a role in luteinization of granulosa cells.

For reconstituting genetic resource(Korean Native Chicken: KNC) with grem-line chimeric chicken made with cryopreserved biastdermal cells, the experiments were carried out to optimize cryopreservating conditions. Stage X biastdemal cells were collected from KNC embryos and dissociated. Cells were susupended in medium containing cyopretectant and fetal bovine serum(FBS), and distributed into plastic ampules. Cell susupensions were seeded to induce ice formation at — 7℃ to — 35℃ at in the experiments, the effect of modification of dissociation way, concentration of FBS and cell density on the vaibility of frezen-thawed cells were investigated by trypan blue exclusion. Then change the way of cell dissociation from pipetting to short time vortexing, viability of frozen- thawed cell tended to be increaced from 29 % to 52 %. Increase concentraition of FBS in frozen medium from 20 % to 80 % made viability of thawed cell from 28 % to 35 %. The viability of thawed cells were 33.9% frozen at 2 embryos/ 0.5 ml, and 43.6 % frozen at 20embryos/0.5 ml. Furthermore, combination of three modifications make big improvement. The viability of frozen-thawed cell was 60 % for combinated method, and 41 % for general method. This result means the advance to practical cryoreservation of blastdermal cell of the KNC(Ogolgye breed).

For reconstituting genetic resource(Korean Native Chicken: KNC) with grem-line chimeric chicken made with cryopreserved biastdermal cells, the experiments were carried out to optimize cryopreservating conditions. Stage X biastdemal cells were collected from KNC embryos and dissociated. Cells were susupended in medium containing cyopretectant and fetal bovine serum(FBS), and distributed into plastic ampules. Cell susupensions were seeded to induce ice formation at —7 ℃ to —35 ℃ at in the experiments, the effect of modification of dissociation way, concentration of FBS and cell density on the vaibility of frezen-thawed cells were investigated by trypan blue exclusion. Then change the way of cell dissociation from pipetting to short time vortexing, viability of frozen-thawed cell tended to be increaced from 29 % to 52 %. Increase concentraition of FBS in frozen medium from 20 % to 80 % made viability of thawed cell from 28 % to 35 %. The viability of thawed cells were 33.9% frozen at 2 embryos/ 0.5ml, and 43.6 % frozen at 20 embryos/0.5 ml. Furthermore, combination of three modifications make big improvement. The viability of frozen-thawed cell was 60 % for combinated method, and 41 % for general method. This result means the advance to practical cryoreservation of blastdermal cell of the KNC(Ogolgye breed).

본 연구에서는 시중에서 유통 중인 어린이용 화장품 총 125건(n = 125)을 대상으로 하여 파라벤 6종과 벤질알콜, 페녹시에탄올, 소르빈산, 벤조산 등 10종의 보존제에 대한 혼합 사용실태와 함량을 HPLC를 이용하여 조사하였다. 유형별 보존제 검출률은 세정제 63%, 크림류 48%, 자외선차단제 46%, 로션류 38%, 오일이 13%의 순으로 검출되어 총 125건 중 63건(50%)의 제품에서 1종류 이상의 보존제를 사용하고 있는 것으로 조사되었다. 보존제별 검출범위는 페녹시에탄올 0.01 ~ 0.91% (n = 35), 벤조산 0.01 ~ 0.48% (n = 28), 벤질알콜 0.01 ~ 0.78% (n = 9), 소르빈산 0.01 ~ 0.11% (n = 3)였으며, 파라벤류 중 메틸 파라벤과 프로필 파라벤은 0.04 ~ 0.21% (n = 8)와 0.02 ~ 0.09% (n = 8)의 검출범위를 보였고, 에틸 파라벤은 1개 제품에서 0.04%로 모두 배합한도 이내로 검출되었다. 조사결과 어린이용 화장품에서는 파라벤류 보다 페녹시에탄올과 벤조산의 사용빈도가 높았으며 검출된 파라벤류 중에서는 메틸 파라벤과 프로필 파라벤이 주로 혼합 사용되는 것으로 나타났다.