nglaura/koreascience-summarization huggingface dataset:
태양광 발전은 일사량만 있으면 전기에너지를 얻을 수 있기 때문에, 새로운 에너지 공급원으로 용도가 급증하고 있다. 본 논문은 실제 태양광 발전 시스템의 컨버터 출력을 이용하여 장단기 출력 예측을 하였다. 예측 알고리즘은 다중선형회귀와 머신러닝의 지도학습 중 분류모델인 서포트 벡터 머신 그리고 DNN과 LSTM 등 딥러닝을 이용하였다. 또한 기상요소의 입출력 구조에 따라 3개의 모델을 이용하였다. 장기 예측은 월별, 계절별, 연도별 예측을 하였으며, 단기 예측은 7일간의 예측을 하였다. 결과로서 RMSE 측도에 의한 예측 오차로 비교해 본 결과 다중선형회귀와 SVM 보다는 딥러닝 네트워크가 예측 정확도 측면에서 더 우수하였다. 또한, DNN 보다 시계열 예측에 우수한 모델인 LSTM이 예측 정확도 측면에서 우수하였다. 입출력 구조에 따른 실험 결과는 모델 1보다 모델 2가 오차가 적었으며, 모델 2보다는 모델 3이 오차가 적었다.

Solar photovoltaic can provide electrical energy with only radiation, and its use is expanding rapidly as a new energy source. This study predicts the short and long-term PV power generation using actual converter output data of photovoltaic system. The prediction algorithm uses multiple linear regression, support vector machine (SVM), and deep learning such as deep neural network (DNN) and long short-term memory (LSTM). In addition, three models are used according to the input and output structure of the weather element. Long-term forecasts are made monthly, seasonally and annually, and short-term forecasts are made for 7 days. As a result, the deep learning network is better in prediction accuracy than multiple linear regression and SVM. In addition, LSTM, which is a better model for time series prediction than DNN, is somewhat superior in terms of prediction accuracy. The experiment results according to the input and output structure appear Model 2 has less error than Model 1, and Model 3 has less error than Model 2.

(게재일: 2019.12.30)
전파 신호를 이용한 위치 추정 방법은 3개 이상의 앵커로부터 거리 측정치를 획득하여야 한다. 하지만 일반적인 건물은 좁고 기다란 복도와 모퉁이로 구성되어 있어 3개 이상의 가시 앵커를 확보하기 쉽지 않으며, 이로 인해 멀티 모달 솔루션이 발생하여 사용자의 위치를 추정하기가 어렵다. 이러한 문제를 극복하기 위해 본 논문에서는 인공신경망을 이용하여 위치를 추정하는 방법을 제안한다. 인공신경망을 이용하면 멀티 모달 솔루션이 발생하더라도 축적된 거리 측정치를 기반으로 사용자 이동 패턴 정보를 획득하여 위치를 추정할 수 있다. 해당 방법은 추가적인 장비나 센서가 필요치 않으며 오직 앵커 기반의 거리 측정치만으로 위치를 추정할 수 있다. 제안된 방법을 검증하기 위해 건물 내에 충분하지 않은 수의 앵커를 설치하여 멀티 모달 솔루션을 발생시킨 상황에서 위치 추정 테스트를 수행하였다. 그 결과 앵커의 수가 충분치 않은 상황에서도 위치를 추정할 수 있음을 확인하였다.

Localization methods using radio signals should obtain range measurements from three or more anchors. However, a typical building consists of narrow, long hallways and corners, making it difficult to secure more than three light of sight anchors. The result is a multi-modal solution that makes it difficult to estimate the user's location. In order to overcome this problem, this paper proposes a method for estimating the location using artificial neural networks. Using the artificial neural network, even if a multi-modal solution occurs, the position can be estimated by acquiring user movement pattern information based on accumulated range measurements. The method does not require any additional equipment or sensors, and only anchor-based range measurements can estimate the user's location. In order to verify the proposed method, location estimation tests were performed in situations where the multi-modal solution occurred by installing an insufficient number of anchors in a building. As a result, it was confirmed that the location can be estimated even when the number of anchors is insufficient.

