• Tunnel and Underground Space
• /
• v.20 no.2
• /
• pp.82-91
• /
• 2010

Grouting technology is one of the ground improvement methods used in water controlling and reinforcement of rock mass in underground structure construction. It is necessarily required to find out the characteristics of grout flow through discontinuities in a rock mass for an adequate grout design and performance assessment. Laminar flow is not always applicable in simulating a grout flow in a rock mass, since the rock joints usually have apertures at a micro-scale and the flow through these joints is affected by the joint roughness and the velocity profile of the flow changes partially near the roughness. Thus, the influence of joint roughness and aperture on the grout flow in rough rock joint was numerically investigated in this study. The commercial computational fluid dynamics code, FLUENT, was applied for this purpose. The computed results by embedded Herschel-Bulkley model and VOF (volume of fluid) model, which are applicable to simulate grout flow in a narrow rock joint that is filled with air and water, were well compared with that of analytical results and previously published laboratory test for the verification. The injection pressure required to keep constant injection rate of grout was calculated in a variety of Joint Roughness Coefficient (JRC) and aperture conditions, and the effect of joint roughness and aperture on grout flow were quantified.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.36 no.1
• /
• pp.35-44
• /
• 2016

Seed viability is one of the most important parameters that is directly related with seed germination performance and seedling emergence. In this study, a hyperspectral imaging (HSI) system having a range of 1000-2500 nm was used to classify viable watermelon seeds from nonviable seeds. In order to obtain nonviable watermelon seeds, a total of 96 seeds were artificially aged by immersing the seeds in hot water ($25^{\circ}C$) for 15 days. Further, hyperspectral images for 192 seeds (96 normal and 96 aged) were acquired using the developed HSI system. A germination test was performed for all the 192 seeds in order to confirm their viability. Spectral data from the hyperspectral images of the seeds were extracted by selecting pixels from the region of interest. Each seed spectrum was averaged and preprocessed to develop a classification model of partial least square discriminant analysis (PLS-DA). The developed PLS-DA model showed a classification accuracy of 94.7% for the calibration set, and 84.2% for the validation set. The results demonstrate that the proposed technique can classify viable and nonviable watermelon seeds with a reasonable accuracy, and can be further converted into an online sorting system for rapid and nondestructive classification of watermelon seeds with regard to viability.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.27 no.4
• /
• pp.305-312
• /
• 2007

Among many types of light rail transits (LRT), the rubber-tired automated guide-way transit (AGT) is prevalent in many countries due to its advantages such as good acceleration/deceleration performance, high climb capacity, and reduction of noise and vibration. However, AGT is generally powered by high-voltage electric power feeding system and it may cause electromagnetic interference (EMI) to measurement sensors. The fiber optic sensor system is free from EMI and has been successfully applied in many applications of civil engineering. Especially, fiber Bragg grating (FBG) sensors are the most widely used because of their excellent multiplexing capabilities. This paper investigates a prestressed concrete girder bridge in the Korean AGT test track using FBG based sensors to monitor the dynamic response at various vehicle speeds. The serviceability requirements provided in the specification are also compared against the measured results. The results show that the measured data from FBG based sensors are free from EMI though electric sensors are not, especially in the case of electric strain gauge. It is expected that the FBG sensing system can be effectively applied to the LRT railway bridges that suffered from EMI.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.35 no.3
• /
• pp.187-194
• /
• 2017

The present study introduces a method to parallelize k-means clustering algorithm for fast unsupervised classification of large satellite imagery. Known as a representative algorithm for unsupervised classification, k-means clustering is usually applied to a preprocessing step before supervised classification, but can show the evident advantages of parallel processing due to its high computational intensity and less human intervention. Parallel processing codes are developed by using multi-threading based on OpenMP. In experiments, a PC of 8 multi-core integrated CPU is involved. A 7 band and 30m resolution image from LANDSAT 8 OLI and a 8 band and 10m resolution image from Sentinel-2A are tested. Parallel processing has shown 6 time faster speed than sequential processing when using 10 classes. To check the consistency of parallel and sequential processing, centers, numbers of classified pixels of classes, classified images are mutually compared, resulting in the same results. The present study is meaningful because it has proved that performance of large satellite processing can be significantly improved by using parallel processing. And it is also revealed that it easy to implement parallel processing by using multi-threading based on OpenMP but it should be carefully designed to control the occurrence of false sharing.

• Journal of Energy Engineering
• /
• v.8 no.4
• /
• pp.592-604
• /
• 1999

