• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.7-8
• /
• 2019

자료경합은 두 개 이상의 스레드가 같은 공유메모리에 적절한 동기화 없이 접근하고, 적어도 한 개의 접근사건이 쓰기일 때 발생할 수 있는 동시성 오류이다. 자료경합은 프로그래머가 의도하지 않은 비결정적인 수행결과를 초래하여, 항공기 소프트웨어와 같은 고신뢰성이 요구되는 프로그램에서 치명적인 오류를 발생시켜 인적 물적 손해로 이어질 수 있다. 자료경합 탐지기법은 이러한 문제를 사전에 탐지하여 수정하는데 사용되어진다. 하지만 GPGPU 프로그램에서의 자료경합은 CPU 병행프로그램에서보다 복잡한 실행구조를 가지고 있어 스레드 및 메모리 계층, 스케줄링, 동기화 기법 등의 많은 변수가 존재한다. 이로 인해 실세계 프로그램에 자료경합 탐지기법을 적용하여 검증 시 이러한 변수들을 반영하여 실험하는데 많은 노력이 소요된다. 본 논문은 실세계 프로그램에서의 자료경합을 대표하는 4가지 패턴의 합성프로그램으로 이루어지고 실행 시 스레드 및 메모리 계층, 스레드 구조, 메모리 사용량 및 동기화 방안을 지정할 수 있는 벤치마크 모음을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.527-530
• /
• 2024

하이퍼그래프(hypergraph)는 실세계의 여러 객체가 함께 형성하는 복잡한 그룹 관계를 하이퍼엣지(hyperedge)로 정보 손실 없이 모델링할 수 있는 새로운 데이터 구조이다. 하이퍼엣지 예측(hyperedge prediction task)이란 하이퍼그래프로 표현된 실세계 네트워크에서 아직 관찰되지 않은 그룹관계 혹은 미래에 발생할 가능성이 높은 관계를 예측하는 것으로, 단백질 상호작용 분석(PPI), 추천시스템, 소셜 네트워크 분석 등 다양한 응용 분야에서 활용된다. 그러나, 하이퍼엣지 예측은 심각한 데이터 희소성 문제로 정확한 예측이 어렵다는 근본적인 한계를 지닌다. 이러한 한계를 완화하기 위해 다양한 네거티브 샘플링(negative sampling) 기술이 활용될 수 있는데, 아직까지 각 샘플링 기술이 하이퍼엣지 예측 정확도에 미치는 효과에 대해 충분히 연구되지 않았다. 본 논문에서는 하이퍼엣지 예측에 활용되는 다양한 네거티브 샘플링 방법의 효과를 분석한다. 실험 결과를 통해, 네거티브 샘플링 기법과 포지티브와 네거티브 하이퍼엣지 수의 비율에 따른 정확도 변화 양상을 분석한다.

• The Mathematical Education
• /
• v.62 no.3
• /
• pp.381-400
• /
• 2023