(게재일: 2019.12.30)
WBAN (wireless body area network)은 비정상적인 건강 상태, 실시간 의료 모니터링, 원격 의료 지원 시스템을 조기에 탐지할 수 있는 네트워킹 기술이다. 최근에 이슈가 되고 있는 건강 관리를 위한 사물 인터넷 (IoT; internet of things)은 인간의 삶의 질을 향상시키는 데 가장 유망한 분야 중에 하나이다. 이것은 다른 통신 시스템과 마찬가지로 의료 통신 시스템의 높은 QoS (quality of service)요구사항을 만족해야 한다. 따라서 WBAN 통신 시스템의 QoS 요구 사항을 수용하기 위해 오류율 (BER; bit error rate) 임계 값을 선택하였다. 본 논문에서는 IR-UWB PPM 변조 방식을 이용한 WBAN 채널의 BER 성능을 계산하고 WBAN의 링크 버짓과 시스템 마진을 다양한 시스템 파라미터에 따라 분석하였다.

Wireless body area network (WBAN) is a networking technology that enables early detection of abnormal health conditions, real-time medical monitoring, and telemedicine support systems. The internet of things (IoT) for healthcare, which has become an issue recently, is one of the most promising areas for improving the quality of human life. It must meet the high QoS requirements of the medical communication system like any other communication system. Therefore, the bit error rate (BER) threshold was chosen to accommodate the QoS requirements of the WBAN communication system. In this paper, we calculated BER performance of WBAN channel using IR-UWB PPM modulation and analyzed link budget and system margin of WBAN according to various system parameters.

(게재일: 2019.12.30)
본 논문은 국제민간항공기구(ICAO) 국제기준에 부합하기 위하여 항공교통관제사에 대한 피로위험관리시스템(FRMS)의 도입 및 시행을 앞두고 과학 데이터 기반에 근거하여 우리에 적합한 FRMS 구축을 위한 규범적 대안을 제시하고자 한다. 따라서 현행 국내운영기준에 대하여 항공관제기관별 운영을 확인하고, 해외 각국의 항공교통관제 기관별 운영 방식과 기준을 비교·검토하였다. 우리나라의 관제사는 주/야 최대 근무시간 10시간, 최소휴식 8시간, 주 40시간으로 규정하고 있다. 현재 항공교통관제기관의 경우의 주간의 경우는 기준시간과 적합한 근무를 하나, 야간의 경우는 평균적으로 5.9시간을 초과한다. 그리고 주 40시간 경우 평균적 15.7시간의 초과근무를 하고 있다. 이러한 야간 근무시간 조정 방법으로 인원보충에 의한 적절한 야간 근무시간 배분과 더불어 근무교대 방식이 1일 2교대(주/야) 방법이 아닌 개인 schedule에 따른 근무자 투입 방식의 형태를 다양하게 함으로써 이를 해결하여 나갈 수 있을 것을 제안하고자 한다.

This paper presents a prescriptive alternative for establishing a FRMS suitable for us based on scientific data ahead of the introduction and implementation of the FRMS for air traffic controllers in order to meet the International Civil Aviation Organization (ICAO) international standards. I would like to present. Therefore, we confirmed the operation of each air traffic control agency against the current domestic operating standards, and compared and reviewed the operation methods and standards of air traffic control agencies in each country. The controller in Korea defines 10 hours of working hours per day, 8 hours of minimum breaks, and 40 hours per week. Currently, in the case of air traffic control agencies, the daytime and the appropriate working hours are used in the daytime, but in the nighttime, the average time exceeds 5.9 hours. In the case of 40 hours a week, they work an average of 15.7 hours overtime. By adjusting the nighttime work time, this work can be solved by diversifying the form of the worker's input method according to the personal schedule rather than the two-day (day / night) method, as well as the appropriate nighttime time distribution by supplementing the personnel.

