• Journal of KIISE:Software and Applications
• /
• v.28 no.1
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• Journal of the Korea Convergence Society
• /
• v.11 no.10
• /
• pp.71-79
• /
• 2020

Due to the recent changes in residential value, user needs for various spaces in residential space are increasing. However, it is not easy to change and reconstruct the first residential form according to the needs of the user due to the characteristics of the residential space where movement and deformation are difficult. Therefore, this study aims to derive a plan to meet user needs according to changing residential value by using fully autonomous vehicles with a concept of space that can be moved. First, the existing residential space was classified through literature research, and based on this, the space type of the fully autonomous vehicle for the residential was derived through user research. Then, through the survey method and statistical analysis, user needs analysis for residential space, usefulness analysis of derived space type and type specification were carried out. Finally, based on the results of the study, the design direction of the fully autonomous vehicle for residential purpose was presented. Based on the user's perception, it is meaningful that it categorizes the space of the fully autonomous vehicle for residential purposes and suggests the design direction.

• Journal of Information Management
• /
• v.34 no.3
• /
• pp.21-39
• /
• 2003

This study aims to evaluate the quality of Bibliographic database : The Union Catalog system(UNICAT) and Korean Library Information System Network(KOLIS-NET). The seven criteria(Coverage, Accuracy, Completeness, Currentness, Consistency on the quality of data itself and easy of use, Customer Support on the quality of database service) are used to measure their quality. The purpose of this study was dignose the quality of two bibliographic database mentioned above and analyses the measured result of quality comparatively and to find out the problems of them and also to provide possible suggestion for their improvements.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.133-139
• /
• 1996

전형적인 상태 관측기에서는, 외란이 시스템 입력에 가해지는 경우 시스템의 상태 추정이 불가능하다. 이러한 상태관측 문제에 대한 한가지 대책법으로서 비례적분(PI) 관측기가 제안되어 스텝외란의 소거에 대한 유효성이 밝혀져 로바스트 제어기 설계에 대한 응용으로서 널리 연구가 행해져 왔다. 그러나, 미지입력에 대한 PE 관측기 설계는 여전히 문제로 남아 있다. 이 논문에서는 미지입력 PI 관측기의 설계법을 제안하고, 이에 대한 응용으로서 완전 LTR을 실현할 수 있는 결과를 보인다. 먼저, 입력의 정보없이 시스템의 상태를 추정할 수 있는 미지입력 PI 관측기의 충분조건을 제안하고, PE 관측기의 설계에 요구되는 필요충분조건을 보인다. 이러한 조건은 완전 LTR의 실현을 위한 직접적인 요구조건임을 보인다. 따라서, 완전 LTR을 달성하면서 지정한 관측기의 극을 지니는 PI 관측기 설계가 가능하다.

• Journal of Animal Science and Technology
• /
• v.49 no.6
• /
• pp.729-736
• /
• 2007

The objective of this study was to investigate the anti-oxidative effects of pyruvate, taurine and melatonin on sperm characteristics(motility, membrane integrity) and lipid peroxidation(LPO) for in vitro storage of boar semen. Semen was treated with various antioxidants such as pyruvate(1mM), taurine(50mM) and melatonin(100nM) with or without 100uM H2O2. Antioxidant treatments were significantly increased the sperm motility when compare to control group in all incubation periods(P≤0.05). Hypoosmotic swelling test(HOST), membrane integrity was similar to the result of motility. In lipid peroxidation measurement by TBA reactions of spermatozoal plasma membrane, malondialdehyde(MDA) level in control and antioxidant treatments were lower than those of antioxidant plus H2O2 or H2O2 treatment for 3 to 6 h incubation period. Relationships of evaluation methods for sperm viability were investigated by motility, membrane integrity and lipid peroxidation. Among evaluation methods, LPO vs motility and membrane integrity vs LPO were negatively correlated(－0.23~－0.92 and －0.68~－0.85), but membrane integrity vs motility was positively correlated (0.53~0.94) in all treatments. These experiments indicate that supplementation of antioxidant to the semen extender can increase the sperm motility and membrane integrity and decrease the lipid peroxidation of spermatozoal plasma membrane. The HOST might be utilized to evaluate the sperm quality instead of lipid peroxidation or motility.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5652-5659
• /
• 2014

The purpose of this study was to introduce a software task processing evaluation model that considers the following situations: i) a software system is integratedly composed of several number of modules, ii) each modules has its corresponding module task, iii) all module tasks are tested simultaneously, and iv) the processing times of the module tasks are mutually dependent. The software task completion probability with the module dependency was derived using the joint distribution function of Farlie [11]. The results showed that the task completion probability of software increases with increasing module dependency parameter.

