• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.536-542
• /
• 2004

XML이 웹 상에서 문서 교환의 표준으로 자리잡고 있으며 그 수요가 나날이 증가하고 있다. 그에 따라 XML 데이터나 문서 구조를 모델링하는 XML Schema(W3C XML Schema Spec) 또한 수요가 증가하고 있다. 그러나 XML Schema는 다양한 자료형과 풍부한 표현력을 제공하지만 그 복잡성으로 인해 모델링하기가 어려운 단점이 있다. 본 논문에서는 관계형 데이터베이스 설계의 기본적인 도구인 개체-관계 모델을 이용하여 Ut Schema를 간단하게 생성하는 방법을 제시한다. 개체-관계 모델과 변환 될 XML Schema의 구조는 서로 일대일로 매핑되지 않아 직접 변환할 수는 없다. 그래서 몇 가지 알고리즘을 이용하여 개체-관계 모델을 계층적 구조모델로 변환을 한다. 이렇게 변환된 계층적 구조 모델을 이용하여 최종적으로 XML Schema를 생성한다. 여기서 제시한 알고리즘의 특징은 XML Schema의 중요한 특성들인 재사용성, 전역 및 로컬 기능 등을 가진 문서를 생성한다는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.10-12
• /
• 2005

[$n\timesn$] 불리언 행렬의 집합에서 동치관계를 이용하여 정의된 D-클래스는 개인키나 공개키 암호기술에 사용될 수 있는 가능성을 가지고 있다. 그러나 NP-완전 문제인 계산 복잡도로 인해 D-클래스의 효율적인 계산이 어려워 극히 제한된 크기의 행렬에 대한 D-클래스만이 알려져 있다. D-클래스를 효율적으로 계산하기 위해서는 수식변환, 병렬처리, 순환문 개선 등을 통해 알고리즘을 개선하여야 한다. 본 논문은 D-클래스의 효율적 계산을 위해 공유메모리 기반의 병렬 처리에 적합하도록 수식의 대수적 변환을 이용한 알고리즘의 설계라 실행 결과에 대해 논한다.

• The Mathematical Education
• /
• v.50 no.1
• /
• pp.41-59
• /
• 2011

Given the importance of algebra in the early grades, this paper analyzed the contents of whole numbers and their operations from the perspectives of generalized arithmetic. In particular, the focus of analysis was given to the properties of 0 and 1, those of operations such as commutativity, associativity, and distributivity, and the relations between operations. As such, this paper analyzed in detail how such properties and relations were introduced and expanded across different grades. It is expected that many issues in this paper will serve basic information to develop instructional materials in a way to fostering students' algebraic thinking in the elementary grades.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.376-376
• /
• 2023

