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

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.131-131
• /
• 2023

지하수는 담수-염수 경계면의 형성 및 변동 특성, 지하수위 분포 및 변동특성에 따라 기저지하수, 준기저지하수, 상위지하수 등으로 구분된다. 이 중, 기저지하수는 담수(1,000g/cm³)와 염수(1,025g/cm³)의 비중 차이에 의해 담수가 염수 상부에 Ghyben-Herzberg 원리에 의해 부존한다. 본 연구에서는 부존 형태에 따른 지하수위 변동을 보고자 하였다. 먼저 이상화된 지형에서 부존형태에 따른 지하수위 변동의 영향을 확인하고자, OpenGeoSys 모형을 이용하여 3차원 수치모의를 수행하였다. 그 결과 상위지하수의 지하수위보다 기저지하수 조건에서의 지하수위가 낮아진 것을 확인할 수 있었다. 이는 부존 형태의 차이로 인해 발생되는 담수-염수 비중 차이가 지하수위 변동에 영향을 미친다는 것을 파악할 수 있었다. 또한, 실제 지형에 적용하여 지하수위의 변동성을 분석하기 위해서, 제주 남부 중서귀 유역을 대상으로 수치모의를 수행하였다. 모형 검증은 범위 내 4개의 관측지점에서의 2022년 지하수위 자료를 이용하였다. 검증된 모델에 염분 농도 조건을 추가하여 기저지하수를 형성하여 모의를 수행했다. 따라서 본 연구는 부존 형태의 차이로 인해 발생되는 담수-염수 비중 차이가 지하수위에 끼치는 영향을 파악할 수 있었다. 향후, 상위지하수에서 염수가 침입했을 때, 수위 저하에 따라 감소되는 지하수위량을 예측할 수 있을 것이라 기대된다.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.105-113
• /
• 2009

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

• Proceedings of the ESK Conference
• /
• 1996.10a
• /
• pp.56-56
• /
• 1996

인간의 사고 기능과 학습기능이 '뇌'를 바탕으로 이루어진다고 할 때, 뇌의 긴장을 풀어 원래의 건강하고 창조적인 이완 상태에서의 학습 상태가 유효하게 된다. 즉, 뇌파가 " $\alpha$" 상태 가 되었을 때 긴장된 신체의 각 부분이 충분히 이완되고 두뇌는 맑고 건강한 상태를 유지하여 활발하고 창조적인 상태가 된다. 뇌파의 측정 및 분석된 기존 연구에 의하면, 인간의 심리상태와 신체 상태, 행동 패턴에도 직, 간접적인 영향을 주어 뇌파의 조절이 인간 잠재능력 개발의 첩경이라는 결과가 보고되어진다. 이러한 관점에서 본 연구에서는 뇌의 특성을 고려하여 뇌를 이완시킴으로써 학생들의 학습능력을 향상시키 기 위한 새로운 접근 방법을 시도한다. 뇌파 조절이 가해지는 환경하에 학습 효율의 변화 정도를 정성적( 심리적, 학습적, 신체적) 및 정량적(영어 단어 암기력 TEST, 뇌파 특정 등)으로 평가 및 분석을 통해 뇌파 조절 효과가 학생들의 학습 효율을 더욱 향상 시킬 수 있는 지의 타당성을 검증하고 그 결과를 바탕으로 새로운 학습 방법을 모색하고자 한다. 한편, 본 연구에서는 실험 대상을 본 대학 임의의 2학년 학생 13 명 을 대상으로 하고 실험기간은 약 4개월에 걸쳐 실험 하였다. 뇌파 측정은 13명중 임의의 학생 7명을 선정 하여 각 40분씩 측정 분석하였다. 또한 영어 단어 암기력 TEST를 실시하여 그 결과를 뇌파 조절 전,후로 나누어 비교 분석하였다. 정성적 분석으로서 종합 설문지를 이용한 15 개 항목의 5점 척도를 사용하여 분석하였으며 가가 통계 이론을 이용하여 검증하였다. 뇌파 측정은 수행 전후 비교 결과 " .alpha. " 노출 비율이 수행 전보다 수행 후가 다소 높은 비유로 나타났으며, 특히 영어 단어 암기력은 평균적으로 크게 상승되는 것으로 나타났다. 정성적 분석 결과에서는 많은 심리적 변화 상태가 나타나고 있지만 전체적으로 마음의 안정감, 몸의 긴장 이완에 따른 건강 상태 유지, 수업 집중도 향상 등이 나타났다. 위와 같은 종합 적 분석 결과에 따라, 본 연구는 제조 현장의 생산성 향상 및 품질 향상과 연계하여 작업자의 작업 집중도 향상, 작업자의 육체적, 심리적 변화에 따른 생산성 및 품질 향상 변화 정도 등의 산업공학(인간공학) 제 분야의 여러 측면에서 연구 및 적용이 가능하리라 사료된다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.9
• /
• pp.275-284
• /
• 2016

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.291-291
• /
• 2018

