• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
• /
• pp.1-3
• /
• 2001

컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 접안 위치와 접안 시기 및 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간가지 지정하는 전 과정을 포함한다. 이 문제는 여러 선박들 사이의 시간적 공간적 제약관계를 준수하고 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 선호 위치와 희망 입출항 시간을 최대한 준수해야 하는 최적화 문제이기도 하다. 기존의 연구에서는 제약만족탐색기법을 사용하여 초기계획을 수립한 후 최적의 해를 유도해 내기 위해 휴리스틱 교정기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하였다. 본 논문에서는 반복적 개선 탐색 도중에 도출되는 해의 정보를 이용하여 새로운 제약조건을 추가함으로써 다음 제약만족 탐색 시 보다 쉽게 더 충은 해를 찾을 수 있도록 하였으며 이 방법을 기존의 휴리스틱 교정기법과 결합하여 휴리스틱 교정기법의 성능을 향상시켰다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.358-360
• /
• 2004

웹 어플리케이션은 생명 주기가 짧고, 마르고 정확한 개발이 요구되므로 모델링 단계에서의 요소 분류 및 요소간의 제약조건을 정의할 필요가 있다. 이에 본 연구에서는 각 프레임과 페이지를 그 성격에 따라 집합 프레임과 구조 프레임, 내용 페이지와 구조 정보 페이지로 분류, 이를 바탕으로 요소간의 관계를 정의하였다. 웹 응용 모델링의 요소 분류를 통해 그에 따른 제약 조건을 서술할 수 있는데, 이를 통해 사소한 예측할 수 있는 오류를 피할 수 있고, 웹 응용의 기본적인 테스트 케이스로도 사용할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.25-27
• /
• 2001

컴퓨터와 통신 기술의 급소간 발전으로 이동 매체를 통한 정보 서비스 요구가 급증하고 있다. 이 중에서 이동 매체를 통한 전자 지도 서비스는 전송 정보의 용량이 크고 출력 장치의 resource를 많이 요구하기 때문에 이를 극복하기 위한 연구가 필요하다. 이 논문에서는 무선 지도 서비스 환경의 bandwidth 제약 조건과 resource 제약 조건을 새로이 정의하고 이를 해결하는 동적 약도 생성 기법을 소개한다. 본 논문은 resource 제약 조건을 해결하기 위해 지도 정확성의 기준을 완화하여 재 정의한 generalization 기법을 도입하며, bandwidth 제약 조건을 해결하기 위해 설정된 threshold 값을 만족하는 filtering 기법을 제안 및 설계 구현한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.151-157
• /
• 1999

선석계획 및 크레인 일정계획은 컨테이너 터미널에서 입항하는 선박들의 빈번한 변동상황에 능동적으로 대처하고 유연하면서도 신속한 의사결정이 가능하도록 여러 명의 전문가가 장기적인 계획을 바탕으로 지속적으로 수정 보완해 나가는 방법으로 이루어지고 있다. 본 논문에서는 선사 및 컨테이너 터미널에서 수시로 변경되는 다양한 요구조건을 수용하는 최적의 선석 및 크레인 일정계획 수립을 위하여 제약만족기법과 휴리스틱 교정(Heuristic Repair)기법을 이용하였다. 선석계획 및 크레인 일정 계획문제는 기본적으로 제약조건 만족문제로 정형화할 수 있지만 선박의 접안위치를 결정하는 문제는 목적함수를 가지는 최적화문제이다. 따라서 이 문제는 제약조건 만족문제와 최적화문제가 혼합된 문제(CSOP, Constraint Satisfaction and Optimization Problem)로 볼 수 있다. 이러한 문제를 해결하기 위해서 각 선박의 최적 전압위치를 찾고 최우선 순위 선박의 최적 접안위치로부터 주어진 모든 제약조건을 만족하는 해를 찾는 탐색기법을 활용했고 휴리스틱 교정기법을 사용해서 제약만족기법에서 찾은 해를 교정했다. 우선순위가 가장 높은 선박부터 탐색을 하기 위해 Variable Ordering 기법을 사용했고 그 선박의 최적 접안위치부터 탐색을 해 나가는 Value Ordering 기법을 사용하였다. 실제 부산 신선대 컨테이너 터미널의 선석계획자료를 사용해서 실험을 하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.630-631
• /
• 2011

현재 우리나라 전력시장에서 시장가격(SMP) 결정시에는 전력계통 운영 및 발전기 자기제약에 기인한 Must Run 등의 제약요소들을 고려하지 않고 실제 전력계통 운영시에만 반영하고 있다. 그러나 전력을 안정적으로 공급하기 위해서는 다양한 제약조건을 충족시켜야 하므로 시장가격은 원칙적으로 이러한 기술적인 제약을 충족시키는 조건에서 결정되어야 한다. 따라서 각종 제약요소 처리 관련 효율적인 전력의 생산 및 소비, 신규투자 등에 대한 시장신호를 제공하기 위해 필요한 개선방향 검토, 시장에 미치는 영향을 분석하고 가능한 개선대안을 모색하여 보았다. 현실적으로 가능한 전력계통 예비력 확보 조건, 발전기 자기제약의 반영 등은 단기적으로 시행하되, 계통제약을 반영한 지역별가격제는 송전이용요금의 개선과 병행하여 점진적으로 개선하는 것이 바람직할 것이다.

