• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1988-1998
• /
• 2008

Performed was a survey to find the level of interest on passenger services using IT and smart sensor technology in connection with High Speed Train development in Korea. The survey respondents were sampled from the KTX passengers, KTX crews, Korail employees, IT or sensor experts, and rolling stock experts. The results of the survey were categorized as importance, urgency/necessity, importance vs urgency/necessity, improvement measure, preferable activities based on the trip length, and inconveniencies. By analyzing the results, service items that can be implemented to the High Speed Train were recognized. The results showed that a passenger tends to expect to have his/her comfort and convenience, an attendant safety and serviceability, a Korail employee information provision and serviceability, an IT/sensor expert technological implementation done, and a rolling stock expert implementation done in practical level.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• Journal of the Korea Society for Simulation
• /
• v.20 no.1
• /
• pp.61-67
• /
• 2011

Smart TV System will lead to drastic change of communication and media industries as one of the emerging next generation network services. However, when the number of concurrent users increases rapidly, the issue of service quality degradation occurs because providing services to many users simultaneously stresses both the server and the network. The server limitation can be circumvented by deploying server clusters. but the network limitation is far less easy to cope with, due to the difficulty in determining the cause and location of congestion and in provisioning extra resources. In order to alleviate these problems, a number of schemes have been developed. Prior works mostly focus on reducing user-centric performance metrics of individual connection, such as the round-trip time(RTT), downloading time or packet loss rate, but tend to ignore the network loads caused by the concurrent connections or global network load balance. In this work, we make an in-depth investigation on the issue of user grouping for massive Smart TV services through simulations on actual Internet test-bed, PlanetLab.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.761-770
• /
• 2001

As software industry is rapidly evolving, IT business enterprises have been meeting with cutthroat competition in developing software. As software reusability, time to market, and maintainability are considered as a competitive edge, software component techniques have lately attracted considerable attention. Currently, although there are some supporting tools for developing software components, they do not have tight connections among component developing processes such as component identification, component modeling, detailed design, code generation, deployment, and testing. And it is restrictive for users to construct various scales of components on component platform architecture. In this paper, we provide an implementation and a design of a supporting tool for constructing platform-independent software components, which covers all development lifecycles of components. In the phase of component modeling, platform independent, conceptual components are identified from domain model information in the view of system partitioning. Detailed design and implementation of a component are performed on the J2EE platform architecture. And the changes on the design model and source codes are consistently managed by using round-trip techniques.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.1997-2012
• /
• 1998

It is necessary to find out the parallelism in tlle sequential Java program to execute it on the parallel machine. The loop is a fundamental source to exploit parallelism as it process a large portion of total execution time in sequential Java program on the parallel machine. However, a complete parallel execution can hardly be achieved due to data dependence. This paper proposes the method of exploiting the implicit parallelism by structuring a dependence graph through the analysis of data dependence in the existing Java programming language having a nested loop structure. The parallel code generation method through the restructuring compiler and also the translation method of Java source program into multithread statement. which is supported by the Java programming language itself, are proposed here. The perforance evaluatlun of the program translaed into the thread statement is conducted using the trip cunt of loop and the trip Count of luop and the thread count as parameters The resttucturing compiler provides efficient way of exploiting parallelism by reducing manual overhead conveliing sequential Java program into parallel code. The execution time for the Java program as a result can be reduced un the parallel machine.

• Journal of the Korean Institute of Gas
• /
• v.22 no.4
• /
• pp.63-73
• /
• 2018

Innovative technical process for Energy Storage System (ESS), Liquid Air Energy Storage system (LAES) is mature technologies based on the gas liquefaction process. In spite of many advantages such as high energy density, no geographical constraints, low investment costs and long useful life, the system has not yet widely commercialized due to low round trip efficiency. To improve RTE and acquire high yield of liquid air, various configurations of LAES process have been considered. In this research, dual refrigerants cycle (R-600a and methanol) for air liquefaction and thermal oil circulation for power generation via liquid air gasification have been applied to improve cycle performance significantly using Aspen HYSYS simulator.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.4
• /
• pp.1559-1569
• /
• 2013

this study is to deduct the difference between regional and urban commercial trips by analyzing the characteristics of the regional and urban truck movements. To achieve this, we investigated the relation between the number of truck trips and various truck generation attributes such as truck attributes, origin and destination attributes, and commodity type using ordered logit models, which are separately estimated for regional and urban truck movements using truck diary data of Korea Transport Database (KTDB). According to the estimation results, regional and urban truck movements have different characteristics in truck attributes, origin and destination attributes and commodity type. Especially, the number of regional trucks trips increased as origin and destination are manufactural area and as the total value of products of industrial area in origin and destination increase.

• The Journal of the Korea Contents Association
• /
• v.12 no.7
• /
• pp.437-444
• /
• 2012

This study features an analysis of the socio-economic factors of ten cities on the Honam-line that affect the number of train passengers. The 3 main factors based on the principal component analysis were the population, the distance between two regions, and the area size of each region while the number of automobiles has been conventionally used instead of the area size of each region. A formula to predict the train passengers by the regression analysis was developed and showed a good agreement to the number of real passengers. When Honam highspeed railway is opened, the traveling time between two regions as well as the area size of each regions should be more precisely considered.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.9
• /
• pp.111-119
• /
• 2008

As the penetration of distributed generation systems is recently high, there have been metering errors, trips of protective devices in KEPCO distribution systems including an occurrence of false fault-indicator in distribution automation system. The cause of malfunctions was the reverse-power-flow phenomenon due to transformer wiring types. By the effect of the reverse-power-flow, each of phase's fundamental currents was added by about 3 times on the neutral line. A new method based on the analysis of the reverse-power-flow is proposed in this paper. Fault currents on each section were analyzed by the proposed method, and the effect of types of transformer wiring was examined experimentally. In order to reduce the malfunctions due to the reverse-power-flow, controlling the zero-sequence impedance of transformer was designed and verified by using PSCAD/EMTDC software.