(게재일: 2019.12.30)
원전에서 각종 전자카드는 시간에 경과함에 따라 열화가 되므로 이에 대한 대책이 필요하다. 이 열화 카드들 중에서 노외중성자감시시스템의 카드들은 방사선원의 레벨에서 발생되는 중성자속을 총 원자로출력의 200%까지 연속적으로 감시하게 되는데, 원자로출력이 낮을 때의 경우와 높을 때의 경우의 출력감시신호처리 방법이 달라야 한다. 원자로 출력이 낮을 때는 대수적으로 발생되는 펄스신호를 선형적으로 계수하여 신호처처리를 해야 되지만, 원자로 출력이 커지게 되면 통계이론에 의한 방법으로 처리해야 정확한 값을 얻을 수 있기 때문이다. 이때 전자카드가 열화되는 것이 문제가 된다. 따라서, 본 연구에서는 저출력일 때와 고출력일 때의 신호처리 방법을 달리하여 일정한 기준에 의한 원자로의 출력레벨에서 이를 저출력에서 고출력으로 전환하기 위한 열화 입력선택회로를 개발하였다. 개발된 선택회로의 신뢰성을 확인하기 위하여 원전에서 사용되는 실제의 데이터값을 적용하여 테스트하였으며, 그 결과를 분석하여 선택회로의 정당성을 입증하였다.

Excore Nuclear Flux Monitoring System in Nuclear Power Plant monitors continuous reactor power up to maximum 200%. The monitoring method, however, has to be different depending on the reactor power level. Because the logarithmic pulse signals must be counted and processed exactly due to large uncertainty if their levels are low, on the other hand, they must be processed through statistical methodolgies if theirs are high to get exact monitoring values, in point of thermal degradation view. Therefore, we developed thermal degradation input signal selection circuit to transfer low level reactor power monitoring circuit to high level reactor power circuit at rated value in this paper. We proved their validities through testing them using real data used in nuclear power plant and analyzed their results. And, These methods will be used to measure the neutron level of excore nuclear flux monitoring system in nuclear power plant.

(게재일: 2019.12.30)
기존 항행안전시설 지상점검의 한계점을 극복하기 위해서 한국공항공사는 항행안전시설 점검용 드론시스템을 개발하였다. 드론시스템을 이용한 항행안전시설 점검은 사용자(항공기) 입장에서 공중 전파신호를 점검할 수 있다 장점이 있다. 또한 드론은 항공기와 비교하여 비행경로가 자유롭고 비행속도의 제어가 용이하기 때문에 공중 전파신호를 보다 면밀히 점검할 수 있다. 최근 공항주변개발의 가속화에 따라 항행안전시설 전파신호의 품질저하에 대한 우려가 고조되고 있다. 이에 따라, 항행안전시설 전파왜곡현상을 분석하기 위해 드론을 활용한 전파환경조사를 진행하였다. 드론의 비행경로별 신호수신 시 항행전파신호가 왜곡되는 구간을 측정·분석하여 반사파가 발생되는 원점을 특정화하였다.

To overcome the limitation of ground inspection for Navigational Aid, Korea Airport Corporation (KAC) developed a drone system for Navigational Aid inspection. This drone system has the advantage that they can inspect the air radio signal at the perspective of user (aircraft). Since drones have more free flight paths and easier control of flight speeds compared to aircrafts, drones can check sections of suspected airborne radio wave distortions at desired paths and speeds. Recently, with the acceleration of the development around the airport, there is a concern about the deterioration of the quality of radio signal of Navigational Aid. In order to analyze radio distortion of Navigational Aid, a radio wave environmental survey was conducted using drones. When the signal received by each flight path of the drone was measured, the origin of the reflected wave was identified by analyzing the section in which the radio signal was distorted.

