• 정보처리학회논문지D
• /
• 제17D권5호
• /
• pp.337-346
• /
• 2010

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• 한국컴퓨터정보학회논문지
• /
• 제14권2호
• /
• pp.27-35
• /
• 2009

정수계획법은 조합 최적화 문제의 최적해를 매우 효과적으로 탐색할 수 있는 기법인 반면에 대상 문제가 선형적으로 표현되어야만 적용이 가능하다는 단점이 있다. 본 논문에서는 정수계획 법의 뛰어난 탐색 능력과 이웃해 탐색 기법의 유연성을 결합함으로써 비선형 최적화 문제를 효과적으로 해결하는 방안을 제시하고 있다. 먼저 1단계에서는 주어진 문제로부터 선형적으로 표현 가능한 부문제만을 대상으로 정수계획 법을 적용한다. 2단계에서는 전체 문제를 대상으로 이웃해 탐색 기법을 적용하되 1단계의 결과를 초기해로 설정한 후 탐색을 수행한다. 비선형 최대 커버링 문제를 대상으로 한 실험 결과, 이와 같은 간단한 결합만으로도 이웃해 탐색 기법만을 적용했을 때보다 훨씬 좋은 해를 도출할 수 있음을 확인하였다. 이는 기본적으로 정수계획법의 탁월한 성능에 기인한 것으로 판단된다.

• 시멘트
• /
• 통권46호
• /
• pp.25-38
• /
• 1972

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.685-688
• /
• 2004

본 연구에서는 저수지군 연계운영을 위한 표본 추계학적 선형 계획(SSLP, Sampling Stochastic Linear Programming) 모형을 제안한다. 일반적 추계학적 모형은 과거 자료로부터 확률변수의 확률분포를 추정하고 이를 몇 개 구간으로 나누어 이산 확률 값을 산정하여 기댓값이 최대가 되는 운영방안을 도출하지만 저수지 유입량 예측시 고려되어야할 지속성 효과(Persistemcy Effect)와 유역간 또는 시점별 공분산 효과(The joint spatial and temporal correlations)를 반영하는데 많은 한계가 있다. 이를 극복하기 위하여 과거자료 자체를 유입량 시나리오로 적용하여 시${\cdot}$공간적 상관관계를 유지하는 표본 추계학적(Sampling Stochastic)기법을 바탕으로 Simple Recourse Model로 구성한 추계학적 선형 계획 모형을 제시한다. 이 모형은 미국 기상청(NWS)에서 발생 가능한 유입량의 시나리오를 예측하는 방법인 앙상블 유량 예측(ESP, Ensemble Streamflow Prediction)을 통한 시나리오를 적용함으로써 좀더 신뢰성 있는 저수지군 연계운영 계획을 도출 할 수 있을 것으로 기대된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2019년도 학술발표회
• /
• pp.402-402
• /
• 2019

