• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.18 no.6 s.121
• /
• pp.680-688
• /
• 2007

Time domain closed-form analytical solutions to the coupled telegrapher's equations for the voltage and current on a lossless multiconductor transmission line are presented. The resulting expressions are obtained in the form of exact time domain propagators operating on the line voltage and current. Time domain numerical methods are developed and examples showing exceptionally accurate results are obtained for uniform and nonuniform; symmetric and asymmetric strip lines.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2332-2342
• /
• 1999

Multicast is an important system-level one-to-many collective communication service. A key issue in designing software multicast algorithms is to consider the trade-off between performance and portability. Based on the LogP model, the proposed parameterized communication model can more accurately characterize the communication network of parallel platforms, Under the parameterized model, we propose an efficient architecture-independent method. OPT-tree algorithm, to construct optimal multicast trees and also investigate architecture-dependent tuning on performance of the multicast algorithm to achieve the truly optimal performance when implemented in real networks. Specifically, OPT-mesh which is the optimized version of the parameterized multicast algorithm for wormhole-switched mesh networks is developed and compared with two other well-known network-dependent algorithms.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.16 no.4
• /
• pp.342-350
• /
• 2011

This paper describes the autonomous operation analysis of DC microgrid based on droop control. In order to verify the whole system operation, detailed simulation models for wind power generation, solar power generation, and battery were developed with user-defined models programmed with C-code in PSCAD/ EMTDC software. The simulation results confirm that the DC microgrid with droop control make it feasible to provide power to the load with stable manner. Based on simulation results a prototype of DC microgrid was built and tested in the lab to verify the autonomous operation experimentally. The droop control scheme can suppress the circulating current, and offers each unit to be controlled autonomously without any communication link.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.6
• /
• pp.1082-1087
• /
• 2006

This paper presents a gas turbine data acquisition and monitoring system using a LabVIEW programming. The developed real-time monitoring system entitled a C-Tune DAS Plays an important role to make an analysis of the real-time operation of the gas turbine under maintenance. the LabVIEW based software is divided into three parts according to their original functions; Data acquisition, Data analysis and display, and Data storage. The data acquisition part receives data from a PMS (Plant Management System) server and two cFPs (Compact-Field Point). To verify the validity of the developed system, it is applied to gas turbines in the combined cycle power plant in Korea.

• Journal of KIISE:Software and Applications
• /
• v.31 no.2
• /
• pp.111-125
• /
• 2004

In this paper, we applied user-centered context to Smart Home Applications. Current research activities on smart home have just focused on the infrastructure without considering user's contexts and implementation cost. We first realized the user-centered personalized services using ubi-UCAM (a Unified Context-aware Application Model), which exploited contexts from various kinds of smart sensors. We, then, verified its usefulness in the ubiquitous computing-enabled home environment. It can be extended to various application areas since it guarantees independence between sensors and services. Accordingly, it will play a key role in future smart home environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.5
• /
• pp.1034-1041
• /
• 2007

This paper presents the developing results of improved distribution automation system including system configuration and subsystem design, prototype hardware and software implementation, and pilot tests on the real distribution networks of Korea Electric Power Corporation (KEPCO). An integrated system is designed to combine independent system for the distribution field works with DAS; transformer monitoring, power quality monitoring, voltage monitoring, outage monitoring, etc. The communication network is hierarchically configured as main network and branch network and well-defined integrated terminal units were developed. In addition, useful host configuration and applications were developed to integrate the services with DAS or interfacing other systems. Pilot tests were performed to verify that the system enables to properly integrate the DAS and other services of the distribution network.

• Journal of Information Technology Services
• /
• v.5 no.3
• /
• pp.99-108
• /
• 2006

Public institutions are considering adoption of open-source software in the process of information projects. However, there doesn't exist reliable information about an adoption process for open-source software. Performance and stability problems of this software also persist, as a result, current open-source software is not widely used. As a software market and industry grows, Benchmark test has been performed more often than before in order to help customers understand and select the most appropriate product among myriad similar ones. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. For this research, Benchmark test was applied as a way of demonstrating performance verification of an open-source software in the public institutions. It is certain that more objective and trustful data evidence should be obtained by way of utilizing the procedures and methods of Benchmark Test in decision making process for selecting an open-source software. It also introduces a case study of a information system, which selected and implemented open-source software, in order to confirm the validity of this research. This research will serve as a guideline to adopt open-source software in governments as well as public institutions.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.36-45
• /
• 2002

This paper introduces the design and implementation of a flash memory simulator to emulate a real flash memory. Since this simulator provides exact execution time information and parameter testing functions as well as the type, total capacity, block size, and page size of flash memory, it can be used as a real flash memory as viewed by the operating system. Furthermore, the simulator provides time logging functions of the internal routines of the flash memory management software allowing the monitoring of bottlenecks within the software. Finally, we show the performance measurements of applications under the Linux operating systems on both the simulator and a test board verifying the simulator's use as a replacement for real flash memory.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.11
• /
• pp.585-592
• /
• 2016

A topic segmentation module is to divide statements or conversations into certain topic units. Until now, topic segmentation has progressed in the direction of finding an optimized set of segments for a whole document, considering it all together. However, some applications need topic segmentation for a part of document which is not finished yet. In this paper, we propose a model to perform topic segmentation during the progress of the statement with a supervised learning model that uses a convolution neural network. In order to show the effectiveness of our model, we perform experiments of topic segmentation both on-line status and off-line status using C99 algorithm. We can see that our model achieves 17.8 and 11.95 of Pk score, respectively.