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

현대의 Deep-Submicron Technology(DSM)에선 배선에 관련된 문제, 예를 들어 crosstalk이나 노이즈 등이 큰 문제가 된다. 그리하여, 배선은 논리 구성요소들보다 더욱 중요한 위치를 차지하게 되었다. 우리는 이러한 배선을 고려하여 연산식을 최적화하기 위해 carry-save-adder(CSA)를 이용한 모듈 함성 알고리즘을 제시한다. 즉, 상위 단계에서 생성 된 규칙적인 배선 토폴로지를 유지하며 CSA간의 배선을 좀더 향상시키는 최적의 알고리즘을 제안한다. 우리는 우리의 이러한 방법으로 생성된 지연시간이 [1]에 가깝거나 거의 근접하는 것을 많은 testcase에서 보이며(배선을 포함하지 않은 상태에서), 그리고 그와 동시에 최종 배선의 길이가 짧고 규칙적인 구조를 갖는것을 보인다.

• Proceedings of the IEEK Conference
• /
• 2000.11c
• /
• pp.73-76
• /
• 2000

본 논문은 표준완성형코드를 표준으로 허프만 부호를 생성하기 위해 부호화 효율이 가장 높은 곳에서 예외 부호화를 통해 최적의 허프만 부호를 얻는다. 현재 우리나라의 DTV는 한글문자를 압축하지 않고 전송하는 형태이며, 본격적인 데이터 방송이 시작되면 한글 데이터가 차지하는 전송량으로 인한 심각한 문제가 야기된다. 본 논문에서는 데이터 방송에서 문제가 되는 전송량을 줄이기 위해 한글 전용 최적의 허프만 부호를 생성하여 일련의 해결책을 찾고자 하며 영문 위주인 데이터 압축기술을 한글에 맞게 적용하여 DTV 방송용 한글 전용 압축부호를 만드는데 있다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2001.11a
• /
• pp.83-84
• /
• 2001

액적화학은 SO4$^{-2}$ 생성에 중요한 역할을 할 뿐만 아니라 OH와 HO$_2$ 라디칼 생성에도 영향을 미친다. 따라서 기존 기상 광화학반응에 액적화학을 추가하여 산성비 모사를 하여왔다. 그러나 액적화학을 추가하기 위해서는 기액간의 물질전달을 포함하여야 하고 액적화학반응속도와 기상화학반응속도가 크게 다름으로써 수치적 풀이의 어려움이 가중되는 문제가 있다. 따라서 기존 연구에서는 기액간의 평형 및 시간 분리 등의 가정을 사용하여 액적화학 반응 추가에 따른 문제를 해결하여 왔다. 본 논문은 이러한 수치단순화의 정확도를 평가하려 한다. (중략)

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.224-224
• /
• 2004

제품 개발 초기 단계에서 제품의 개념을 신속하게 구체화하여 제품의 기능, 구성, 부품 간 관계, 치수 및 간단한 형상들을 정의한 후, 검증(해석 및 실험)을 통해 가장 최적화된 설계 결과를 얻는다. 그러나 이 과정에서 일반적으로 설계 정보를 바탕으로 해석을 수행하기 위한 모델을 새롭게 생성해야 하는 문제가 있다. 또한 설계 변경이 발생하는 경우에는 도면을 다시 작성하고 해석 모델이 재생성 및 부품 생성을 위하여 데이터 입력을 다시 해야 한다. 이러한 문제는 선박의 초기 설계 및 해석 분야에서도 발견할 수 있다.(중략)

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.306-309
• /
• 1996

본 논문에서는 유전자 알고리즘을 이용하여 퍼지 제어기를 위한 최적 소속함수와 제어 규칙들을 자동으로 생성하는 방법을 제안한다. 제안한 방법은 효과적인 염색체 암호화 방법을 이용하여 소속함수의 표현 해상도가 증가하여도 소속함수의 언어항의 개수를 일정하게 유지하여 제어 규칙을 표현하는 염색체의 길이가 크게 늘어나지 않도록 한다. 또, 소속함수의 언어항의 개수가 서로 다른 염색체에 대해서도 개선된 교배 및 돌연변이 연산자를 이용하여 효과적으로 유전자 연산을 적용할 수 있게 한다. 본 논문에서는 제안된 방법을 퍼지 제어기의 자동 생성 방법의 평가 문제로 널리 이용되는 트럭 후진 주차 문제에 적용하여 성능을 평가한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.10a
• /
• pp.567-574
• /
• 2002

