• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제55차 동계학술대회논문집 25권1호
• /
• pp.13-14
• /
• 2017

본 논문에서는 강의 시간표 최적화를 위한 제약 프로그래밍의 적용 방안을 제시한다. 제약 프로그래밍은 제약 만족 문제를 해결하기 위한 기법으로 대상 문제를 결정 변수, 도메인, 제약조건으로 표현한다. 본 논문에서는 시간표 작성 최적화 문제의 결정 변수로 강의실, 요일, 교시를 사용하였으며, 추가로 요일과 교시를 결합한 변수를 사용함으로써 보다 쉽게 제약 조건을 표현할 수 있도록 하였다. 또한 제약 프로그래밍에 의해 도출된 초기해를 또 다시 제약 프로그래밍을 통해 반복적으로 개선함으로써 더 좋은 강의 시간표를 작성할 수 있도록 하였다. 특정 학과의 강의 시간표 문제를 대상으로 한 실험 결과, 본 논문에서 제안한 방법을 통해 보다 빠른 시간 내에 초기해를 도출할 수 있을 뿐 아니라 최종적으로 더 좋은 해의 도출이 가능함을 확인하였다.

• 한국철도학회논문집
• /
• 제7권4호
• /
• pp.326-331
• /
• 2004

A routing is the path that an actual trainset follows as it moves from one train to another train in a timetable. The number of routings is equivalent to the number of trainsets required to cover the timetable. The primary factors of rolling stock requirement plan include evaluating the minimum number of routings. This can be formulated as a set partitioning problem and solved using enumeration method or column generation method. In this paper we presents an enumeration algorithm which is useful to implement the enumeration method for the rolling stock requirement plan.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.137-139
• /
• 1993

This paper details methods used to verify the adquacy of a dc traction power supply for design in Seoul matropolitain subway Line-6 system. Examples of the approach are given for a major subway presently under construction. The performance of trains operating at maximum system design capacity is modelled using a train simulation program. Using a dc network analyser program, the maximum train operating timetable, and a model of the ac and dc electrical suppy system, the electrical performance of the entire system can be modelled over a 24-hour period. The results of this analysis are used to determime: train voltage at a level sufficient to ensure train schedules: adequacy of traction transformers, rectifier, and switchgear ratings; sizes of the overhead contact systern conductors, and ac and de feeder cables: and power and energy demands at the utility company's supply points for inital and final timetable operations.

• 한국컴퓨터정보학회논문지
• /
• 제24권4호
• /
• pp.27-34
• /
• 2019

The course timetabling problem is a kind of very complex combinatorial optimization problems, which is known as an NP-complete problem. Sometimes a given course timetabling problem can be accompanied by many constraints. At this time, even if only one constraint is violated, it can be an infeasible timetable. Therefore, it is very difficult to make an automated course timetabling system for a complex real-world course timetabling problem. This paper introduces an automated course timetabling system using constraint programming. The target problem has 26 constraints in total, and they are expressed as 24 constraints and an objective function in constraint programming. Currently, we are making a timetable through this system and applying the result to the actual class. Members' satisfaction is also much higher than manual results. We expect this paper can be a guide for making an automated course timetabling system.

• 한국철도학회논문집
• /
• 제12권2호
• /
• pp.267-275
• /
• 2009

Max-Plus 대수란, 선형 대수(linear algebra)에서의 더하기(addition) 연산과 곱하기(multiplication)연산을 최대값(maximization), 더하기(addition)로 각각 대체한 비선형 시스템을 말한다. Max-Plus 대수는 전통적인 의미의 선형 대수에서 다뤄지는 고유값(eigenvalue), 고유벡터(eigenvector), 안전성(stability) 등의 개념이 Max-Plus 대수에서도 그대로 적용되고, 그것의 의미 또한 실제 시스템의 다양한 해석을 가능케 하고 있어, 최대값 연산과 더하기 연산으로 이루어진 이산 사건 시스템(discrete event system)을 분석할 수 있는 유용한 도구가 된다. 이러한 이산 사건 시스템의 대표적인 예가 바로 환승을 고려한 열차 스케줄이다. 현재 수도권에는 1호선${\sim}$8호선, 인천 1호선, 분당선, 중앙선 등 11개 노선의 도시 철도가 운영되고 있다. 각 노선들은 서울 Metro, 서울도시철도공사, KORAIL 등 서로 다른 운영사에 의해 운영되고 있어서 각 노선의 스케줄 또한 노선간의 환승을 고려하지 않은 채 독립적으로 작성되고 있는 실정이다. 이러한 독립적인 열차 스케줄은 승객들의 긴 환승시간으로 이어진다. 본 연구에서는 Max-flus대수 방법론에 대한 자세한 설명을 기초로 1호선과 2호선, 4호선의 주요 환승역인 사당역과 신도림역, 시청역, 동대문역을 중심으로 Max-Plus 대수 방법론의 적용 가능성을 검토해 보았다.

• 한국철도학회논문집
• /
• 제18권2호
• /
• pp.149-156
• /
• 2015

