• 지질공학
• /
• 제28권3호
• /
• pp.367-377
• /
• 2018

이 연구는 전기비저항 역산의 해상도를 높이기 위한 구조제약과 부등식 제약조건을 적용한 전기비저항역산법을 소개하고 적용한 결과를 보여준다. 이들 역산에서는 지하투과레이다와 표면파 탐사자료로부터 사전 해석된 층서구조를 전기비저항 참조모델로 도입하고 구조제약과 부등식 제약의 유용성을 합성모델을 이용한 역산실험으로 확인하였다. 연약지반 조건을 가정한 실험모델에 대한 구조제약과 부등식 제약 역산실험 모두 일반적인 전기비저항 역산보다 향상된 역산결과를 보여주었으나, 부등식제약 역산에서는 참조모델이 다소 부정확한 경우에도 배경층서구조를 정확히 재구성하는 동시에 천부(약 10 m 심도)의 전도성 이상체들도 정확히 나타내는 역산결과를 보여주었다.

• Journal of the Korean Data and Information Science Society
• /
• 제6권2호
• /
• pp.17-27
• /
• 1995

제약 조건 만족의 관점에서 불확실한 지식을 표현하고 처리하는 방법을 제안하였다. 등식이나 부등식은 만족되어야 할 제약 조건들이며, 제약 조건들은 수리 논리식으로 표현될 수 있는데 이들은 주어진 수리 논리식들의 집합에 대한 만족성을 계산하는 제약 조건 해결 프로그램에 의해 답을 얻을 수 있다. 불확실성을 포함한 규칙 기반 시스템들은 확률론의 초보적인 내용을 응용하여 표현되는데, 이 경우 제약 조건 해결 프로그램으로 효율적인 결과를 얻을 수 있다.

• 전자공학회논문지
• /
• 제50권3호
• /
• pp.155-159
• /
• 2013

본 연구에서는 정적 출력 되먹임 제어기를 구하기 위한 비선형 행렬 부등식 조건과 비선형 최적화 문제를 제안한다. 제안된 최적화 문제는 선형 행렬부등식 제약 조건과 비선형 목적함수를 가지며, 구조적인 제약이 있는 제어기 설계에도 적용할 수 있음을 보인다. 비선형 목적함수를 선형화시키고, 선형화된 최적화 문제를 반복적으로 푸는 방법으로 제안된 비선형 최적화 문제를 풀어 정적 출력 되먹임 제어기를 구할 수 있다. 제안된 방법을 실제 문제에 적용하여 그 유효성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.339-341
• /
• 1999

본 논문에서는 연상 메모리 기능을 수행하는 셀룰라 신경망(Cellular Neural Netowork)의 설계를 위한 새로운 방법론을 제안한다. 먼저, 셀룰라 신경망 모델의 기본적 특성들을 소개한 후, 최적 성능을 가지고 이진 원형 패턴들을 저장할 수 있는 셀룰라 신경망 모델의 설계 방법을 제약 조건이 가해진 최적화 문제로 공식화한다. 다음으로 이 문제의 제약 조건을 선형 행렬 부등식(Linear Matrix Inequalities)을 포함하는 부등식의 형태로 변환시킬 수 있음을 관찰한다. 마지막으로 셀룰라 신경망 최적 설계 문제를 내부점 방법(interior point method)에 의해 효율적으로 풀릴 수 있는 일반화된 교유값 문제(Generalized Eigen Value Problem)로 변환하고 설계 예제를 통해 제안된 방법의 유효성을 검증한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1995년도 추계학술대회발표논문집; 서울대학교, 서울; 30 Sep. 1995
• /
• pp.358-358
• /
• 1995

• 한국정밀공학회지
• /
• 제14권9호
• /
• pp.116-123
• /
• 1997

We have already presented the constraint satisfaction algorithm which could solve the closed loop porblem in constraint network by using local constraint propagation, variable elimination and constraint modularization. With this algorithm, we have implemented a knowledge-based system (intelligent CAD) for supporting machine design interactively. In this paper, we present newer constraint satisfaction algorithm which can solve inequalities or under-constrained problems in constraint network, interactively and effi- ciently. This algorithm is a hybrid type of using both declarative description (constraint representation) and optimization algorithm (Simulated Annealing), simultaneously. The under-constrained problems are represented by constraint networks and satisfied completely with this algorithm. The usefulness of our algorithm will be illustrated by the application to a gear design.