(게재일: 2019.12.30)
음이 아닌 입력에 대하여 음이 아닌 초기상태에서 출발한 모든 상태변수 값들이 시간에 대하여 항상 음이 아닌 값을 유지하는 시스템은 양의 시스템으로 정의된다. 본 논문에서는 상태변수에 시변 지연시간과 비구조화된 불확실성이 함께 존재하는 양의 시변 선형 이산 구간 시스템의 안정조건을 새롭게 제안한다. 시변 지연시간은 변동가능한 최소와 최대 지연시간 범위 내에서 변하는 것으로 고려되며, 불확실성은 비선형성을 포함하여 그 최대 크기만을 알 수 있는 것으로 고려한다. 제안된 안정조건은 이전의 결과들이 시불변시스템에만 적용되었거나 불확실성에 대한 고려가 없었던 것을 개선한 것으로 매우 간단한 부등식의 형태로 표현된다. 안정조건은 리아프노프 안정이론을 이용하여 유도되며, 리아프노프 방정식의 상한 해 한계(upper solution bound)를 이용한 기존 결과에 비하여 많은 장점을 갖는다. 제안된 안정조건은 기존의 결과들을 포함하는 효과적인 것으로 수치예제를 통하여 이를 검증한다.

A dynamic system is called positive if any trajectory of the system starting from non-negative initial states remains forever non-negative for non-negative controls. In this paper, we consider the new stability condition for the positive time-varying linear discrete interval systems with time-varying delay and unstructured uncertainty. The delay time is considered as time-varying within certain interval having minimum and maximum values and the system is subjected to nonlinear unstructured uncertainty which only gives information on uncertainty magnitude. The proposed stability condition is an improvement of the previous results which can be applied only to time-invariant systems or had no consideration of uncertainty, and they can be expressed in the form of a very simple inequality. The stability conditions are derived using the Lyapunov stability theory and have many advantages over previous results using the upper solution bound of the Lyapunov equation. Through numerical example, the proposed stability conditions are proven to be effective and can include the existing results.

(게재일: 2019.12.30)
FOD (foreign object debris)는 각종 금속 및 비금속 이물질 및 항공기 운항에 잠재적 위험요소를 가진 물질을 총칭한다. 항공기 이동지역에서 사람이 직접 FOD 탐지 및 수거를 하던 방식은 효율성 및 경제성 또한 매우 낮기 때문에 국내환경에 적합한 FOD 자동 탐지 시스템 개발이 필수적으로 요구된다. 본 논문에서는 한서대학교 태안비행장에서 EO/IR카메라 및 레이더를 이용한 고정형 이물질 자동 탐지 시스템과 이동형 이물질 자동 탐지 시스템을 이용하여 100 m이상 최적탐지시간과 90% 탐지 정확도의 복합운영을 위한 두 시스템의 성능비교 실험 결과이다. 지속적인 연구개발을 통하여 FOD를 무인력으로 수행 할 수 있을것으로 기대된다.

Foreign object debris (FOD) is a generic term for various metals and non-metal foreign object and materials with potential hazards to aircraft operations. Since the method of manual FOD detection and collection in the aircraft moving area is very low in efficiency and economic efficiency, it is essential to develop to FOD automatic detection system suitable for domestic environment. This paper is the result of the performance comparison test results of the two systems for the combined operation of each optimal detection time and 95% accuracy above 100 m for complex operation using the fixed FOD automatic detection system and the mobile FOD system using EO/IR camera and radar at Taean Airfield Hanseo University. It is expected that FOD can be performed unattended through continuous R & D.

(게재일: 2019.12.30)
압축 분산형 앵커는 여러 개의 내하체를 이용하여 그라우트에 발생하는 압축응력을 분산시키고 앵커 인장력을 증가시키는 앵커이다. 압축 분산형 앵커의 경우 내하체 사이의 간격이 그라우트 응력에 큰 영향을 미친다. 그러나, 현재까지 내하체 간격에 대한 연구가 매우 부족하며 설계기준 또한 제시되어 있지 않은 실정이다. 그러므로, 본 연구에서는 유한요소 수치해석을 수행하여 내하체 간격이 그라우트 응력분포에 미치는 영향을 분석하였다. 우선, 압축형 앵커에 대해 수행된 현장 재하시험 결과와 비교하여 수치모델링의 적용성을 검증하였다. 그리고, 지반조건, 내하체 간격, 하중크기 등을 변화시키는 변수 연구를 수행하였다. 해석결과, 내하체 간격이 좁아지면 그라우트 최대 압축응력이 증가하며, 내하체 간격이 넓어지면 그라우트에 인장응력이 발생하였다. 그러므로, 그라우트 내 압축응력의 중첩과 인장응력 발생을 최소화하는 내하체 간격을 최적간격으로 정의하고, 지반조건과 하중크기에 따른 최적간격을 제시하였다.

