• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1013-1016
• /
• 2002

제어 시스템에 사용되는 흐름 제어 언어로는 IL(Instruction List), ST(Structured Text), FBD(Function Block Diagram), SFC(Sequential Function Chart), LD (Ladder Diagram)가 있다. 일반적으로 제어 시스템에 탑재하여 사용하는 언어는 상기 언어 중 두 종류 이하의 특정 언어로 제한되어 있다. 이러한 제약을 보완하기 위해, 모든 흐름 제어 언어를 통합 분석할 수 있는 통합 분석기가 필요하다. 본 논문에서는 흐름 제어 언어의 통합 분석 처리가 가능하도록 그래픽 표현의 FBD 를 문자 표현의 EST(Extended Structured Text)로 변형하는 규칙과 문자 표현의 EST 를 IL 로 변형하는 규칙을 제시한다. 언어간의 변형 과정에서 FBD 를 ST 로 표현할 수 없는 부분을 EST 로 정의한다. 또한 본 논문에서 제안된 EST 를 기반으로 통합 분석기의 구조를 제시한다.

• Journal of Korea Spatial Information System Society
• /
• v.4 no.1 s.7
• /
• pp.5-14
• /
• 2002

The generalization of geospatial data is an important way in deriving a new database from an original one. The generalization of a geospatial object changes not only its geometric and aspatial attributes but also results in propagation to other objects along their relationship. We call it generalization propagation of geospatial databases. Without proper handling of the propagation, it brings about an inconsistent database or loss of semantics. Nevertheless, previous studies in the generalization have focused on the derivation of an object by isolating it from others. And they have proposed a set of generalization operators, which were intended to change the geometric and aspatial attributes of an object. In this paper we extend the definition of generalization operators to cover the propagation from an object to others. In order to capture the propagation, we discover a set of rules or constraints that must be taken into account during generalization procedure. Each generalization operator with constraints is expressed in relational algebra and it can be converted to SQL statements with ease. A prototype system was developed to verify the correctness of extended operators.

• Journal of the Korean Geotechnical Society
• /
• v.16 no.1
• /
• pp.65-73
• /
• 2000

An elasto-plastic constitutive model was proposed, in which the behavior at small-to-large strain level can be modeled. The proposed model is based on the anisotropic hardening description with the generalization of isotropic hardening rule and the total stress concept. From a mathematical approach it was proved that the model includes the previous successful models. The model was verified by a series of resonant column tests, torsional shear tests and triaxial tests, and the proposed model predicted small-to-large strain behavior more consistently and accurately than the hyperbolic model and the Ramberg-Osgood model for a weathered granitic soil. In addition, the nonlinearity under small strain condition was predicted appropriately for the torsional shear test results.

• Journal of Educational Research in Mathematics
• /
• v.19 no.2
• /
• pp.341-354
• /
• 2009

The purpose of this study is to show the Fractals activities for mathematically gifted students, and to analyze the constructions on Fractals of the mathematically gifted. The subjects of this study were 5 mathematically gifted students in the Gifted Education Institut and also 6th graders at elementary schools. These activities on Fractals focused on constructing Fractals with the students' rules and were performed three ways; Fractal cards, colouring rules, Fractal curves. Analysis of collected data revealed in as follows: First, the constructions on Fractals transformed the ratios of lines and were changed using oblique lines or curves. Second, to make colouring rules on Fractals, students presented the sensitivities of initial and fractal dimensions on Fractals. In conclusion, this study suggested the importance of communication and mathematical approaches in the mathematics classrooms for the mathematically gifted.

• Communications for Statistical Applications and Methods
• /
• v.17 no.4
• /
• pp.527-540
• /
• 2010

Rule-based classification analysis is widely used for massive datamining because it is easy to understand and its algorithm is uncomplicated. In this classification analysis, majority vote of rules or weighted combination of rules using their supports are frequently used in order to combine rules. We propose a method to combine rules by using the multinomial distribution in this paper. Iterative proportional fitting algorithm is used to estimate the multinomial distribution which maximizes entropy constrained on rules' support. Simulation experiments show that this method can compete with other well known classification models in the case of two similar populations.

• Journal of the Korean Geotechnical Society
• /
• v.20 no.6
• /
• pp.75-83
• /
• 2004

This study is focused on the constitutive model in order to represent brittleness and dilatancy of cohesionless soils. The constitutive model was proposed on the basis of an anisotropic hardening rule with generalized isotropic hardening rule. The shape of yield surface is a simple cylinder type in stress space and it makes the model practically useful. Flow rule was approximated by a concrete function on dilatancy. A peak stress ratio was defined to model brittle stress-strain relationships. The proposed model was formulated and implemented to calculate the stress-strain relationship from triaxial tests. In the companion paper the proposed model will be verified by comparison with the triaxial test results.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.9
• /
• pp.2349-2357
• /
• 1994

This paper presents a facial expression transformation algorithm and drawing rule generation algolithm for a portrait drawing robot which was developed for the '93 Taejeon EXPO. The developed algorithm was mainly focused on the robust automatic generation of robot programs with the consideration that the drawing robot should work without any limitation of the age, sex or race for the persons. In order to give more demonstratin effects, the facial expression change of the pictured person was performed.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.1 no.1
• /
• pp.1-7
• /
• 1989

Theoretical studies have been made to analyze combined refraction diffraction of the wind waves propagating on a large scale current in water of varying depth. The governing equation for monochromatic waves was derived through splitting a mild slope equation into two equations. A numerical model is developed using finite difference scheme which is computationally very efficient for modelling large area. Numerical examples concerning the interactions between waves and rip currents over a gentle slope are presented, in which the current effects on the wave diffraction in the caustic region are closely examined.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.8
• /
• pp.54-61
• /
• 1999

In this paper, we apply one of modified Genetic Algorithms, a Multi-population Genetic Algorithm(MGA) that improves the genetic diversity to determine the fuzzy rule base and the shape of membership functions. The generation of the fuzzy rule base for fuzzy control, generally, depends on expert's experience. We suggest a new evaluation function to optimize fuzzy rule base. Simulation shows that the proposed method has good result.