As the era of solving various and complex problems in the real world using artificial intelligence and big data appears, problem-solving competencies that can solve realistic problems through a mathematical approach are required. In fact, the 2015 revised mathematics curriculum and the 2022 revised mathematics curriculum emphasize mathematical modeling as an activity and competency to solve real-world problems. However, the real-world problems presented in domestic and international textbooks have a high proportion of artificial problems that rarely occur in real-world. Accordingly, domestic and international countries are paying attention to the reality of mathematical modeling tasks and suggesting the need for authentic tasks that reflect students' daily lives. However, not only did previous studies focus on theoretical proposals for reality, but studies analyzing teachers' perceptions of reality and their competency to reflect reality in the task are insufficient. Accordingly, this study aims to analyze in-service mathematics teachers' perception of reality among the characteristics of tasks for mathematical modeling and the in-service mathematics teachers' competency for designing the mathematical modeling tasks. First of all, five criteria for satisfying the reality were established by analyzing literatures. Afterward, teacher training was conducted under the theme of mathematical modeling. Pre- and post-surveys for 41 in-service mathematics teachers who participated in the teacher training was conducted to confirm changes in perception of reality. The pre- and post- surveys provided a task that did not reflect reality, and in-service mathematics teachers determined whether the task given in surveys reflected reality and selected one reason for the judgment among five criteria for reality. Afterwards, frequency analysis was conducted by coding the results of the survey answered by in-service mathematics teachers in the pre- and post- survey, and frequencies were compared to confirm in-service mathematics teachers' perception changes on reality. In addition, the mathematical modeling tasks designed by in-service teachers were evaluated with the criteria for reality to confirm the teachers' competency for designing mathematical modeling tasks reflecting the reality. As a result, it was shown that in-service mathematics teachers changed from insufficient perception that only considers fragmentary criterion for reality to perceptions that consider all the five criteria of reality. In particular, as a result of analyzing the basis for judgment among in-service mathematics teachers whose judgment on reality was reversed in the pre- and post-survey, changes in the perception of in-service mathematics teachers was confirmed, who did not consider certain criteria as a criterion for reality in the pre-survey, but considered them as a criterion for reality in the post-survey. In addition, as a result of evaluating the tasks designed by in-service mathematics teachers for mathematical modeling, in-service mathematics teachers showed the competency to reflect reality in their tasks. However, among the five criteria for reality, the criterion for "situations that can occur in students' daily lives," "need to solve the task," and "require conclusions in a real-world situation" were relatively less reflected. In addition, it was found that the proportion of teachers with low task development competencies was higher in the teacher group who could not make the right judgment than in the teacher group who could make the right judgment on the reality of the task. Based on the results of these studies, this study provides implications for teacher education to enable mathematics teachers to apply mathematical modeling lesson in their classes.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.342-344
• /
• 1999

신경트리(evolutionary neural trees)는 트리 구조의 신경망 모델로서 진화 알고리즘으로 학습하기에 적합한 구조이다. 본 연구에서는 진화 신경트리를 시계열 예측에 적용하였다. 시계열 데이터는 대개 잡음이 포함되어 있으며 동역학적인 특성을 지닌다. 본 논문에서는 견고한 예측 결과를 획득하기 위해 한 개의 신경트리가 아닌 여러개의 신경트리를 결합하여 예측 모델을 구성하는 committee machine을 소개한다. 출력 패턴가에 correlation이 최소가 되도록 상이한 신경트리를 선택하여 결합함으로써 모델 결합 효과를 최대화하는 방법을 사용하였다. 인공적인 잡음을 포함한 시계열 예측 문제와 실세계 데이터에 대한 실험에서 예측에 대한 정확도가 단일 모델을 사용한 경우 보다 향상되었다.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.201-219
• /
• 2000

학생들이 실세계와 수학적 세계사이를 연관시켜 사고하고 해석하는 방법 및 실제 문제를 해결하는 일반적인 전략의 방법론의 하나가 수학적 모델링(Mathematical modelling)이라고 볼 수 있다. 한편, 수학 교수 ${\cdot}$ 학습 과정에서 구체적인 조작 활동을 통하여 학생 스스로가 지식을 ‘구성(construction)’ 할 수 있도록 해 주어야 한다는 구성주의적 사조가 대두되고 있는데, 본 논문에서는 구성주의적 관점에서 수학적 모델링을 통한 수학 교수 ${\cdot}$ 지도를 위한 활용 방안을 한 예시를 통해서 고찰해 보고자 한다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 2004.11a
• /
• pp.542-550
• /
• 2004

