• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2005년도 지반공학 공동 학술발표회
• /
• pp.564-569
• /
• 2005

Usually, Steel pipe grouting method or cut and cover method has been applied to tunnel with very shallow overburden or it is situated in valley. However, in case of lack of overburden height to reinforcement tunnel crown which is very difficult to construction. Also, application of cut and cover method that do not consider surrounding site condition causes popular enmity generation and environmental damage. It is the best alternative method that reduces the amount of excavated soil and excavate tunnel under ground to solve these problems. The tunneling method using cover structure which is to prevent a tunnel from collapse because this method can be reduce excavation area and construct tunnel under ground after set a cover structure and backfill ground. In this study, to know more effective structure type, comparative analysis was performed to behavior characters of slab and arch type construction that can be used to cover structure. Also a 2D and 3D numerical analysis have been performed to verify the stability of ground during excavation. As the result, the tunneling method using cover structure that it can be good alternative method for tunnel with shallow overburden and it through valley

• 에너지공학
• /
• 제11권2호
• /
• pp.122-129
• /
• 2002

액체금속로의 소듐-물 반응사고에 따른 압력거동 분석을 위하여 한국원자력연구소 KALIMER 개발팀이 개발한 SPIKE코드의 해석 모형 및 알고리즘을 소개하였으며 검증 계산 결과를 제시하였다. KALIMER IHTS의 소듐-물 반응사고로 인한 계통내 압력 거동을 분석하였다. 소듐-물 반응사고의 초기는 압력파 전달과 질량 전달 영역으로 구성됨을 확인하였다. 압력파 전달 영역에서의 압력 거동은 계통의 설계 특성과 무관하나 질량 전달 영역에서는 Cover gas 체적과 파열판 파열 압력에 크게 의존함을 확인하였다. KALIMER IHTS의 초기 소듐-물반응사고 해석 결과는 적절한 Cover gas체적과 파열판 압력 설정을 통해 압력 진동이 설계 압력 범위로 조절할 수 있음을 확인하였다.

• 대한수학회보
• /
• 제52권3호
• /
• pp.977-986
• /
• 2015

Let G be a graph on the vertex set $V(G)=\{x_1,{\cdots},x_n\}$ with the edge set E(G), and let $R=K[x_1,{\cdots},x_n]$ be the polynomial ring over a field K. Two monomial ideals are associated to G, the edge ideal I(G) generated by all monomials $x_i,x_j$ with $\{x_i,x_j\}{\in}E(G)$, and the vertex cover ideal $I_G$ generated by monomials ${\prod}_{x_i{\in}C}{^{x_i}}$ for all minimal vertex covers C of G. A minimal vertex cover of G is a subset $C{\subset}V(G)$ such that each edge has at least one vertex in C and no proper subset of C has the same property. Indeed, the vertex cover ideal of G is the Alexander dual of the edge ideal of G. In this paper, for an unmixed bipartite graph G we consider the lattice of vertex covers $L_G$ and we explicitly describe the minimal free resolution of the ideal associated to $L_G$ which is exactly the vertex cover ideal of G. Then we compute depth, projective dimension, regularity and extremal Betti numbers of R/I(G) in terms of the associated lattice.

• 대한수학회보
• /
• 제20권2호
• /
• pp.95-97
• /
• 1983

In this paper, we show a necessary and sufficient condition for QHC spaces to be S-closed. T. Thomson introduced S-closed spaces in [2]. A topological space X is said to be S-closed if every semi-open cover of X admits a finite subfamily such that the closures of whose members cover the space, where a set A is semi-open if and only if there exists an open set U such that U.contnd.A.contnd.Cl U. A topological space X is quasi-H-closed (denote QHC) if every open cover has a finite subfamily whose closures cover the space. If a topological space X is Hausdorff and QHC, then X is H-closed. It is obvious that every S-closed space is QHC but the converse is not true [2]. In [1], Cameron proved that an extremally disconnected QHC space is S-closed. But S-closed spaces are not necessarily extremally disconnected. Therefore we want to find a necessary and sufficient condition for QHC spaces to be S-closed. A topological space X is said to be semi-locally S-closed if each point of X has a S-closed open neighborhood. Of course, a locally S-closed space is semi-locally S-closed.

• 한국컴퓨터정보학회논문지
• /
• 제16권7호
• /
• pp.85-93
• /
• 2011