Load distributive compression anchors distribute the compressive stress in the grout and increase the pull-out capacity of the anchor by using multiple anchor bodies. In this anchor type, the spacing between the anchor bodies has a large influence on the stress in the grout. However, there are few researches about the spacing and there are no design standards. Therefore, the effect of the anchor body spacing on the grout stress was analyzed by performing finite element analyses. First, the applicability of the numerical modeling was verified by comparing with field test results of a compression anchor. Then, the parametric study was performed varying soil type, anchor body spacing, and load magnitude. The analysis results showed that the maximum compressive stress in the grout increased at the narrower spacing and the tensile stress developed at the wider spacing. Therefore, the optimum spacing was defined as the spacing, which prevents the superposition of compressive stresses and minimize the tensile stress. Finally, the optimum spacing was proposed according to the soil type and the load magnitude.

(게재일: 2019.07.31)
본 연구는 사질토 지반에서 수행되는 콘관입시험의 수치적 모사에 초점을 맞추고 있다. 지반은 한계상태 토질역학을 바탕으로 수정된 한계상태 Mohr Coulomb 소성 모델로 모사하였다. 한계상태 Mohr Coulomb 모델에서 팽창각은 상수가 아닌 현재상태와 한계상태 사이의 위상차의 함수로 표현된다. 수치적으로 콘관입시험은 대변위 해석을 요구하며, 이를 Lagrangian 유한요소법으로 해석하기 위해 관입 유도체 개념을 적용한 축대칭 조건 유한요소법을 이용하였다. 캘리브레이션 챔버에서 수행된 콘관입시험을 한계상태 Mohr Coulomb 모델을 이용하여 본 논문에서 제안된 유한 해석 기법을 적용한 결과, 실험 결과와 유사한 결과를 얻을 수 있었다.

This study focuses on the numerical simulations of the cone penetration tests in a sand ground. The mechanical responses of sand were described using the modified Mohr Coulomb plasticity model based on the critical state soil mechanics. In the plasticity model, the dilatancy angle was not a constant, but a function of the distance to the critical state line from the current state of void ratio and mean effective stress. To simulate cone penetration tests numerically, this study relied on Lagrangian finite element method under the axisymmetric condition. To enable penetration of the cone penetrometer without tearing elements along the symmetric axis, the penetration guide concept was adopted in this study. The results of numerical simulations on the calibration chamber cone penetration tests had good agreement with the experimental results.

(게재일: 2019.02.28)
본 논문에서는 테이퍼 말뚝의 좌굴 거동을 평가할 수 있는 해석모델을 제안하였다. 말뚝의 변단면과 주면마찰, 지반의 비균질성을 고려하는 지반-말뚝 시스템의 좌굴을 지배하는 미분방정식을 유도하였다. 이 지배방정식을 Runge-Kutta 법을 이용하여 직접 수치 적분하였고, 미분방정식의 고유치인 좌굴하중은 Regula-Falsi 법을 이용하여 산정하였다. 원통형 말뚝에 대한 문헌값과 이 연구의 좌굴하중을 비교하여 연구의 타당성을 검증하였고, 지반-말뚝에 관련된 무차원변수가 좌굴하중, 좌굴모드, 좌굴응력에 미치는 영향을 분석하였다.

