• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.395-404
• /
• 2005

There have been large concerns about survivability defined as the capability of a system to perform a mission-critical role, in a timely manner, in the presence of attacks, failures. In particular, One of the most important core technologies required for the design of the ITS(Intrusion Tolerance System) that performs continuously minimal essential services even when the computer system is partially compromised because of intrusions is the survivability one of In included the dependability analysis of a reliability and availability etc. quantitative dependability analysis of the In. In this Paper, we applied self-healing mechanism utilizing two factors of self-healing mechanism (fault model and system response), the core technology of autonomic computing to secure the protection power of the ITS and consisted of a state transition diagram of the ITS composed of a primary server and a backup server. We also defined the survivability, availability, and downtime cost of the ITS, and then performed studies on simulation experiments and two cases of vulnerability attack. Simulation results show that intrusion tolerance capability at the initial state is more important than coping capability at the attack state in terms of the dependability enhancement.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.521-528
• /
• 2000

One of the hidden problems in a domain theory is that an agent does not understand the meaning of its action. Graphplan uses mutex to improve efficiency, but it does not understand negation and suffers from a redundancy problem. Introducing a negative function not in IPP partially helps to solve this kind of problem. However, using a negative function comes with its own price in terms of time and space. Observing that a human utilizes opposite concept to negate a fact based on MDL principle, we hypothesize that using a positive atom rather than a negative function to represent a negative fact is a more efficient technique for building an intelligent agent. We show empirical results supporting our hypothesis in IPP domains. To autonomously learn the human-like concept, we generate a cycle composed of opposite operators from a domain theory and extract opposite literals through experimenting with the operators.

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.6
• /
• pp.57-78
• /
• 2002

