• Journal of Korea Spatial Information System Society
• /
• v.10 no.1
• /
• pp.41-49
• /
• 2008

This paper presents a data analysis method for the taxi telematics system which generates a greate deal of location history data. By the record consist of the basic GPS receiver-generated fields, device-added fields such as taxi operation status, and framework-attached fields such as matched link Identifier and position ratio in a link, each taxi can be represented by a state diagram. The transition and the state definition enable us to efficiently extract such information as pick-up time, pick-up distance, dispatch time, and dispatch distance. The analysis result can help to verify the efficiency of a specific taxi dispatch algorithm, while the analysis framework can invite a new challenging service including future traffic estimation, trajectory clustering, and so on.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.216-219
• /
• 1998

이 논문에서는 IMT-2000(International Moblie Telecommunication-2000)시스템에서의 멀티미디어 트래픽을 전송하기 위한 핸드오프 처리절차를 제안하였다. 이 절차에는 기본 코드채널(Fundamental Code Channel)과 부가 채널(Supplemental Code Channel)을 제어하기 위한 핸드오프관련 메시지들이 포함되었다. 부가 채널코들를 사용하기 위한 협상은 전송되는 트래픽의 크기에 따라 핸드오프 초기화 동안 수행된다. 그리고 MS(Moblie Station), BTS(Base Station transceiver Subsystem) 및 BSC(Base Station Controller)사이에서의 핸드오프 처리를 위한 호 흐름도와 상태천이도 (State Transition Diagram)도 설계하였다.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.687-690
• /
• 1998

The full Viterbi detector for EPRML read channel system needs large area due to complex computation. There are several conventional methods to reduce the complexity such as GVA(Generalized Viterbi Algorithm) and BMS(Branch Metric Shift). This paper proposes another method, FVD(Folding Viterbi Detector), that has state transition diagram folded with inverted states. Compared with GVA detector, FVD requires only 61% gates and has lower power consumption and better BER performance.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.688-691
• /
• 2001

By using basic paths in the 0-tree of a linear TPMACA C we obtain the state-transition diagram of complemented CA C'derived from C such that the complement vector is a nonzero attractor of C. Also we analyze the behavior of C'.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.4
• /
• pp.387-393
• /
• 2013

In shipyard site, a ship is constructed by integrating lots of modules that are made in several sites with different capabilities and specifications. Recently, it needs to make a shipyard to be smart with wired and wireless broadband networks between hierarchical shipyards. In this paper, we propose an installation of LTE femtocell local gateway at a remote shipyard, an information exchange method between hierarchical shipyards, and an offload method to separate the general traffic. We define the mode change in a femtocell gateway for supporting the offload of the general traffic between the headquarter and a remote shipyard, the offload data management and trigger message, and cache entry fields. To show the operation of our proposed off-loading function, we consider the transcipient message flow at the femtocell gateway with its state transition diagram. Hence, it is expected to increase the productivity of shipyard industry with mobile communications and broadband Internet technologies.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.12
• /
• pp.1261-1266
• /
• 2014

Smart shipyard, all of the business of shipyard by using a mobile application, and the rapid spread of smart equipment, the overload of infrastructure due to a variety of mobile services is expected. Because macrocell and femtecell to reduce the overloading of existing infrastructure, additional core network devices have a problem, in this paper, the efficiency of resources than the communication over the existing infrastructure smart shipyard network to improve, to apply the D2D communication technology that can reduce the load on the infrastructure. The proposed routing path plan in accordance with the transfer method and the traffic type of network configuration and D2D equipment navigation and data for applying a smart shipyard. Whether to execute the function to overload traffic in the core network can send to the optimized path was confirmed by using the state transition diagram. Smart shipyard, by applying D2D communication allow efficient traffic handling than conventional communication method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.8
• /
• pp.667-673
• /
• 2014

In a smart shipyard area, it is possible to integrate a variety of ship modules from separate sites into a final ship construction by using mobile applications. In this paper, we proposed the LTE femtocell network configuration which is applicable to sub shipyard, the traffic exchange method with shipyard headquarter and offload method to separate the general traffic. We defined the mode change in a femtocell gateway for supporting offload for general traffic between the main server in shipyard headquarter and sub shipyard, the offload data managements and message definition. We check the transmitted/received message flow in the wireless link, and consider the performance of the proposed method using state the transition diagram. It is expected that our results can improve the productivity within a smart shipyard by mobile communications and LTE femtocell network.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.17 no.7
• /
• pp.691-696
• /
• 2004

The electronic state and chemical bonding of $\beta$-MnO$_2$ with transition metal dopants were theoretically investigated by DV-X$_{\alpha}$ (the discrete variational X$_{\alpha}$) method, which is a sort of the first principles molecular orbital method using the Hartree-Fock-Slater approximation. The calculations were performed with a $_Mn_{14}$ MO$_{56}$ )$^{-52}$ (M = transition metals) cluster model. The electron energy level, the density of states (DOS), the overlap population, the charge density distribution, and the net charges, were calculated. The energy level diagram of MnO$_2$ shows the different band structure and electron occupancy between the up spin states and down spin states. The dopant levels decrease between the conduction band and the valence band with the increase of the atomic number of dopants. The covalency of chemical bonding was shown to increase and ionicity decreased in increasing the atomic number of dopants. Calculated results were discussed on the basis of the interaction between transition metal 3d and oxygen 2p orbital. In conclusion it is expected that when the transition metals are added to MnO$_2$ the band gap decreases and the electronic conductivity increases with the increase of the atomic number of dopants. the atomic number of dopants.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.