• Journal of Korean Philosophical Society
• /
• v.131
• /
• pp.273-301
• /
• 2014

This study aims to reconstruct Leibniz's theodicy. Theodicy is to defense of the highest wisdom of the creator against the charge which reason brings against it for whatever is the evil in the world. For this defense, Leibniz created his own new kind of concepts: the principle of sufficient reason, the principle of perfection, the best of all possible worlds, moral necessity. Leibniz's theodicy is developed as following. Most good and wisest God created this world freely by moral necessity. God's will was to choose the goods antecedently. But God's will could not create goods only. For God's final purpose is to create the best. For this reason, it happens that the evils may come about by concomitance, and as a result of other greater goods. Therefore the evils are necessary in the world. And evil consists in imperfection. Man has free will as God. Freedom, according to Leibniz, consists in intelligence, which involves a clear knowledge of the object of deliberation. Man has freedom, but man's freedom is imperfect. Evil is originated in man's imperfect freedom.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.16 no.5
• /
• pp.159-175
• /
• 2021

This study attempted to analyze the relationship between influencer's characteristic factors such as professionalism, authenticity, and interactivity and content quality factors consisting of accuracy, completeness, and diversity on brand attitude and purchase attitude through trust and self-consistency. To reveal the structural relationship between main variables, a survey was conducted on 201 users. An EFA, CFA, and reliability analysis were performed to confirm reliability and validity. And structural equation was conducted to verify hypothesis. The main results are as follows. First, it was found that professionalism and interactivity had a significant positive effect on trust. And, accuracy, completeness, and variety were all found to have a significant positive effect on trust. Second, in the relationship between individual characteristic factors and self-consistency, it was found that professionalism and authenticity had a significant positive effect on self-consistency. In addition, in the relationship between content quality and self-consistency, accuracy, completeness, and diversity were found to have a positive effect on self-consistency along with trust. Third, in the relationship between trust and self-consistency on brand attitude and purchase intention, both trust and self-consistency were found to have a statistically significant positive effect on brand attitude. It was found that only self-consistency and brand attitude had a statistically significant positive effect on purchase intention. These findings showed that when users perceive professionalism and interaction with influencer, trust increases, and professionalism and progress increase self-consistency with influencer. In addition, in the case of content quality, it was found that trust and self-consistency responded positively when perceived content quality through content accuracy, completeness, and diversity. Also, trust and self-consistency increased attitudes toward brands and could influence consumption behavior such as purchase intention. Therefore, for effective marketing performance using influencer's influence in the field of influencer marketing, which has a strong information delivery on products and brands, not only personal characteristics such as professionalism, authenticity, and interactivity, but also quality of content should be considered. The above research results are expected to suggest implications for marketing strategies and practices as one available basic data to exert the expected effect of marketing using influencer.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1997.08a
• /
• pp.199-202
• /
• 1997

본 연구는 국내에서 제작한 데이터베이스의 품질을 평가하고자 4개의 문헌 데이터베이스를 선정하여 각 데이터베이스를 정확성, 일관성, 완전성, 현행성 등 네가지 기준에 따라 분석하였다. 실험결과는 각 평가기준별로 정리되었으며 그에 대한 최우선 대책을 제안했다. 데이터베이스의 품질은 정보 검색과 서비스에서 매우 중요한 것이므로 시스템 설계자나 이용자 모두 데이터베이스의 품질에 대해 넓은 안목을 갖추고 체계적인 분석을 수행하여야 하며 이와 함께 제도적인 뒷받침도 이루어져야 할 것이다.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.30 no.6
• /
• pp.1011-1020
• /
• 2001

Volatile organic components from onions stored in the different decay conditions were extracted by SDE apparatus and analyzed by GC-FID and GC/MS. Components of 115, 143, 123 and 137 were identified in fresh onions, decayed onions without heating, half-decayed and complete-decayed onions after heating, respectively. These components included esters, aldehydes, ketones, alcohols and sulfur-containing compounds. Dimethyl trisulfide, dimethyl disulfide, dipropyl trisulfide and 3,5-diethyl-1,2,4-trithiolane were the main sulfur-containing components in fresh onions and decayed onions without heating. As spoilage of onions, the concentrations of sulfur-containing components of volatile extracts significantly decreased. Apart from sulfur-containing components, volatile organic components in half-decayed and complete-decayed onions after heating were mainly composed of esters, aldehydes, ketones and alcohols. Ketones of volatiles in complete-decayed onions after heating were high relatively.