하천 및 수자원의 효율적인 관리와 더불어 다양한 수공구조물의 운영 및 관리를 위해서 구조물 주변에서 발생하는 불연속 흐름 및 급변류 등의 현상과 구조물 운영을 반영한 수치해석 기법을 이용한 모델 개발의 중요성이 커지고 있다. 본 연구에서는 하천의 불연속 흐름을 모의하기 위한 1차원 흐름해석 모형(K-River)을 개발하였다. 본 모형은 천이류와 급변류를 수치적으로 안정하게 처리하기 위하여 지배방정식을 보존형 Saint-Venant 방정식으로 선정하고, FVM과 Forward Euler 방법을 이용하여 이산화를 수행하였다. 수치흐름률을 계산하기 위해서 불규칙 단면과 하상의 급경사 등에 신뢰도가 높은 기법으로 판단되는 근사 Riemann해법 중 하나인 HLL flux를 이용하였다. 개발된 K-river 모형의 검증을 위해서 해석해가 존재하는 타원형의 하상융기가 있는 하도에 적용하였으며, 국내에서 하천 설계 및 관리를 위해서 광범위하게 이용되고 있는 1차원 흐름해석 모형인 FDM기반의 HEC-RAS 모의결과와 비교 검토를 수행하였다. 그 결과, FDM기법에서는 모의되지 않는 일부 급변류 패턴을 개발 모형을 통해 모의가능하였으며, 전체적으로 K-River가 기존 모형 보다 해석해에 근사한 결과를 나타내었다. 또한, 배수문을 비롯하여 합류부, 분류부, 펌프장, 암거 등이 설치되어 운영되고 있는 아라뱃길에 적용하여 K-River의 적용성을 평가하였다. K-River를 이용하여 아라뱃길의 흐름분석을 수행한 경우가 HEC-RAS를 이용한 경우보다 수위와 유량의 유동을 시간에 따라 세밀하게 모의하였으며, 이는 배수효과에 의한 파의 전달이 FDM기법 대비 정확히 모의되기 때문으로 판단된다. 추후 연구에서는 현재보다 시간간격을 상세화 하여 수집된 관측수위를 통해 추가적인 검증을 수행하고, 다양한 특성을 가진 타 하천 등에 적용하여 모형의 적용성을 확대하고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.220-220
• /
• 2021

