• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

• 자원환경지질
• /
• 제10권1호
• /
• pp.37-48
• /
• 1977

The earth's crust is unceasingly undergoing deformations because of the forces acting upon it. The relationship between the tectonic forces and the resulting deformations are found from the states of stresses in the earth's crust induced by these forces. The study has been attempted to analyze the deformations of the overlying sedimentary layers, which are deformed by the magma intrusion along its lower boundary. The elastic model is constructed to analyze the geologic structures, by means of the theory of elasticity, and then the appropriate boundary conditions are given. The solution of the Airy stress function which satisfies the given boundary conditions is derived from the analytic method. The internal stress distributions of the deformed elastic model layer are portrayed by principal stress trajetories, and then the corresponding potential faults and joints systems are predicted from the Coulomb-Mohr failure criterion. The internal displacement distributions are shown by the calculated displacement components vectors, namely horizontal, vertical and net components. Results of the numerical calculations show the developments of some geologic structures as follows; (1) one set of shear joints and or two sets of shear joints which are oppisite directions, and one set of extension joints parallel to the ${\sigma}_1$ direction, (2) one set of high angle thrusts and normal faults, (3) symmetric fold; both limbs are dipping in opposite direction with low angle. The field work at the Wall-A San area, located near Jinju City, in southern Korea, had accomplished to compare the field structures with the predicted ones. The results of the comparison exhibits the developments of joint and fault systems satisfactorily consistent with each others. But the area does not show any type of folding, in spite of the intrusion of a granodiorite massif, this fact is one of the important features of the whole Kyungsang sedimentary basins of Mesozoic age distributed at the south-eastern parts of Korea. For this reason, it is thought that the magma intrusion had occurred with extremly low pressure. The geologic structures have been modified by the erosion and weathering throughout the geologic time, and the conditions of the sedimentary layers (width, thickness and radius of magma) are not the same as before, being intruded by the magma. To enlighten this, it is preferable to study these geologic structures with analyses of various types of rheological models.

• 한국터널지하공간학회 논문집
• /
• 제6권4호
• /
• pp.327-343
• /
• 2004

터널 시공 도중이나 터널 굴착 직후 주지보재에 의한 보강 전에 터널막장 전방에 존재하는 연약암반 혹은 단층파쇄대로 인해 유발되는 터널막장의 붕괴사고가 빈번이 일어나고 있다. 기존의 지반탐사방법으로는 터널막장부근에 있는 연약암반이나 단층파쇄대를 찾기 어렵다. 본 연구에서는 이러한 문제점들을 극복하고 기존의 탐사방법들을 보완하기 위해 전자기파를 이용한 터널전방 예측방법을 제안하였다. 전기장의 특성을 고려한 Coulomb 및 Gauss 법칙을 이용하여 절리를 가지는 암반에서의 전기장을 해석하였다. 이를 바탕으로 터널막장 전방에 구형연약암반과 단층파쇄대가 존재하는 경우에 대하여 각각 전기장해석을 수행하여 이론식을 도출하였다. 또한 개발된 해석기법을 작용하여 터널 전방에 구형연약이역과 단층파쇄대가 존재하는 경우에 대하여 예제해석을 수행하였다. 해석결과는 터널 전방에 부착된 몇 개의 전극에서 측정된 암반의 저항으로부터 역함수기법을 이용하여 터널 전방에 존재하는 연약지역의 등가 크기, 위치 및 성질을 정확하게 예측할 수 있음을 보여주었다. 암반에서의 전기저항 가탐심도는 터널막장의 크기, 자연전위 및 기타 전기적 신호에 의해 영향을 받음을 알 수 있었다. 제시된 해석기법은 실내시험을 통하여 검증하였다. 가로, 세로, 높이가 각각 5cm인 콘크리트 블록 1800여 개를 가지고서 3방향 절리를 가진 암반상태를 구현하였고 터널 전방에 전기전도도가 콘크리트 블록보다 상대적으로 높은 물질을 이용하여 연약지반을 구현하였다. 모델링을 통한 실험결과는 해석결과와 거의 일치함을 보여주었다.

