• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.1-3
• /
• 2001

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.358-360
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.25-27
• /
• 2001

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

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.151-157
• /
• 1999

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

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.630-631
• /
• 2011

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

• 농업기술회보
• /
• v.43 no.3 s.504
• /
• pp.9-13
• /
• 2006

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.1
• /
• pp.41-67
• /
• 1999

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

• Computational Structural Engineering
• /
• v.2 no.4
• /
• pp.99-109
• /
• 1989

Through a series of analyses of specific structures it is shown that incremental collapse may be the critical design criterion and that shakedown analysis can be used as a design tool. Using shakedown analysis technique, a nonlinear structural optimization program has been developed. This incorporates: (i) design constraints on elastic stresses and deflections: (ii) constraints for the prevention of incremental collapse and soft story failure: and (iii) the constraint on the fundamental period of structure. A five-step design procedure is proposed by using the program to obtain the optimum design that satisfies all the requirements of comprehensive earthquake-resistant design.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.274-276
• /
• 2005

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

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.5
• /
• pp.632-639
• /
• 2018

Recently, a policy has been enforced to supply Plug-in Electric Vehicles (PEVs) but this may require reinforcement of the power system depending on its clustering because PEVs are charged directly from power systems. On the other hand, as the reinforcement of power system is limited by time and budget, it is important to supply the charging demand of PEVs efficiently using the existing power systems to increase the diffusion of PEVs. This paper establishes a charging schedule for Plug-in Electric Vehicles (PEVs) considering the power system constraints. For this, the required amount and time of the charging demand for an individual PEV was modeled to integrate into power systems based on the driving pattern and charging tariff of PEV. Furthermore, the charging schedule of PEVs was established to meet the power system constraints by calculating the operating conditions of the power systems with PEVs.