전 세계적으로 중요한 담수 자원인 지하수의 미세플라스틱 오염에 대한 우려가 커지고 있다. 지하수 환경에서 미세플라스틱의 오염을 예측하고 평가하기 위해 대수층 내 현장 실태조사가 수행 중에 있으며, 실험실 규모의 컬럼 실험을 통해 지하수에서 미세플라스틱 이동 메커니즘을 조사하는 연구들이 수행되고 있다. 이러한 연구들은 많은 개수의 분석 시료를 동반하며, 환경 중 미세플라스틱 정량분석을 위해서 고가의 분석기기(라만분광기, 푸리에 변환 적외선(FTIR) 분광기, 열분해 가스크로마토그래피 질량분석기)를 사용하여 플라스틱의 종류를 판별하고 개수를 측정하고 있다. 또한, 컬럼 실험을 수행한 대부분의 선행 연구에서는 미세플라스틱 정량분석을 위해 탁도 분석, 분광광도계를 이용한 흡광도 분석, 현미경을 이용한 계수 방법 등을 이용하여 고가의 분석기기를 사용하지 않고 연구를 수행하였다. 하지만, 이러한 방법들은 유체 속 다른 물질이 포함되어있을 경우에 민감하고 농도를 비율 혹은 개수로 표현하기 때문에 질량 측면에서 미세플라스틱의 농도를 과소·과대 평가할 수 있다. 특히, 현미경을 이용한 계수 방법의 경우에는 분석에 많은 시간이 소요된다는 단점이 있다. 위에 언급한 다양한 분석법들의 단점들을 보완하기 위하여, 본 연구에서는 대수층 내 미세플라스틱 이동 특성을 규명하기 위한 실내 실험에 사용될 수 있는 형광이미지 기반의 미세플라스틱 정량분석법을 개발하였다. Nile Red 형광염료를 이용하여 미세플라스틱을 염색하고 사진을 촬영하여 미세플라스틱 시료의 질량과 미세플라스틱 형광이미지의 형광강도 간 상관관계를 분석하였다. 또한, Nile Red로 염색된 미세플라스틱 입자의 수중 노출 테스트를 진행하여, 실내 대수층 모의실험 시 미세플라스틱 질량을 정량화할 수 있는 적용 가능성을 평가하였다. 상관 분석 결과, 미세플라스틱 질량과 이미지의 형광강도는 높은 상관관계를 보였으며, 수중 노출 실험 전과 후의 미세플라스틱 입자의 형광강도 차이는 미미한 것으로 나타났다. 이러한 연구결과를 통해 본 연구에서 개발된 미세플라스틱 정량분석 방법이 포화 다공성 매체로 구성된 컬럼실험 시 유출수의 미세플라스틱 질량 추정에 유용하게 사용될 것으로 생각되며, 대수층 내 미세플라스틱의 이동 특성 규명 연구에 많은 도움이 될 것으로 기대된다.

• Journal of the Korean Data and Information Science Society
• /
• v.20 no.6
• /
• pp.1015-1027
• /
• 2009

Many problems of confounding and identifiability for polynomial models in an experimental design can be solved using methods of algebraic geometry. The theory of $Gr\ddot{o}bner$ basis is used to characterize the design. In addition, a fractional factorial design can be uniquely represented by a polynomial indicator function. $Gr\ddot{o}bner$ bases and indicator functions are powerful computational tools to deal with ideals of fractions based on each different theoretical aspects. The problem posed here is to give how to move from one representation to the other. For a given fractional factorial design, the indicator function can be computed from the generating equations in the $Gr\ddot{o}bner$ basis. The theory is tested using some fractional factorial designs aided by a modern computational algebra package CoCoA.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.10-10
• /
• 1993

본 연구에서는 다품종(multiple products) 다단계(multi-stage) 흐름 생산시스템에서의 제품별 로트 투입순서결정무제를 다루었다. 다단계 흐름 생산시스템의 투입순서 결정문제에 대한 기존연구는 각 단계의 기계대수가 1대인 경우에 관한 것이 대부분이지만, 본 연구에서는 각 단계의 기계대수가 복수이고 각 제품의 생산량이 로트로 주어지며, 또한 각 단계마다의 이송이 로트로 이루어지는 것이 아니라 1단위로 이루어지는 생산시스템을 대상으로 하였다. 그리고 각 제품의 생산준비기간은 투입순서와 관계 없이 일정하며 앞 단계에서 제품이 도착하지 않더라도 생산준비는 먼저 수행될 수 있다고 가정하였다. 제품별 로트 투입순서 결정문제에서 사용된 성능평가기준(performance measure)은 총작업소요시간(makespan)이며 순열투입순서(permutation schedule)만을 대상으로 하였다. 결정기법으로는 투입순서 결정문제에서 효율적인 것으로 알려져 있는 분지한계법(Branch & Bound)이 사용되었으며 분지한계법에서 이용되는 부분투입순서(partial sequence)에 대한 하한값(lower bound)을 제시하였다. 제시된 기법을 사용하면 현실적인 크기의 제품별 로트 투입순서 결정문제를 적당한 시간내에 충분히 해결할 수 있을 것으로 보인다. 제시된 해법으로 해결된 수치예제가 주어져 있다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.2
• /
• pp.11-17
• /
• 1975

