• 융합신호처리학회논문지
• /
• 제2권4호
• /
• pp.77-84
• /
• 2001

신경망을 이용한 선형프로그랭 회로를 홉프필드가 제안한 이후로 이에 관한 많은 논문들이 발표되었으며, 그 중에는 비선형 프로그래밍 문제에 관한 것들도 많다. 그래서 비용함수가 비선형인 경우는 해결이 되었으나 제한조건이 비선형인 경우에는 해결되지 못한 상태이다. 이 논문에서는 제한조건이 비선형인 경우를 포함하는 즉 비용함수와 제한조건 모두 비선형인 경우를 풀 수 있는 일반적인 비선형프로그래밍 신경망을 제안하고자 한다.

• 제어로봇시스템학회논문지
• /
• 제4권5호
• /
• pp.600-607
• /
• 1998

일반적인 비선형 동역학 최적화문제를 비선형 프로그래밍 문제로 변환하는데 제어변수들을 방사성 기본 함수로 근사화하는 방법이 사용되었다. 방사성 기본 함수의 계수들을 연속적으로 보정하기 위하여 최소수정기법에 기초를 둔 비선형 프로그래밍 알고리즘이 연구되었다. 이러한 알고리즘을 실제적인 다변수 제어 시스템에 적용하여 성능을 검증하였다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제8권3호
• /
• pp.25-34
• /
• 2002

최근 프로그래밍이 가능한 그래픽스 프로세서(GPU)의 등장은 렌더링 속도의 향상은 물론 기존의 GPU가 할 수 없었던 다양한 그래픽스 계산을 효과적으로 수행할 수 있도록 해주고 있다. 이로 인하여 기존에 CPU 상에서 수행해야만 했던 그래픽스 계산들의 일부를 GPU 상에서 수행하도록 해주는 기법들에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 선형식에 기반을 둔 여러 응용 문제들을 GPU 상에서 효율적으로 구현할 수 있도록 도와주는 쉐이더 코드 최적화 기법을 제안한다. 이 기법은 SIMD 형태의 병렬 처리 능력을 가진 버텍스 쉐이더의 명령어에 맞게 고안되었다. 본 기법의 활용 가능성을 보이기 위하여 미분 방정식을 풀기 위한 4차 런지-쿠타 방법, 선형방정식을 풀기 위한 가우스-자이델 방법, 자연스러운 유체 모델링을 위한 파동 방정식 등의 문제에 적용하여 보았다. 본 논문에서 제안한 최적화 기법은 버텍스 쉐이더 용 컴파일러 구현에 쓰일 수 있으며, 향후 프로그래밍이 가능한 GPU 상에서의 실시간 그래픽스 소프트웨어 개발에 유용하게 사용될 수 있을 것이다.

• 한국도로학회논문집
• /
• 제14권1호
• /
• pp.1-8
• /
• 2012

도로의 평면 선형은 도로의 안정성과 교통 용량과 관계가 깊다. 도로의 효율적인 유지 관리와 기준에 대한 적합성 평가를 위해서는 도로의 평면 선형을 정확하게 분석하는 방법이 필요하다. 최근 Lidar자료나 GPS를 이용한 도로의 평면 선형 연구가 진행되고 있으나 넓은 지역에서의 평면 선형 곡선 반경을 분석하기에는 여러 가지 문제점을 가지고 있다. 본 연구에서는 수치지형도의 도로중심선을 이용하여 곡선 반경이 도로 구조 시설기준에 적합한지 여부를 평가하는 도구를 GIS 상에서 구현하고자 한다. 또한 $ESRI^{(R)}$ $ArcObject^{TM}$와 프로그래밍 언어인 비주얼 베이직(Visual Basic)을 사용해 도로의 평면선형을 자동적으로 산정할 수 있는 인터페이스를 설계 구현하였다.

• 대한전자공학회논문지SD
• /
• 제40권11호
• /
• pp.62-72
• /
• 2003

본 논문은 배선간의 간격 조정을 통하여 혼신을 최소화하는 방법을 다룬다. 제시된 방법은 선형 프로그래밍을 이용하며, 정확한 혼신 계산을 위해 수평 배선 조각과 수직 배선 조각에서의 혼신을 모두 고려한다. 본 논문에서는 최장 길이 경로 문제를 이용하여 수직 배선 조각간의 결합 길이를 예측하는 방법을 제안한다. 이를 이용하면 실수 변수만으로 선형 프로그래밍 문제를 생성할 수 있으므로 문제 해결 시간이 매우 빠르다. 제시된 방법은 기존의 연구 결과인 wire perturbation 방법에 비해 실행 시간과 혼신 최소화 율에서 보다 나은 성능을 보였다. 혼신 최소화 율의 경우, 제안된 방법은 wire perturbation 방법에 비해 최고 혼신의 경우 평균 11.2% 향상된 결과를 보였고, 전체 혼신의 경우 3% 향상된 결과를 얻었다. 또한 제시된 방법의 수행 시간은 회로 Deutsch의 경우 11초 이내에 해결하는 빠른 속도를 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권8호
• /
• pp.327-336
• /
• 2007