본 논문은 지금까지 NP-완전인 난제로 알려진 정점 색칠 문제를 선형시간 복잡도로 해결한 알고리즘을 제안하였다. 제안된 알고리즘은 그래프 G=(V,E)의 최소 채색수 ${\chi}(G)$=k를 결정하기 위해 사전에 k값을 알지 못한다는 가정에 기반하고 있다. 단지 주어진 그래프를 독립집합 $\overline{C}$와 정점 피복 집합 C로 정확히 양분하여 $\overline{C}$에 색을 배정하는 방법을 적용하였다. 독립집합 $\overline{C}$의 원소는 ${\delta}(G)$인 정점 ${\upsilon}$가, C의 원소는 정점 ${\upsilon}$의 인접 정점들 u가배정된다. 축소된 그래프 C는 다시 $\overline{C}$와 C로 양분되며, 이 과정을 C의 간선이 없을 때까지 수행한다. 26개의 다양한 그래프를 대상으로 제안된 알고리즘을 적용한 결과 정점 ${\upsilon}$를 선택하는 횟수는 정점의 수 n보다 작은 값을 나타내었으며, ${\chi}(G)$=k를 찾는데 성공하였다.

• 대한원격탐사학회지
• /
• 제22권3호
• /
• pp.199-209
• /
• 2006

The Global Land Cover 2000 (GLC 200) project, as a most recent issue, is to provide for the year 2000 a harmonized land cover database over the whole globe. The classifications were performed according to continental or regional scales by corresponding organization using the data of VEGETATION sensor onboard the SPOT4 Satellite. Even if the global land cover classification for Asia provided by Chiba University showed a good accuracy in whole Asian area, some problems were detected in Korean region. Therefore, the construction of new land cover database over Korea is strongly required using more recent data set. The present study focuses on the development of a new upgraded land cover map at 1 km resolution over Korea considering the widely used K-means clustering, which is one of unsupervised classification technique using distance function for land surface pattern classification, and the principal components transformation. It is based on data sets from the Earth observing system SPOT4/VEGETATION. Newly classified land cover was compared with GLC 2000 for Korean peninsula to access how well classification performed using confusion matrix.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.511-512
• /
• 2003

The Terra/MODIS data set over Yellow River Basin, China is generated for the purpose of an input parameter into the water resource management model, which has been developed in the Research Revolution 2002 (RR2002) project. This dataset is mainly utilized for the land cover classification and radiation budget analysis. In this paper, the outline of the dataset generation, and a simple land cover classification method, which will be developed to avoid the influence of cloud contamination and missing data, are introduced.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권2호
• /
• pp.121-134
• /
• 2008

A pebbling step on a graph consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The covering cover pebbling number of a graph is the smallest number of pebbles, such that, however the pebbles are initially placed on the vertices of the graph, after a sequence of pebbling moves, the set of vertices with pebbles forms a covering of G. In this paper we find the covering cover pebbling number of n-cube and diameter two graphs. Finally we give an upperbound for the covering cover pebbling number of graphs of diameter d.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권3호
• /
• pp.83-90
• /
• 2020

프로토타입 선택은 훈련 데이터로부터 클래스 영역을 대표하는 최소 데이터를 선택하여 낮은 학습 시간 및 저장 공간을 보장하는 장점을 제공한다. 본 논문은 모든 분류 알고리즘에 적용할 수 있는 초월 사각형을 이용한 새로운 훈련 데이터의 생성 방법을 설계한다. 초월 사각형 영역은 서로 다른 클래스 데이터를 포함하지 않으며 클래스 공간을 분할한다. 선택된 초월 사각형 내 데이터의 중간값은 프로토타입이 되어 새로운 훈련 데이터를 구성하고, 초월 사각형의 크기는 클래스 영역의 데이터 분포를 반영하여 조절된다. 전체 훈련 데이터를 대표하는 최소의 프로토타입 집합 선택을 위해 집합 덮개 최적화 알고리즘을 설계했다. 제안하는 방법에서는 탐욕 알고리즘과 곱셈 연산을 포함하지 않은 거리 계산식을 이용하여 집합 덮개 최적화 알고리즘의 다항 시간을 요구하는 시간 복잡도 문제를 해결한다. 실험에서는 분류 성능의 비교를 위해 최근접 이웃 규칙과 의사 결정 트리 알고리즘을 이용하며 제안하는 방법이 초월 구를 이용한 프로토타입 선택 방법보다 우수하다.

• 대한전자공학회논문지
• /
• 제12권4호
• /
• pp.21-27
• /
• 1975

본 논문에서는 분기가 있는 일반조합논리회로의 다중결함을 검출할 수 있는 테스트집합을 구하는 절차를 유도하였다. 일반논리회로를 우선 내부분기점을 전후하여 이를 분기가 없는 부분회로로 분리하고 각 부분회로에 대한 최소테스트집합을 구한다. 다음에 각 부분테스트를 최대한으로 병립시켜 합성테스트를 구하여 종합적인 일차입력벡터를 정한다. 이러날 수 있는 모든 결함을 빠짐없이 피복할 수 있는 최소테스트집합을 구해가는 과정에 대해서는 각 를 들어 상세히 설명하였다. In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.