• 지구물리와물리탐사
• /
• 제16권4호
• /
• pp.211-216
• /
• 2013

일반적으로 평활화 필터는 주변값들과의 차이를 감소시켜 함수를 정규화하는 역할을 한다. 따라서 완전파형역산에 평활화 필터를 적용하면 역산 해를 정규화 할 수 있으며 실제 지하 구조에 가까운 영상을 얻을 수 있다. 다만 단일 평활화 계수를 사용했을 때는 지층 형태나 속도변화에 관계없이 동일하게 평활화가 이루어지므로 지층간 경계면이나 단층 등의 구조가 불명확해지는 단점이 있다. 본 논문에서는 이러한 문제를 해결하기 위해 단일 평활화 계수가 아닌 역산 반복 과정에 따라 선택적으로 평활화 계수를 조정하는 정규화 기법을 개발하였다. 먼저 파형역산에 적합한 탐사자료의 주파수 대역과 그에 대응하는 파수 범위를 분석하였다. 분석한 파수 범위에 적합한 평활화 계수를 선정하기 위해 평활화 필터의 파수 스펙트럼에서 99백분위수에 해당하는 파수를 유효최대파수로 결정하였다. 선정된 평활화 계수를 반복역산에 따라 다르게 적용하여 여러 주파수를 동시에 이용하는 멀티-스케일 완전파형역산을 구현하였다. 암염 모델과 같은 속도대비가 큰 지질구조에 대해 성공적인 역산결과를 얻음으로써 본 연구에서 개발한 평활화 계수 선택기법이 효과적인 정규화 과정을 구현한다는 것을 알 수 있었다. 또한 무작위 잡음이 더해진 인공합성 음원모음 자료에 대한 수치예제를 통해 현장 자료에 대한 적용 가능성도 확인할 수 있었다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.395-404
• /
• 2005

컴퓨터 시스템의 내/외부에 침입(attacks), 고장(failures)이 발생되더라도 적절한 방법으로 중요한 임무에(mission-critical) 해당한 역할을 수행하는 능력의 척도로 정의되는 생존성(survivability)에 대한 관심이 커지고 있다. 특히, 침입에 의해 시스템 일부가 손상(partially compromised) 되더라도, 최소한의 필수 서비스를 지속적으로 제공할 수 있게 해주는 침입감내시스템(intrusion tolerance system)의 설계시에 생존성 분석은 신뢰성(reliability), 가용도(availability)등과 같은 컴퓨터 시스템의 정량적 신인도(dependability) 분석과 함께 중요한 요소기술 중의 하나이다. 본 논문에서는 침입감내시스템의 방어능력을 평가하기 위해 자율컴퓨팅(autonomic computing)의 핵심 기술인 자가치유(self-healing) 메커니즘의 두 가지 요소(결함모델 및 시스템반응)를 활용하여, 주서버와 보조서버로 구성된 침입감내시스템의 상태천이(state transition)를 표현하였다. 또한, 침입감내시스템의 생존성, 가용도 및 다운타임 비용(downtime cost)을 정량적으로 정의한 후 시뮬레이션 실험 및 취약성(vulnerability) 공격에 대한 사례 연구를 수행하였다. 이를 통해 시스템의 신인도 향상 측면에서 초기상태에서의 침입감내능력 향상이 가장 중요한 요소임을 검증할 수 있었다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.157-166
• /
• 2010

