• 지구물리
• /
• 제3권4호
• /
• pp.215-226
• /
• 2000

갈곡단층이 통과하는 경주시 천북목장 부근의 단구면상에서 기반암의 분포를 파악하고, 비교적 규모가 큰 파쇄대를 인지하기 위하여 굴절법 탐사를 실시하였다. 동서방향으로 길이 72m인 측선 1과 남북방향으로 각각 72m, 36m인 측선 2와 3의 굴절파 측선을 따라 5kg의 해머로 발생시킨 지진파를 3m 간격으로 배열된 8Hz 수직지오폰 12개를 이용하여 디지털 방식으로 192ms 기록하였다. GRM 방법으로 해석한 결과, 속도와 두께는 각각 250m/s, 평균 2.1m이며, 표층의 하부에는 속도가 약 $1,030{\sim}1,400m/s$정도이고 두께가 4.6m인 제 4기 후기 자갈층이 존재한다. 이 층의 하부는 기반암으로서 속도 $2,100{\sim}2,200m/s$의 제 3기 흑색 이암이 분포하는 것으로 해석된다. 측선 1과 측선 3의 일부구간은 굴절면의 깊이 차이가 수십 cm 이상으로 나타나 제4기 단층의 존재 가능성을 지시한다. 단구의 상단에 해당하는 측선 1의 동쪽 구간과 측선 3에서는 기반암 굴절파가 기록되지 않은 점으로 보아, 측선 1의 서쪽부분에 대규모 단층이 존재할 가능성이 매우 높다.

• 한국철도학회논문집
• /
• 제11권4호
• /
• pp.349-356
• /
• 2008

최근 열차제어시스템과 관계된 안정성 기반 시스템 개념이 변화되고 있다. 기계적이거나 전자 기계적인 장치들은 프로그램 가능한 전자 장치들로 대체되고 또한 이들은 통신망들을 통해 원거리에서 제어된다. 결과적으로 열차제어시스템 개발과 관계된 엔지니어들은 전자 부품들의 오류나 사용자 오류 등에 대해서 시스템 구현 시 대책을 강구해야 할 뿐만 아니라, 또한 시스템에 의해 제공되는 서비스를 붕괴시키는 악의적인 개체의 공격에 대해서도 대비해야 한다. 열차제어시스템에서 요구되는 통신의 특성이 절대적 안정성 기반 특징임을 감안하면, 해당 통신 인프라는 여러 가지 안정성 요구조건을 절대적으로 만족시켜야 한다. 예를 들어 시스템 오류에 관계된 것 또는 사용자 오류와 관계한 것, 그리고 정상적인 시스템 동작을 방해하는 악의적인 공격자의 고의적인 행위에 대한 보호 등을 들 수 있다. 본 논문에서는 열차제어시스템에서 요구되는 안전성 전략에 대해 논하고 또한 한국 철도통신시스템을 위한 보호 메커니즘에 대해서 제안한다. 아울러 제안된 보호 메커니즘에 바탕을 둔 개발한 통신 안정성 평가 도구를 설명한다. 마지막으로 여러 가지 위협들, 즉 가장, 도청, 비인가자의 통신 메시지 조작 등으로부터 제안된 도구의 보호 능력 등에 대해서도 평가한다.

• 한국지반공학회논문집
• /
• 제34권8호
• /
• pp.5-14
• /
• 2018

쇄설성 퇴적암의 입자 크기는 암석을 구분하는 기준인 동시에 이방성의 원인이 된다. 이방성은 암석의 강도와 풍화에 영향을 미치는 주 원인 중 하나이다. 경상분지의 영주, 대구, 부산 지역에 분포하는 쇄설성 퇴적암과 화성암을 대상으로 대자율타원체를 결정하고 이방성정도와 모양지수를 통해 이방성을 분석하였다. 외력의 영향이 거의 없는 호성환경에서 퇴적된 사암의 이방성정도는 1.03 이하였다. 단층의 영향을 받은 암석은 1.06, 단층암은 1.14 이상의 이방성 정도를 보였다. 암석의 자기적 이방성은 단층으로부터 거리가 멀어질수록 이방성 정도가 감소하였다. 세립질의 입자로 구성된 이암과 셰일은 일차퇴적구조인 층리가 박층으로 발달하며 이로 인해 단층암과 유사한 크기의 이방성을 보였고 대자율타원체의 모양지수도 편원형을 보였다. 실험 결과로부터 쇄설성퇴적암 중 신선한 이암과 셰일은 단층암과 유사한 이방성을 가지므로 이들 암반과 관련된 구조물의 설계, 시공, 유지관리에서 주의가 필요하다.

• 지질공학
• /
• 제18권4호
• /
• pp.359-369
• /
• 2008