In this study, an analytical model is proposed to estimate the buckling responses of tapered piles. The governing differential equation of the soil-pile system considering the tapering and side friction of the pile and the soil nonhomogeneity is derived, which is numerically integrated by the Runge-Kutta method and then the eigenvalue of bucking load is determined by Regula-Falsi algorithm. For a cylindrical pile, the results obtained from this study are found to compare well with those reported in literature. Illustrative examples for buckling load and stress as well as buckled shape are provided to investigate the effects of dimensionless parameters related to the soil-pile system.

(게재일: 2019.02.28)
본 연구에서는 필댐 사력부 전단파 속도 주상도 결정시 물성치 변동성에 의해 발생 가능한 불확실성을 평가하고, 평가된 불확실성이 반영된 국내 필댐 사력부를 위한 전단파 속도 주상도 모델을 제안하였다. 이를 위하여 평가된 불확실성을 바탕으로 국내 필댐 사력부에 존재 가능한 깊이-전단파 속도 곡선 400개를 결정하고, 이에 대한 통계분석을 통하여 깊이별 전단파 속도 상한과 하한 곡선을 결정하였다. 결정된 곡선을 바탕으로 Burger 모델 형태의 깊이별 전단파 속도 상한과 하한 주상도 모델을 결정하였다. 결정된 모델은 국내에서 많이 사용되고 있는 Sawada-Takahashi 모델과 비교하였다.

There always exist the spatial variations of material properties such as a shear wave velocity in a dam and between same type dams. These uncertainties cause those in evaluation of a shear wave velocity profile of a dam and should be considered in determining the shear wave velocity profile for a rockfill zone of a fill dam. In this paper, these uncertainties of a shear wave velocity in the rockfill zone of the fill dam in Korea are evaluated. And the shear wave velocity profile model considering these uncertainties in rockfillzone is proposed using the method based on Harmonic wavelet transform. The proposed shear wave velocity profile model is compared with Sawada-Takahashi model widely used for evaluation of a shear wave velocity profile of a rockfill zone of fill dams.

(게재일: 2019.02.28)
철도하중 및 지진하중 재하 시 궤도지지말뚝 구조의 동적 거동 평가를 위해 동적원심모형 실험을 수행하였다. 실험의 변수는 연약지반의 깊이와 성토체의 높이로 결정하였으며, 총 4가지 경우에 대해 실험을 수행하였다. 연약지반 깊이는 실제 연약지반층에 고속철도를 부설한 호남고속철도의 익산-정읍 구간의 시추주상도를 분석하여 결정하였으며, 성토체의 높이는 일반적인 고속철도의 성토체 높이 범위의 하한 값과 상한 값으로 결정하였다. 실험 결과, 연약지반 깊이 대비 성토체 높이 비율이 높을 수록 말뚝에 작용하는 최대 휨모멘트 값이 크게 평가되었다. 또한, 실험조건 내에서 부설되는 궤도지지말뚝 구조는 단주기 지진파에 대해서는 국내 내진설계 기준의 최대 지진하중인 0.22g에 대해서까지 안전한 것으로 확인되었다. 그러나, 장주기 지진파에 대해서는 재현주기 2400년 지진인 0.22g로 가진시 말뚝의 균열 모멘트가 초과되었다. 일련의 실험결과를 바탕으로, 본 논문에 기술된 연약지반 깊이와 성토체 높이 범위 내에서 궤도지지말뚝 일반 단면에 대한 연약지반 대비 성토체 높이 비율 기준을 제시하였다.

Dynamic centrifuge model test was conducted to evaluate the dynamic stability of the pile-supported slab track method during dynamic railway loading and earthquake loading. The centrifuge tests were carried out for various condition of embankment height and soft ground depth. Based on test results, we found that the bending moment was increased with embankment height and decreased with soft ground depth. In addition, it was confirmed that the pile-supported slab track system could have dynamic stability for short-period seismic loading. However, in case of long-period seismic loading, such as Hachinohe earthquake, the observed maximum bending moment reached to pile cracking moment at the return period of 2,400 year earthquake. The criterion of ratio between embankment height and soft ground depth was suggested for dynamic stability of pile-supported slab track system.