최근 RFID (Radio Frequency Identification)는 소형화, 저가화, 고기능화가 점차적으로 실현되면서 그 기술이 적용되는 분야도 더욱 다양해지고 있다. RFID 애플리케이션은 RFID 태그의 실시간 정보를 기반으로 하는 업무 프로세스를 의미하는 것으로, RFID 기반 정보를 이용해 비즈니스 프로세서를 자동화하고 변형시킬 수 있도록 요구된다. 이러한 RFID 애플리케이션은 단순하게는 하나의 리더기에서 읽혀지는 RFID 태그를 모니터링하는 기능만을 가지기도 하지만, 대부분 RFID 태그의 흐름에 따라 태그가 부착된 사람 또는 사물의 가시성(visibility)과 추적성(traceability)을 지원하기 위한 기능을 구현한다. 이를 위해 RFID 리더기를 여러 곳에 분산 배치시킨 후, 다양한 시나리오에 따라 태그의 흐름을 변경시켜봐야 한다. 그러나 RFID 애플리케이션 개발 시, 필요한 관련 RFID 리더기가 모두 준비되지 않았거나, 실제 현장과 유사한 환경을 구축하기가 어려울 때가 많다. 본 연구에서는 RFID 애플리케이션 개발 시, 개발 환경을 모형화 시키고 RFID 리더기 및 센서를 다양한 곳에 배치시킨 후, 여러 개의 RFID 태그를 다양한 시나리오를 통해 이동시켜볼 수 있는 시뮬레이터를 개발하고자 한다. 본 시뮬레이터는 RFID 미들웨어 및 애플리케이션 구현물의 정확한 테스트를 가능하게 하여 개발 생산성을 높인다. 또한 데이터의 신뢰성에 문제가 발생한 경우, RFID 하드웨어와 미들웨어 중 어떤 부분에서 발생한 문제인지 가리기 위해 활용될 수 있다.

• 자원환경지질
• /
• 제56권6호
• /
• pp.831-846
• /
• 2023

한반도의 대표적인 습곡-단층대 중 하나인 옥천대의 주천-평창지역에는 경기육괴 기반암을 고생대 조선누층군 및 시대미상의 방림층군 상위로 충상시키는 다수의 트러스트 단층이 발달한다. 이 지역의 트러스트들은 상반의 암체가 하반의 암체로 완전히 둘러싸인 폐곡선 형태의 독특한 자취를 보이며, 이는 전형적인 클리페의 지질도 상 특징으로 해석될 수 있다. 특히, 연구 지역과 같이 트러스트 상반에 기반암을 포함하는 클리페의 경우에는 습곡-단층대 배후지의 구조 발달을 이해하는데 중요하다. 그러나 클리페 구조가 잘 정의되기 위해서는 층서적으로 오래된 암체가 트러스트를 경계로 상대적으로 젊은 암체의 상위에 구조적으로 완전히 고립된 형태를 보여야 하기 때문에, 연구지역에 넓게 분포하는 시대미상 방림층군의 지질연대가 매우 중요하다. 본 연구에서는 SHRIMP U-Pb 저어콘 연대측정을 통해 획득한 방림층군의 최대 퇴적시기와 야외조사 결과 및 기존 연구를 종합하여, 방림층군을 아래로는 선캄브리아시대 화강편마암과 위로는 전기 고생대 조선누층군 양덕층군(장산층, 묘봉층)의 지층 사이에 놓이는 고생대 캄브리아기 최하부 지층에 대비하였다. 이를 바탕으로 평창지역에 대한 구조기하 형태 연구를 수행한 결과, 운교리트러스트와 방림트러스트는 하나의 습곡된 트러스트이며 운교리트러스트 상반의 암체들이 하반 암체들에 의해 완전히 고립된 특징을 보이는 클리페 모델로 해석이 가능함을 확인하였다. 향후 주천-평창지역에 대한 구조지질학적 측면의 후속 연구들을 통해 클리페 모델에 대한 추가적인 테스트가 이루어진다면, 옥천대의 구조 진화에 있어서 기반암을 포함하는 변형 기작의 역할에 대해 중요한 정보를 획득할 수 있을 것이다.

• 대한교통학회지
• /
• 제18권1호
• /
• pp.75-85
• /
• 2000

