• Journal of the Korea Convergence Society
• /
• v.10 no.12
• /
• pp.315-325
• /
• 2019

The purpose of this study is to design and construct a data mart that anyone can easily analyze subway OD movement patterns. Subway OD data of the year 2017 was downloaded from the Seoul Open Data Plaza and used as the source data. A multidimensional model was designed, and Gaussian mixed cluster analysis and visualization analysis using Tableau were performed. Interestingly, movement between suburban and Seoul accounts for 23% of the total traffic. The passengers of Suwon Station move to the suburbs much more than Seoul, while Pangyo Station mostly moves to Seoul. As a result of Gaussian mixed cluster, eight clusters of OD segments were found, and the characteristics of each cluster were characterized by segment distance and passenger size.

• The Journal of the Korea Contents Association
• /
• v.14 no.10
• /
• pp.438-453
• /
• 2014

This paper proposes a system to translate an RDB into an OWL ontology which enables the users to navigate the ontology in GUI. In order to accomplish the goals mentioned previously, the system overcame two difficulties. First, our system defines a new mapping algorithm to map between DB elements and ontology ones. Comparing with existing solutions, our algorithm is able to generate ontologies from more DB structures. Second, our system provides the same data generated by a reasoner to the users. Note that this operation does not load ABox ontology on a reasoner. In addition, Tableau-based reasoners have the tractability problem on a large ABox (e.g., large ABoxes translated from DBs practically cannot be served). To solve this, our system internally runs SQL queries to retrieve the same data as the one from a reasoner every time ABox elements are queried.

• Journal of KIISE:Software and Applications
• /
• v.29 no.7
• /
• pp.450-464
• /
• 2002

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well.

• Proceedings of the KIEE Conference
• /
• 2008.04c
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2008.04c
• /
• 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
• /
• v.23 no.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.

• Journal of the military operations research society of Korea
• /
• v.9 no.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.

• Korean Journal of English Language and Linguistics
• /
• v.1 no.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.

• Proceedings of the KIPE Conference
• /
• 1998.10a
• /
• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• 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)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.