(게재일: 2019.02.28)
본 연구는 교각 안전성 평가 기법을 확립하기 위해 실대형 교각을 구축하여 충격하중을 이용해 일련의 비파괴 실험을 수행하였다. 실대형 교각에 상재 하중은 0 tonf에서 2.5 tonf씩 적재하여, 최대 25 tonf 까지 적재하였다. 타격 방향에 따른 교각의 거동을 분석하기위해 교축 방향과 교축직각 방향 그리고 교각의 외측방향으로 타격하였고, 타격 높이도 교각의 상단과 하단으로 실험을 수행하였다. 계측기는 가속도계를 사용하여 타격했을 시의 가속도 응답을 측정하였다. 일련의 실험결과를 바탕으로, 고속 푸리에 변환(FFT)를 이용해 타격 방향 및 상재 하중에 따른 고유진동수를 산정했다. 또한 위상차를 이용해 교각의 1차 모드에서 4차 모드까지 분석이 가능했으며, 세굴에 대한 영향을 수치해석을 통해 분석했다. 그 결과, 2차 모드와 3차 모드를 통해 합리적인 교각의 안정성 평가가 가능한 것으로 판단된다.

In this study, a prototype abutment was constructed to establish a safety assessment technique of pier and a series of non-destructive tests using impact load. The surcharge load was loaded from 0 tonf to 2.5 tonf on the prototype abutment, and maximum surcharge load was up to 25 tonf. To analyze the behavior of the piers according to the direction of impact, a total of three types of analysis were performed: the direction of the pier, the direction perpendicular to the pier, and the outer direction of the pier. The height of the impact was also tested at each top and bottom. The measuring instrument used an accelerometer to measure the acceleration response when impacted. Based on the series of experimental results, specific values were calculated according to the direction of an impact and the surcharge load using the Fast Fourier Transform (FFT). In addition, the phase difference was used to analyze the pier from the primary 1st mode to the 4th mode.

(게재일: 2019.07.31)
이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 집합 이론적인 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계와 그에 상응하는 크립키형 의미론을 소개한다. 다음으로 FR을 위한 집합 이론적 완전성 결과를 제공한다.

This paper deals with set-theoretic Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce the system FR and its corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for it.

(게재일: 2019.06.30)
"자유의지에 대한 조작논증과 근원-양립가능주의의 대응"에서 김성수 교수는 근원-자유와 결정론이 양립가능하지 않다는 근원-양립불가능주의에서 제시한 논증인 조작논증에 대해 다룬다. 김성수는 조작논증에 대한 양립가능주의의 두 종류의 대응 중 강경한 대응보다는 온건한 대응이 더 설득력이 있다고 주장하는데, 특히 그는 번개 사례를 통해 강경한 대응을 펼치는 사토리오에 집중하여 반론을 펼침으로써 강경한 대응이 설득력이 부족하다고 주장한다. 본 논문에서 필자는 사토리오에 대한 김성수의 반론이 성공적이지 않다고 논증한다. 이를 위해서 필자는 사토리오의 책임희석 효과에 대한 설명에 문제가 있다는 김성수의 반론에 대해서 이러한 문제점을 피할 수 있는 원격 집행부대 예를 새롭게 제시한다. 또한 필자는 번개 사례에서 보이는 직관이 조작논증의 전제를 지지하는 직관만큼 강해보이지 않는다는 김성수의 반론에 대해 사토리오의 논증이 성공하기 위해서 번개 사례에서 보이는 직관이 다이애나 사례에서 보이는 직관만큼 강할 필요는 없다고 논증한다.

In this paper, I raise objections to Sungsu Kim's argument that Sartorio's hard-line reply to the manipulation argument fails. In attacking Sartorio's argument, Sungsu Kim claims that there are two problems with Sartorio's. I argue that Sungsu Kim's argument fails by responding to these two problems. With respect to the first problem, I provide a new example of dilution of responsibility. With respect to the second problem, I argue that, contrary to what Sungsu Kim assumes, for Sartorio's argument to succeed, our intuition that Ernie is responsible in the Lightning Strike Scenario does not have to be as strong as our intuition that Ernie is not responsible in the Diana scenario.

