Earticle

전력 수요량은 매년 증가추세에 있으며, 발전소에서 동작하는 모든 장비들과 대용량의 장거리 전력수송을 위 한 장비들은 전력 소비자들이 기대하는 바 신뢰할 수 있는 수준에서 완전한 상태로 동작하여야 한다. 일반적으로, 고전 력 송전을 위하여 사용되고 있는 케이블은 동작수명이 30년 이라고 제작 시에 선언된다. 케이블은 동작을 시작함과 동 시에 성능이 악화되는 열화과정(케이블의 전기적 특성이 악화되는)이 시작된다. 열화로 인한 신뢰성의 손상이 발생함에 도 불구하고, 동작상태의 신뢰성을 진단을 받지 않았기 때문에, 언제 불의의 사고를 초래할지 예측을 할 수 없을 만큼 위험한 상태에서 동작을 하고 있는 실정이다. 우리는 케이블의 열화과정을 진단하기 위하여 진단 장비를 제작하였고, 충청남도 태안의 (주)서부발전에 설치하여 시운전 하고 있는 중이다. 우리는 측정장비를 이용하여 추출한 데이터를 얻 은 결과를 시간에 따라 변동 하는 그래프로 표시하여 분석한 특성을 이전 논문들에서 제시하였다. 이 논문에서는 이전 논문에서의 측정값으로 나타낸 그래프가 Weibull 확률분포에 의한 열화 이론과 일치하는 지를 확인하고, 결과를 제시 한다.

As the demand for electric power increases, all devices operating in power stations and all devices adopted in order to deliver distant loads need to be operating in perfect condition at the level of reliability expected by consumers. In general, the lifetime of cables used in delivering high power is declared to be 30 years from the time of production. Deterioration (which is the worsening of electric properties) starts from the very moment of operation. In spite of the reduction in reliability caused by deterioration, the reality is that cables often operate at considerable risk of accidents because the reliability of operation has not been diagnosed. We have invented a device to diagnose the deterioration processes of high-voltage power cables. It has been installed and is currently operating at Korea Western Power Co., Ltd., located in Chungnam, Korea. In previously published papers we have shown graphs obtained by plotting insulation resistances versus time, through analyzing the data extracted from operating cables using the devices we have invented. In this paper, we verify that the previously plotted graphs agree with the life time index of Weibull distribution of probability.

근래에 임베디드 프로세서의 성능을 향상시키기 위하여 멀티코어 프로세서 구조가 널리 이용되고 있다. 이러 한 멀티코어 프로세서는 크게 대칭적 구조와 비대칭적 구조로 나뉘며, 비대칭적 멀티코어 프로세서가 대칭적 멀티코어 프로세서에 비하여 더욱 성능이 높고 효율적이라고 알려져 있다. 본 논문에서는 임베디드 프로세서에 대하여 이것을 확인하기 위하여, 다양한 구성을 갖는 비대칭적 임베디드 듀얼코어, 쿼드코어, 옥타코어 및 헥사데카코어 프로세서에 대하여 MiBench 벤치마크를 입력으로 하여 모의실험을 수행하여 그 성능을 측정하였다. 또한, 비슷한 하드웨어 규모 의 대칭적 임베디드 멀티코어 프로세서와 비교하여 성능의 우수성을 확인하였다.

Recently, the multi-core processor architecture is widely adopted in the embedded processors for enhancing its performance. Multi-core processors are classified either as symmetric or asymmetric. Asymmetric multicore processors are known to score higher performance and more efficient than symmetric multi-core processors. In order to study the performance enhancement of asymmetric multi-core embedded processors over the symmetric ones, the trace-driven simulation has been executed for various asymmetric embedded dual-core, quad-core, octa-core and hexadeca-core processors and compared with the symmetric ones of similar hardware budget using MiBench benchmarks as input.

