30 research outputs found

    Ivestigation on the characteristics of differential settlement for landfill using impermeable self-healing liner

    No full text
    폐기물 매립지에서 폐기물의 분해 등으로 인해 부등침하가 발생할 경우 자가치유차수층를 활용한 매립지 최종복토층의 안정성에 미치는 영향을 확인해보는 것을 목적으로 한다. FLAC 프로그램을 이용하여 폐기물 분해 양상을 blank로 설정한 후 수치해석을 수행하였으며, 기본 물성치시험 및 문헌조사 등을 통해 각 층에 대한 구성성분의 변수를 산정하였다. 이전 현장투수시험 등을 통해 얻어진 자료를 바탕으로 부등침하 발생 시 부등침하의 폭, 깊이, 개수별 매립지 최종복토층의 침하량을 산정하여 부등침하에 대한 구조적 안정성을 검토하였다.2

    Pivot-minor들을 이용한 rank-width와 tree-width의 관계에 대한 연구

    No full text
    학위논문(석사) - 한국과학기술원 : 수리과학과, 2012.8, [ iv, 29 p. ]We prove that every graph of rank-width kk is a pivot-minor of a graph of tree-width at most 2k2k and every graph of linear rank-width kk is a pivot-minor of a graph of path-width at most k+1k+1. We also prove that graphs of rank-width at most 11 are exactly vertex-minors of trees, and graphs of linear rank-width at most 11 are precisely vertex-minors of paths. In addition, we show that bipartite graphs of rank-width at most 11 are exactly pivot-minors of trees and bipartite graphs of linear rank-width at most 11 are precisely pivot-minors of paths. Also, we calculate the linear rank-width of complete binary trees. And we show that if a tree has linear rank-width at least kk, then it has the complete binary tree of height kk as a vertex-minor. Finally, we describe an interesting question that a class of graphs with unbounded linear rank-width contains all trees as vertex-minors or pivot-minors. We prove that this question for pivot-minor is false and we suggest another version of the question.한국과학기술원 : 수리과학과

    무기체계-표적 할당과 사격순서결정에 관한 연구

    No full text
    학위논문(박사) - 한국과학기술원 : 산업공학과, 1998.2, [ viii, 137 p. ]This thesis is concerned with the targeting problem and the fire sequencing problem. The main decision process of firing consists of two phases. Initially, we decide the weapon-target allocation by solving the targeting problem. Then, we schedule the firing sequence so as to minimize the timespan. Two phase approachgives flexibility to the plan officers. That means the plan officers can handle each problem separately under various tactical and operational constraints. We consider the problem of assigning weapons to targets so that the total cost is minimized while satisfying various tactical and operational constraints. Given a set of weapon systems and a set of targets, we need to assign weapons to targets and determine the number of rounds that each weapon may fire on the targets. A target may be fired on by more than one weapon systems and a weapon may fire on more than one targets. The constraints include the amount of ammunition available for each weapon, the desired destroy level on each target, restriction on the number of targets that a weapon system can fire, and the upper bound on the number of rounds that can be fired for each weapon-target pair. The targeting problem can be modeled as a nonlinear integer programming problem, which can be transformed into a linear integer programming problem by linearizing the nonlinear constraints. Even though targeting problem is NP-hard, we try to solve the problem to optimality within a reasonable amount of time. In the basic targeting problem, we consider the minimum tactical and operational restrictions required to plan the targeting operation. To solve the basic targeting problem, we apply the Lagrangian relaxation and the branch-and-bound method. In the Lagrangian relaxation, a primal heuristic is developed so as to obtain the feasible solution from the infeasible solution obtained by solving the relaxed problem. Three different branching strategies are adopted and evaluated in the branch-and-bound method....한국과학기술원 : 산업공학과

    Vertical drain pile containing reactive column for soft ground improvement of dredged soil field and soft ground improvement method using the same

    No full text
    준설토 투기장에 사용되는 반응성 컬럼 배수공법용 파일 및 이를 이용한 준설토 투기장의 반응성 컬럼 배 수공법이 개시된다. 본 발명의 준설토 투기장에 사용되는 반응성 컬럼 배수공법용 파일은, 준설토 투기장 의 지반으로부터 지지되며 준설토 투기장 내의 해수가 통과하지 못하도록 불 투수성 재질로 마련되는 중공 형 제1 컬럼 제1 컬럼의 내주면에 인접하게 배치되며 해수가 통과할 수 있도록 투수성 재질로 마련되는 제1 커버 제1 커버의 내측에 배치되되 제1 커버를 거치며 유입된 해수가 하측 방향으로 강제적으로 이동 할 수 있도록 제1 컬럼의 하단부로부터 일정간격 이격되어 마련되는 불 투수성 재질의 중공형 제2 컬럼 제1 커버 및 제2 컬럼 사이의 공간에 충진되며 해수 내의 오염물질이 정화될 수 있도록 오염물질에 대한 반응성을 갖는 제1 오염물질 반응부 및 제2 컬럼 내부의 중공 부분에 충진되며 제2 컬럼의 하단부로부터 유입되어 상측으로 이동하는 해수 내의 오염물질이 정화될 수 있도록 오염물질에 대한 반응성을 갖는 제2 오염물질 반응부를 포함하는 것을 특징으로 한다. 본 발명에 의하면, 준설토 투기장에 자립형으로 설치할 수 있으면서도, 준설토의 매립 진행 단계에 맞추어 매립층의 배수를 효율적으로 유도할 수 있는 준설토 투 기장에 사용되는 반응성 컬럼 배수공법용 파일을 제공할 수 있게 된다

    Linear rank-width의 구조적 특징과 알고리즘 관련 성질에 대하여

    No full text
    학위논문(박사) - 한국과학기술원 : 수리과학과, 2015.8 ,[vi, 163 p :]이 논문에서는 linear rank-width의 성질들에 대해서 알아보았다. 알려진 path-width와 tree-width의 관계와 같이 linear rank-width는 rank-width의 선형형태로 볼 수 있다. Path-width에 대해 알려진 결과들로부터 동기를 부여받아, linear rank-width와 관련된 질문들을 던지고 그 질문들에 답을 하였다. 첫 번째로, linear rank-width와 연관된 그래프의 구조적 성질에 대해 관찰하였다. 본 저자는 linear rank-width가 kk 이하인 그래프 모임에 대해 vertex-minor 관계로 최소인 그래프들의 개수가 적어도 2Ω(3k)2^{\Omega(3^k)} 개 이상 있음을 증명하였다. 주어진 그래프 GG와 상수 kk에 대해 GG의 linear rank-width가 kk이하임을 테스트하는 문제에 대한 constructive한 fixed parameter tractable 알고리즘이 알려진 것이 없는데, vertex-minor 관계로 최소인 그래프들을 모두 구할 수 있으면, 이런 알고리즘을 제시할 수 있다. Linear rank-width가 kk 이하인 그래프 모임에 대한 vertex-minor 관계로 최소인 그래프의 크기의 상한을 구하는 것에 대해 알려진 것이 없으며, 이를 알아내는 것은 흥미로운 미해결 문제이다. Split과 prime 그래프 개념은 이 논문에서 가장 중요하게 쓰인 도구 중 하나이다. 본 저자는 고정된 트리 그래프 TT에 대해 충분히 linear rank-width가 큰 그래프는 TT를 반드시 vertex-minor로 가진다는 질문을 던졌다. 이에 대해 이 질문을 증명하는 것은 이 질문을 prime 그래프 상에서 증명하는 것과 동치임을 증명하였다. 또한, 고정된 상수 nn에 대해, 다른 상수 NN이 존재하여 점의 개수가 NN개 이상인 prime 그래프는 반드시 길이 nn인 원 그래프를 가지거나 아니면 완전 이분그래프 K2,nK_{2,n}의 선 그래프를 vertex-minor로 가짐을 증명하였다. 두 번째는, linear rank-width와 관련된 그래프의 알고리즘을 개발하였다. 먼저, 본 저자는 처음으로 nn개의 점을 가지는 distance-hereditary 그래프 상에서 linear rank-width를 다항식 시간에 계산하는 알고리즘을 고안하였다. 이 결과를 이용하면 independent set 오라클이 있다는 가정 하에 branch-width가 22 이하인 매트로이드의 path-width도 다항식 시간에 계산할 수 있음을 증명하게 된다. 이를 일반화하는 문제로서 rank-width가 상한된 그래프에 대해서도 linear rank-width를 계산하는 다항식 알고리즘을 생각해 볼 수 있는데, 이에 대해 아직 알려진 바가 없다. 마지막으로, 본 저자는 \textsc{Linear rank-width ww 점 지우기}과 \textsc{Rank-width ww 점 지우기} 문제를 ww11인 경우에 대하여 연구하였다. 다음으로 연구해볼 수 있는 것은 11보다 큰 ww에 대해서 비슷한 fixed parameter tractable 알고리즘과 다항식 kernel의 존재 여부이다. 본 저자는 특히, \textsc{Rank-width 11 점 지우기} 문제를 2O(klog2k)nO(1)2^{\mathcal{O}(k\log_2 k)}\cdot n^{\mathcal{O}(1)} 시간에 해결할 수 있음을 증명하였는데, 이를 어떤 상수 cc에 대해 cknO(1)c^k\cdot n^{\mathcal{O}(1)} 시간에 풀 수 있음을 미해결 문제로 제시한다.한국과학기술원 :수리과학과

    A Case Study on the Foundation Work of Uldolmok Tidal Current Power Plant

    No full text
    Uldolmok tidal current power plant was constructed on May 2009 at Jindo Gun in Korea. However it had much trouble in installing structure due to the extremely fast tidal current velocity(max. 5.5m/sec) and the jacket type plant structure. Therefore in this paper, The characteristics of tidal current and sea bed topography at Uldolmok tidal current plant site are investigated, and the detailed foundation work process of the plant is described.2

    Overview and status of tidal and tidal current energy development

    No full text
    The western and southern coasts in Korea are recognized as one of the most appropriate places in the world for developing tide and tidal current energy, since they have the geographical features like a Rias coast as well as the strong tides. Tidal power plants(TPP) make use of the rise and fall of sea water level due to tide. A large volume of seawater sluices into a tidal basin so that the water level difference between inside and outside of the basin is utilized to generate electricity. On the other hand, tidal current power plants(TCPP) employ water turbine generators to convert the kinetic energy of strong tidal currents into electricity. The first attempt for constructing TPP is Sihwa TPP. The construction of Sihwa TPP with the installed capacity of 254MW is expected to be completed by 2010. The first target site for developing the tidal current energy is the Uldolmok, where the strongest tidal current in Korea occurs. The construction of pilot TCPP of 1MW was completed in May 2009. The construction works for developing tidal and tidal current energy are planned to be undertaken at several proposed sites.2

    부모 간 폭력에 노출된 경험이대학생의 데이트폭력 가해에 미치는 영향: 젠더감수성의 조절효과

    No full text

    Apparatus for the soil survey of a site of the seabed for leveling

    No full text
    본 발명은 해저 지반에서 레벨 조정이 가능하고 해저의 지형과 지질에 따라 교체할 수 있으며 운반을 용이 하게 할 수 있는 레벨을 조절할 수 있는 해저 지반조사장치를 개시한다. 본 발명의 레벨을 조절할 수 있는 해저 지반조사장치는, 크레인의 연결줄이 결합되며 로드들을 순차적으 로 해저의 지반 아래로 삽입하는 로드 삽입부, 로드 삽입부에 다수가 고정되며 로드들이 외주면 측에 결합 되는 로드 고정팩, 로드들을 로드 삽입부로 순차적으로 이송시키는 로드 이송부, 그리고 상기 로드 삽입부 의 저면에 체결수단으로 결합되는 받침 베이스, 상기 받침 베이스의 저면에 일정한 간격으로 결합되며 해 저 지반의 지형에 따라 각각 서로 다르게 높낮이가 조절되는 복수의 다리부를 포함한다

    Dipole glass phase in KDP type mixed crystals

    No full text
    학위논문(박사) - 한국과학기술원 : 물리학과, 1994.2, [ iii, 102 p. ]한국과학기술원 : 물리학과
    corecore