• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.3
• /
• pp.175-183
• /
• 1994

간섭무늬기술을 효과적으로 사용하기 위하여, 간섭무늬 데이터를 빠르고 정확하게 간단히 줄여나가는 것이 필수적이다. 그러나, 심한 잡음이 존재할 때 현재 사용하는 방법을 적용하면 위상풀이에 오차가 생기거나, 무늬치수선정에 문제가 생겨, 근본적으로 대화식 수정작업이 필요하다. 결국 이러한 수동식 작업은 좀더 나은 완전한 자동해석을 위해 전문가시스템으로 대체할 수 있을 것이라 기대하여 왔다. 이 논문에서는 빠르고 기준 지식으로 조작할 수 있으며, 또한 유연성이 있는 새로운 통합 전문가시스템을 제시하였다. 이러한 조건을 만족 시키기 위해 고속 알고리즘에 적합한 C언어를 이용하여 전문가시스템의 쉘을 구성하였다. 이렇게 개발한 시스템이 간섭무늬해석의 전체 진행과정을 수행하게 하였다. 즉, 언어변환 해석을 하지 않고도 기준지식의 확보, 간섭 및 설명을 할 수 있으며 영상판독, 영상수정, 영상분할 및 형상추출 등을 수행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.978-979
• /
• 2015

스마트 러닝을 위한 다양한 시도가 있으나, 프로그래밍과 같이 예제나 흐름에 관한 설명이 중요한 경우, 학습자의 학습결과로 주어진 문제 풀이가 올바른 답이라 할지라도 앞 뒤 맥락에 따른 이해를 하고 있는 가는 학습태도를 관찰함으로써 보다 긍정적인 학습효과를 얻을 수 있다. 본 연구는, 학습자의 학습결과와 학습태도를 관찰하여 이를 학습자 개인성향과 보다 나은 학습 활동에 지침이 되도록 하는 것을 목표로 한다. 학습태도는 학습콘텐츠 제공자에 의해서 주어진 학습패턴과 학습자의 학습패턴을 시선 추적을 통해서 측정하고, 두 패턴 사이의 차이를 비교하여 태도의 집중도와 일관성을 관찰하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.290-292
• /
• 2011

본 논문에서는 얼굴 요소의 자연적 특징과 PCA(Principal Component Analysis)를 융합한 얼굴인식 알고리즘을 소개한다. 지금까지 PCA 를 비롯한 다양한 얼굴인식 알고리즘이 소개되었지만, 얼굴영상을 하나의 '신호'혹은 '벡터'로 간주하여 이를 수학적 접근법으로 풀이하는 방법이 대부분이었다. 이에 본 논문에서는 템플릿 정합 기법을 이용하여 눈썹, 눈, 턱 등을 형태에 따라 분류하는 특징 분류기를 통하여 그룹을 나누고, 각 그룹별로 PCA 분류를 진행하는 2 단계 알고리즘을 구현하였다. 이를 CMU-PIE 데이터베이스를 이용해 검증하고, 실험 결과를 논의하였다.

• Journal for History of Mathematics
• /
• v.36 no.1
• /
• pp.1-17
• /
• 2023

Paper folding is a versatile tool that can be used not only as a mathematical model for analyzing the geometric properties of plane and spatial figures but also as a visual method for finding the real roots of polynomial equations. The historical evolution of origami's geometric and algebraic techniques has led to the discovery of definitions and properties that can enhance one's cognitive understanding of mathematical concepts and generate mathematical interest and motivation on an emotional level. This paper aims to examine the history of origami geometry, the utilization of origami for solving polynomial equations, and the process of determining the real roots of quadratic, cubic, and quartic equations through origami techniques.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.2
• /
• pp.40.2-40.2
• /
• 2019