The paper examined the character structure as a basic study for the recognition of Korean characters. In view of concave structure, line structure and node relationship of character graph, the algebraic structure of the basic Korean characters is are analized. Also, the degree of complexities in their character structure is discussed and classififed. Futhermore, by describing the fact that some equivalence relations are existed between the 10 vowels of rotational transformation group by Affine transformation of one element into another, it could be pointed out that the geometrical properting in addition to the topological properties are very important for the recognition of Korean characters.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.214-216
• /
• 2005

데이터 웨어하우스에서는 데이터를 다양한 관점으로 분석하기 위해 데이터를 다차원 형태로 유지한다. 이 다차원 데이터를 간단하고 편리한 형태로 사용자에게 표현하기 위해 피벗 테이블이 이용된다. 피벗 테이블은 데이터에 대한 요약된 정보를 제공하는데 널리 사용되는 편리한 표현 방법이지만, 실제 값이 열의 제목으로 나오기 때문에 많은 개수의 열을 가질 수 있다. 이러한 피벗 테이블을 그대로 저장할 경우 관계 DBMS의 테이블 컬럼 수에 제약을 받게 되며, 데이터 저장 및 질의 처리에 성능이 떨어질 수 있다. 이 논문은 관계 데이터베이스의 테이블을 이용하여 피벗 테이블을 효율적으로 저장하는 방법을 제안한다. 이때, 피벗 테이블에 대한 질의물 저장된 형태의 테이블에 적용 가능하도록 질의를 변환시켜야 한다. 따라서 이 연구에서는 피벗 테이블에 대한 관계 연산자들(실렉션, 프로젝션, 합집합, 차집합 카디션 곱)을 효율적으로 변환하는 질의 변환 방범을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.50-61
• /
• 2000

Recently the stereo vision based on conics has received much attention by many authors. Conics have many features such as their matrix expression, efficient correspondence checking, abundance of conical shapes in real world. Extensions to higher algebraic curves met with limited success. Although irreducible algebraic curves are rather rare in the real world, lines and conics are abundant whose products provide good examples of higher algebraic curves. We consider plane algebraic curves of an arbitrary degree $n{\geq}2$ with a fully calibrated stereo system. We present closed form solutions to both correspondence and reconstruction problems. Let $f_1,\;f_2,\;{\pi}$ be image curves and plane and $VC_P(g)$ the cone with generator (plane) curve g and vertex P. Then the relation $VC_{O1}(f_1)\;=\;VC_{O1}(VC_{O2}(f_2)\;∩\;{\pi})$ gives polynomial equations in the coefficient $d_1,\;d_2,\;d_3$ of the plane ${\pi}$. After some manipulations, we get an extremely simple polynomial equation in a single variable whose unique real positive root plays the key role. It is then followed by evaluating $O(n^2)$ polynomials of a single variable at the root. It is in contrast to the past works which usually involve a simultaneous system of multivariate polynomial equations. We checked our algorithm using synthetic as well as real world images.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.139-142
• /
• 2002

제어 시스템에서 제어기를 설계하는 방법에는 기존 PID 설계 기법인 Ziegler-Nichols와 Jung, R. C. Dorf 방법들이 있다. 본 논문은 Shunji Manabe의 계수도법(CDM Coefficient Diagram Method)을 이용하여 Ball-Beam 시스템을 제어하기 위한 PID 제어기를 설계한다. PID 제어기의 각 파라메터인 P, I, D 계수는 시스템의 속도와 안정성에 기인하는 표준 안정도 지수$(\gamma)$와 등가시정수$(\tau)$ 로부터 얻 어진다. 등가시정수$(\tau)$와 안정도 지수$(\gamma)$는 제어기 파라메터의 대수적 형태와 절대적인 관계가 있다. 그러므로 설계된 제어기로부터 빠른 상승시간과 안정된 정상상태 응답을 얻을 수 있다. Ball-Beam 시스템에 CDM 제어기를 적용한 결과 시스템의 안정도, 정확성 그리고 강인성에 있어서 퍼지 제어기나 PID 제어기에 비해 뛰어난 응답 특성을 확인하였다