(게재일: 2019.06.30)
군집주행은 통신기술의 발달과 더불어 도로 용량을 증가시킬 수 있을 것으로 기대되는 미래 차량 자율 주행 기술이다. 본 논문에서는 군집 주행 상황의 효율적인 안전 메시지 전달을 위한 전송 기법을 제안하였다. 제안하는 기법은 6세대 무선랜 기술인 IEEE 802.11ax의 TUA (triggered uplink access) 기법과 NFR (null data packet feedback report) 기법을 활용하여 채널 접속 효율을 향상시키고, 차량들이 주변 차량들의 데이터 트래픽 상황을 인지하지 못하는 상황에서도 적은 오버헤드로 높은 효율의 다중 차량 단말 상향 OFDMA (orthogonal frequency division multiple access) 전송을 유도한다. 시뮬레이션 결과에 따르면 제안하는 기법은 측정된 모든 차량 단말 밀도 변화 범위 내에서 기존의 전송 방식 대비 월등한 성능을 보이는 것으로 나타났다.

Along with advanced vehicle to vehicle (V2V) communication technologies, platooning is regarded as one of the most promising form of autonomous driving solutions in order to increase road capacity. In this paper, we propose a novel V2V transmission scheme for safety message dissemination in platooning. The proposed scheme enhances the efficiency of channel access and multi-vehicle orthogonal frequency division multiple access (OFDMA) transmission by taking advantage of triggered uplink access technique and null data packet feedback report protocol introduced in the sixth generation WLAN standard, IEEE 802.11ax. The simulation results prove that the proposed scheme outperforms the conventional IEEE 802.11 transmission scheme throughout all measured vehicle density range.

(게재일: 2019.12.30)
이 연구는 오염원 유출을 방지하기 위한 해상폐기물매립장 차수시스템에 요구되는 적절한 기준을 제안하기 위해 수행되었다. 차수시스템은 바닥층과 연직벽으로 구성된다. 바닥층은 불투수 점토층으로 연직벽은 이중벽체로 외곽벽체는 강관쉬트파일로 외력에 대한 저항을 담당하고 연직내부벽체가 차수를 담당하는 것으로 가정하였다. SEEP/W와 CTRAN/W 프로그램을 이용하여 침투-이류-분산 해석을 정상류 및 비정상류 조건에서 실시하였다. 해석결과, 정상류 조건에서 비정상류 조건 보다 오염원 이동이 크게 나타나 설계관점에서 차수기준은 정상류조건에서 산정된 값을 적용하는 것이 타당한 것으로 나타났다. 바닥층의 점토지반이 균질하고 연직차수시스템의 시공에 문제가 없다는 전제하에 정상류조건에서 오염원 이동의 차수에 요구되는 점토층 및 연직차수벽의 투수계수, 두께, 근입깊이 등이 제안되었다.

This study was conducted to propose a reasonable requirement regulation of cutoff barriers composed of bottom layer and vertical barrier of offshore landfill for the prevention of contaminant leakage. The bottom layer was composed of impermeable clay layer; vertical walls were composed of double walls; outer wall was composed of steel sheet pile which registed against outer force; cutoff vertical barrier took the role of inner wall. Seepage-advection-dispersion numerical analysis was conducted using SEEP/W and CTRAN/W programs under steady and unsteady flows. The results showed that the values calculated under steady flow showed higher migration of pollutant than those of unsteady flow. The values calculated under steady flow are more valid from a design point of view. Under steady flow and the bottom clay layer and when the vertical barrier are homogeneous and completely well installed, respectively, the minimum required cutoff regulations for hydraulic conductivity, thickness, and embedded depth of the bottom clay layer and vertical barrier were suggested.

(게재일: 2019.08.31)