• 한국공간구조학회논문집
• /
• 제9권3호
• /
• pp.75-82
• /
• 2009

본 연구에서는 선형이론을 바탕으로 한 이산계열 대공간구조물의 크기최적화에 따른 후좌굴 거동의 변화에 대하여 조사하고 그 결과를 기술하였다. 먼저 공간구조물의 최적의 부재크기 패턴을 조사하기 위하여 수학적 프로그래밍 기법을 도입하였다. 이때 최소화 해야하는 공간구조물의 전체 부재의 중량을 목적함수로 이용하고 절점에서 발생하는 변위 값과 각 부재에서 발생하는 응력 값을 허용치 이하로 제한하는 제약조건으로 사용하였다. 크기최적화를 통하여 도출된 최적 부재패턴을 가지는 공간구조물의 후좌굴 거동을 통합 비선형해석기법으로 해석하고 그 결과를 분석하였다. 수치해석을 통하여 크기최적화에 따른 공간구조물의 후좌굴 거동의 변화는 매우 큰 것으로 나타났으며 이러한 후좌굴 거동의 변화에 대한 예측과 분석결과가 공간 구조물의 설계에 고려되어야 할 것으로 판단된다. 또한 본 연구에서 제시한 수치해석 결과는 이산계열 대공간구조물의 설계에 기본 데이터로 제시하였다.

• 전자공학회논문지SC
• /
• 제43권5호
• /
• pp.10-18
• /
• 2006

본 논문에서는 다중 로봇 시스템에서 물체와 로봇 팔끝 간에 접촉 마찰이 존재할 때 이 로봇 시스템의 조작도를 해석하는 새로운 방법을 제안한다. 로봇이 물체를 떨어뜨리지 않고 잡고 있으려면, 로봇이 물체에 가하는 힘 벡터가 friction cone 내부에 존재 해야만 한다. 이러한 friction cone 내부를 나타내는 식은 일반적으로 비선형 형태로 되어 있기 때문에 기존의 조작도 분석 방법에 이 식을 구속 조건으로 적용하기가 쉽지 않다. 따라서 본 논문에서는 이러한 friction cone 내부를 다각뿔로 근사함으로써 선형적인 구속 조건으로 표현하였다. 또한 선행 연구에서 찾지 못했던 부분을 새롭게 찾아내었다. 그리고 다중 로봇 시스템에 조작도를 나타내는 물체 중심의 가속도를 구하기 위해서, 먼저 선형계획법을 통해서 허용 가능한 토크의 영역을 구하였다. 이 토크의 영역을 선형 변환을 통해 최종적으로 물체의 최대 가속도의 영역을 구하였다. 본 방법의 타당성을 입증하기 위해서 두 대로 구성 된 다중 로봇 시스템과 PUMA560 로봇 시스템에 적용하였다.

• 한국공간구조학회:학술대회논문집
• /
• 한국공간구조학회 2008년도 춘계 학술발표회 논문집
• /
• pp.107-112
• /
• 2008

본 연구에서는 이산계열 대공간구조물의 크기최적화에 따른 후 좌굴거동의 변화에 대하여 조사하고 그 결과를 기술하였다. 본 연구에서는 35개의 부재를 가지는 얕은 아치형 2차원 공간트러스 구조물을 이용하여 연구를 수행하였다. 먼저 트러스의 최적의 부재 크기 패턴을 조사하기 위하여 수학적 프로그래밍 기법을 도입하였다. 이때 최소화해야하는 트러스의 전체 부재의 중량을 목적함수로 이용하고 하중이 가해지는 절점에서 발생하는 변위 값과 각 부재에서 발생하는 응력 값을 허용치 이하로 제한하는 제약조건으로 사용하였다. 크기최적화에서 도출된 트러스 구조물의 후좌굴 거동은 통합 비선형해석기법을 이용하여 조사 분석하였다. 본 연구에서 제시한 결과는 이산계열 대공간구조물의 설계에 기본 데이터로 유용하게 사용될 것으로 판단된다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 전자공학회논문지S
• /
• 제36S권10호
• /
• pp.123-131
• /
• 1999

