• 한국컴퓨터정보학회논문지
• /
• 제13권5호
• /
• pp.53-67
• /
• 2008

현재 유사 도메인에 대한 feature 모델과 class 모델간의 재사용을 위해, 모델 차원에서 상호변환 연구와 두 모델간 온톨로지를 이용한 변환 연구가 있으나, 메타모델을 통한 일관성 있는 변환이 되지 못하며, 각 모델이 가진 변환 대상 모델링 요소가 충분치 않고, 특히, 자동 변환 알고리즘 및 지원 툴을 제공하지 않음으로써 모델간 재사용의 저하를 초래하고 있다. 본 논문에서는 메타모델 상에서 온톨로지를 사용한 feature 모델을 class 모델로의 변환 방법을 제시한다. 이를 위해, feature 모델, class 모델 및 온톨로지에 대한 메타모델을 재정의하고, 각 메타모델별 모델링 요소에 대한 속성을 정의한다. 이 속성들에 기반하여 feature 모델과 온톨로지 간 그리고 온톨로지와 class 모델간의 변환 규칙 프로파일을 집합 이론과 명제논리로 정의한다. 이러한 변환의 자동화 구축을 위해 변환 알고리즘을 생성하고, 지원 툴을 구현한다. 제시한 변환규칙 및 툴을 사용해 전자 결재시스템을 통해 실제 적용한다. 기대효과로써, 기 구축된 feature 모델을 class모델로 변환하여 상이한 개발방법간에 생성된 모델을 재사용을 할 수 있다. 특히, 온톨로지를 사용해서 의미적 변환의 모호성을 해소시킬 수 있으며, 변환의 자동화 및 모델간 일관성을 유지시켜줄 수 있다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.48-53
• /
• 1999

The paper presents an automated method for generating fuzzy rules and fuzzy membership functions for pattern classification from training sets of examples and an application to the land-cover classification. Initially, fuzzy subspaces are created from the partitions formed by the minimum and maximum of individual feature values of each class. The initial membership functions are determined according to the generated fuzzy partitions. The fuzzy subspaces are further iteratively partitioned if the user-specified classification performance has not been archived on the training set. Our classifier was trained and tested on patterns consisting of the DN of each band, (XS1, XS2, XS3), extracted from KITSAT-3 multispectral scene. The result represents that our classification method has higher generalization power.

• 대한임베디드공학회논문지
• /
• 제13권4호
• /
• pp.215-223
• /
• 2018

Recently, as interest of wearable devices has increased, commercially available smart wristbands and applications have been used as a tool for personal healthy management. However most previous studies have focused on evaluating the accuracy and reliability of the technical problems of wearable devices, especially step counts, walking distance, and energy consumption measured from the smart wristbands. In this study, we propose a physical activity evaluation model using classification rules, induced from the associative classification mining approach. These rules associated with five physical activities were generated by considering activities and walking times in target heart rate zones such as 'Out-of Zone', 'Fat Burn Zone', 'Cardio Zone', and 'Peak Zone'. In the experiment, we evaluated the prediction power of classification rules and verified its effectiveness by comparing classification accuracies between the proposed model and support vector machine.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.7-12
• /
• 1992

This paper proposes a sensor-based path planning method which utilizes fuzzy logic and neural network for obstacle avoidance of a mobile robot in uncertain environments. In order to acquire the information about the environment around the mobile robot, the ultrasonic sensors mounted on the front of mobile robot are used. The neural network, whose inputs are preprocessed by ultrasonic sensor readings, informs the mobile robot of the situation of environment in which mobile robot is at the present instant. Then, according to the situation class, the fuzzy rules are fired to make a decision on the mobile robot action. In addition, this method can be implemented real time since the number of fuzzy rules used to avoid the obstacle is small. Fuzzy rules are constructed based on the human reasoning and tuned by iterative simulations. The effective of the proposed avoidance method is verified by a series of simulations.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권2호
• /
• pp.193-205
• /
• 2007

In this paper, we focus on the product rule and sum rule which are considered as the most fundamental counting tools of Combinatorics. Despite of the importance of these rules in both educational and social aspects, they are taught superficially in class. We take the survey through both internet and questionaire to investigate how thoroughly students understand the rules. Then we discuss about the results of the survey and suggest effective teaching methods to improve students' understanding of these rules.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제10권3호
• /
• pp.367-375
• /
• 2018

The present paper considers the contact between energy-saving device of ice-class vessel and ice block. The main objective of this study is to clarify the tendency of the ice impact force and the structural response as well as interaction effects of them. The contact analysis is performed by using LS-DYNA finite element code. The main collision scenario is based on Finnish-Swedish ice class rules and a stern duct model is used as an energy-saving device. For the contact force, two modelling approaches are adopted. One is dynamic indentation model of ice block based on the pressure-area curve. The other is numerical material modelling by LS-DYNA. The authors investigated the sensitivity of the structural response against the ice contact pressure, the interaction effect between structure and ice block, and the influence of eccentric collision. The results of these simulations are presented and discussed with respect to structural safety.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2004년도 학술대회 논문집
• /
• pp.293-295
• /
• 2004

Public utilities adopt the grounding rules ; class I, class II, class III and special class III, and install the grounding electrodes in distribution facilities. To keep the safety of the human and the facilities, Public utilities also manage the value of ground resistance in distribution system biennially. At present the Hook-On meter is normally used to measure the ground resistance although it has ${\pm}5[%]$ measuring error and it can not measure the exact value when the current is over 1[A]. In addition it is very difficult to use the fall-of-potential method in distribution system. In this paper we propose the new measurement method using ground current of distribution system as the current source.

• 대한조선학회 특별논문집
• /
• 대한조선학회 2006년도 특별논문집
• /
• pp.40-45
• /
• 2006

For ships of ice class, finish Maritime Administration(FMA) requires brackets on intersections between longitudinal frames and the web frames within the ice-strengthened area. The main object of this paper is to verify ultimate load carrying capacity of longitudinal frame without brackets of engine room region of 74,100 DWT Product Oil Tanker. Comparative approach between proposed structures from builder (the proposed structure) and structures satisfying the Finnish-Swedish ice class rules (the rule structure) is used for the analysis.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2011년도 춘계학술대회 논문집
• /
• pp.463-468
• /
• 2011

The prospect of Arctic trade transportation opening on a year-round basis creates a vast opportunity of exploring untapped resources and shortened navigational routes. However, the environment's remoteness and lack of technical experiences remains a big challenge for the maritime industry. With this, engine designers and makers are continually investigating, specifically optimizing propulsion shafting system design, to meet the environmental and technical challenges of the region. Further, classification societies recognize the need to upgrade the Unified Rules concerning elements to meet current Polar requirements. Hence in this paper, excitation torque calculation on Polar class vessels propulsion shafting system will be reviewed. The propeller - ice interaction load effect, which is a main consideration of excitation source of Polar Class propulsion shafting system, on shaft design calculation will be analyzed.

• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.21-38
• /
• 2006

Programmed grammars, one of the most important and well investigated classes of grammars with context-free rules and a mechanism controlling the application of the rules, can be described by graphs. We investigate whether or not the restriction to special classes of graphs restricts the generative power of programmed grammars with erasing rules and without appearance checking, too. We obtain that Eulerian, Hamiltonian, planar and bipartite graphs and regular graphs of degree at least three are pr-universal in that sense that any language which can be generated by programmed grammars (with erasing rules and without appearance checking) can be obtained by programmed grammars where the underlying graph belongs to the given special class of graphs, whereas complete graphs, regular graphs of degree 2 and backbone graphs lead to proper subfamilies of the family of programmed languages.