비용 효과가 좋은 디지털 시스템을 설계하기 위하여, 트랜지스터 수준부터 RTL 수준까지 최적화를 위한 다양한 설계 방법이 연구되어 왔다. 가산기는 디지털 시스템에서 가장 기본적인 산술연산을 수행하는 필수 회로로서, 전체 시스템의 성능에 영향을 줄 수 있다. 본 논문에서는 최적의 가산기를 설계하기 위하여 상위수준에서 연구하였다. 결과로 혼합 가산기 구조를 제안하고 이를 정수 선형 프로그래밍(ILP: integer liner programming)을 이용해 수학적으로 모델링한다. 혼합 가산기 구조는 다양한 캐리 전달 방식을 가진 가산기 블록을 선형적으로 연결한 구조로서, 사용된 가산기 블록의 종류와 개수에 따라 다양한 가산기 조합이 발생한다. 이러한 조합에 의해 확장된 가산기의 설계공간을 탐색함으로써, 단일 타입의 가산기만을 고려한 것보다 나은 최적의 가산기를 설계할 수 있다. 제안한 혼합 가산기 구조와 ILP를 이용한 최적화 기법은 연산시간과 회로면적 등의 특성이 다른 가산기 IP(intellectual property)들을 비트 수준에서 재합성하기 때문에, 보다 미세한 수준에서 최적화를 수행할 수 있다.

• 경영정보학연구
• /
• 제5권2호
• /
• pp.203-217
• /
• 2003

제약식 프로그래밍과 최적화 솔버는 공통된 문제를 풀기 위한 해법으로서 서로 다른 영역에서 발전되어왔다. 특히 제약식 확산법과 선형 계획법은 두 영역의 주된 기법으로서 조합 최적화 문제를 푸는데 함께 사용될 수 있는 통합가능한 보완 기법들이다. 지금까지 이를 통합하기 위한 시도는 주로 한 기법을 다른 기법의 모형 틀안에 포함시키는 것이었다. 본 논문은 둘의 통합을 통한 잇점들은 충분히 사용하기 위해서는 모형 역시 통합될 필요가 있음과 그 모형 통합의 틀을 보이고 그 틀 안에서 어떻게 두 기법의 솔버의 수준으로 통합되어 새로운 혼합 솔버를 구축할 수 있는지를 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.33-35
• /
• 1998

선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ$\mu$-논리의 연구가 성행중이며 함수프로그래밍 언어가 발전할 수 있는 계기가 되었다. λ$\mu$-논리에서의 계산은 형추론 연역과정이다. λ$\mu$-논리의 카테고리로의 해석 λ$\mu$＊-논리를 이용하여 분배카테고리를 일차적으로 구성하고 함수의 흐름을 구체적으로 나타내는 준함수로써 회로 카테고리Cir(CLL*)를 설계하였다. 특히 전산처리에서 흔히 사용하는 큐(Queues)로써 선형고전논리 기증을 온전히 발휘할 수 있음을 지적한다.

• 터널과지하공간
• /
• 제28권6호
• /
• pp.651-669
• /
• 2018

본 연구에서는 유전자 프로그래밍과 개체군집최적화기법을 이용하여 픽 커터의 비에너지를 예측하기 위한 모델을 제안하였다. 기계굴착장비의 굴진성능을 평가하는 것은 터널의 설계 초기 단계에서 매우 중요하며, 비에너지를 이용한 기계 굴착장비의 굴진성능평가방법은 모든 기계굴착공법에 적용될 수 있는 표준화된 방법이다. 본 연구에서는 코니컬형상의 픽 커터가 암석을 절삭할 때 요구되는 비에너지와 암석의 강도특성, 절삭조건 간의 상관관계를 분석하고자 하였으며, 선행연구를 통해 총46개의 선형절삭시험 결과를 수집하여 분석에 활용하였다. 본 연구에서 제안한 예측모델을 이용하여 산정된 픽 커터의 비에너지는 다중선형회귀분석에 비해 작은 평균제곱오차를 나타내었으며, 결정계수 또한 본 연구에서 제안한 모델이 다중선형회귀분석에 비해 우수한 예측결과를 나타내는 것을 확인할 수 있었다.

• 한국항공우주학회지
• /
• 제49권1호
• /
• pp.21-30
• /
• 2021

탐색기를 탑재한 유도탄의 중기궤적은 탐색기 시야(FOV : Field-Of-View) 내에서 표적을 탐지하며, 전환 시점에서의 기동성을 최대화하도록 설계하는 것이 요구된다. 유도탄의 비행궤적 최적화 문제는 여러 구속조건이 적용된 비선형 문제로 일반적인 해석해를 도출하기 어렵기 때문에 그 동안 다양한 계산적인 방법들이 제시되어 왔다. 본 논문에서는 추진-활공 유도탄의 중기궤적 최적화 문제를 컨벡스 최적화 기법인 2차 원뿔 프로그래밍을 이용하여 산출하였다. 먼저, 운동방정식의 상태변수를 최소화하기 위해서 제어변수 구속조건이 추가된 제어변수 추가 형태의 운동방정식을 구성하였다. 또한, 자유 종말시간 문제와 추진시간 문제를 대처하기 위하여 정규화된 시간 변수를 독립 변수로 설정하였다. 그리고, 운동방정식과 제어변수 구속조건을 컨벡스 형태로 변환하기 위하여 각각 부분 선형화와 무손실 컨벡스 변환을 적용하였다. 마지막으로, 본 논문에서 제시된 방안의 타당성을 확인하기 위하여 비선형 최적화 프로그래밍 결과와 비교하였다.