인터넷의 보급과 전자상거래 관련기술의 발달은 기존의 상거래 방식에 많은 변화를 가져왔으며 전자상거래 환경에서도 실세계의 거래방식을 구현하기 위한 시도가 잇따르고 있다. 협상은 기존 상거래에서 정찰제 거래를 제외한 대부분의 거래에서 수행되고 있는 거래방식으로써, 협상의 기능을 전자상거래 환경에서도 구현하고자 하는 연구가 시도되고 있다. 본 연구는 전자상거래 환경에서 자동협상시스템 구현을 위해 구매자와 판매자가 제시할 수 있는 다양한 다속성 협상대안들을 정의하고, 각 사용자의 특성에 따라 최적의 협상안을 생성 및 제시하는 방법을 모색하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.240-243
• /
• 2000

웹 환경에서 모핑 애니메이션들은 전송량의 증가에 따른 과부하를 줄이기 위하여 소스들을 다운 로드 하여 자신의 컴퓨터에서 실행하여 통신 트래픽을 해소하고자 한다. 이때의 애니메이션들은 기하학적 프리미티들을 이용하여 만든 동화상들로 자연스러운 실세계 등의 모습을 표현하기에는 무리가 있다. 본 논문에서는 이러한 문제들을 해결하는 한 방법이면서 보다 다양한 자연의 랜덤한 모습을 보이기 위해 랜덤프랙탈을 사용 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.907-908
• /
• 2009

지리정보 시스템에서의 지도 데이터 생성은 많은 양의 실세계의 데이터를 기반으로 하기 때문에 그 생성 및 변경에 있어서 많은 비용과 시간을 필요로 한다. 본 논문에서는 이러한 문제를 극복하기 위하여 경량의 차량 GPS 트레이스 데이터를 이용하여 높은 정확도의 도로 지도를 생성하는 방법을 제안하였다. 제안 방법론은 Intelligent Transportation System(ITS)의 중요 요소인 지리정보 생성에 있어 효율적이고 경제적인 도로 지도 생성을 가능하게 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.144-146
• /
• 1998

GIS(Geographical Information System)의 네트워크는 실세계의 도로망, 전기망, 상하수도관 등을 표현한다.[4] 우리는 네트워크 분석 기능 중 자원 할당과 입지설정과 관련된 기능들의 Gothic 시스템에서 구현하였다. 자원 할당 문제는 네트워크 상에 자원을 공급하는 공급지와 자원이 이동하는 경로, 그리고 자원의 수요지가 존재할 때, 공급지의 자원 공급 능력과, 자원의 이동 비용, 그리고 자원의 수요량과의 연관관계를 고려하여 자원이 할당되는 지역을 설정해 주는 문제이다. 입지 설정 문제는 자원을 공급하는 서비스 센터의 위치를 결정해 준다. 센터의 위치는 인구로 대표되는 소비자의 분포와 이동 비용에 의해 결정된다. 입지 설정은 어떤 지점의 인구 밀집도를 분석해 주는 포텐셜(potential) 함수[3]와, 소비자들의 이동을 최소화시킬 수 있는 센터의 위치를 설정해 주는 두 기능으로 구성된다. 센터의 위치를 설정해 주는 문제는 높은 계산 량을 요구하므로, 본 시스템에서는 네트워크 클러스터링을 이용하여 연산의 양을 줄이는 Approximation 기법을 사용하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.485-488
• /
• 2007

스트림 데이터를 분류하는 문제는 데이터 스트림 마이닝 분야에서 가장 넓게 연구되고 있는 항목이다. 실세계에서의 데이터 스트림을 분류하는데 있어서 본질적인 문제점들이 있다 : 1)많은 양의 데이터가 불규칙적으로 빠르게 입력되는 것과, 2)유동적 컨셉트로 알려진, 데이터의 분류가 시간에 따라서 유동적으로 변하는 문제이다. 본 논문에서는 위와 같은 문제를 해결하기 위해서 적응적 OLIN시스템을 제안한다. 제안된 시스템은 지역적인 유동적 컨셉트뿐만 아니라 전역적인 유동적 컨셉트 문제까지 고려하여, 기존의 시스템보다 향상된 성능을 보였다.