• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.131-137
• /
• 1999

전문가시스템 개발에 있어서 지식획득 병목현상(knowledge acquisition bottleneck)은 해결해야 할 큰 걸림돌중 하나이다. 지식획득을 위한 여러 과정을 단순화하고 자동화함으로 지식공학자의 작업을 최소화하면서 전문지식을 쉽고 빠르게 획득할 수 있도록 지식획득시스템을 설계·구현한다면 전문가시스템의 대중화는 지금보다 쉽게 이루어질 것이다. 본 연구는 지식 획득시스템 설계와 구현을 위한 연구의 일환으로 기계학습의 한 방법인 PIPPER(Repeated Incremental Pruning to Produce Error Reduction)를 이용하여 규칙을 생성하고 생성된 규칙을 JESS(Justification based Expert System Shell)에서 처리하도록 하였다. 규칙을 생성하기 위한 데이터는 Bohanec이 1997년도에 만든 자동차 평가 데이터베이스(Car Evaluation Database)를 사용하여 실험하였으며, 1700여 개의 레코드에서 약 40개의 규칙이 생성되었고, 생성된 규칙은 지식베이스의 정당성을 위반하지 않으면서 실행되었다.

• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• pp.25-30
• /
• 2002

The problem of qualitative reliability system is very important issue in the digitalized nuclear power plant, because the failure of its system brings about extravagant economic loss, extensive environment destruction, and fatal damage of human. Therefore this study is to develop the reliability evaluation model through the normalized scoring model by the quantitative and qualitative factors considering the advanced safety factors In the Advanced Pressurized water Reactor 1400MWe(APR 1400) under uncertainty Especially, the qualitative factors considering the information and human factors for the systematic and rational justification have been closely analyzed. The reliability evaluation model can be simply applied in real fields in order to minimize the industrial accident and human error in the digitalized nuclear power plant.

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.3
• /
• pp.91-102
• /
• 1993

This paper suggests an approach to quantitative evaluation of a manufacturing flexibility in automated manufacturing systems. The flexibility of a cell is newly defined and evaluated in use of the environmental change factors which may influence flexibility for satisfying a manufacturing performance objective. The number of machines, the number of operations, machine breakdowns and processing times are considered for this cell flexibility measure. The cell flexibility measures the extent that the cell utilizes the processes to acquire high throughput. Simulation program written in SLAM System was used to help measure cell flexibility. The proposed cell flexibility measure provides a prediction of the influence of the factors on throughput performance, and applies in case of comparison of existing system and a new system, changes in operation conditions of a cell, and comparison of rival machines. Therefore it can be used as decision making criteria for system justification.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.162.1-162
• /
• 2001

In this paper, the adaptive fuzzy system is used as an adaptive approximator for robot nonlinear dynamic. A theoretical justification for the adaptive approximator is proving that if the representive point(RP or switching function) and its derivative in sliding mode control are used as the inputs of the adaptive fuzzy system, the adaptive fuzzy system can approximate robot nonlinear dynamics in the neighborhood of the switching surface. Thus the fuzzy controller design is greatly simplified and at the same time, the fuzzy control rule can be obtained easily by the reaching condition. Based on this, a new method for designing an adaptive fuzzy control system based on sliding mode is proposed for the trajectory tracking control of a robot with unknown nonlinear dynamics.

• Journal of Industrial Technology
• /
• v.27 no.A
• /
• pp.185-193
• /
• 2007

The object of this study is the development of a Method which is enable to review the preliminary feasibility for co-generation system in new apartment buildings. In Korea co-generation systems have been installed in most of large industrial plants and commercial buildings which consume a large quantity of electric and heat energy, for energy saving and cutting products cost, under positive governmental supports. However for apartment buildings which consume quite a large electric and heat energy, are still remained in conventional energy supply system, and are not popular to utilize useful co-generation system. One of the major reason for these is the lack of clear and easy justification tool. In this circumstance, this study can provide a tool to verify the feasibility of co-generation in apartment buildings with this handy tools for planners and designers beforehand.

• Journal of the Korean Society of Safety
• /
• v.22 no.3 s.81
• /
• pp.88-97
• /
• 2007

A point based speed enforcement system(SES) has been widely used in roadways to reduce the operating speeds and potential traffic accidents. Recently, the needs for introudcing new SES using point-to-point speed measurement was presented, however, no practical guidelines or justification of the system was available. This study investigated the effectiveness of the current SES and introduction of the new SES through user interview survey method. Survey results showed that 33% of respondents were unsatisfactory to the current way of SES operation, which was 11% higher than satisfactory respondents, and about 70% of the respondents supported the introduction of point-to-point based SES operation. A majority of respondents preferred the straight roadway segment, bridge and tunnel, and curved roadway segment for a start application site with the segment length of 1-5 km long. Using these survey results, an introduction scheme was discussed in terms of legal bases, installation criteria, and operational guidelines.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.25 no.6
• /
• pp.23-35
• /
• 2002

The problem of system reliability is very important issue in the digitalized nuclear power plant, because the failure of its system brings about extravagant economic loss, environment destruction, and fatal damage of human. Therefore the purpose of this study has developed the reliability evaluation model through the scoring model by the quantitative and qualitative factors in order to justify the evaluation considering the advanced safety factors in the Advanced Pressurized water Reactor 1400MWe(APR 1400MWe) under uncertainty. Especially, the qualitative factors considering the human, information control, and quality factors for the systematic and rational justification have been closely analyzed. The proposed model can be simply applied in real fields in order to minimize the industrial accidents in the digitalized nuclear power plant.

• Journal of applied mathematics & informatics
• /
• v.37 no.5_6
• /
• pp.329-339
• /
• 2019

The Banach spaces $m^p(\phi)$ and $n^p(\phi)$ are very important sequence spaces related to $l_p$, which were defined to fill the gaps between $l_p(1{\leq}p{\leq}{\infty})$. In this paper, we investigated the solubility of the infinite system of differential equations in $m^p(\phi)$ and $n^p(\phi)$ by proving related theorems. Moreover, one example has been included for the justification of the claim of this paper.

• 한국논리학회:학술대회논문집
• /
• 2008.07a
• /
• pp.73-92
• /
• 2008

Describing a physical system in idealized terms involves making literally false claims about the system. Given this, it is puzzling that justified beliefs about physical systems can be formed by starting with idealized descriptions and then performing mathematical calculations. I argue that this puzzling aspect of idealizations cannot be easily removed by introducing talk of approximations. I go on to develop an account of how this curious feature of idealizations is to be understood. My account requires us to reassess what precisely we take the laws of physics to be saying, and also has consequences concerning the kind of evidence we can have for thinking that mathematics is the 'language of nature'. Finally, some critical comparisons are made with the so-called model-based account of scientific laws developed by Cartwright and Giere.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.2
• /
• pp.247-252
• /
• 2005

This paper proposed M-ary QAM OFDM system for efficiently transmission in multipath fading environment. And, this system have analyzed reception performance by occurred synchronization error to frequency offset in presence of multipath fading. As a result, it confirmed justification by simulation and BER theory of 64QAM OFDM of SP frame structure for the digital broadcasting.