• 한국통신학회논문지
• /
• 제14권3호
• /
• pp.197-206
• /
• 1989

본 논문에서는 통신 프로토콜의 성능 분석을 위한 개선된 알고리즘을 제안한다. 이는 분산 시스템의 성능을 모델링하고 평가하는데 성공적으로 사용되어져 온 시간을 포함하는 확장된 Timed Petri Net 모델을 분석하는 알고리즘이다. 제안된 알고리즘은 일반적인 Timed Petir Net가 free-chioce 그리고 safe net 이라는 모델링의 제약을 완화하여, 제한적인 병행처리의 모델링을 허용한다. 그리고 Timed Reachability 그래프의 상태공간을 감소시키기 위해, 최다 수행규칙고 동시점화 트랜지션 집합을 이용한다. 알고리즘의 유용성 및 효율성을 보이기 위하여 Timed Reachability 그래프의 구성과 분석과정을 제시하고, 통신 프로토콜에 적용시켰다.

• 터널과지하공간
• /
• 제12권2호
• /
• pp.115-119
• /
• 2002

광주도시철도 1호선 건설공사에서 4개의 도심터널은 대구경 쉴드 TBM에 의한 굴착이 계획되었으며, 그 중에 No.1 터널 구간은 13개월 동안 굴착되었다. 본 연구에서는 이 기간동안의 순굴착속도 및 이의 추력과의 관계를 분석하였다. 낮은 심도에 굴착된 536 m 길이의 이 터널은 시 작부에는 토사층이며, 종점부 84 m 구간은 암반층이다. 주간 평균 순굴착속도는 토사층에서 400∼800 mm/hr 였는데 암반층에서 20∼110 mm/hr로 급격히 낮아졌다. 이러한 순굴착속도의 크기는 장비 및 암반의 특성을 고려한 이론적 속도와 비슷한 크기이다. 그리고, 순굴착속도는 추력이 증가할수록 비례하는 것으로 분석된다.

• Nuclear Engineering and Technology
• /
• 제43권1호
• /
• pp.45-62
• /
• 2011

The Korean nuclear industry is developing a thermal-hydraulic analysis code for safety analysis of pressurized water reactors (PWRs). The new code is called the Safety and Performance Analysis Code for Nuclear Power Plants (SPACE). The SPACE code adopts advanced physical modeling of two-phase flows, mainly two-fluid three-field models which comprise gas, continuous liquid, and droplet fields and has the capability to simulate 3D effects by the use of structured and/or nonstructured meshes. The programming language for the SPACE code is C++ for object-oriented code architecture. The SPACE code will replace outdated vendor supplied codes and will be used for the safety analysis of operating PWRs and the design of advanced reactors. This paper describes the overall features of the SPACE code and shows the code assessment results for several conceptual and separate effect test problems.

• 한국항공우주학회지
• /
• 제50권9호
• /
• pp.609-616
• /
• 2022

메쉬 반사판 안테나의 성능은 반사판 표면의 형상 오차에 크게 의존하게 된다. FDM(Force Density Method)을 이용하여 반사판 케이블 네트의 형상설계 연구가 수행되고 있다. 하지만 결정된 형상 일부에 반사판 실효면적의 감소가 발생하고, 케이블의 기하학적 비선형을 고려한 변형 해석은 불가능하다. 본 연구에서는 기하학적 특성을 고려한 케이블 네트 형상설계 방법론을 제시하고 설계된 형상의 실효성을 검증한다. 기하학적 비선형성을 고려한 케이블 네트의 유한요소 모델을 개발한다. 경계조건의 하중 변화에 따른 형상변형 해석을 통하여 케이블 네트 형상 설계변수 특성을 제시하고자 한다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제29권2호
• /
• pp.39-48
• /
• 2023

Purpose: In Korea, the increase rate of the number of mentally ill patients increases, and the hospitalization period for severely mentally ill patients to stay in acute wards is long and the re-hospitalization rate is high. In order to improve the dignity of patients with acute mental illness and to plan a therapeutic environment for this, this study attempted to present a basic framework of spacial planning for establishing guidelines for psychiatric acute ward in general hospitals. Methods: By analyzing the acute psychiatric ward guidelines of the UK, Australia, and the US., this study analyzed the areas and required rooms of psychiatric acute ward in general hospitals, as well as the net floor area of each room, and the connection between the rooms. Results: As a result of the study, the basic framework for the ward areas and the required rooms, the net floor areas of the rooms, and the connection between the rooms were presented for the establishment of guidelines for the psychiatric acute ward in general hospitals. Implication: The results of the study will be used as a basic framework of space planning for establishing of guidelines for the psychiatric acute ward in general hospitals and will contribute to the establishment of detailed guidelines based on the space configuration through surveys and analysis of space use status, operation status, and expert interviews in Korea.

• 한국지반공학회논문집
• /
• 제22권8호
• /
• pp.5-11
• /
• 2006

준설매립된 초연약지반의 표층처리공법 적용시 보강재로 이용되고 있는 대나무망 및 토목섬유로 보강된 준설매립지반의 지지력 특성을 파악하기 위하여 현장 대형평판재하시험을 실시하였다. 각 보강재별 지지력비(BCR) 산정결과 대나무망 보강의 경우 지지력비는 $.{\sim}6.03$, 토목섬유의 경우 $2.19{\sim}3.59$로서 대나무망 보강의 경우 $1.6{\sim}1.7$배 크게 측정되었고, 실험결과와 이론식에 의한 지지력 비교결과 기존 토목섬유 보강시의 지지력 평가식은 대나무망 보강시 지지력 평가에 있어 적용성이 떨어짐을 알 수 있었다. 대나무 망 보강시의 지지력 평가를 위한 변수들의 상관관계 분석결과, 시험에서 얻어진 지지력비(BCR)와 복토두께/대나무망 간격의 비(H/S)로 표현한 경우 좋은 상관관계 특성을 얻을 수 있었고, 이는 대나무망의 지지력특성 파악을 위한 기초 자료로서 활용할 수 있을 것으로 판단되었다.

