• 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.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.1
• /
• pp.34-43
• /
• 2000

Replicated data that is used for fault tolerant distributed system requires replica control protocol to maintain data consistency. The one of replica control protocols is quorum consensus method which accesses replicated data by getting majority approval. If site failure or communication link failure occurs and any one can't get quorum consensus, it degrades the availability of data managed by quorum consensus protocol. So it needs for ghost to replace the failed site. Because ghost is not full replica but process which has state information using meta data, it is important to simplify meta data. In order to maintain availability and simplify meta data, we propose a method to use cohort set as ghost's meta data. The proposed method makes it possible to organize meta data in 2N+logN bits and to have higher availability than quorum consensus only with cohort set and dynamic linear voting protocol. Using Markov model we calculate proposed method's availability to analyze availability and compare it with existing protocols.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.12
• /
• pp.610-617
• /
• 2007

Incremental checkpointing, which is intended to minimize checkpointing overhead, saves only the modified pages of a process. However, the cumulative site of incremental checkpoints increases at a steady rate over time because a number of updated values may be saved for the same page. In this paper, we present a comprehensive overview of Pickpt, a page-level incremental checkpointing facility. Pickpt provides space-efficient techniques aiming to minimizing the use of disk space. For our experiments, the results showed that the use of disk space using Pickpt was significantly reduced, compared with existing incremental checkpointing.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.8
• /
• pp.239-245
• /
• 2018

The importance of reliability in the development of weapons systems and reliability tests has been emphasized recently. Therefore, this study evaluated a reliability test design method of a bladder type accumulator and proposed a process for reliability test design. To design the reliability test of the accumulator, the main failure modes and failure mechanisms were investigated, and the main stress factors were analyzed to select the appropriate acceleration model. A steady - state reliability test was designed according to the number of samples, and the reliability level and accelerated life test time were calculated according to the acceleration factor computed using the selected acceleration model.