2020년 장마는 6월 중순부터 8월 중순까지 전국적으로 평균 687 mm의 강수가 내려, 1973년 이후 역대 2위 강수량을 기록하였으며, 연이은 태풍으로 큰 인명 및 재산 피해가 발생하였다. 특히, 섬진강 및 한탄천 등에서 계획홍수위를 초과하는 홍수로 인해 상당수의 제방이 월류로 인해 붕괴된 것으로 나타났다. 따라서, 향후 기후변화에 따른 연평균 강수량이 증가할 것으로 전망되는 가운데 집중호우로 인한 제방 붕괴 피해를 최소화하기 위한 고도화된 기술 개발을 통한 선제적 재발 방지대책이 필요한 시점이다. 한국건설기술연구원은 바이오폴리머라는 새로운 친환경 신소재를 이용하여 제방의 안정성 평가 기술 개발 연구를 수행하고 있다. 이에 안동하천연구센터에서는 실규모에 준하는 제방모형(높이 3 m, 사면경사 1:2, 길이 10 m 이상)을 제작하고, 제방 표면에 바이오폴리머 신소재를 처리하여 전방 월류 흐름 유도에 따른 실규모 제방붕괴실험을 수행하였다. 또한, 신소재 보강 및 무보강 조건에 따른 영상분석 기반 붕괴지연효과를 정량적으로 분석하여 신소재의 성능을 평가하였다. 하지만, 기존에 수행된 실험은 댐 붕괴 흐름과 같이 홍수파가 발생하여 제내지로 퍼져 나가는 형태로 진행되어, 보강공법의 검증에 있어 실제 하천에서 발생하는 횡월류 흐름을 재현하지 못한다는 한계를 가지고 있다. 본 연구에서는 횡월류 흐름(0.6 m³/s 이상)을 발생시켜 수리실험에 따른 축척효과(scale effect)를 최소화하고, 현장에 대한 충분한 자연성을 재현하는 것을 목표로 하여 실험을 수행하였다. 실험 조건은 1) 신소재가 처리된 식생 제방, 2) 신소재가 처리되지 않은 식생 제방으로 각각의 조건에 따른 횡월류 흐름 및 제방 붕괴를 유도하여 영상분석 기법(이미지 픽셀분석 및 3D 포인트 클라우드 모델링)을 통한 침식 저항에 관한 분석결과를 제시하였다.

• Journal of the Korean Geotechnical Society
• /
• v.18 no.4
• /
• pp.257-270
• /
• 2002

The Impact-Echo(IE) method has been used to evaluate the integrity of concrete structures. In this method, the P-wave velocity of concrete is a crucial parameter in determining the thickness of concrete lining, the location of cracks or other defects. In many field applications of the IE method, the P-wave velocity is obtained by testing the core or the portion of a structure where the exact thickness is known. Occasionally, however, the core can not be obtained in specific structures and the P-wave velocity determined from core testing may not be a representative value of the structure. This study introduces an IE-SASW method that may determine the P-wave velocity on a surface of each testing area using the Spectral Analysis of Surface Wave (SASW) method. Results obtained from numerical studies are presented in this paper (Part I), and results obtained from experimental studies are presented in the companion paper (Part II). In this paper, numerical analyses using ABAQUS were carried out to investigate the effectiveness and the limitations of the IE-SASW method.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.27 no.4
• /
• pp.265-271
• /
• 2014

304L stainless steel sheets are used as a primary barrier for the insulation of membrane-type liquefied natural gas(LNG) carrier cargo containment system. 304L stainless steel is a transformation-induced-plasticity(TRIP) steel that exhibits complex material behavior, because it undergoes phase transformation during plastic deformation. Since the TRIP behavior is very important mechanical characteristics in a low-temperature environment, significant amounts of data are available in the literature. In the present study, a uniaxial tensile test for 304L stainless steel was performed to investigate nonlinear mechanical characteristics. In addition, a viscoplastic model and damage model is proposed to predict material fractures under arbitrary loads. The verification was conducted not only by a material-based comparative study involving experimental investigations, but also by a structural application to the LNG membrane of a Mark-III-type cargo containment system.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.2
• /
• pp.9-14
• /
• 2022

In this study, we propose a method for moving a device such as a flexible air sculpture while stably maintaining the user's desired posture. To accomplish this, a robot system with a structure of a mobile robot capable of running according to a given trajectory was studied by applying the PI algorithm and horizontal maintenance posture control using IMU. The air sculptures used in this study often use thin strings in a fixed posture. Another method is to put a load on the center of gravity to maintain the posture, and it is a system with flexibility because it uses air pressure. It is expected that these structures can achieve various results by combining flexible structures and mobile robots through the convergence process of digital sensor technology. In this study, posture control was performed by fusion of the driving technology of AGV(Automatic Guided Vehicle),, a field of robot, and technologies applying various sensors. For verification, the given performance evaluation was performed through an accredited certification test, and its validity was verified through an experiment.