• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.9 no.2
• /
• pp.133-140
• /
• 2016

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. Infinite failure NHPP software reliability models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, we were proposed the reliability model with the exponential and inverse exponential distribution, which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, were employed. Analysis of failure, using real data set for the sake of proposing the exponential and inverse exponential distribution, was employed. This analysis of failure data compared with the exponential and inverse exponential distribution property. In order to insurance for the reliability of data, Laplace trend test was employed. In this study, the inverse exponential distribution model is also efficient in terms of reliability because it (the coefficient of determination is 80% or more) in the field of the conventional model can be used as an alternative could be confirmed. From this paper, the software developers have to consider life distribution by prior knowledge of the software to identify failure modes which can be able to help.

• Journal of the Korean earth science society
• /
• v.32 no.1
• /
• pp.140-151
• /
• 2011

This study is to search the problems of schoolyard teaching material developed by pre-service earth science teachers and the critical factors affecting material making. The 258 schoolyard teaching materials was collected from 54 pre-service earth science teachers (male: 18, female: 36) major in Earth Science Education in Jeonju, Korea. The schoolyard teaching materials was greatly influenced by making process type of it and the prior knowledge of pre-service earth science teachers. As schoolyard preference exploratory type rely on their prior knowledge to develop the schoolyard teaching materials, they made use of the limited concepts like fault in material making. But the concept preference exploratory type made use of concepts not accessible to majority of pre-service earth science teachers because they selected a concept from the earth science textbook first of all. The pre-service earth science teachers having wrong prior knowledge selected inappropriate resources, as well as fell into the error of concept connecting. The pre-service earth science teachers having right prior knowledge partly considered only shape of resources, but had a disregard for formation process of it in material making. Accordingly, we need to reflect richly Geological Field Trip and Solid Earth Science to curriculum for earth science teacher education. And we have to educate pre-service earth science teachers to create holistic concept on the geological subject matter knowledge, field based teaching and learning strategy, material making process.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.445-452
• /
• 2015

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. Infinite failure NHPP software reliability models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the reliability model with log and power intensity function (log linear, log power and exponential power), which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, was employed. Analysis of failure, using real data set for the sake of proposing log and power intensity function, was employed. This analysis of failure data compared with log and power intensity function. In order to insurance for the reliability of data, Laplace trend test was employed. In this study, the log type model is also efficient in terms of reliability because it (the coefficient of determination is 70% or more) in the field of the conventional model can be used as an alternative could be confirmed. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can be able to help.

• The Korean Journal of Petroleum Geology
• /
• v.2 no.2 s.3
• /
• pp.43-50
• /
• 1994

The geologic structure of Gongju Basin, which is a Cretaceous sedimentary basin located on the boundary of Gyeonggi Massif and Ogcheon Belt, is modeled by using gravity data and interpreted in relation with basin forming tectonism. The electrical survey with dipole-dipole array was also conducted to uncover the development of fractures in the two fault zones which form the boundaries of the basin. In the process of gravity data reduction, the terrain correction was performed by using the conic prism model, which showed better results specially for topography having a steep slope. The gravity model of the geologic structure of Gongju basin is obtained by forward modeling based on the surface geology and density inversion. It reveals that the width of the basin at its central part is about $4{\cal}km$ and about $2.5{\cal}km$ at the southern part. The depth of crystalline basement beneath sedimentary rocks of the basin is about $700{\~}400{\cal}m$ below the sea level and it is thinner in the center than in margin. The fault of the southeastern boundary appears more clearly than that of the northwestern boundary, and its fracture zone may extended to the depth of more than $1{\cal}km$. Therefore, it is thought that the tectonic movement along the fault in the southeastern boundary was much stronger. These results coincide with the appearance of broad low resistivity anomaly at the southeastern boundary of the basin in the resistivity section. The fracture zones having low density are also recognized inside the basin from the gravity model. The swelling feature of basement and the fractures in sedimentary rocks of the basin suggest that the compressional tectonic stress had also involved after the deposition of the Cretaceous sediments.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.6
• /
• pp.918-926
• /
• 1995