• 농업기술회보
• /
• 제43권3호통권504호
• /
• pp.9-13
• /
• 2006

• 한국독어학회지:독어학
• /
• 제1집
• /
• pp.41-67
• /
• 1999

이 연구에서는 전통 문법에서의 독일어 '장 구조(Felderstruktur)'와 생성문법에서의 '보문소 구조(CP-Struktur)'의 통합을 모색하였으며, 전장(Vorfeld)과 중장(Mittelfeld)에서 나타나는 문장 성분들의 장 점령 제약 조건들을 살펴보았다. 특히 연구의 중심 영역인 중장의 경우 '테마-레마 제약', '한정성 제약', '주어-행위자 제약' 등이 중요한 장 점령 제약 조건임을 확인하였다. 또한 이 경우, '격점검 구상(Kasus-Checking Ansatz)'에서 해결할 수 없는 몇 가지 문제를 '담화 기능 구상(Diskursfunktionaler Ansatz)'을 통해 설명할 수 있었다 따라서 이 연구에서는 독일어 장 점령 조건들이 순수 통사적 제약을 넘어선 담화$\cdot$화용적 차원으로 상정해야 한다고 주장하였다.

• 전산구조공학
• /
• 제2권4호
• /
• pp.99-109
• /
• 1989

몇 가지의 예를 들어 점진적 붕괴가 내진설계의 중요한 설계기준이 될 수 있다는 것과 이와 관련하여 Shakedown 해석이 한 구조설계 도구로 사용될 수 있다는 사실이 밝혀진다. 이 Shakedown 해석기법을 사용하여 비선형 계획에 의한 최적 구조설계 프로그램이 개발되었는데, 이것은: (i) 탄성응력과 처짐에 대한 제약조건: (ii) 점진적 붕괴와 약충붕괴의 방지를 위한 제약조건: 그리고 (iii) 구조물의 기본주기에 대한 제약조건을 수용하고 있다. 마지막으로 내진설계의 모든 요구조건을 만족시키는 최적설계를 얻기 위하여, 이 개발된 프로그램을 이용한 5-단계 설계방법론이 제시되고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.274-276
• /
• 2005

본 논문에서는 단백질 상호작용 네트워크의 복잡성을 제어하고 생물학자가 자신이 설정한 조건을 만족시키는 환경에서 추가적인 다양한 제약 조건을 가하면서 원하는 상호작용 네트워크를 구성하고 조작할 수 있도록 지원하는 Constraints Based Dynamic Protein Interaction Network 이라는 새로운 개념의 단백질 상호작용 네트워크를 소개한다. 본 기법에서는 기존의 단백질 상호작용 네트워크에서 주로 사용하는 단백질 상호작용 정보뿐 아니라 단백질 상호작용에 영향을 미칠 수 있는 개개 단백질의 물리 화학적 특성 및 위치 정보와 상호작용의 환경 정보도 단백질 상호작용 네트워크 구성에 활용한다. 제안된 네트워크상에서 생물학자는 단백질 상호작용 네트워크 구성 조건을 변경하거나 얻어진 네트워크에 변경을 가하면서 점차 자신이 원하는 의미 일은 대사경로 모델을 찾거나, 제약조건의 다양한 조작을 통하여 생물학적 실험을 통하여 얻어진 대사모델의 유효성을 검증하는 것도 가능하다.

• 한국산학기술학회논문지
• /
• 제19권5호
• /
• pp.632-639
• /
• 2018

최근 플러그인 전기자동차에 대한 적극적인 보급 정책이 추진되고 있으나 플러그인 전기자동차는 전력계통에 직접 연계되어 충전수요를 공급받기 때문에 충전수요의 집중도에 따라서는 전력계통의 설비확충이 요구될 수도 있다. 반면 전력계통의 설비확충은 많은 시간과 투자가 소요되어 현실적으로 제한될 수밖에 없기 때문에 기존의 전력망을 효율적으로 이용하여 플러그인 전기자동차의 충전수요를 안정적으로 공급하는 것은 플러그인 전기자동차의 보급 확대에도 중요한 요소라고 할 수 있다. 따라서 본 논문에서는 주어진 전력계통에서 선로조류와 모선전압과 같은 제약조건을 만족하면서 플러그인 전기자동차의 충전수요를 공급하기 위한 충전계획 수립방안을 제안한다. 이를 위해 자동차의 주행 패턴과 충전 요금제를 기준으로 플러그인 전기자동차 충전수요의 요구량과 충전 시작시간을 전기자동차별로 모델링 한 후 이를 전력계통 모델에 연계하여 조류계산을 계산하여 전력계통의 운전 상태를 모의하였다. 또한 선로의 전력조류와 모선의 전압에 대한 제약 조건의 만족 여부를 확인하며 제약조건에 위반이 발생하는 경우 이를 완화하기 위해 제약조건에 직접 관련된 플러그인 전기자동차의 충전수요를 조정하여 계통제약의 만족여부를 재확인하는 과정을 반복함으로써 주어진 전력계통의 제약조건을 만족할 수 있는 플러그인 전기자동차의 충전계획을 수립하였다.