최근 기후변화에 따른 용수사용량의 계절별 변화가 나타나고 있다. 따라서, 효율적인 용수 관리에 대한 관심은 배수지 및 송수 시스템의 운영을 넘어 정수장의 운영에서도 그 변화가 나타나고 있다. 수질관리 측면에 다소 집중되었던 정수장 운영의 중요도는 수량을 함께 관리하는 방향으로 변화할 것으로 전망되며, 따라서 취수 단계에서부터 용수 공급의 전 과정을 고려하는 지능형 정수장 관리시스템이 주목받고 있다. 상수도 공급을 위한 정수장의 운영은 크게 원수의 취수 및 도수, 정수처리, 정수된 용수의 저장, 배수 및 급수의 과정으로 구분할 수 있다. 이때, 원수의 취수와 도수, 정수처리 과정에는 상대적으로 긴 시간이 소요되므로, 정수장의 운영 관리자는 이러한 지연시간을 감안해서 배수지의 상태를 예측하여 취수계획을 결정해야 한다. 한편, 정수장 시설을 운영하기 위해서는 전력이 소모되며, 산업전력 단가는 시간대별 변동폭이 큰 것으로 알려져 있다. 따라서, 정수장의 효율적인 운영을 위해서는 용수의 수요예측과 배수지 수위변동, 취수 및 정수설비의 규모 등을 고려하는 동시에, 전력 단가가 낮은 시간대에 설비를 집중적으로 운영할 수 있는 계획을 수립해야 한다. 본 연구에서는 선형계획법(Linear Programming, LP)을 이용하여, 수요예측을 바탕으로 장기취수계획을 수립하기 위한 방안을 세 가지로 구분하였으며, 각각의 장단점을 다음과 같이 예상하였다. 1) 24시간 간격으로 시간당 취수계획을 수립하는 최적화 방안, 2) 24시간의 시간당 취수계획을 1시간 간격으로 수립하는 실시간 최적화 방안, 3) 전체 모의기간 동안의 시간당 취수계획을 한번에 수립하는 최적화 방안. 24시간 간격 최적화는 수립 및 적용이 간단한 반면, 실시간 수요변화를 고려할 수 없어 단위시간(24시간) 후반부의 최적화 효율이 떨어지는 단점이 있다. 1시간 간격의 실시간 최적화는 수요변화를 가장 정확히 반영하는 반면, 최적화 수행 횟수가 증가하는 단점이 있다. 전체 모의기간 최적화는 장기 수요예측을 고려한 탄력적 취수계획을 수립하는 반면, 수요예측의 불확실성에 따른 오차 발생위험이 크다. 본 연구에서는 국내 H 정수장을 대상으로 각각의 최적 취수계획 수립 방안을 정수장 운영의 안정성, 탄력성, 경제성 등을 기준으로 비교, 분석하였다.

• 한국국방경영분석학회지
• /
• 제11권2호
• /
• pp.23-39
• /
• 1985

이 논문은 소형개인용전산기를 이용하여 많은 변수를 가진 선형계획법을 풀려고 할때 사용될 수 있는 몇가지 기법을 소개한다. 이 논문에서는 이런 목적에 알맞는 단체법 계산기법, 파일의 종류, 그리고 주기억장치의 배분을 다루고 있다. 그리고 여러가지 형태의 문제에 대해 이들 결과의 타당성을 소형전산기로 실험하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2006년도 추계학술대회 논문집
• /
• pp.259-260
• /
• 2006

• 경영과학
• /
• 제6권2호
• /
• pp.97-104
• /
• 1989

본 논문에서는 선형계획법에 비제약 변수가 포함될 경우 발생되는 제반 이론을 정리하고, 이를 이용하여 원문제를 소거법이나 치환법을 사용하지 않고 해를 구하는 변형된 수정단체법을 제시하려고 한다.

• 한국산림과학회지
• /
• 제88권2호
• /
• pp.273-281
• /
• 1999

이 연구에서는 춘천국유림관리소 관할인 가리산 일대의 산림을 대상으로 다목적 산림경영을 추구하기 위하여 최적수확계획의 수립에 선형계획법을 적용하였다. 지리적 특성에 따라 연구대상지역을 4개의 경영단위 또는 유역으로 구분하였으며, 비감소수확, 현존 임분의 갱신시기, % 수확면적, 토사유출량, 목재생산량, 탄소저장량을 조절하기 위한 제약조건을 포함하였으며, 계획기간말의 임상구조 및 임분 갱신을 위한 수종선택 조건을 경영단위별로 적용하였다. 선형계획문제의 수식화에는 모델 I과 모델 II를 적용하였으며, 수식모형과 경영대안에 따라 최적해들을 비교검토하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2010년도 학술발표회
• /
• pp.297-301
• /
• 2010

본 연구에서는 비선형계획법을 이용하여 해공간의 비선형성을 적절히 제어하고, 예측유입량의 불확실성을 고려하면서 하나의 최적 의사결정을 내릴 수 있는 다목적댐 최적 연계운영 모형을 개발하였다. 모형의 적용성을 검증하기 위하여 금강유역에 모형을 적용하고 2020~2021년 이수기에 대해 가상으로 운영하여 보았으며, 적용결과 의사결정평균모형에 비해 향상된 결과를 도출하는 것을 확인하였다.