• 대한교통학회지
• /
• 제31권6호
• /
• pp.12-21
• /
• 2013

관광지역 내 궤도교통수단 요금은 사업 타당성 판단의 중요한 변수가 되는 요소이다. 기존 운영자 위주의 요금 결정에서 벗어나, 이용자 측면까지 동시에 고려된 요금을 산출함으로써 운영자와 이용자를 동시에 만족시키는데 본 연구의 목적이 있다. 본 연구의 대상은 인천광역시 중구 월미도 일대를 순환하는 월미은하레일이다. 본 연구에서는 요금의 적정 범위를 판단하기 위해 운영자 비용과 이용자 비용을 최적화하는 모형을 구축하였다. 최적화된 모형을 활용하여 각 변수의 값을 산출한 결과, 정류장 간격은 0.532km, 운행 간격은 0.206시, 정류장 수는 12개소, 운행 대수는 3대로 도출되었다. 이렇게 도출된 변수들을 활용하여 이용자가 지불해야하는 최소요금과 운영자가 징수해야 하는 최소요금을 산출하고, 이를 근거로 요금의 적정범위를 분석한 결과 최소 1,261원에서 최대 5,063원인 것으로 분석되었다. 관광교통수단의 경우 정류장 자체가 관광지 내에 위치하므로 모형 적용시 접근거리 감소폭이 매우 적어 접근비용의 변화폭이 미미하다는 점을 확인할 수 있었다.

• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 대한산업공학회지
• /
• 제23권4호
• /
• pp.709-717
• /
• 1997

For an undirected graph G=(V, E), the Rural Postman Problem (RPP) is a problem that finds a minimum cost tour that must pass edges in E'($\subseteq$ E) at least once. RPP, such as Traveling Salesman Problem (TSP), is known as an NP. Complete problem. In the previous study of RPP, he structure of the chromosome is constructed by E' and the direction of the edge. Hence, the larger the size of IE' I is, the larger the size of the chromosome and the size of the solution space are. In this paper, we transform the RPP into a Hamiltonian graph and use a genetic algorithm to solve the transformed problem using restructured chromosomes. In the simulations, we analyze our method and the previous study. From the simulation results, it is found that the results of the proposed method is better than those of the previous method and the proposed method also obtains the near optimal solution in earlier generations than the previous study.

• 한국정보전자통신기술학회논문지
• /
• 제12권6호
• /
• pp.597-604
• /
• 2019

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성시 CPP(중국 집배원 문제) 알고리즘의 개선된 적응적 적용 방법을 제안한다. 또한 본 논문에서 제안한 개선된 CPP 알고리즘 방법이 통신 프로토콜의 적합성 시험을 위한 시험항목 생성에 어떻게 적응될 수 있는지 B-ISDN Q.2931 호/연결 제어 절차에 실례로 적용하여 본다. 본 방법의 실험적인 적용 결과 기존의 시험열 생성 방법들에 비해 최적화된 최소 비용의 시험열을 생성함을 확인하였다. 본 논문의 제안된 방법은 표준화된 사양으로부터 최소 비용의 시험항목을 구하는 최적화 기법으로써의 장점을 가지고 있는데 본 논문의 개선된 CPP 알고리즘의 이 최적화 기법은 프로토콜 구현물의 적합성을 시험하기 위한 실재 환경에 실제적으로 적용될 수 있다. 향후 연구에서는 프로토콜 적합성시험을 위한 시험항목 생성시 상위 시험기와 하위 시험기간의 시험 조정 절차에서 발생할 수 있는 동기화 문제를 해결하고 적용하는 방안이 강구되어야 할 것으로 사료된다.

• 한국정보전자통신기술학회논문지
• /
• 제8권6호
• /
• pp.470-477
• /
• 2015

본 논문은 통신 프로토콜의 적합성 시험시 하위 시험기와 상위 시험기간의 직접적인 상호 작용이 불가능한 분산 시험 환경에서 외부 동기화와 입출력 운용비용을 고려해야 할 경우 적용될 수 있는 최적화된 동기적 시험 항목 생성을 위한 새로운 방법을 제시한다. 이 방법은 세 가지 단계의 절차로 구성되어 있는데, 첫 번째 단계는 시험 구현물의 각 상태로부터 나오는 모든 입출력 짝들의 유일성을 기술하는 상태인식 표를 생성한다. 둘 째 단계에서는 이 상태인식 표로부터 각 상태의 동기화된 상태인식 열을 구성한다. 마지막 단계에서는 시험 구현물의 시험에지들과 각 상태의 동기화된 상태인식 열들을 이용하여 최적화된 동기적 시험열들을 생성한다. 본 논문의 방법은 원거리 시험기들을 사용하는 프로토콜 시험 구조에서 기 결정된 시험 항목을 적용할 때 시험 대상과 이들 시험기들간에 발생할 수 있는 동기화의 유용한 해결 기법으로 사용될 수 있다.