등각변환 해석법과 종방향 모드 전송선로 이론을 이용하여 이중 샌드위치 Rib-형 도파로에 기초한 곡면형 편 광 무의존성 방향성 결합기(PI-CDC)의 편광특성을 자세하게 탐구하였다. 제안한 곡면형 방향성 결합기의 편광 무의존 성 조건을 얻기 위하여 곡면의 내부 반경 크기에 따라 변하는 quasi-TE 모드와 quasi-TM 모드의 결합길이와 결합효 율을 분석하였다. 수치해석 결과, 수 마이크로미터 크기의 곡면형 편광 무의존성 방향성 결합기는 이중 샌드위치 층의 구조적, 물질적 변수들과 곡률반경을 잘 선택함으로써 구현할 수 있음을 보였다. 또한, 곡면형 편광 무의존성 방향성 결합기에서 전파하는 quasi-TE/TM 모드들의 분포 프로필을 분석하였고, 그 분석을 통하여 곡면이 전파특성에 어떤 영향을 미치는지에 대하여 조사하였다.

The polarization characteristics of polarization-insensitive directional coupler based on double sandwiched rib-type and curved waveguides are explored in detail by using conformal transformation method (CTM) and longitudinal modal transmission-line theory(L-MTLT). To obtain the polarization-insensitive condition of polarization-insensitive curved directional coupler(PI-CDC), the coupling length and coupling efficiency according to the inner radius of PI-CDC are analyzed for quasi-TE and quasi-TM modes. The numerical results show that the PI-CDC with a few micrometer scales can be realized by properly choosing the curvature and structural and material parameters of double sandwiched layers. Furthermore, the mode profiles propagating through PI-CDC are evaluated, and the influence on coupler performance has been investigated.

본 논문은 다중공항의 도착/출발 문제에 대해 항공기 지연을 최소화시키는 최적 해를 얻을 수 있는 휴리스틱 알고리즘을 제안하였다. 단일 공항의 출발/도착 항공기의 지연 대수를 최소화시키는 최적 해를 찾는 문제에 대해 수학 적 방법만이 제안되고 있다. 다중공항의 경우는 선형계획법이나 메타휴리스틱 방법의 일종인 유전자 알고리즘이 적용되 고 있다. 제안된 알고리즘은 먼저, 각 공항의 번째 단위시간 (15분)에서 총 도착/출발 항공기 대수에 대해 지연을 최 소화시키는 운영 능력들 중 중앙값을 선택하였다. 다음으로 공항간 도착 항공기의 도착지를 변경시켰다. 실험 결과 제 안된 알고리즘은 유전자 알고리즘에 비해 지연 항공기 대수에 대해 보다 좋은 결과를 얻었다.

This paper suggests a heuristic algorithm to obtain optimal solution of minimum number of aircraft delay in multi-airport arrivals/departures problem. This single airport arrivals/departures problem can be solved by mathematical optimization method only. The linear programming or genetic algorithm that is a kind of metaheuristic method is used for a multi-airport arrivals/departures problem. Firstly, the proposed algorithm selects the median minimum delays capacity in various arrivals/departures capacities at an airport for the number of aircraft in  time interval (15 minutes) at each airport. Next, we suggest reallocate method for arrival aircraft between airports. This algorithm better result of the number of delayed aircraft then genetic algorithm.

본 논문은 경제급전 최적화 문제에 균형-교환 방법을 제안하였다. 제안된 알고리즘은 모든 발전기를 가능한 한 밸브지점으로 운영한다고 가정한다. 초기치로 최대 발전량 로 설정하고, 각 발전기의 밸브지점 까지 발전량을 감소시켰을 때의 평균 발전단가 가 최대가 되는 발전기 의 발전량을 밸브지점 발전단가 로 감소시켰으며, 이면 의 발전기 발전량을 로 감소시켜 의 균형을 맞추었다. 다음으로, 의 범위에 대해 ”-10“ 간격으로 감소시키는 성인걸음법으로, 범위에 대해서는 ”-1“의 아기걸음법으로, 에 대한 이면 , 로 발전량을 교환하는 방법으로 최적화를 수행하였다. 다음으로 에 대해 미세한 교환을 수행하였다. 동적 경제급전 문제의 시험사례에 제안된 알고리즘을 적용한 결과 기존의 휴리스틱 알고리즘 최적화 발전비용을 크게 감소시켜 경제적인 이익을 극대화 시켰다.

