• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.310-315
• /
• 2018

본 논문에서는 한국어 수학 문장제 문제 자동 풀이를 위한 방법을 소개한다. 수학 문장제 문제란 수학적 관계가 언어와 숫자로 주어질 때, 문제에서 요구하는 정보를 도출하는 수학 문제로, 언어 의미 분석과 수학적 관계 추출이 요구된다. 본 논문에서는 이원 일차 연립 방정식을 포함한 514 문제의 영어 데이터셋을 번역해 한국어 문제를 확보하였다. 또한 한국어의 수학적 관계 표현과 언어 유형적 특성을 고려한 자질 추출을 제안하고, 템플릿 기반 Log-linear 모델이 정답 방정식을 분류하도록 학습하였다. 5겹 교차 검증을 실시한 결과, 영어 문제를 풀이한 선행 연구의 정답률 79.7% 대비 1%p 낮은 78.6%의 정답률을 보였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.33-36
• /
• 2006

OR 기법이 현실에 성공적으로 적용된 분야 중 하나가 차량 경로 문제 풀이며 이 분야에 대한 연구는 꾸준히 진행되어 오고 있다. 시간대 제약이 있는 차량 수 배송 문제는 기존의 차량 배송 문제에서 더욱 진보된 형태의 문제이다. 많은 연구가 있어왔지만, 이러한 형태의 문제들은 NP-hard 형태의 문제이므로 meta-heuristic 기법들이 많이 사용되었다. 유전자 알고리즘에 비해 타부 서치 기법이 많이 사용되었는데, 이는 시간대 제약이 있는 차량 수 배송 문제의 경우 유전자 알고리즘의 근간인 염색체 형태로 표현하기가 쉽지 않기 때문이다. 이에 본 논문에서는 시간대 제약이 있는 차량 수 배송 문제를 다수의 차량을 사용하는 Grouping Genetic Algorithms을 적용하여 이러한 어려움을 해결하였다. 또한, 기존의 유전자 알고리즘들은 초기 해 집단을 임의 선택 방식으로 구성하였지만, 초기 해 집단 구성을 heuristic 기법을 사용하여 적합도 함수 값이 좋은 해들로 구성하여 기존에 사용된 알고리즘들과 성능을 비교 분석하고자 한다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.1-25
• /
• 2001

초${\cdot}$중등학교 수학교육에 있어서 문제해결에 대한 관심은 전세계적으로 점점 높아지고 있다. 우리 나라 에서는 문제해결 교육을 제 4차 교육과정 개정부터 시작하여 제 7차 교육과정에서도 아주 중요시 하고있다. 이렇게 교육과정의 변화에도 불구하고 수학 교육헌장에서 교사들의 문제해결에 대하여 갖는 인식도나 실천적 의지는 매우 부족하다. 이런 관점에서 첫째는 문제해결력에 관한 제 7차교육과정의 교과서를 분석함으로써 문제해결 지도에 사용되고 있는 문제의 유형을 분석하였다. 둘째는 교사들의 설문지를 통하여 수학 교육에서 문제해결을 위한 교사의 신념을 조사하여 교육 현장에서 문제해결력의 문제점을 분석하여 앞으로의 개선책을 알아본다.

• Journal of KSNVE
• /
• v.8 no.1
• /
• pp.3-72
• /
• 1998

자동차에서 발생되는 여러가지 문제점들중에서 가장 고객들에게 민감하게 영향을 미치고 중요한 문제가 차량의 정숙성이다.이러한 정숙성을 대변하는 지표중의 하나가 차량에서 발생하는 진동소음의 수준이다. 차량의 지노ㄷㅇ소음은 이러한 정숙성의 문제뿐아니라 승용차를 개발하는 기술력의 종합적인 평가지표로서도 매우 중요한 분야이다. 따라서 이러한 진동소음 문제를 해결하기 위해서 각 자동차의 기술연구소에서는 많은 노력과 시간을 투자하여 이 분야의 기술력 향상에 매진하고 있는 실정이다. 최근에는 보다 적극적인 진동소음 문제 해결 방법으로서 과거에 사용하던 소극적인 문제 해결 방법으로서 과거에 사용하던 소극적이고 방어적인 방법,- 즉 진동소음 발생 현상을 발견하여 그현상을 치유하는 방법에서 벗어나 진동소음 문제를 일으키는 진동소음원(source)을 찾아 직접 그 원인을 차단 및 치유하는 적극적이고 공격적인 방법을 이용하고있다. 본 글에서는 이러한 진동소음 문제를 차량의 개발 단계에서 해결하기 위한 일련의 과정 및 여러가지 개선기법에 대해서 살펴보고 그를 통한 진동소음 문제 해결방법을 제시하고자 한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2006.06a
• /
• pp.270-276
• /
• 2006