The steady state and dynamic characteristics of large cell area MCFC stacks were analyzed to solve the problems such as temperature difference generated in stacks and pressure difference between anode and cathode. Manipulated variables (current density, duel utilization rate, oxidant utilization rate) and controlled variables (temperature difference, anode and cathode pressure difference) which had an important effect on the MCFC stack performance were determined using operation results of two types of MCFC stacks (5kW (3,000 $\textrm{cm}^2$, 20 ea). 3kW (6,000 $\textrm{cm}^2$, 5ea)). The stability and transfer function representing system dynamics were obtained by steady state gain rate which showed the relative change between MVs and CVs. The transfer function was a 3$\times$3 matrix and a typical first order system without time delay. The optimal operating condition of large cell area MCFC stacks could be determined by analyzing dynamic characteristics. In case of a 5 kW MCFC stack, pressurized operation with recycle flow should be used to control the outlet temperature less than 68$0^{\circ}C$ and to control the MCFC system effectively. MIMO control or decoupler should be used to remove the interaction between MVs and CVs. This result will be used as important data in determining the control structure design and operation mode of large cell area MCFC systems in the future.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.401-406
• /
• 2016

When measuring live cable faults and their location based on reflectometry, a coupler is placed between the cable and the test system. This coupler prevents damage to the test circuits by indirectly measuring the live voltage of the cable using reflectometry. It also provides a coupling path that allows the transmission and receive signal to pass into the cable. In this study, we design and construct a contact coupler to locate faults in both dead and live cables using reflectometry. The proposed coupler is of the inductive coupling type and is constructed after the calculation of the signal transmission loss by simulation. The performance of the developed coupler is tested by measuring the transmission loss and frequency flatness. The results showed that the transmission signal loss is less than -1.98dB in the frequency bandwidth above 1 Mhz. The reflectometry system was designed based on sequence time domain reflectometry (STDR) and spread spectrum time domain reflectometry (SSTDR) in order to apply it to the detection of faults and their location in live cables and tests on live cables were performed. The test results showed that the proposed coupler can be used in a reflectometry system for live cable fault detection.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.4
• /
• pp.21-26
• /
• 2017

In this study, performance tests were conducted to investigate the applicability of a double-tube heat recovery ventilation system. Paper, aluminum, polymer, were investigated as materials for the inner tube using the same exhaust-air volume. In all cases, the temperature exchange efficiency of the aluminum tube was the highest, while the paper tube showed similar results to those of the polymer tube. This probably resulted from the differences in thermal conductivity and thicknesses of the materials. The humidity exchange efficiency was the highest for the paper tubes in all cases, while the aluminum tubes and polymer tubes showed similar results. The total heat exchange efficiency, which includes the values of humidity exchange and temperature exchange, was highest in the case of the paper tube, and the aluminum tube and the polymer tube showed similar results. In the case of the paper tube, sensible heat and latent heat exchange occur at the same time, and the coefficient of energy of the aluminum tube and polymer tube are large values, when to be compared with only applicably sensible heat exchange coefficient of the aluminum tube and the polymer tube of total heat exchange efficiency value. The results of this study could be applied to the design of a ventilation system.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.7
• /
• pp.221-228
• /
• 2020

Part-of-Speech (POS) tagged corpus is a collection of electronic text in which each word is annotated with a tag as the corresponding POS and is widely used for various training data for natural language processing. The training data generally assumes that there are no errors, but in reality they include various types of errors, which cause performance degradation of systems trained using the data. To alleviate this problem, we propose a novel method for detecting errors in the existing POS tagged corpus using the classifier of XGBoost and cross-validation as evaluation techniques. We first train a classifier of a POS tagger using the POS-tagged corpus with some errors and then detect errors from the POS-tagged corpus using cross-validation, but the classifier cannot detect errors because there is no training data for detecting POS tagged errors. We thus detect errors by comparing the outputs (probabilities of POS) of the classifier, adjusting hyperparameters. The hyperparameters is estimated by a small scale error-tagged corpus, in which text is sampled from a POS-tagged corpus and which is marked up POS errors by experts. In this paper, we use recall and precision as evaluation metrics which are widely used in information retrieval. We have shown that the proposed method is valid by comparing two distributions of the sample (the error-tagged corpus) and the population (the POS-tagged corpus) because all detected errors cannot be checked. In the near future, we will apply the proposed method to a dependency tree-tagged corpus and a semantic role tagged corpus.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.2
• /
• pp.127-136
• /
• 2012

Many research of hand gesture recognition based on vision system have been conducted which enable user operate various electronic devices more easily. 3D position calculation and meaningful gesture classification from similar gestures should be executed to recognize hand gesture accurately. A simple and cost effective method of 3D position calculation and gesture spotting (a task to recognize meaningful gesture from other similar meaningless gestures) is described in this paper. 3D position is achieved by calculation of two cameras relative position through pan/tilt module and a marker regardless with the placed position. Fuzzy garbage model is proposed to provide a variable reference value to decide whether the user gesture is the command gesture or not. The reference is achieved from fuzzy command gesture model and fuzzy garbage model which returns the score that shows the degree of belonging to command gesture and garbage gesture respectively. Two-stage user adaptation is proposed that off-line (batch) adaptation for inter-personal difference and on-line (incremental) adaptation for intra-difference to enhance the performance. Experiment is conducted for 5 different users. The recognition rate of command (discriminate command gesture) is more than 95% when only one command like meaningless gesture exists and more than 85% when the command is mixed with many other similar gestures.