This paper proposes a balance-swap method for the dynamic economic load dispatch problem. Based on the premise that all generators shall be operated at valve-points, the proposed algorithm initially sets the maximum generation power at . As for generator with , which is the maximum operating cost produced when the generation power of each generator is reduced to the valve-point , the algorithm reduces ’s generation power down to , the valve-point operating cost. When , it reduces the generation power of a generator with of to so as to restore the equilibrium . The algorithm subsequently optimizes by employing an adult-step method in which power in the range of is reduced by 10; a baby step method in which power in the range of is reduced by 1; and a swap method for of , in which power is swapped to , . It finally executes minute swap process for . When applied to various experimental cases of the dynamic economic load dispatch problems, the proposed algorithm has proved to maximize economic benefits by significantly reducing the optimal operating cost of the extant Heuristic algorithm.

소프트웨어 요구사항 분석은 성공적인 소프트웨어 프로젝트를 위해 필수적 요소이다. 특히 불완전한 요구사항 은 소프트웨어 프로젝트 실패의 가장 큰 원인으로 꼽힌다. 불완전한 요구사항은 소프트웨어 개발 시 개발자에게 이해 부족을 야기할 뿐 아니라, 소프트웨어 검증 시 에도 모호한 기준을 제공함으로써, 개발 후반부에 납기일 연기 및 비용 증가의 원인이 된다. 요구사항 패턴은 이러한 문제를 극복하는데 도움을 줄 수 있다. 요구사항 패턴은 요구사항 작성과 검토 시 참조모델이 될 뿐 아니라, 검증 기준이 될 수 있으며, 작성자가 누락한 부분을 보완해 줄 수 있다. 이와 더불 어 요구사항 작성의 경험이 적은 작성자는 요구사항 패턴을 통해 더 쉽고, 빠르고 정확하게 요구사항을 작성할 수 있 다. 본 논문에서는 다양한 요구사항의 시나리오를 통해 공통된 요구사항 시나리오를 추출하는 기법을 제안한다. 그리고 제안한 기법의 가시성 검증을 위해 여덟 개의 프로젝트에서 추출한 83개의 소프트웨어 시나리오를 통해 54개의 시나리 오 패턴을 추출하고 이 패턴을 이용하여 누락된 행위를 찾는 과정을 사례연구를 통해 보여준다.

Software requirement analysis is necessary for successful software development project. Specially, incomplete requirement is the most influential causes of software project failure. Incomplete requirement can bring late delay and over budget because of the misunderstanding and ambiguous criteria for project validation. Software requirement patterns can help writing more complete requirement. These can be a reference model and standards when author writing or validating software requirement. Furthermore, when a novice writes the software scenario, the requirement patterns can be one of the guideline. In this paper proposes an automatic approach to identifying software scenario patterns from various software scenarios. In this paper, we gathered 83 scenarios from eight industrial systems, and show how to extract 54 scenario patterns and how to find omitted action of the scenario using extracted patterns for the feasibility of the approach.

본 논문에서는 인터넷 매체 언어상에서 나타나고 있는 국어 파괴 현상의 고찰을 고찰하여, 이에 대한 기술적 개선 방법으로서 표준어 자동 번역 기술을 제안한다. 실생활 속에서 국어 파괴 현상과 관련된 경험 및 피해 사례들을 설문 조사 및 FGI(Focussed Group Interview)를 통하여 수집 및 분석한 결과를 제시하고, 분석결과 자료 기반으로, ‘국어 파괴도(degree of Korean destruction)'의 지표를 정의하였다. 국어 파괴도는 표준어 자동 번역 기술이 갖고 있 는 번역 오류가 가진 한계를 최소화하여, 표준어 자동 번역 기술의 효율성을 최대로 활용하기 위한 척도로서 활용될 수 있음을 인터넷 매체 문장 2,480 개의 분석을 통하여 제시하였다. 본 논문에서 제안된 국어 파괴도 측정 및 표준어 자동 번역 기술은 Java 언어를 사용하여 REST API 형태로 구현하였으며, 웹브라우저상에서 동작을 확인하였다.