허블 텐션이란 허블우주망원경으로 관측한 허블상수 값과 플랑크 위성으로 측정한 허블상수 값이 일치하지 않는 문제를 일컬으며 현재 우주론에서 주목 받는 이슈 중 하나이다. 밀도가 작은 지역에선 약한 중력으로 공간의 팽창이 빠르고, 반대로 밀도가 큰 지역에서는 팽창이 느리다. 만약, 우리 근처에서 상대적으로 낮은 밀도 때문에 팽창 속도의 차이가 생긴다면 허블 텐션의 원인을 쉽게 설명할 수 있다. 이 문제를 구체적으로 다루기 위해, 우리는 우주 상수를 고려한 아인슈타인 중력의 구형 우주론 풀이인 Lambda-Lemaître-Tolman (ΛLT) 모형을 사용하였다. 우리로부터 먼 현상은 기존의 ΛCDM(Λ cold dark matter) 모형으로, 가까운 현상은 국소적인 LT 모형으로 기술함으로써 허블 텐션 문제를 해결하고자 하였다. 또한, 마코프 체인 몬테 칼로 (MCMC) 방법을 적용하여 천문 관측 결과를 잘 맞추는 ΛLT 모형의 변수들을 탐색하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.487-488
• /
• 2023

본 논문에서는 RLHF 기반의 오픈소스 LLM인 llama-2-13b model을 FinQA task에 적용하여 그 성능을 확인해 보았다. 이때, CoT, few-shot과 같은 다양한 prompting 기법들을 적용해보며 어떤 방법이 가장 효과적인지 비교했다. 그 결과, 한 번(total)에 task를 수행한 경우 few-shot 예시를 2개 사용했을 때보다 3개 사용했을 때, subtask로 나누어 수행한 경우 prompt로 답(simple)만 제시했을 때보다 CoT 형식으로 주었을 때, 각각 24.85%의 정확도로 가장 높은 성능을 보였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.185-186
• /
• 2024

본 논문에서는 CNN 알고리즘을 사용한 수학 문제 답지 추론 모델에 대한 소개를 다룬다. 현재의 학습 보조 서비스 중에서도 질문에 답하는 서비스들이 흔하지만, 수학 문제에 특화된 이미지 기반 답지 추론 서비스는 부족한 상황이다. 본 논문에서는 MathDataset 클래스를 활용하여 수학 문제 이미지와 정답을 연결하는 데이터셋을 생성하고, CNN 알고리즘을 사용하여 모델을 훈련하는 방법을 제시한다.

• The KIPS Transactions:PartB
• /
• v.9B no.4
• /
• pp.445-452
• /
• 2002

In Korean-English mixed documents, translated technical words are usually used with the attached full words or original words enclosed with parenthesis. In this paper, a collective method is presented to recognize and extract the translation phrases with using a base translation dictionary. In order to process the unregistered title words and translation words in the dictionary, a phonetic similarity matching method, a translation partial matching method, and a compound word matching method are newly proposed. The experiment result of each method was measured in F-measure(the alpha is set to 0.4) ; exact matching of dictionary terms as a baseline method showed 23.8%, the hybrid method of translation partial matching and phonetic similarity matching 75.9%, and the compound word matching method including the hybrid method 77.3%, which is 3.25 times better than the baseline method.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.12
• /
• pp.620-631
• /
• 2001

In interactive environments including computer games and virtual reality applications, we have increased need for interactive control of articulated body motions. Recently, physically based methods including constrained dynamics techniques are introduced to this area, in order to produce more realistic animation sequences. However, they are hard to achieve real-time control of articulated bodies, due to their heavy computations. In this paper, we present a procedural method for interactive animation of articulated bodies. In our method, each object of the constrained body is first moved according to their physical properties and external forces, without considering any constraints. Then, the locations of objects are adjusted to satisfy given constraints. Through adapting this two-stage approach, we have avoided the solving of large linear systems of equations, to finally achieve the interactive animation of articulated bodies. We also present a few example sequences of animations, which are interactively generated on PC platforms. This method can be easily applied to character animations in virtual environments.

• Journal of Educational Research in Mathematics
• /
• v.26 no.4
• /
• pp.683-700
• /
• 2016

The traditional teaching-learning in mathematics, which pursue only one correct answer, should be reexamined to cope with an age of uncertainty. In this research, Perry's epistemological development scheme was noticed as a theoretical approach to diagnose problems of dualistic mathematics lessons and to search solutions of the problems. And Design-Based Research method was adopted, We developed the epistemological development scheme through considering Perry's theory and related studies, scaffoldings and teaching-learning to enhance students' epistemological positions in mathematics. Based on these discussions we designed teaching experiment about operations with negative numbers, and analyzed its didactic implications.