• Communications of Mathematical Education
• /
• v.19 no.1 s.21
• /
• pp.57-68
• /
• 2005

무한, 극한, 연속, 미분가능과 같은 중요한 수학적 개념을 이해하는 것은 대학수학 교양과정의 미분적분학 수강생들에게 필수적이다. 이들 개념의 이해 수준을 부록1, 2, 3을 통해 알아보고 평가를 분석한다. 평가결과는 이해도가 낮은 학생들을 위한 새로운 교수법이 필요성을 알게 하고 수학적 기본개념의 이해를 증진시키는데 정의의 정확한 이해를 돕고 구체적인 예제를 제시하는 교수법 개발에 수학교수의 노력을 필요로 한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.6
• /
• pp.811-821
• /
• 1999

다중 패러다임 프로그래밍은 어떤 문제의 부분 문제들에 대하여 서로 다른 패러다임을 적용함으로써 단일 패어다임만을 적용하는 경우에 비해 단순하고도 우아한 해결책을 구하는 기법이다. Java언어는 객체지향언어로 설계되었지만 모든 문제에 객체지향적 사고를 적용하기 보다는 문제의 특성에 적합한 다양한 패러다임의 사고를 적절히 활용할 경우 보다 효과적인 프로그램 개발이 가능할 것이다. 본 논문에서는 패턴 매칭 예제를 중심으로 다중 패러다임 언어의 경험에서 얻은 추상화 수단화들을 Java 언어로 표현하기 위한 아이디얻ㄹ을 소개한다. 특히 여러 기능들의 무원칙한 나열보다는 이들의 유기적 결함과 기반 언어인 Java와의 융합을 최대한 고려하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.658-660
• /
• 2002

순환 스케줄분석은 효율성과 경제성을 모두 제고하여야 하는 문제로 분석알고리즘의 구성이 쉽지 않다. 따라서, 서로 다른 요소들을 활용한 알고리즘들과, 새로운 분석알고리즘의 효율성 비교분석이 어렵다. 본 연구에서는 예제 모델을 통한 비교 알고리즘의 처리과정과 결과를 복잡도, 최적도와 노력도를 기준으로 비교 분석 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.34-36
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.11a
• /
• pp.429-434
• /
• 2000

본 연구에서는 등분포하중을 받는 laminated 박판의 거동해석을 제시하였다. 접착한 두 박판의 비선형 지배방정식을 Von Karman 식을 이용하여 유도하고 박판의 거동을 차분법을 이용하여 수치해석 한다. Interlayer에서의 전단변형을 고려하여 지배방정식에 포함시켜 하중 증분법(load incremental method)으로 기하학 비선형 해석을 수행한다. 하중 증분법에 따른 반복법을 도입하여 비선형 방정식을 해석했다. 해석방법의 타당성을 입증하기 위하여 해석결과들을 기존의 문헌의 결과와 비교, 검토함으로써 본 논문에서 제시한 이론 및 해석방법의 타당성을 입증한다. 차분법의 하중 증분법 알고리즘을 개발하여 예제문제에 대한 수치해석 결과들을 논하였다.(중략)

• Proceedings of the KIEE Conference
• /
• 2008.10b
• /
• pp.75-76
• /
• 2008

이산시간 모델로부터 시간응답 설계 명세를 만족시키도록 직접 디지털 제어기를 설계하는 새로운 방법을 제시한다 R-S-T형의 고정된 제어기 구조에서 폐루프 전달함수가 원하는 기준전달함수와 일치하도록 제어기 이득을 구한다. 시간 응답을 만족시키는 목표전달함수는 w-영역에서 CRA를 이용하여 선택되며 이 함수를 z-영역으로 변환시켜 얻는다. 예제를 통해 제시한 방법의 유용성을 보이고 극배치 방식과 비교한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2015.07a
• /
• pp.169-170
• /
• 2015

최근 컨테이너 터미널에서는 환적화물의 증가로 터미널내의 이적작업이 증가함에 따라 효율적인 이적작업 계획을 수립하고자 노력하고 있다. 본 연구는 블록내에서 다수의 야드 크레인이 운영되고 있는 경우에 주어진 시간내에 각 크레인 별 최적 이적작업 계획을 수립하는 문제에 대한 혼합정수법을 이용한 최적 수리모형을 제시하였다. 또한 실제 터미널에서 빠른 시간 안에 이적작업계획을 수립할 수 있는 발견적 기법을 제시하고 다양한 수치예제 실험을 통하여 유용성을 검증하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2001.10a
• /
• pp.143-146
• /
• 2001

본 연구는 생산-운송시스템에서 수요자와 생산시설 및 운송네트워크이 주어질 경우 최소의 비용으로 고객을 지원할 수 있는 시스템의 결정을 위한 GIS(Geographic Information System) 기반의 차량 운송시스템의 연구이다. 주요 결정 변수는 생산공장의 위치, 운송네트워크, 운영할 창고 및 재고유지수준 등이 포함된다. 본 연구에서는 다-품목 생산 및 공급문제를 비 선형문제로 정식화하고 이를 선형문제로 변환하여 정수계획문제(IP)로 해를 구하였다. 이를 위한 전산 프로그램을 개발하고 예제들을 응용하고 그 결과를 보였다.

• Journal of Korean Society of Transportation
• /
• v.15 no.2
• /
• pp.51-66
• /
• 1997

실시간 변화하는 교통상황을 파악하고 교통혼잡을 완화시키려는 각종 교통정책들을 개발하고 평가하기 위하여 동적 통행배정모형에 대한 연구가 지속되고 있으며 상당한 성과 를 이루고 있다. 그러나 이론적인 어려움과 계산량과 과다로 기존의 모형들은 대부분 단순 가로망을 대상으로 적용되어 왔으며 대규모 가로망에 적용하는 데는 상당한 어려움을 겪고 있다. 본 연구의 목적은 실제 가로망에 쉽게 적용할 수 있는 휴리스틱 동적 통행배정모형을 개발하고 이를 해석할 수 있는 알고리즘을 개발하는 데 있다. 개발되는 모형은 변동부등식 (variational inequality)으로 구축되며 알고리즘은 휴리스틱 알고리즘(heuristic disagonalized algorithm)을 개발한다. 예제 가로망을 대상으로 개발된 모형을 평가하며 도출된 해가 Wrdrop의 균형해(equilibrium)임을 보인다.

• IE interfaces
• /
• v.10 no.1
• /
• pp.1-13
• /
• 1997

반도체 Wafer Fabrication 공정은 무수한 공정과 복잡한 Lot의 흐름 등으로 다른 제조 형태에 비해 효율적인 관리가 대단히 어려운 부문이다. 본 연구는 반도체 Fab을 대상으로 주어진 생산 소요량과 목표 공기를 효율적으로 달성하기 위한 Shift 단위의 생산 일정계획을 대상으로 하였다. 특히, 전 공정 및 장비를 고려하기보다는 Bottleneck인 Photo 공정의 Stepper를 중심으로, 공정을 Layer단위로 묶어, 한 Shift에서 어떻게 Stepper를 할당하고 생산계획을 할 것인가를 결정하기 위한 2단계 방법론을 제시하고, Stepper 할당 및 계획에 필요한 3가지 알고리즘들을 제시하였다. 이 기법들을 소규모의 예제들에 대해 적용한 결과와 최적해와의 비교를 통하여 그 성능을 평가하였다.