도시철도 승객의 수입금 정산 배분을 위하여 승객의 경로를 파악할 필요가 있다. 승객의 예상 이동경로를 파악을 위해 다양한 경로탐색기법들이 있지만, 링크기반 k-경로탐색기법이 많이 활용되고 있다. 그러나 기존의 k-경로탐색기법은 통행 및 도보시간, 환승 패널티 등의 변수에 따라 다양한 최적경로가 존재하는 문제점이 있고 특히, 급행열차를 선호하는 승객의 특성, 열차의 특성 등을 반영하지 못하는 한계를 지니고 있다. 본 연구에서는 이를 보완하기위하여 교통카드자료를 기반으로 실제로 이용한 하나의 경로를 탐색하는 방안을 제시하였다. 또한, 각 철도운영기관의 열차스케줄을 연계하여 최적경로를 탐색하는 방안도 제안하였다.

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

현대 산업이 무선인터넷 산업구조, 이동통신 서비스 사업자 중심의 무선인터넷 사업 패러다임으로 변화되어 소형 임베디드(Embedded) 장비를 이용하여 장소의 제약없이 다양한 응용프로그램의 사용과 인터넷의 접속이 가능하게 되었다. 이에 본 논문에서는 플랫폼에 독립적인 자바기술을 이용하여 임베디드장비를 이용하여 지하철 운행시간 검색이란 응용프로그램을 구현하였다.

• 한국철도학회논문집
• /
• 제12권6호
• /
• pp.1018-1023
• /
• 2009

본 연구는 도시철도 시스템에서 동일시간에 동력운전하는 열차수를 최소화하여 전기에너지소모의 최대치를 최소화하고자 한다. 이를 위하여 열차동력운전 분산 열차 시각표 작성에 대한 문제를 정의하였다. 정의된 문제를 혼합정수계획(Mixed Integer Programming)모형으로 정식화하고 문제의 해법으로 상용소프트웨어를 활용한 해법과 휴리스틱 해법 두 가지를 제시하였다. 실제 열차시각표에 적용하여 동시 동력운전 열차수를 25% 감소시켰으며 본 연구결과의 유용성을 확인하였다. 이를 통하여 기존 시각표의 서비스품질을 악화시키지 않는 에너지 효율적 열차시각표를 작성하였다.

• 무역상무연구
• /
• 제31권
• /
• pp.81-106
• /
• 2006

The Terms of Reference are one of the most distictive features of ICC Arbitration. No document of this type is required to be drawn up under the rules of any of the other major international arbitration institutions. The purpose of this paper is to examine their advantages and to introduce main contents provided in Article 18 of ICC Rules of Arbitration, which results in the wide recognition of the Terms of Reference. As the volume of our international commercial transaction ranks almost ten in the world, the frequency using ICC Arbitration is expected to increase continuously. The Terms of Reference provide the parties and the arbitrators with an opportunity to identify and agree on procedural and other matters, such as the applicable law, the language of the arbitration and the timetable for the arbitration. They also afford the parties and the arbitrators to identify the substantive issues that are addressed in the arbitration and to delimit the precise scope of the Arbitract Tribunal's mandate. The contents of the Terms of Reference which are provided in Article 18(1) include the summary of parties claims, the list of issues and procedural rules. For the effects of the Terms of Reference, they are not intended to replace the parties' arbitration agreement. But they may in certain circumstances be regarded as a form of submission agreement. Article 18(2) provides that the Terms of Reference shall be signed by the parties and the Arbitral Tribunal, and requires the Arbitral Tribunal to transmit a signed copy of the Terms of Reference to the Court within two months of the date on which the file was transmitted to it by the Secretariat. The Court enjoys the power to extend the two-month time limit for the Terms of Reference on the reasoned request of the Arbitral Tribunal or on the Court's own initiative. Article 18(3) provides that if any of the parties refuses to take part in the drawing up of the Terms of Reference or to sign the same, they shall be submitted to the Court for approval. Article 18(4) allows the Arbitral Tribunal to extablish in a separate document a provisional timetable. This is a provision that encourages the acceleration of the arbitraction process. The timetable provided for therein is merely "provisional" and may be modified, as necessary, during the course of the arbitration.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 춘계학술대회
• /
• pp.122-124
• /
• 2022

다중 엘리베이터의 트래픽(Traffic)은 엘리베이터 알고리즘의 설계의 가장 핵심적인 과제이다. 국내 대기업 엘리베이터의 DSS 알고리즘 패널과 같이 행선층을 직접 입력하는 시스템에 많은 비용을 투자하면 효율적인 엘리베이터 시스템 설계가 가능하다. 하지만 비용문제가 해결되지 않으면 NC 알고리즘과 같이 비효율적인 시스템을 사용할 수 밖에 없다. 본 연구에서는 시간 비효율 문제를 해결하기 위해 회사 건물이나 학교 건물과 같이 승객 대부분의 시간표(Timetable)이 알려져 있는 특정한 경우에 대하여 엘리베이터 알고리즘을 개선하였다. 엘리베이터 알고리즘은 배정 함수(FS)와 대기 함수(WF), 두 개의 식으로 나누어 설계하였다. 엘리베이터 시뮬레이션을 설계하였고, 실제 시간표 데이터를 바탕으로 시뮬레이션 상황에 맞는 10개의 서로 다른 시간표 데이터를 생성하였다. 유전 알고리즘(Genetic Algorithm)과 시뮬레이션을 이용하여 효율적인 배정 및 대기 함수의 가중치 및 상수를 결정하였다. 결과적으로 기존 엘리베이터의 NC 알고리즘에 비해 줄어들고 DSS 엘리베이터와 근접한 수준의 평균 대기 시간 효율을 얻었다. 추가적으로 유전 알고리즘을 통해 설계된 엘리베이터 알고리즘의 분석을 진행하였다.