문제은행 시스템은 학습 평가를 위한 문제를 DB로 구성한 다음, 추후에 인터넷으로 검색하여 재 사용하게 하는 시스템이므로 교사 업무의 효율성 및 비용이 절감되며, 사용자에게 제공할 문제 정보들을 체계적으로 관리, 저장, 검색할 수 있는 환경을 제공한다. 하지만 기존에 구축되어 있는 문제 은행 시스템들의 데이터들은 컴퓨터가 그 의미를 처리할 수 없기 때문에 동의어, 유의어들에 대한 정확한 검색이 어렵고, 단순한 키워드 검색으로 인하여 학생들과 교사들은 수많은 불필요한 검색 결과 속에서 원하는 정보를 다시 재 검색해야 하는 시간 낭비를 초래하고 있다. 이러한 문제를 극복하기 위해 본 논문에서는 시맨틱 웹 기반 기술인 OWL을 사용해서 문제은행 시스템의 온톨로지를 구성하고 개념 정의, 구조 및 관계를 명시한다. 그리고 온톨로지 기반위에 OWL 개체를 생성하고, SWRL에 정의된 규칙과 함께 추론 통해 시맨틱 검색을 가능하도록 하였다. 그 결과 데이터의 관계 및 의미 분석을 통한 향상된 검색 결과와 학습자와 교사가 다양하게 문제를 공유하고 재 사용함으로써 협업적 학습에 대한 효과를 기대할 수 있다.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.2
• /
• pp.1-18
• /
• 1989

콘태이너 선박은 출발항과 종착항의 두항구 사이를 잇는 지정된 항로를 오가면서 항로의 중도에 있는 각 항구에 기항하여 화물을 상.하역하는 형태로 각 항구 사이의 화물운송을 수행한다. 이때 이윤을 최대화 하기 위해서 선박을 어느 항구에 기항하고, 또 기항하는 항구에서는 얼마만큼의 화물을 항.하역할 것인지를 적절하게 결정해야 한다. 이러한 콘테이너 선박 운항경로 문제를 모형화 하고, 0-1 혼합정수 계획법을 이용한 수리모형을 제시한 후, 최소비용 흐름문제와 분지한계 기법을 이용한 최적해법을 제시하였다. 본 논문에서는 제시한 해법에서는 먼저, 기항하기로 한 항구의 집합에 따라 부분문제를 정의한다. 또한 분해된 부분문제에서 추가로 기항할 항구들에 대한 운항구간의 적제 한계와 운항비용을 완화시킨 문제를 정의하고, 그것을 다시 최소비용흐름문제를 이용하여 풀어서 상한값ㄹ 구한다. 이와 같은 방법으로 각 부분문제의 하한값과 하한값을 계신히여, 그것을 이용하여 분지를 절단하고, 또한 상한값이 높은 부분문제를 우선적으로 선택하여 분지합으로써 최적해를 구한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2002.06a
• /
• pp.29-35
• /
• 2002

한국 IT아웃소싱서비스 산업이 안고있는 문제의 근원은 아웃소싱서비스 산업구조에서 그 원인을 찾을 수 있다. 이러한 산업구조의 문제가 서비스의 질적인 문제, 방법론의 정교화 문제, 계약의 문제 나아가서는 한국 소프트웨어 산업의 경쟁력 약화에 관한 모든 문제를 잉태하고 있다. 한국 IT아웃소싱 산업구조의 특이성을 무시한 IT아웃소싱의 문제나 문제의 증후군을 대상으로 한 연구나 정책적 해결책을 제시하는 것은 대증적 치료방법에 불과하며 한국 아웃소싱 산업의 경쟁력 확보 전략에 미미한 공헌을 할뿐이다. 우리가 미국이나 여타 국가의 아웃소싱 사례를 한국의 상황에 투영하여 이를 치유의 방안으로 제시하는 어리석음을 벗어나야 하는 이유가 여기에 있는 것이다. 본 논문의 목적은 이와 같은 한국 정보기술 아웃소싱 산업의 근원적 문제구조를 제시하고 이것이 의미하는 IT아웃소싱 연구 방향을 제시하는 데 있다.