• 대한원격탐사학회지
• /
• 제39권6_3호
• /
• pp.1693-1705
• /
• 2023

국토 면적의 약 90%를 차지하는 농촌은 여러가지 공익적 기능을 수행하는 공간으로서 중요성과 가치가 증가하고 있지만 주거지 인근에 축사, 공장, 태양광패널 등 주민생활에 불편을 미치는 시설들이 무분별하게 들어서면서 농촌 환경과 경관이 훼손되고 주민 삶의 질이 낮아지고 있다. 농촌지역의 무질서한 개발을 방지하고 농촌 공간을 계획적으로 관리하기 위해서는 농촌지역 내 위해시설에 대한 탐지 및 모니터링이 필요하다. 주기적으로 취득 가능하고 전체 지역에 대한 정보를 얻을 수 있는 위성영상을 통해 데이터의 취득이 가능하고, 합성곱 신경망 기법을 통한 영상 기반 딥러닝 기술을 활용하여 효과적인 탐지가 가능하다. 따라서 본 연구에서는 의미적 분할(Semantic segmentation)에서 높은 성능을 보이는 U-Net 모델을 이용하여 농촌 지역에서 잠재적으로 위해시설이 될 수 있는 농촌시설을 분류하는 연구를 수행하였다. 본 연구에서는 2020년에 제작된 공간해상도 0.7 m의 KOMPSAT 정사모자이크 광학영상을 한국항공우주연구원으로부터 제공받아 사용하였으며 축사, 공장, 태양광 패널에 대한 AI 학습용 데이터를 직접 제작하여 학습 및 추론을 진행하였다. U-Net을 통해 학습시킨 결과 픽셀 정확도(pixel accuracy)는 0.9739, mean Intersection over Union (mIOU)은 0.7025의 값을 도출하였다. 본 연구 결과는 농촌 지역의 위험 시설물 모니터링에 활용될 수 있으며, 농촌계획 수립에 있어 기초 자료로 활용될 수 있을 것으로 기대된다.

• 천문학회보
• /
• 제42권2호
• /
• pp.59.5-60
• /
• 2017

We present the relationship between vector magnetic field parameters and solar major flare occurrence rate. Based on this, we are developing a forecast model of major flare (M and X-class) occurrence rate within a day using hourly vector magnetic field data of Space-weather HMI Active Region Patch (SHARP) from May 2010 to April 2017. In order to reduce the projection effect, we use SHARP data whose longitudes are within ${\pm}60$ degrees. We consider six SHARP magnetic parameters (the total unsigned current helicity, the total photospheric magnetic free energy density, the total unsigned vertical current, the absolute value of the net current helicity, the sum of the net current emanating from each polarity, and the total unsigned magnetic flux) with high F-scores as useful predictors of flaring activity from Bobra and Couvidat (2015). We have considered two cases. In case 1, we have divided the data into two sets separated in chronological order. 75% of the data before a given day are used for setting up a flare model and 25% of the data after that day are used for test. In case 2, the data are divided into two sets every year in order to reduce the solar cycle (SC) phase effect. All magnetic parameters are divided into 100 groups to estimate the corresponding flare occurrence rates. The flare identification is determined by using LMSAL flare locations, giving more numbers of flares than the NGDC flare list. Major results are as follows. First, major flare occurrence rates are well correlated with six magnetic parameters. Second, the occurrence rate ranges from 0.001 to 1 for M and X-class flares. Third, the logarithmic values of flaring rates are well approximated by two linear equations with different slopes: steeper one at lower values and lower one at higher values. Fourth, the sum of the net current emanating from each polarity gives the minimum RMS error between observed flare rates and predicted ones. Fifth, the RMS error for case 2, which is taken to reduce SC phase effect, are smaller than those for case 1.

• Korean Journal of Mathematics
• /
• 제10권1호
• /
• pp.5-10
• /
• 2002

In this paper, we investigate the prefilter base on a fuzzy set and fuzzy net ${\varphi}$ on the fuzzy topological space (X,${\delta}$). And we show that the prefilter base $\mathcal{B}({\varphi})$ determines by the fuzzy net ${\varphi}$ converge to a fuzzy point $p$ iff the fuzzy net ${\varphi}$ converge to a fuzzy point $p$. Also we prove that if the prefilter base $\mathcal{B}$ converge to a fuzzy point $p$, then the $\mathcal{B}$ has the cluster point $p$.

• 한국정밀공학회지
• /
• 제25권3호
• /
• pp.147-156
• /
• 2008

A new approach based on cone prism intersection method combined with sorting algorithm is proposed for the fast and robust signed distance field computation. In the method, the space bounding the geometric model composed of triangular net is divided into multiple smaller cells. For the efficient calculation of distance fields, valid points among the triangular net which will generate minimum distances with current cell are selected by checking the intersection between current cell and cone prism generated at each point. The method is simple to implement and able to achieve an order of magnitude improvement in the computation time as compared to earlier approaches. Further the method is robust in handling the traditional sign problems. The validity of the suggested method was demonstrated by providing numerous examples including Boolean operation, shape deformation and morphing of complex geometric models.