In this paper, we consider the discussion of the breakdown phenomenon of korean language that is displayed in the language of the Internet media, as a technical improvement approach to this, and to provide an automatic translation technology of standard language. The collected through real life surveys and experience and damage case regarding language breakdown phenomena in the FGI (Focussed Group Interview), and presents the results of the analysis, based on the analysis result data, we defined the index of language destroyed (degree of Korean destruction). The limit of the national language break or automatic translation technology standard language marked with translation errors that have to be minimized, the efficiency of the automatic translation technology standard language which may be utilized as a measure to get the maximum, and presented through the Internet media texts 2,480 pieces of analysis. Automatic translation technology of the standard language and was also measured the proposed language destroyed in this paper, we implemented in the form of a REST API using the Java language, was confirmed to work on the Web browser.

본 논문은 경제급전 최적화 문제에 균형-교환 방법을 제안하였다. 제안된 알고리즘은 모든 발전기를 가능한 한 밸브지점으로 운영한다고 가정한다. 초기치로 최대 발전량 로 설정하고, 각 발전기의 밸브지점 까지 발전량을 감소시켰을 때의 평균 발전단가 가 최대가 되는 발전기 의 발전량을 밸브지점 발전단가 로 감소시켰으며, 이면 의 발전기 발전량을 로 감소시켜 의 균형을 맞추었다. 다음으로, 의 범위에 대해 ”-10“ 간격으로 감소시키는 성인걸음법으로, 범위에 대해서는 ”-1“의 아기걸음법으로, 에 대한 이면 , 로 발전량을 교환하는 방법으로 최적화를 수행하였다. 다음으로 에 대해 미세한 교환을 수행하였다. 동적 경제급전 문제의 시험사례에 제안된 알고리즘을 적용한 결과 기존의 휴리스틱 알고리즘 최적화 발전비용을 크게 감소시켜 경제적인 이익을 극대화 시켰다.

This paper proposes a balance-swap method for the dynamic economic load dispatch problem. Based on the premise that all generators shall be operated at valve-points, the proposed algorithm initially sets the maximum generation power at . As for generator with , which is the maximum operating cost produced when the generation power of each generator is reduced to the valve-point , the algorithm reduces ’s generation power down to , the valve-point operating cost. When , it reduces the generation power of a generator with of to so as to restore the equilibrium . The algorithm subsequently optimizes by employing an adult-step method in which power in the range of is reduced by 10; a baby step method in which power in the range of is reduced by 1; and a swap method for of , in which power is swapped to , . It finally executes minute swap process for . When applied to various experimental cases of the dynamic economic load dispatch problems, the proposed algorithm has proved to maximize economic benefits by significantly reducing the optimal operating cost of the extant Heuristic algorithm.

본 논문에서는 임의의 주기적인 현상이나 특성은 위상구조와 밀접한 관련이 있음을 추론하고 이를 실험적으로 확인한다. 실험대상으로 주기적 특성이 있는 다양한 악기음을 선택하여 이를 유클리드 공간에 임베딩하고 이로부터 호 몰로지 군을 계산하여 위상특성을 분석한다. 이를 위하여, 파형신호에서 추출한 패치모음을 패치 그래프로 구성한 다음, 대표적인 다양체 학습 방식인 통근시간 임베딩 기법을 이용하여 기하구조로 변환한다. 스펙트럼이 시간에 따라 가변적 인 파형신호를 통근시간 임베딩할 때, 그에 따라 생성되는 기하구조는 변화하지만 그 신호 고유의 내재된 위상구조는 거의 변하지 않는다. 본 논문에서는 임베딩 데이터의 일부를 표본화하여 단순 복합체를 구성한 다음 이로부터 호몰로 지를 계산하여 임베딩 기하구조의 위상특성을 분석하고, 이의 활용방안을 논의한다.

This paper raises a question of whether a simple periodic phenomenon is associated with the topology and provides the convincing answers to it. A variety of music instrumental sound signals are used to prove our assertion, which are embedded in Euclidean space to analyze their topologies by computing the homology groups. A commute time embedding is employed to transform segments of waveforms into the corresponding geometries, which is implemented by organizing patches according to the graph-based metric. It is shown that commute time embedding generates the intrinsic topological complexities although their geometries are varied according to the spectrums of the signals. This paper employs a persistent homology to determine the topological invariants of the simplicial complexes constructed by randomly sampling the commute time embedding of the waveforms, and discusses their applications.