기존모형을 이용한 연구들은 최적화기법에 있어서 의사결정을 지원할 수 있는 최적해를 도출해내기 위해 목적식이나 제약조건식에 정확한 데이터 값을 입력시켜 최적해를 계산하였다. 또한 현실세계의 불확실하고 주관적인 상황들은 확률적 불확실성으로 간주하여 주관적인 상황들은 배제하였다. 즉, 이러한 최적해는 의사결정자가 의사결정상의 위험을 최소화하기 위하여 경영과학적인 방법들을 적용하는 과정에서 기존모형들의 목적함수를 완전하게 만족시켜 주는 해라고 할 수 있다. 이에 따라 수요량의 변화 및 기타 변수들의 변화에 적절히 대응할 수 없었으며, 입지의사결정자에게 입지결정에 대한 정보의 부족 등으로 선택의 기회를 폭넓게 제공하지 못하는 문제가 있었다. 이러한 배경하에서 본 연구는 의사결정분석에서 엄격히 주어진 제약조건하에서의 목적식을 최적화하는 문제로서 제약조건을 반드시 만족시켜야만 했던 기존의 의사결정문제를 바탕으로, 애매한 환경에서의 의사결정을 주관적인 측면에서 가장 합리적으로 이루어 보려는 의도로 Zadeh교수가 제안한 퍼지이론을 이용하여 물류단지 입지 및 규모결정모형을 개발하고자 하였다. 모형의 현실적 적합성 및 적용가능성을 분석한 결과, 첫째, 입지 및 규모결정시 기존의 연구에서 제시할 수 없었던 현실세계의 유연적이고 융통성있는 측면을 반영하여 입지 및 규모를 결정해 낼 수 있었으며 둘째, 기존의 입지결정 모형에 비해 상대적으로 많은 의사결정 상황을 최종의사결정 자에게 다양한 정보 및 선택의 기회를 제공해 줄 수 있었다. 따라서 이 결과가 반드시 최적의 입지를 제시하고 있다고는 단정할 수 없으나 모든 자료들이 빠짐없이 정확하게 모형에 반영될 경우 현실적 상황에서 모형적용이 가능하다고 하겠으며 이 모형은 현실상황에서 발생하는 기타시설의 입지선정 문제에도 적용할 수 있을 것이라고 판단된다. 수 있을 뿐 아니라, 평가된 지표가 신뢰할 만한 수준이 아니라면, 추정된 결과를 보정할 수 있는 가능성을 제시하고자 한다.or objection to the criticism of eating dog meat is that male and female commonly answered most that ′As dog meat food Is our traditional food culture. it is not the problem to be found fault with by others.′ The second reason for that is followed by iris deliciousness.up compared the service quality perception factor of the food service provider. The result was that the group having both the " will buy the service again" and "will suggest to others" criteria, that is, with higher loyalty, tend to have higher points than other group s in the dimension of ′Employee attitude′ and ′ Cleanliness′(p〈0.05), which means these two dimensions are closely related to customer loyalty. 3) From a regression analysis for the service quality perception level of the food service provider and overall satisfaction, it has been found that :

• 대한원격탐사학회지
• /
• 제38권6_2호
• /
• pp.1723-1735
• /
• 2022