지하저장공동의 설계 및 효율적 유지관리를 위해서는 설계전단계에서 사전조사로서 공동주위의 대수층 매개변수를 규명하고 운영전 후의 지하수의 흐름을 해석하는 과정이 반드시 수행되어야 한다. 수리지질설계에 필요한 제반자료를 얻기 위해서는 다양한 수리시험을 수행해야하며, 이 중 시추공 주변의 수리지질특성은 필수적인 기초자료가 되므로 보다 정확한 매개변수의 산정이 요구된다. 그러나 기존에 널리 사용된 도해적 일치법을 이용할 경우, 육안 오차나 절차상의 오독 등으로 타당성이 적은 수리지질 상수값을 산정할 위험이 있으며, 산정과정에서 불필요한 작업을 수행해야 하는 단점이 있다 최근 매개변수의 직접전환을 위한 여러 방법론이 제시되어 왔는데, 그 중에서 비선형 회귀모형을 이용하면 매개변수가 반복계산을 통해 자동추정되는 편리함이 있고 추정된 매개변수의 통계학적 타당성까지 평가할 수 있어 매우 유용한 것으로 평가되고 있다 본 연구에서는 공동주위의 실제 수리시험 자료에 대해 기존의 도해적 방법을 거치지 않고, 비선형 회귀모형을 이용한 매개변수의 자동추정을 수행하였다. 매개변수 자동추정 과정에서 발생할 수 있는 많은 반복 계산 횟수를 줄이고 수렴불가능의 문제를 해결하는 방안으로 감쇠계수를 도입하는 방안을 함께 제시하였다.

• 지질공학
• /
• 제24권1호
• /
• pp.39-52
• /
• 2014

다양한 원인에 의해 형성된 석회동굴 내 주굴과 가지굴 등은 일정한 방향성을 가지고 발달하게 된다. 이러한 원인은 주변에 분포하고 있는 층리나 절리, 단층 등과 같은 불연속면의 영향을 받고 형성된다고 알려지고 있다. 석회동굴에 발달된 방향성은 구간별로 어떤 불연속면의 영향을 받고 있는지는 확인이 가능하지만, 전체적으로 주된 영향을 준 불연속면과 발달 방향성을 방향을 명확히 파악하기는 어렵다. 본 연구는 이러한 석회동굴의 발달 방향성을 전체적으로 파악하기 위하여 연장성에 가중치를 적용하는 평균 폭 비율법(Average Span Ratio Method)과 개별 발달 비율법(Individual Development Ratio Method)을 새롭게 제안하여 분석하였다. 새로운 분석법을 적용하기 위해 국내 석회동굴 9개를 임의 선정하여 분석하였다. 분석 결과, 발달 방향성 분포만을 해석한 것보다 두 가지 방식을 적용한 해석기법이 동굴 발달 방향성을 더욱 명확하게 해석할 수 있음을 확인하였다. 석회동굴의 주 층리각과 평균 폭의 연관성 분석을 통해 주 층리의 경사각이 저각일수록 석회동굴 폭 확장에 더 많은 영향을 주고 있음을 확인할 수 있었다. 현장자료를 이용하여 RMR 분석을 수행함으로써 각 석회동굴의 지반안정성을 분석하였다.

• 자원환경지질
• /
• 제25권2호
• /
• pp.179-190
• /
• 1992

연구지역은 충청북도 단양군 영춘면을 중심으로 하는 단양탄전 중부지역으로 단양읍의 북동부에 위치하고 있다. 연구지역내에는 선캠브라아기의 화강암질암을 기저로 하여 캠브로 오도비스기의 조선누층군, 석탄기 - 트라이아스기의 평안누층군, 트라이아스기 - 쥬라기의 반송층군이 각각 부정합을 이루며 분포하고, 대부분의 지층들은 북동 - 남서방향의 주향과 북서 방향의 경사를 가지고 대상으로 분포한다. 전반적인 지질구조의 특성으로 미루어 보아 연구지역내의 지층들은 4번에 걸쳐서 변형작용을 받았다. 첫번째 변형시기$(D_1)$에 옥동단층이 형성되었으며 이를 따라 압쇄암이 분포하고 있다. 이후에 평안누층군이 퇴적되었다. 두번째의 변형시기$(D_2)$에는 북서 - 남동 방향의 축을 갖는 습곡구조와 이와 관련된 신장선구조가 발달하였다. 이후에 화산분출작용으로 인하여 응회암이 퇴적되었으며, 이 상위로 반송층군이 퇴적되었다. 반송층군의 퇴적 이후에 두번째의 화산작용이 있었다. 대보조산운동$(D_3)$ 에 의해 발달된 각동드러스트단층에 의해 북북동 - 남남서 방향의 축을 갖는 gentle to open type의 습곡구조와 파랑선구조가 형성되었으며 flexural slip 변형작용이 드러스트 운동과 함께 우세하게 작용하였다. 마지막의 변형작원$(D_4)$에 의해 동서방향의 축을 갖는 gentle type의 습곡구조와 주향이동성 단층이 발달하였다. 변형량 분석결과, 전반적으로 암석내의 변형정도가 낮으며, 드러스트를 기준으로 상반은 prolate type, 하반은 plane strain - weak oblate type, 그리고 하반에서 비교적 먼 지역에서는 oblate type을 보여준다.