적용구문(Applikative Konstruktion)은 타동사 구문의 일종이며 적용동사(Applikatives Verb)는 두 가지 유형으로 나눌 수 있다 적용동사가 자동사에서 타동사화 된 경우면 자동사에서는 없던 직접 목적어를 위한 슬롯이 적용형태소(Applikativmarker)를 통해 생긴다. 타동사에서 적용형태소의 삽입을 통해 변화된 적용동사는 두 개의 직접목적어를 취할 수 있는 동사의 특징을 나타내거나, 동사의 논항구조를 재배열하는 기능을 가진다. '논항구조 재배열'(rearrangement of argument structure)의 가장 전형적인 예는 타동사의 주변적인 참여자(peripherer Partizipant)를 적용동사를 통해 격상(Promotion) 시키는 반면 핵심참여자(zentraler Partizipant)는 격하(Demotion) 되는 구문이다. 즉 비 적용구문의 주변적인 참여자가 적용구문에서는 핵심참여자로서 직접목적어(direktes Objekt)의 통사적 기능을 가지는 것이다. 이러한 현상은 세계 여러 나라 언어에서 찾아 볼 수 있는데 본 논문에서는 독일어, 유카텍마야어, 인도네시아어, 캄베라어를 연구대상으로 삼았으며 이들 각 언어에서 어떤 참여자관계(Partizipantenrelation)가 적용구문의 직접목적어로 표현될 수 있는가를 살펴보았다. 이들 언어에서는 장소(Lokation)>수혜자($Benfizi\"{a}r$) & 수취인(Rezipient) > 동반자(Komitativ) > 기구(Instrument) 등의 순서로 가능하다. 이 것을 페터슨(1999)의 연구결과와 종합하여 살펴보면 적용구문의 직접목적어로 나타날 수 있는 참여자들의 순서는 루라기(2000)에 소개된 참여자의 원인연쇄(Kausale Kette)의 역순과 거의 일치하는 것을 볼 수 있는데 제일 자주 나타나는 참여자를 그 순서대로 보면 다음과 같다: 수혜자($Benefizi\"{a}r$) & 수취인(Rezipient)<장소(Lokation)>동반자(Komitativ) & 기구(Instrument)> 원인(Ursache). 이러한 순서를 우리는 '적용성의 위계'($Applikativit\"{a}tshierarchie$)라 부를 수 있으며 이것을 가능한 많은 언어에 유효한 언어의 보편성 중의 하나가 될 수 있다는 가설을 제기해 본다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.1
• /
• pp.11-17
• /
• 2007

One of the popular methods used for pattern classification is the MBR (Memory-Based Reasoning) algorithm. Since it simply computes distances between a test pattern and training patterns or hyperplanes stored in memory, and then assigns the class of the nearest training pattern, it cannot explain how the classification result is obtained. In order to overcome this problem, we propose an incremental teaming algorithm based on RPA (Recursive Partition Averaging) to extract IF-THEN rules that describe regularities inherent in training patterns. But rules generated by RPA eventually show an overfitting phenomenon, because they depend too strongly on the details of given training patterns. Also RPA produces more number of rules than necessary, due to over-partitioning of the pattern space. Consequently, we present the IREA (Incremental Rule Extraction Algorithm) that overcomes overfitting problem by removing useless conditions from rules and reduces the number of rules at the same time. We verify the performance of proposed algorithm using benchmark data sets from UCI Machine Learning Repository.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.31 no.2
• /
• pp.179-185
• /
• 1986

This study was to compare year variations of heritability, phenotypic, genotypic and environmental correlations as well as pathway coefficients for main characters of tea tree to provide useful selection information for improving tea tree. The data collected from the performance yield trials from 1979 to 1981 were used in this study. I. The genetic variance of fresh fruit yielding, dryed fruit yielding and fresh weight of root was not only greatly varied with year, but also the largest among all characteristies studied. Other characteristics showed higher genetic variance than environmental variances, and year variances were not large. 2. Both year and variety x year interaction were highly significant sources of variation for all yield characteristics, and year variances were not large. 3. All characteristics showed high broad sense heritabilities, and the broad sense heritability was not varied with year. 4. The genetic correlation coefficients between fresh fruit yielding and dryed fruit yielding, fresh weight of root and Gigolpi, dryed weight of root and Gigolpi were positive, and the year variation was not large. S. The pathway coefficients of the character was not only greatly varied with year and the fresh weight of root affected directly on the Gigolpi.

• Journal of Korea Society of Industrial Information Systems
• /
• v.26 no.1
• /
• pp.55-65
• /
• 2021

In this paper, a methodology for reinforcing reverse logistics (RL) activities in a closed-loop supply chain (CLSC) model is proposed. For the methodology, the activities of the recovery center (RC) which can be considered as one of the facilities in the RL are reinforced. By the reinforced activities in the RC, the recovered parts and products after checking and recovering processes of the returned product from customer can be reused in the forward logistics (FL) of the CLSC model. A mathematical formulation is suggested for representing the CLSC model with reinforced RL activities, and implemented using a hybrid genetic algorithm (HGA) approach. In numerical experiment, two different scales of the CLSC model are presented and the performance of the HGA approach is compared with those of some conventional approaches. The experimental results show that the former outperforms the latter in most of performance measures. The robustness of the CLSC model is also proved by regulating various rates of the recovered parts and products in the RC.

• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Journal of Korean Classical Literature and Education
• /
• no.37
• /
• pp.111-149
• /
• 2018

This story is written by Shin Kwang-han who is a famous scholar and writer in Josun Dynasty. The most notable feature of this story is the love between a man and a dead woman. The protagonist has failed the test to be a national official for several years, because of the corruption and unfairness of the leaders of his society. He is very upset, but then changes his mind in order to become an officer. One day he meets a dead woman. He saves her life from death, and falls in love with her. Finally he marries her and attains a high position. Till now, all the aspects of this story have been extensively researched from a number of different perspectives. However the narrative structure of this story has not been discussed much. This story belongs to Jungi-novel, a kind of old story style which includes fantasy. The studies on this story have mostly been carried out to find the different features in comparison with other works of the same style. Further, we could not understand its own specific meaning structure. This study aims to find the narrative structure of this story. It was recognized by researchers that Shin's stories talk about his life and his perspective of the world. Further, I will try to show how he expresses his thoughts, emotion and life through this story. First, to obtain a satisfactory result through this study, I will find a way to resolve several problems that have become the center of the controversy. Afterward, the conflict and resolution the hero's relation to the world will be identified in every paragraph. Through these efforts, we will have a new point of the view about the narrative structure of this story and the intent expressed by the writer through its structure.

• Korean Journal of Food Science and Technology
• /
• v.25 no.4
• /
• pp.373-378
• /
• 1993

A rapid gas chromatographic profiling method for the simultaneous analysis of free fatty and other acids was applied to vegetable oils. Oil samples were dissolved in dichloromethane and the free acids were extracted with saturated $NaHCO_3$ solution. The aqueous extract was acidified and then loaded onto the Chromosorb P column for the extraction. The acids were eluted with diethyl ether selectively from Chromosorb P column and were treated with triethylamine to prevent the losses of volatile acids. Several long chain fatty acids were detected from soybean oil, rice-bran oil, sesame oil and perilla oil. Various organic acids including odd number fatty acids were detected in crude oil, especially sesame oil. Arachidic acid from perilla oil and vanillic acid from sesame oil, which were not reported before were detected. The content ratio of free linoleic acid to oleic acid was $1.02{\sim}1.18$, which was similar to the reported data. When the GC profile of organic acids were simplified to their corresponding retention index spectra of bar graphical forms, they presented characteristic pattern of each vegetable oil that can be quickly recognized.