• 대한교통학회지
• /
• 제18권1호
• /
• pp.61-73
• /
• 2000

이 논문은 변동부등식을 제약조건으로 하는 연속형 변수의 가로망 설계 문제를 풀기 위한 해석 알고리즘을 제시하는 것을 목적으로 한다. 가로망 설계 문제는 문제의 특성상 비선형의 목적함수와 비선형. 비볼록한 제약식으로 인해 다수의 국지해를 갖으며, 이러한 여러 국지해 중 가장 최적의 해를 구하는 것에 관심이 모아지고 있다. 전역 최적해를 찾을 수 있는 기존의 방법들은 확률적 최적화 방법에 속하는데 이 논문에서는 유전자 알고리즘의 접근법을 사용하여 2개의 다른 예제 가로망에서 5개의 서로 다른 해석 알고리즘에 대한 비교를 행하였으며. 그 해석결과를 기술하였다. 이 논문에서 사용된 정책결정자의 설계 변수는 가로망상 링크의 용량 변수이며, 연속형 변수의 어떤 설계 변수에도 적절한 변환과정을 거쳐 사용이 가능하다.

• 대한수학회논문집
• /
• 제18권4호
• /
• pp.587-602
• /
• 2003

본 논문에서는 벡터값을 가지는 함수로 이루어진 벡터 변분 부등식들의 해집합사이의 관계, 미분 불가능한 볼록함수로 이루어진 벡터 볼록 최적화 문제의 해집합들과 볼록함수의 아래미분으로 표현된 벡터 변분부등식의 해집합들과의 관계, 제약집합이 볼록 함수로 구체적으로 주어질 때의 벡터 변분부등식의 해가 될 필요 충분조건, 섭동된 강 단조 벡터 변분부등식의 안정성 결과와 섭동된 벡터 강 볼록 최적화문제에의 적용에 대한 최근 연구 결과를 정리한다.

• 전산구조공학
• /
• 제11권1호
• /
• pp.161-170
• /
• 1998

길이가 긴 원통형 실린더를 구성하는 데에 사용될 조인트 부재에 대한 공차설계를 수행하였다. 즉, 원통형 실린더를 체결할 때 사용되는 조인트 부품 가운데 스터드 볼트를 최소 민감도해석에 의해 공차설계를 하였다. 조인트 부재의 공차설계를 위한 최소 민감도 해석에 의한 정식화는 목적함수가 폰 마이세스 응력의 공차에 대한 민감도이고, 여러 부등호 제약식 중에서 자중이 부등호 제안식에 포함된다. 조인트 부재의 경우 자중에 대한 타당한 부등호 제안식을 설정하기 위하여 우선 확정적인 경우에 대한 최적설계를 수행하여 그 범위값을 선정하였다. 원통형 부재의 구조 응답은 축대칭 유한요소로서 구조해석을 수행하여 제안식을 설정하였으며, 직접미분에 의해서 설계 민감도를 구하여 ,최적화 알고리즘과 결합하여 최적의 공차를 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권5호
• /
• pp.463-472
• /
• 2000

본 논문에서는 연상 메모리 기능을 수행하는 셀룰라 신경망(Cellular Neural Network)의 설계를 위한 새로운 방법론을 제안한다. 먼저, 셀룰라 신경망 모델의 기본적 특성들을 소개한 후, 최적 성능을 가지고 이진 원형 패턴들을 저장할 수 있는 셀룰라 신경망 모델의 설계 방법을 제약 조건이 가해진 최적화 문제로 공식화한다. 다음으로 이 문제의 제약 조건을 선형 행렬 부등식(Linear Matrix Inequalities)을 포함하는 부등식의 형태로 변환시킬 수 있음을 관찰한다. 마지막으로 셀룰라 신경망 최적 설계 문제를 내부점 방법(interior point method)에 의해 효율적으로 풀릴 수 있는 일반화된 고유값 문제(Genaralized EigenValue Problem)로 변환한다. 본 논문에서 제시하는 셀룰라 신경망 설계 방법론은 공간 변형 형판 셀룰라 신경망과 공간 불변 형판 셀룰라 신경망 설계에 모두 적용될 수 있다. 설계 예제를 통해 제안된 방법의 유효성을 검증한다.