• 한국융합학회논문지
• /
• 제10권12호
• /
• pp.315-325
• /
• 2019

본 연구의 목적은 누구나 쉽게 지하철 OD 이동패턴 정보를 분석할 수 있는 데이터마트를 설계하고 구축하는 것이다. 서울 열린데이터광장에서 받은 2017년도 데이터를 원천 데이터로 이용하였다. 다차원모델을 설계하였고, 가우시안 혼합 군집분석과 Tableau를 이용한 다차원 분석을 실시하였다. 흥미로운 사실은 교외지역과 서울 간 이동은 전체 이동량의 23%에 해당하며, 수원역의 이용객은 서울보다 교외로의 이동이 매우 크며, 반면 판교역은 이동량의 대부분이 서울로의 이동이다. 가우시안 혼합 군집결과 8개의 OD구간 군집을 발견하였고, 구간 거리와 승객 수에 의해 각 군집의 특징을 네이밍하였다.

• 한국콘텐츠학회논문지
• /
• 제14권10호
• /
• pp.438-453
• /
• 2014

본 논문은 RDB를 OWL 온톨로지로 번역할 수 있으며 번역된 OWL 온톨로지를 사용자가 GUI를 통해 탐색 가능케 하는 시스템을 제안한다. 이러한 목적을 달성하기 위해서 이 시스템은 두 가지 문제를 극복한다. 첫째, 이 시스템은 DB와 온톨로지 사이의 요소간 매핑을 정의하는 새로운 매핑 알고리즘을 내장하고 있다. 이 알고리즘은 기존의 것들과 비교하여 더 다양한 DB 구조로부터 온톨로지를 생성할 수 있다. 둘째, 이 시스템은 DB로부터 생성한 온톨로지의 ABox를 추론기에 적재하지 않고도 추론기로부터 얻을 수 있는 데이터와 동일한 데이터를 사용자에게 제공한다. Tableau 알고리즘 기반의 추론기들은 큰 볼륨의 ABox 추론을 다차시간에 다루지 못하는 문제가 있다. 이것은 DB부터 번역된 큰 볼륨의 ABox를 갖는 온톨로지는 사실상 서비스 될 수 없음을 의미한다. 하지만 이 시스템은 ABox 요소가 요구될 때마다 추론기로부터 얻을 수 있는 데이터와 동일한 데이터를 획득할 수 있는 SQL 질의문을 내부적으로 실행한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권7호
• /
• pp.450-464
• /
• 2002

대부분의 객체지향 시스템을 비롯한, 복잡한 시스템들은 그 구성요소들이 시스템의 수행시간 중에 변하는 동적인 특성을 가지고 있다. 하지만 대부분의 기존 분석기법들은 이러한 측면을 무시하고 있다. 이 논문에서는 이러한 동적 시스템을 명세하고 분석하기 위한 기법을 제안하고자 한다. 이를 위해, 동적 시스템의 명세를 기술하기 위한 새로운 시제논리인 HDTL을 제안하고, 기존의 시제논리를 위한 분석기법을 수정하여 새로운 tableau 기법을 제안하였다. HDTL은 변수와 한정자를 사용하여 동적 시스템의 자동적 분석을 가능하게 하였다. 이 기법을 사용하여 우리는 시스템의 요구사항 명세를 기술하고, 시스템의 수행이 그 명세를 만족하는지를 살펴 볼 수 있다 실험을 통해 HDTL과 분석기법의 적용성을 보였다

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.9-12
• /
• 2008

Mathematical singularities of circuit equations with three-phase ideal transformer connections are studied. Three-wired wye-wye connections, delta-delta connections, and primary four-wired wye-delta connections are singular. The matrices of their circuit equations have zeros in their eigenvalues. Three-wired wye-delta connections, wye-wye-delta connections, and primary four-wired wye-wye connections are not singular. The physical meaning of their singularities is that they are sensitive and prone to be ill-conditioned. Equivalent shunt admittances representing ion losses and magnetizing inductances make the singular matrices non-singular in wye-connected circuits. And, equivalent series impedances representing copper losses and leakage inductances make the singular matrices non-singular in delta-connected circuits. The tableau analysis is used for the study.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.106-109
• /
• 2008