• 정보처리학회논문지D
• /
• 제18D권4호
• /
• pp.261-274
• /
• 2011

최근의 경쟁적 비즈니스 환경은 각 기업으로 하여금 민첩성과 유연성을 요구하게 되었고, 이를 위하여 기업에서 제공하는 서비스에 대한 실시간 모니터링과 이를 통한 조기 의사 결정이 기업의 핵심 경쟁력이 되었다. 또한, 엔터프라이즈 시스템에서 발생하는 수 없이 많은 다양한 이벤트들을 효과적으로 처리하기 위하여 의미 있는 데이터를 필터링 할 수 있는 기술이 요구되고 있다. 하지만, 이와 관련된 기존의 연구는 BPEL엔진이나 미들웨어의 API에 의존한 모니터링으로 서비스 결함 발견에 그치고 있거나 낮은 단계의 이벤트(low-level event)에 기반한 단순 이벤트 처리에 그치고 있어, 기업에 유용한 비즈니스 정보를 제공하기에는 한계가 있다. 본 논문에서는 다중 상황 검출(situation detection)을 통해 보다 가치 있고 유용한 비즈니스 정보의 제공을 가능하게 하는 확장된 복합 이벤트 모델(complex event model)을 제시한다. 구체적으로, 먼저 엔터프라이즈 시스템에서의 이벤트 처리 아키텍처를 제안하고, 제안된 아키텍처에 적합한 이벤트 메타모델을 정의한다. 정의된 메타모델을 기초로 다양하고 진보된 이벤트 연산자와 복합 이벤트 패턴, 그리고 키(key) 등 이벤트 처리 언어를 구성하는 요소의 문법과 의미를 제안한다. 또한, 보다 정교한 이벤트 분석을 위한 이벤트 컨텍스트 매커니즘을 제안한다. 마지막으로 응용사례를 통하여 본 연구의 적용 가능성을 보여주고, 다른 이벤트 모델과의 비교를 통해 본 이벤트 모델의 장점을 제시한다.

• 한국산학기술학회논문지
• /
• 제11권3호
• /
• pp.931-942
• /
• 2010

홈 네트워크는 사용자에게 많은 정보서비스를 제공하여 준다. 특히, 다양한 센서 데이터를 활용함으로써 그 서비스의 종류와 질을 풍부하게 한다. 하지만 홈네트워크는 현재 멀티미디어 서비스에 집중함으로써 그 서비스의 활용폭을 스스로 제한하고 있는 실정이다. 특히 댁내 통신망에 집중함으로써 실내의 여러 가전기기를 제어하는 데는 많은 성과를 얻고 있으나 실외의 여러 기기를 제어하는 데는 큰 성과가 나오지 않고 있다. 실외의 여러 기기는 실내의 가전기기와 다르게 특정 기능을 강조하는 형태로 구성되는 경우가 많기 때문에 여러 기능을 가진 센서보다는 한 두가지 기능을 가진 센서를 활용하여 시스템을 구성하면 되기 때문에 실내에서 센서 노드를 사용하는 것보다 훨씬 경제성도 높다고 할 수 있다. 본 논문에서는 현재 가장 많은 사용 목적을 가진 여러 가지 기능 중 동작 센서를 선택하여 이를 활용할 시스템으로 주차장 관리 시스템을 선택하여 이를 홈 네트워크에 접목하여 구현하여 보았다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국재료학회지
• /
• 제11권2호
• /
• pp.88-93
• /
• 2001

$N_2$처리에 의해 Si (001) 기판에 형성된 C49상의 구조를 갖는 에피택셜 $TiSi_2$상의 열적 거동과 결정학적 특성을 X선 회절법 (XRD)과 고분해능 투과전자현미경법 (HRTEM)으로 조사하였다. 에피택결 $C49-TiSi_2$상은 $1000^{\circ}C$ 정도의 고온에서도 안정상인 C54상으로 상변태하지 않고 형태적으로도 고온 특성이 우수하다는 것이 밝혀졌다. HRTEM 결과로부터 에피택결 $TiSi_2$상과 Si 사이의 결정학적 방위관계는 (060) [001]TiSi$_2$//(002) [110]Si임을 알 수 있었고 계면에서의 격자 변형에너지는 misfit 전위의 형성에 의하여 해소되는 것을 확인할 수 있었다. 또한 HRTEM상의 해석과 원자 모델링을 통하여 Si에서 에피택셜 C49-TiSi$_2$상의 형성기구와 C49상의 (020) 면에 존재하는 적층결함을 고찰하였다.