• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.03b
• /
• pp.199-206
• /
• 2000

The grout-effect evaluation of the ground reinforcement technique, which has been widely applied to civil engineering and construction fields, is not established for the guidelines of choosing the efficient evaluation method, and in fact the experts have little effort to determine the reinforcement effect quantitatively. The evaluation of the grout was carried out by experiments on core specimen and drilling, which is impossible to evaluate grout-reinforcement effect quantitatively. This paper presents an example on verification of FRP grout-effect using geophysical prospecting on ground surface, which is 2D resistivity survey that easily visualize survey results with color graphics and seismic refraction method that interprets the subsurface seismic velocity structure.

• Special Issue of the Society of Naval Architects of Korea
• /
• 2005.06a
• /
• pp.44-50
• /
• 2005

Since a cavitation pattern in model scale can be different from that in full scale, it has been highly demanded to measure a fluctuating pressure induced by propeller in full scale. For the verification of the cavitation test for 105K lanker in the large cavitation tunnel in Samsung Ship Model Basin(SSMB), an effective pressure fluctuation measurement system was developed and a series of full scale measurements was carried out. These results were compared with those of cavitation tests in SSMB. The measured results in full scale gave good agreements to those in model tests. The fluctuating pressure at $2^{nd}$ blade frequency in full scale seems to be highly dependent upon tip loading.

• Journal of Navigation and Port Research
• /
• v.45 no.4
• /
• pp.181-185
• /
• 2021

This study deals with the development of a phrase buoy control system that can receive and analyze phrase information using an IoT-based communication network to determine whether a phrase is normal or missing, to manage the current state of the phrase, check the status of the phrase in case of abnormal conditions in the phrase, and conduct management of the phrase. The fishing gear management system and integrated control structure design using an IoT-based communication network were developed, and a system test and verification were carried out to verify the effectiveness of the system.

• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Journal of the Korean Society of Safety
• /
• v.30 no.4
• /
• pp.99-105
• /
• 2015

In this study, displacement estimation algorithm, which is not requiring an absolute reference point unlike the conventional displacement measurement method, is developed using the geophone. To estimate displacement of the bridge, measured velocity time signal is integrated in the frequency domain. And, the estimated displacement is compared with the measured result using a conventional method. Based on the dynamic field test results, it was found that the estimated displacement by the present algorithm is similar to that of a conventional method. The displacement estimation algorithm proposed in this paper can be effectively applied to measure the displacement of a structure, which is difficult to install a displacement transducer at the fixed point.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.114-122
• /
• 2015

In a fire hazard analysis (FHA) for nuclear power plant, various electrical circuit analyses are performed in the parts of fire loading analysis, fire modeling analysis, separation criteria analysis, associated circuit analysis, and multiple spurious operation analysis. Thus, electrical circuit analyses are very important areas so that reliability of the analysis results should be assured. This study is to establish essential electrical elements for each analysis for verification of the reliability of the electrical circuit analyses in the fire hazard analysis for nuclear power plants. Applying the results derived by the study to domestic nuclear power plants, it is expected to determine the adequacy of the fire hazard analysis report and contribute to the reliability of the fire hazard analysis of those plants.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.10a
• /
• pp.373-376
• /
• 2007

This paper presents dynamic (on-line) signature verification using direction and speed information as feature information. We describe a detail method of the adjusted constant(W) in the suggested DTW for the speed between adjacent two points.

• The Journal of the Korean life insurance medical association
• /
• v.27 no.2
• /
• pp.68-74
• /
• 2008

Medical verification of cancer diagnosis in insurance claims is a very important procedure in insurance administrations. Claims staffs are in need of medical experts' opinions about claim administration. This procedure is called medical claim review (MCR) and is composed of verification and advice. MCR verification evaluates the insured’s physical condition by medical records and compares it with product coverage. It is divided into assessment of living assurance benefit, verification of cancer, and assessment of the cause of death. Actually cancer verification of MCR is applicable to coding because the risk ratio in product development is usually coded data. There are some confusing neoplastic diseases in assessing the verification of cancer. This article reviews gastrointestinal stromal tumors (GIST) and mucosa-associated lymphoid tissue tumors (MALToma) of the stomach. The second most common group of stromal or mesenchymal neoplasms affecting the gastrointestinal tract is GIST. Nowadays there are many articles about the pathophysiology of GIST. However there are few confirmative theories except molecular cell biology of KIT mutation and some tyrosine kinase. Therefore, coding the GIST, which has previously been classified as an intermediate risk group according to NIH2001 criteria, for cancer verification of MCR is suitable for D37.1; neoplasm of uncertain or unknown behavior of digestive organs and the stomach. The gastrointestinal tract is the predominant site of extranodal non-Hodgkin's lymphomas. B-cell lymphomas of the MALT type, now called extranodal marginal zone B-cell lymphoma of MALT type in the REAL/WHO classification, are the most common primary gastric lymphomas worldwide. Its characteristics are as follows. First, it is different from traditional stomach cancers such as gastric adenocarcinoma. Second, the primary therapy of MALToma is the eradication of H. pylori by antibiotics and the remission rate is over 80%. Third, it has a different clinical course compared to traditional malignant lymphoma. Someone insisted that cancer verification is not possible for the above reasons. However, there have been findings on pathologic mechanism, and according to WHO classification, MALToma is classified into malignant B-cell lymphoma and it must be verified as malignancy in MCR.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1966-1971
• /
• 2004

As the remote sensing satellite technology grows, the acquisition of accurate attitude and position information of the satellite has become more and more important. Due to the data processing limitation of the on-board orbit propagator and attitude determination algorithm, it is required to develop much more accurate orbit and attitude determination, which are so called POD (precision orbit determination) and PAD (precision attitude determination) techniques. The sensor and attitude dynamics simulation takes a great part in developing a PAD algorithm for two reasons: 1. when a PAD algorithm is developed before the launch, realistic sensor data are not available, and 2. reference attitude data are necessary for the performance verification of a PAD algorithm. A realistic attitude dynamics and sensor (IRU and star tracker) outputs simulation considering their physical characteristics are presented in this paper, which is planned to be used for a PAD algorithm development, test and performance verification.