새로운 자유격자 관사를 이용한 점별 계산법을 제안한다 이동 최소 자승법을 이용한 기저의 생성과 기저의 근사적 미분을 동시에 구해내는 자유격자 근사를 유도하여, 직접 점별 계산법을 고안하였다. 기존의 자유 격자 법에서는 기저의 직접 미분을 사용하므로 높은 계산 비용이 필요하지만, 이 논문에서 제안된 방법은 기저의 생성과 동시에 기저의 근사적 미분을 구하게 된다. 또한 기존의 방법에서 필요하였던, 창 함수(window function)의 미분가능성을 연속성으로 대치할 수 있으므로, 주어진 문제에 따라 다양한 창 함수를 이용할 수 있다. 기저의 재생성과 interpolation의 수렴성을 소개하고, 수치 예제로서, Poisson 문제를 통해 이 방법의 유효함을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.499-501
• /
• 2004

본 논문에서 제안하는 웹 기반 멀티미디어 공동 작업 환경에서의 오류 문제를 위한 동시성 제어란 모든 시스템에 분산 시계를 설정하고 명령어에 분산 시계에서 받은 생성 시간(issuing time)을 실어 순서화 분산된 다른 시스템에게 명령어의 발생과 발생 시간을 알린다 발생된 명령어는 자신의 명령어를 먼저 실행하고, 다른 곳에서 도착한 명령어의 시간 값이 다를 경우에만 뷰를 재 생성한다. 이를 통해 비록 네트워크를 통한 동시성 제어 부담을 간접적으로 제거하고 사용자에서의 반응성을 증진시켰다. 즉, 오류 발생 시에 오류도 하나의 명령어로 취급하고 명령어와 오류가 동시에 발생할 시에 명령어를 순서화해 주는 문제에 대한 시스템을 기술한다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.312-313
• /
• 2007

본 논문은 자율주행로봇의 경로계획문제를 효율적으로 해결하기 위한 방법을 제안한다. 제안된 방법은 초기경로 생성과정과 초기경로를 개선하는 두 단계의 과정으로 구성된다. 효율적인 경로를 생성하기 위해서 최적화 문제를 해결하는 방법으로 잘 알려진 Dijkstra 알고리즘과 동적계획법(Dynamic Plogramming)을 적용한다. 그리고 제안된 방법의 효율성은 기존에 사용되는 경로계획 방법들과의 비교 시뮬레이션을 통해서 확인한다.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.5
• /
• pp.39-47
• /
• 2010

Constraint satisfaction optimization problem is a kind of optimization problem involving cost minimization as well as complex constraints. Local search and constraint programming respectively have been used for solving such problems. In this paper, I propose a method to integrate local search and constraint programming to improve search performance. Basically, local search is used to solve the given problem. However, it is very difficult to find a feasible neighbor satisfying all the constraints when we use only local search. Therefore, I introduced constraint programming as a tool for neighbor generation. Through the experimental results using weighted N-Queens problems, I confirmed that the proposed method can significantly improve search performance.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.05a
• /
• pp.362-365
• /
• 2021

이 논문에서는 자연어로 구성된 수학 문장제 문제를 자동으로 풀이하기 위한 Transformer 기반의 생성 모델인 KoEPT를 제안한다. 수학 문장제 문제는 일상 상황을 수학적 형식으로 표현한 자연어 문제로, 문장제 문제 풀이 기술은 실생활에 응용 가능성이 많아 국내외에서 다양하게 연구된 바 있다. 한국어의 경우 지금까지의 연구는 문제를 유형으로 분류하여 풀이하는 기법들이 주로 시도되었으나, 이러한 기법은 다양한 수식을 포괄하여 분류 난도가 높은 데이터셋에 적용하기 어렵다는 한계가 있다. 본 논문은 이를 해결하기 위해 우선 현존하는 한국어 수학 문장제 문제 데이터셋인 CC, IL, ALG514의 분류 난도를 측정한 후 5겹 교차 검증 기법을 사용하여 KoEPT의 성능을 평가하였다. 평가에 사용된 한국어 데이터셋들에 대하여, KoEPT는 CC에서는 기존 최고 성능과 대등한 99.1%, IL과 ALG514에서 각각 89.3%, 80.5%로 새로운 최고 성능을 얻었다. 뿐만 아니라 평가 결과 KoEPT는 분류 난도가 높은 데이터셋에 대해 상대적으로 개선된 성능을 보였다.