In this paper, we study on the systems management for managing ATM network which is especially related to the management of Quality of Service(QoS). QoS management is considered as monitoring function. Therefore, we establish the management model of control and information aspects to manage ATM layer which has resource control, Operation and Maintenance (OAM) functions for performance management and monitoring functions. In particular, we focus on the effective processing of reported performance information caused by the indication of QoS degradation being represented as "QoSAlarm". In order to perform these management activities, the manager can process problem reports of QoS degradation in the proposed manner which uses the priority concepts based on QoS classes. In this circumstance, it is possible to take recovery actions in a predetermined and limited time for managed objects with fault and performance problems.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2493-2502
• /
• 2011

For Static analysis of software code, an experienced tester prefer detecting defects with using selective static technique. Many cases of static method have been reported such as coding rules, software metrics, defect data, etc. However, many of analysis case only present effectiveness of static analysis, not enough description for how the tester judged to classify code defects used in code analysis and removed them properly for ensure high quality. Occasionally, there are materials to show the effect of through some examples through some examples. But difficult to gain trust, because of not enough detail for application process. In this paper, introduced the static technique commonly used in railway and applied to the real development challenges. And the each of results were compared and analyzed. It is hard to generalize the results of this parer. But can be used and referenced as a case of study.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.4
• /
• pp.252-260
• /
• 2005

In this research, case studies considering tunnel interface were conducted for zoning the ground into spatial area having similar geotechnical characteristics and estimating geotechnical properties for each area. The site for analysis consists of banded biotite gneiss, biotite schist and granite gneiss with spatial non-homogeneity, and for that reason weathering and fault zone were distributed with large scale. It's important thing to consider spatial ground zone and their geotechnical properties properly into stability analysis at design and construction stage. Also, in this studies, these analysis works are very useful for further decision making process by stability analysis.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.16 no.2
• /
• pp.173-182
• /
• 2003

In equivalent static nonlinear analysis and in energy-based design, the structures are generally transformed into an equivalent SDOF system. In this study the seismic energy demands in multi story structures, such as three-, eight-, and twenty-story steel moment-resisting frames(MRF), buckling restrained braced frames(BRBF) and a damage tolerant braced frame(DTBF), are compared with those of equivalent single degree of freedom(ESDOF) systems. Sixty earthquake ground motions recorded In different soil conditions, which are soft rock, soft soil, and neat fault, were used to compute the input and hysteretic energy demands in model structures. In case the modal mass coefficient is less than 0.8, the effects of higher modes are considered in the process of converting into ESDOF According to the analysis results, the hysteretic and input energies obtained from 3 story and 8 story MRF and DTBF agreed well with the results from analysis of equivalent SDOF systems. However in the 20 story BRBF the results from ESDOF underestimated those obtained from the original structures.

• Journal of Arbitration Studies
• /
• v.28 no.1
• /
• pp.77-97
• /
• 2018

The Court of Arbitration for Sport (CAS) has been adjudicating on sports-related disputes since 1984. CAS can be regarded as world supreme court for sports settling down about 4200 cases including doping issues. Doping disputes are generally processed by CAS Appeals division and Anti-Doping Division. An appeal against the decision by sports-related bodies may be filed with CAS Appeals Division. Doping issues concerning Olympic games are on Anti-Doping Division, introduced from 2016 Olympic games and invested with complete authority by IOC. The Award of Maria Sharapova finds a player is responsible if found to have committed any Anti-Doping Rule Violation regardless of his/her intention or fault. It offers detailed jurisprudence on imposing such a specific period of ineligibility in view of the totality of the circumstances. The award of Xinyi Chen also confirms the Strict Liability Rule on anti-doping disputes. The player appealed there could be either accidental contamination of drinks, or doping laboratories' mistakes that affected the test results. But, all of them were rejected. Though dealing with doping disputes in a timely manner is important for seasonal sports events like Olympic games, it is necessary to prepare the acceptable and fair process for the players in the future.