Piecewise linear diode models are widely used for large-signal circuit analyses, especially power electronic circuit simulations. When using a piecewise linear diode model for simulation, a switching method to select a proper one among linear models is needed. The conventional switching method keeps the previous ON, OFF state information, and applies different switching conditions according to the state. However, this method has difficulties especially in extending to multi-piecewise linear models. This paper presents a switching method which appropriately divides the v-i plane into regions and select a linear model according to the region where the operating point(the voltage and the current of the diode) belongs. This switching method is easily extended to multi-Piecewise linear models. An example using the tableau analysis and the backward Euler integration is presented for verification.

• Korean Journal of Mathematics
• /
• 제23권3호
• /
• pp.427-438
• /
• 2015

The Schensted algorithm first described by Robinson [5] is a remarkable combinatorial correspondence associated with the theory of symmetric functions. $Sch{\ddot{u}}tzenberger's$ jeu de taquin[10] can be used to give alternative descriptions of both P- and Q-tableaux of the Schensted algorithm as well as the ordinary and dual Knuth relations. In this paper we describe the jeu de taquin on shifted rim hook tableaux using the switching rule, which shows that the sum of the weights of the shifted rim hook tableaux of a given shape and content does not depend on the order of the content if content parts are all odd.

• 한국국방경영분석학회지
• /
• 제9권1호
• /
• pp.29-49
• /
• 1983

The algorithm developed in this paper utilized kettelle's [1] idea of the undominated allocation sequence and his way of tableau computation to solve the more general spares allocation problem in the system availability optimization. The algorithm is to optimally allocate resources to the independent modules which are connected to be series/parallel/mixed system configurations. It has advantages over the standard dynamic programming algorithm by eliminating the need for backtracking and by solving the allocation problem for any budget size. By careful heuristic inspection the algorithm can be made very efficient for manual calculations because large blocks of cells can be eliminated from computation. A numerical example is provided to illustrate the allocation algorithm.

• 한국영어학회지:영어학
• /
• 제1권2호
• /
• pp.311-329
• /
• 2001

This paper wanted to test the reality of English schwa by phonetic and phonological methods. Phonetically it wanted to see acoustic evidence of the relationship between the full vowels and their reduced vowels in the unstressed positions. Phonologically it wanted to prove how systematic the schwa sound is by the constraint-based grammar. As a result, the schwa phenomenon in English was supported both phonetically and phonologically. In the phonetic analysis no relationship Was found in the distribution of the F1 and F2 of the full vowels and their reduced vowels in the unstressed syllables of the derived words. The reduced vowels tended to converge into a target of F1 516 and F2 1815. The view that the schwa sounds have a target was supported. On the phonological side the constraint-based tableau produced the successful output by using FAITH (V), (equation omitted)V, FAITH V[-BACK+HiC], V[-Low, -TNS]#, REDUCE V[-STR, -TNS] as constraints. No ranking was found. Any violation of the constraints ousted the candidates.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 1998년도 Proceedings ICPE 98 1998 International Conference on Power Electronics
• /
• pp.859-864
• /
• 1998

Compact and small size, reliable and failsafe operation and low cost featuring fault current limiter causing the designer to take a close look into the use of passive fault current limiter(FCL) for the protection of power semiconductor devices in power electronic systems. This paper has identified the main parameters responsible for the development of ideal passive magnetic current limiter. The effect of those parameters on the range of operation and the voltage-current characteristics of the magnetic current limiter has been studied using tableau approach. Desirable characteristics are discussed and the simulation results are presented.

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

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.