본 논문에서는 에지를 강조하여 동적계획법을 적용한 스테레오 정합 알고리즘을 제안한다. 기존 알고리즘에서는 표면의 평활화 제약조건의 적용, 폐색 영역에서의 정합 화소 부재 등으로 인하여 대체로 불연속 지점에서의 무뎌짐 현상을 보이고 있다. 또한 밝기 변화가 없는 영역에서는 정합 정보 부족으로 인하여 정합 에러를 동반하게 된다. 본 논문에서는 좌${\cdot}$우 영상의 에지 부분은 에지 부분 사이에 정합이 이루어지고, 그 외의 영역에서는 그 외의 영역 사이에 정합이 이루어지게 유도함으로써 기존 알고리즘에서 야기되었던 문제점들을 보완하는 새로운 비용 함수를 정의하였다. 또한 영상에서 에지가 다량으로 발생할 가능성에 대비해 에지 정보사이의 정합은 비용 함수에 경로 거리와 비례하는 가중치를 추가하였다. 제안된 알고리즘을 평행 카메라 모델 뿐만아니라 수렴 카메라 모델로 획득한 다양한 형태의 영상에 적용한 결과, 기존의 알고리즘에 비해 폐색 영역에서의 처리와 정합 에러 측면에서 개선된 성능을 보였고, 특히 불연속 지점에서의 흐려짐 현상이 개선됨을 확인하였다.

• 정보보호학회논문지
• /
• 제27권3호
• /
• pp.427-437
• /
• 2017

불능 차분 특성은 해당 블록 암호를 랜덤 치환과 구별을 해주며, 키 복구 공격에도 사용될 수 있다. 최근 Cui 등이 ARX 기반 블록 암호에 대해 Mixed-Integer Linear Programming(MILP)를 이용해서 자동화된 불능 차분 특성 탐색 방법을 제안하였다. Cui 등이 제안한 방법을 개선하면 기존에 방법에 비해 더 적은 선형 제약식을 이용하여 기존 방식으로 찾지 못하는 불능 차분 특성까지 추가 되어 더 많은 불능 차분 특성을 찾아 낼 수 있다. 수정한 방법을 이용하여 SPECK family와 LEA에 적용하였다. SPECK32, SPECK48, SPECK64, SPECK96에 대해 7-라운드, SPECK128에 대해 8-라운드 불능 차분 특성을 찾아내었다. 이 불능 차분 특성은 모두 새롭게 발견된 것이다. LEA에 대해서는 기존의 10-라운드인 불능 차분 특성을 포함한 새로운 10-라운드 불능 차분 특성을 찾아내었다.

• 한국시뮬레이션학회논문지
• /
• 제21권3호
• /
• pp.79-88
• /
• 2012

최근 방위 산업에는 장비가 군에서 요구한 임무를 완수하기 위해 장비 설계, 운용, 그리고 정비 측면에서 많은 연구가 이루어지고 있다. 그 중 동시조달수리부속은 장비가 군에 납품될 때 함께 들어가는 수리부속으로써, 이것을 분석하는 것은 장비의 운용가용도를 높이는데 가장 중요한 부분 중 하나이다. 그러나 이렇게 중요한 동시조달수리부속이지만 현실적 개발 환경을 고려한 공학적 분석 방법 발전 보다는 정책적인 방법으로 해결해 나가고 있는 실정이다. 그래서 본 연구에서는 동시조달수리부속 최적화를 위해 시뮬레이션과 다중 회귀모형 기법을 활용한 공학적 분석을 연구하였다. 먼저, 시뮬레이션 기법을 이용하여 가상으로 운용해보면서 정의된 보급 및 정비체계를 분석하고 이를 통해 품목별 동시조달수리부속의 수량을 변화에 따른 운용가용도의 변화 추이를 결과 자료로 산출하였다. 이렇게 얻은 입출력 자료를 통해 수리적 다중 회귀모형을 도출 후 선형계획법을 사용하여 동시조달수리부속 최적화를 하였다. 이때 최적화는 단가 제약을 두었다. 이 방법의 가장 큰 장점은 최적화 선정시 기준이 되는 제약조건의 변화에 빠르게 대응할 수 있다. 장비의 개발 단계에서는 품목별 단가는 지속적으로 바뀌기 마련이다. 이런 환경에서 제약조건이 바뀔 때 마다 시뮬레이션 분석을 재 수행하면 분석 속도가 늦어질 수밖에 없다. 그러므로 본 방법은 실제 개발 환경에 적합한 것이라 할 수 있다. 향후 이런 기본 개념을 바탕으로 시뮬레이션 모델링을 정밀화하고, 회귀모형의 정확성을 높여 연구의 완성도를 높일 것이다.