• Information and Communications Magazine
• /
• v.10 no.5
• /
• pp.53-70
• /
• 1993

위상 복원 문제는 어떤 신호의 푸리에 변환의 크기로부터 푸리에 위상, 또는 그 신호 자체를 구하는 문제로서 신호처리, 천문학, X-선 결정학, 전자현미경학, 광학, synthetic aperture radar 등과 같은 많은 물리학의 분야에서 일어난다. 일반적으로, 이 위상 복원 문제는 유일한 해를 갖지 않기 때문에, 이 문제를 풀기 위하여 사전 정보로 주어지는 원하는 신호의 성질을 제한조건으로 주어 이 문제가 유일한 해를 갖도록 한 뒤 이 원하는 신호를 구하는 방법을 사용해왔다. 이 논문에서는 위상 복원 문제를 소개하고, 이 문제의 중요성, 기본 이론 등을 알아보고, 지금까지 제안이 되었던 방법들을 분야별로 묶어 신호처리의 관점에서 소개한다. 먼저 수학적인 기초에 대하여 소개하고, 푸리에 변환의 크기를 보존하는 변환들에 대하여 알아본 뒤, 위상 복원 문제를 풀기 위하여 제안이 되었던 방법들을 1)하나의 푸리에 변환의 크기가 주어졌을 때의 위상 복원, 2)더해지는 기준 신호가 있을 때의 위상 복원, 3)곱해지는 신호(윈도우)를 이용한 위상 복원으로 나누어 소개한다.

• Communications of Mathematical Education
• /
• v.18 no.1 s.18
• /
• pp.19-25
• /
• 2004

초등학교에서 고학년으로 갈수록 수학에 대한 흥미가 떨어지고 수학을 기피하는 학생들을 많이 볼 수 있다. 그러한 아동들의 대부분은 수학에 대한 어려움을 많이 호소하고 있는데 특히 비정형화된 문제들을 대할 때엔 그 현상은 더욱 심각하다. 초등학교 수학 교과서의 마지막 단원은 '문제 푸는 방법 찾기' 단원인데, 이 단원에 제시된 문제들은 대체로 비정형화된 문제들이다. 정형화된 문제에 익숙한 아동들은 이러한 비정형 문제들을 해결하는 데에 상당히 어려움을 나타내곤 한다. 본교에서는 이러한 아동들의 어려움을 해결할 수 있는 방안으로 협력학습을 택하였다. 또래들과의 상호작용 속에서 비정형화된 문제에 보다 친숙하게 접근하고 해결해 나가는 과정을 반복하다 보면 수학에 대한 흥미를 되찾게 되고, 문제 해결력과 수학적 사고력이 향상될 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.277-280
• /
• 2007

통신 시스템에 대한 관심은 인터넷의 급격한 발전에 의해 가상공간의 출현과 유비쿼터스 컴퓨팅 환경 구축에 대한 요구가 증대됨에 따라 관련 이론 및 기술의 발전을 주도해 왔다. 이와 관련한 문제들 중에 가장 근간이 되는 문제들 중 하나는 최적 통신 걸침 나무 (OCST: Optimal Communication Spanning Tree) 문제이다. 본 논문에서는 이러한 최적 통신 걸침 나무 문제를 해결하기 위해 유전 알고리즘 (GA)를 이용한다. 유전 알고리즘을 이용함에 있어서 중요한 단계중 하나는 유전자표현을 어떻게 문제에 적합하게 설계하느냐이다. 본 논문에서는 걸침나무를 표현하기 위해 기존의 $Pr\ddot{u}fer$수 기반의 유전자 표현법을 개선하여 n개의 노드에 대해 n-2개의 숫자열로 표현가능하면서도 보다 더 최적 통신 걸침 문제에 적합하도록 고안한 새로운 유전자 표현법을 이용한다. 임의로 생성된 예제에 대한 수치 실험을 통해 통신시스템의 기본 문제 중 하나인 최적 통신 걸침 문제의 해법으로서의 제안 알고리즘의 유용성과 효율성을 확인한다.