• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.1_2
• /
• pp.35-43
• /
• 2006

An MPI Checkpointer is a tool which provides fault-tolerance through checkpointing The previous researches related to the MPI checkpointer have focused on automatic checkpointing and recovery capabilities, but they haven't considered portability issues. In this paper, we discuss design and implementation issues considered for portability when we developed an MPI checkpointer called STFT. In order to increase portability, firstly STFT supports the abstraction interface for a single process checkpointer. Secondly, STFT uses a user-based checkpointing method, and limits possible checkpointing places a user can make. Thirdly, STFT lets the MPI_Init create network connections to the other MPI processes in a fixed order. With these features, we expect STFT can be easily adaptable to various platforms and MPI implementations, and confirmed STFT is easily adaptable to LAM and MPICH/P4 with the prototype Implementation.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.4
• /
• pp.534-543
• /
• 2008

To use the Global Positioning System (GPS) carrier phase measurement for precise positioning, the integer ambiguities at the early stage of most algorithms must be determined. Furthermore, if a precise positioning is to be applied to real time navigation, fast determination and validation methods for integer ambiguity are essential. In this paper, the Wald test that simultaneously determines and validates integer ambiguities is used with assistance of the Inertial Navigation System (INS) to improve its performance. As the Wald test proceeds, it assigns a higher probability to the candidate that is considered to be true at each time step. The INS information is added during the Wald test process. Large performance improvements were achieved in convergence time as well as in requiring fewer observable GPS satellites. To test the performance improvement of the Wald test with the INS information, experimental tests were conducted using a ground vehicle. The vehicle moved in a prescribed trajectory and observed seven GPS satellites. To verify the effect of the INS information on the Wald test, the convergence times were compared with cases that considered the INS information and cases that did not consider the INS information. The results show that the benefits of using the INS were emphasized as fewer GPS satellites were observable. The performance improvement obtained by the proposed algorithm was shown through the fast convergence to the true hypothesis when using the INS measurements.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.5 s.43
• /
• pp.9-18
• /
• 2006

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, Goel-Okumoto and Yamada-Ohba-Osaki model was reviewed, proposes the exponentiated exponential distribution reliability model, which maked out efficiency substituted for gamma and Weibull model(2 parameter shape illustrated by Gupta and Kundu(2001) Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE, AIC statistics and Kolmogorov distance, for the sake of efficient model, was employed. Analysis of failure using NTDS data set for the sake of proposing shape parameter of the exponentiated exponential distribution was employed. This analysis of failure data compared with the exponentiated exponential distribution model and the existing model (using arithmetic and Laplace trend tests, bias tests) is presented.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.12
• /
• pp.2109-2112
• /
• 2016

The rate of rise of the fault current in DC grids is very high compared to AC grids because of the low line impedance of DC lines. In AC grids the arc of the circuit breaker under current interruption is extinguished by the zero current crossing which is provided naturally by the system. In DC grids the zero current crossing must be provided by the circuit breaker itself. Unlike AC girds, the magnetic energy of DC grids is stored in the system inductance. The DC circuit breaker must dissipate the stored energy. In addition the DC breaker must withstand the residual overvoltage after the current interruption. The main contents of this paper are to ${\cdot}$ Explain the theoretical background for the design of DC circuit breaker. ${\cdot}$ Develop the simulation model in PSIM of the real scaled DC circuit breaker for 1,800V DC railway. ${\cdot}$ Suggest design guidelines for the DC circuit breaker based on the experimental work, simulations and design process.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.409-429
• /
• 1997

Problems encountered during software development or pteration nay result from defects in the software,ghrdware,or their oterations.Because of their diversity,the determination of the sources of a problem and its corrective adtion requires a centrally controlled system for monitoring provlems and detemining systematiccauses. In the paper,the SPR/SCR management system was developed and applied for the collection and analysis of the error data,process data and product data delected by each phasd in SDLC.There are four objectibes in the SPR/SCR management system.The first is to assure that software errors are documented,corrected,and vot forgottem. The second is to assure that SPR.are assessed for their validity.The third is to provide feedback on SPR status to the developer and the user.The fourth is ot prvide data for measuring and prediciting sofware quality and reliability.These goals could be satisfied by the application of the SPR/SCR mangement system.Also,the accomplishment rate of software reliability,criterion of test completion,estimation of release time, efficient development and management can be reflected by applying the SPR/SCR management system.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of the Korean Geographical Society
• /
• v.39 no.6 s.105
• /
• pp.845-862
• /
• 2004

The aim of this study is to investigate distribution characteristics of incised meander cutoff in Gyeonggi and Gangwon Provinces of Central Korea. The density of meander cutoff is highest in the mountain rivers including Naerin and Dongdae flowing on Jeongseon-gun and Inje-gun of Gangwon Province. Most of meander cutoff process has been occurred repeatedly during the Quaternary period, especially concentrated in the period of climatic change between glacial and interglacial stages. In the aspect of the lithology, the density of cutoff is highest in sedimentary rock, but lowest in igneous rock. As for geological structure, its frequency is high at $11{\sim}20km$ westerly away from the Taebaek Mountains, at subsequent channel, lower part of resequent channel, and channels crossing the fault line. The relation between distance from the Taebaek Mountains and altitude is very obvious at the western side of the Taebaek Mountains. The values of altitude, height from riverbed, and stream order are highest at sedimentary rock and lowest at volcanic rock.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.7
• /
• pp.1-9
• /
• 2008

In this paper, make a study decision problem called an optimal release policies after testing a software system in development phase and transfer it to the user. When correcting or modifying the software, because of the possibility of introducing new faults when correcting or modifying the software, infinite failure non-homogeneous Poisson process models presented and propose an optimal release policies of the life distribution applied log-logistic distribution which can capture the increasing! decreasing nature of the failure occurrence rate per fault. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, after trend test applied and estimated the parameters using maximum likelihood estimation of inter-failure time data, make out estimating software optimal release time.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.17 no.3
• /
• pp.64-72
• /
• 2003

Comparing with transmission networks, the faults in distribution networks more often occurs because of the complicated structure and the adjacency to customers. Moreover the faults give direct damage to customers. So fault diagnosis and blackout restoration in distribution networks are very important elements to reduce the damage of customers and to maintain the stability. The restoration problem of distribution networks is subject to time. Minimizing the switching numbers in restoration process is the crucial element. In other words. the best restoration is to restore all blackout area through just one switching, if not the restoration has to be accomplished through several switching. This paper proposes the efficient restoration system in distribution networks to minimize the switching numbers. The proposed system uses the dynamic division method of hierarchical structure which consists of heuristic searching method and meta algorithm. The proposed system is applied to the sample networks, and the results showed a promising possibility.

• The Journal of Engineering Geology
• /
• v.1 no.1
• /
• pp.121-136
• /
• 1991

The focal mechanism of the Hongsung Earthquake (1978. Oct. 7, M$_L$=5.0, Latitude 36.62N, Longitude 1 26.67E) was evaulated using the polarity distribution of the P-Waveforms. Through the non-linear computer process, the compatibility of polarity distributions of the 9 P-Waveforms observed at teleseismic distances from the Hongsung Earthquake epicenter was investigated to those of the focal mechanism determined from the varying strike, dip and rake angles. The resultant values for the strike and dip angle of the principal fault plane, which apparently matches very well the sunface lineament of the Hongsung region, are determined to be about 247 degree and 78 degree with uncertainties, respectively. However, the rake angle of the focal mechanism has wide range of 40 degree to 160 degree, which is mainly due to the poor coverage of the azimuthal angle of the observed seismic stations. Due to the consistency of principal stress axes, the resultant focal mechanism could support the current stress regime of that region, which may be caused by subduction of the Pacific Plate under the Eurasia Plate along the Japan Trench. It also provides information of seismic source characteristics of the part of the Korean Peninsula for aseismic design criteria such as Site Specific Response Spectrum and Strong Ground Motion Time History for the nuclear power plants and related nuclear waste disposal facility sites.