• Industrial Engineering and Management Systems
• /
• 제9권1호
• /
• pp.10-19
• /
• 2010

This paper presents an extended computing procedure for the global optimization of the triple response system (TRS) where the response functions are nonconvex (nonconcave) quadratics and the input factors satisfy a radial region of interest. The TRS arising from response surface modeling can be approximated using a nonlinear mathematical program involving one primary (objective) function and two secondary (constraints) functions. An optimization algorithm named triple response surface algorithm (TRSALG) is proposed to determine the global optimum for the nondegenerate TRS. In TRSALG, the Lagrange multipliers of target (secondary) functions are computed by using the Hooke-Jeeves search method, and the Lagrange multiplier of the radial constraint is located by using the trust region (TR) method at the same time. To ensure global optimality that can be attained by TRSALG, included is the means for detecting the degenerate case. In the field of numerical optimization, as the family of TR approach always exhibits excellent mathematical properties during optimization steps, thus the proposed algorithm can guarantee the global optimal solution where the optimality conditions are satisfied for the nondegenerate TRS. The computing procedure is illustrated in terms of examples found in the quality literature where the comparison results with a gradient-based method are used to calibrate TRSALG.

• 대한전기학회논문지
• /
• 제37권5호
• /
• pp.272-281
• /
• 1988

The problem of optimal transmission system planning is to find the most economical locations and time of transmission line construction under the various constraints such as available rights-of-way, finances, the technical characteristics of power system, and the reliability criterion of power supply, and so on. In this paper the constraint of right-of-way is represented as a finite set of available rights-of-way. And the constructed for a unit period. The electrical constraints are represented in terms of line overload and steady state stability margin. And the reliability criterion is dealt with the suppression of failure cost and with single-contingency analysis. In general, the transmission planning problem requires integer solutions and its objective function is nonlinear. In this paper the objective function is defined as a sum of the present values of construction cost and the minimum operating cost of power system. The latter is represented as a sum of generation cost and failure cost considering the change of yearly load, economic dispatch, and the line contingency. For the calculation of operating cost linear programming is adopted on the base of DC load flow calculation, and for the optimization of main objective function nonlinear Branch-and-Bound algorithm is used. Finally, for improving the efficiency of B & B algorithm a new sensitivity analysis algorithm is proposed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.738-743
• /
• 1991

A multiobjective analysis technique was applied for the optimum operation of pumps and reservoirs in service water transmission systems. Three major objectives were identified and assessed on the normally operating service water transmission systems. They are, 1) stability of pump operation; 2) economic point of view in minimizing the energy cost for pumping; 3) reliability in meeting the stochasticaly varying demands. The measures of these objectives were required times of pump on-offs in stability, required total energy cost in economics, and minimum required storage during the operating horizon in reliability. In order to find the best meeting solution to the decision maker, a set of non-dominated solutions which show the tradeoff relationships between the considering objectives were generated. The DM selects the best solution from this explicit tradeoff relationships using his heuristic decision rules or experience. The theory was verified by applying to the Kumi Service Water System. A combined technique of the ${\varepsilon}-constraint$ and the weighting methods was used to generate the nondominated solutions, and the dynamic programming algorithm was applied to find the optimal solution for the discretized multi-objective analysis problems.