• Journal of the Korean Data and Information Science Society
• /
• v.27 no.2
• /
• pp.559-564
• /
• 2016

The Durbin-Watson (DW) test in regression model and the Ljung-Box (LB) test in ARMA (autoregressive moving average) model are typical examples of correlated error tests. The DW test is used for detecting autocorrelation of errors using the residuals from a regression analysis. The LB test is used for specifying the correct ARMA model using the first some sample autocorrelations based on the residuals of a tted ARMA model. In this article, simulations with four data generating processes have been carried out to evaluate their performances as correlated error tests. Our simulations show that the DW test is severely dependent on the assumed AR(1) model but isn't sensitive enough to reject the misspecified model and that the LB test reports lackluster performance in general.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.5
• /
• pp.531-542
• /
• 2017

The structural safety of small craft, such as steel ships and FRP ships, can be estimated using the measurement test of the hull plate thickness or the longitudinal bending strength test. A polyethylene boat is made using inexpensive HDPE and can be mass produced. The structural safety of a polyethylene boat cannot be guaranteed because a polyethylene boat hull is notspecified in the KR technical rules. The inspection procedure of sailing yachts and pleasure boats and drop test method of ISO standard 12215-5 propose the structural strength required for small crafts as the drop test height. Therefore, in this study, the drop test of a polyethylene boat hull was carried out based on the inspection procedure of a sailing yacht and pleasure boat and the drop test method of ISO standard 12215-5. The drop load was acquired by the drop acceleration ofa boat hull. Structural analysis and safety of a polyethylene boat were performed by the drop load and allowable stress criteria. The calculation results of the hull plate thickness by structural design specification of ISO standard 12215-5 showed that polyethylene boat hull was more than two times thicker than a steel ship hull and the boat hull determined by the inspection procedure of sailing yacht and pleasure boat and drop test method of ISO standard 12215-5 was more than 1.2 times thicker than the boat hull determined by structural design specification of ISO standard 12215-5. Therefore, inspection procedure of sailing yachts and pleasure boats and drop test method of ISO standard 12215-5 was much more conservative than the structural design specification of ISO standard 12215-5 and could be used as the structural design method of a polyethylene boat.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.19 no.4
• /
• pp.102-109
• /
• 2015

The methodology to calculate loads on the bearings of the gas-turbine engine is presented for design of high-speed bearing. Firstly, the loads on the bearings are formulated according to the force and moment equilibrium with gyroscopic moment in three-dimensional space. Afterward, operating loading conditions of the engine are presented by applying the Joint Service Specification Guide, and magnitudes of transient and steady bearing loads are estimated based on the operating conditions. The calculated loading conditions of the bearings will be used for the essential design boundaries for the detail structural design and rig test.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.2
• /
• pp.140-149
• /
• 2008

Recently, the need for accessing information from anywhere at any time has been a driving force for a variety of mobile applications. As the number of mobile applications increases rapidly, there has been a growing demand for the use of Service Oriented Architectures(SOA) for various applications. Mobile based SOA offers a systematic way to classify and assess technical realizations of business processes. But mobile has severly restricted range of utilizing services in computing environment and more, a mobile computer is envisioned to be equipped with more powerful capabilities, including the storage of a small database, the capacity of data processing, a narrow user input and small size of display. This paper present mobile adaption method based on SOA to overcome mobile restriction. To improve mobile efficient we analyzing mobile application requirement writing service specification, optimizing design, providing extended use case specification which test use case testing and testing service test case which derived from service specification. We discuss an mobile application testing that uses a SOA as a model for deploying discovering, specifying, integrating, implementing, testing, and invoking services. Such a service use case specification and testing technique including some idea could help the mobile application to develop cost efficient and dependable mobile services.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.455-463
• /
• 1998

The standardization urban transit project has been started by government and the Korean standard electrical railcar has been designed. The bodyshell of standard railcar is made of aluminium alloy. In the present paper, the design of its bodyshell is evaluated in the viewpoint of strength analysis. The loading condition is based on the 'Test Methods of Static Load for Body Structure of Electrical Multiple Unit', standard specification. The bodyshell of Korean standard EMU consist of longitudinal extrusion members which are double-skin structure type. The result in this paper is enough to satisfy strength requirement which is provided by standard specification. The comparison between actual experiment and analysis result will be presented in the next paper.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• The Korean Journal of Applied Statistics
• /
• v.19 no.3
• /
• pp.461-479
• /
• 2006

This paper derives joint and conditional Lagrange multiplier tests based on Double-Length Artificial Regression(DLR) for testing functional form and/or the presence of individual(time) effect in a panel regression model. Small sample properties of these tests are assessed by Monte Carlo study, and comparisons are made with LM tests based on Outer Product Gradient(OPG). The results show that the proposed DLR based LM tests have the most appropriate finite sample performance.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Journal of Broadcast Engineering
• /
• v.13 no.1
• /
• pp.99-108
• /
• 2008

This raper analyzes the effect of visually lossless image compression for efficient distribution of digital cinema. Currently, distribution of digital cinema is carried out based on JPEG 2000 standard that has been selected by DCI. We first summarize characteristics of JPEG 2000, and then define the concept of visually lossless coding that plays an important role in digital cinema distribution. We provide a test for JPEG 2000 compression performance according to DCI specification for visually lossless. Based on the experiment, the result satisfies high quality for cinema distribution.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.885-891
• /
• 2011

This paper describes the results of preliminary design of rocket engine test facility for the performance evaluation of liquid rocket engine. Design specification and composition of rocket engine test facility are suggested based on the design requirements. The results of the preliminary design of rocket engine test facility will be used as base data for the detail design and construction of rocket engine ground test facility of KSLV-II 75tonf liquid rocket engine.