산사태는 가장 널리 퍼진 자연재해 중 하나로 인명 및 재산피해 뿐만 아니라 범 국가적 차원의 피해를 유발할 수 있기 때문에 효과적인 예측 및 예방이 필수적이다. 높은 정확도를 갖는 산사태 취약성도를 제작하려는 연구는 꾸준히 진행되고 있으며 다양한 모델이 산사태 취약성 분석에 적용되어 왔다. 빈도비 모델, logistic regression 모델, ensembles 모델, 인공신경망 등의 모델과 같이 픽셀기반 머신러닝 모델들이 주로 적용되어 왔고 최근 연구에서는 커널기반의 합성곱신경망 기법이 효과적이라는 사실과 함께 입력자료의 공간적 특성이 산사태 취약성 매핑의 정확도에 중요한 영향을 미친다는 사실이 알려졌다. 이러한 이유로 본 연구에서는 픽셀기반 deep neural network (DNN) 모델과 패치기반 convolutional neural network (CNN) 모델을 이용하여 산사태 취약성을 분석하는 것을 목적으로 한다. 연구지역은 산사태 발생 빈도가 높고 피해가 큰 인제, 강릉, 평창을 포함한 강원도 지역으로 설정하였고, 산사태 관련인자로는 경사도, 곡률, 하천강도지수, 지형습윤지수, 지형위치 지수, 임상경급, 임상영급, 암상, 토지이용, 유효토심, 토양모재, 선구조 밀도, 단층 밀도, 정규식생지수, 정규수분지수의 15개 데이터를 이용하였다. 데이터 전처리 과정을 통해 산사태관련인자를 공간데이터베이스로 구축하였으며 DNN, CNN 모델을 이용하여 산사태 취약성도를 작성하였다. 정량적인 지표를 통해 모델과 산사태 취약성도에 대한 검증을 진행하였으며 검증결과 패치기반의 CNN 모델에서 픽셀기반의 DNN 모델에 비해 3.4% 향상된 성능을 보였다. 본 연구의 결과는 산사태를 예측하는데 사용될 수 있고 토지 이용 정책 및 산사태 관리에 관한 정책 수립에 있어 기초자료 역할을 할 수 있을 것으로 기대된다.

• 한국석유지질학회지
• /
• 제2권2호
• /
• pp.51-57
• /
• 1994

1969년 미해군이 황해지역에서 실시한 항공자력측정자료를 분석 연구한 결과, 한국 서남근해 제2광구 내에 있는 기존 군산분지(群山盆地) 남쪽에 흑산분지(黑山盆地)라고 명명하는 신퇴적분지가 존재함을 알게 되었다. 이 흑산분지는 서서 북-남남동으로 뻗은 3개의 소분지로 구성되었다. 이번 연구결과로 인하여 군산분지에 대해 독립적인 새로운 분석을 하게 했고 또한 그 두 분지뿐만 아니라 서근해 전역에 걸쳐 지질구조적 성인 및 그 생성역학(生成力學)에 대한 중요한 자료를 얻게 되었다. 분지생성 및 구조형태는 ‘두번-건너뛴-좌수향-렌치단층(斷層)’(Double overstepped left-lateral wrench faults)에 의한 롬보캐즘(rhombochasm)으로 해석된다. 한반도 내에 발달하고 있는 대단층들을 본 항공자력이상으로부터 얻은 중거에 의해서 본 연구지역 즉 근해까지 연장시켰다. 또한 이들 단층들의 성질을 좌수향렌치로 해석했다. 이와 같은 전 지역적인 단층 구조형태는 이동우의 영동분지에 대한 연구결과와 같다. 단층들의 운동방향은 필리핀이 에오세(Eocene) 이후 시계방향으로 약$80^{\circ}$회전했다는 최근 발표된 고지자기연구(古地磁氣硏究)에서 얻은 증거에 의하여 뒷받침되고 있다. 2$\frac{1}{2}$-차원의 모형 연구결과에 의하면 군산분지는 대략 $7,500{\cal}m$의 두터운 퇴적층을 갖는 것 같다. 흑산분지는 그 상부에 탄성파 속도가 빠른 층이 덮고 있어서 지금까지 발견되지 않고 있었다고 믿어진다. 흑산분지의 개략적인 형태가 석유부존에 적합한 듯 하기 때문에 두터운 퇴적층을 보유하고 있는 듯한 자력적 표현을 규명하기 위한 정밀항공 자력탐사를 실시할 것을 추천한다. 만약 고속도의 층이 확인된다면 자력탐사법에 대한 보충이 될 뿐 아니라 퇴적층에 대한 구조적인 묘사를 하는데 도움이 되는 중력탐사를 추가할 것을 추천한다. 정밀자력탐사 또는 중력탐사를 할 수 없다면 높은 에너지원의 탄성파 탐사를 실시하는 것이 더 효과적일 수도 있다.