• 대한토목학회논문집
• /
• 제32권1A호
• /
• pp.55-64
• /
• 2012

이 연구에서는 강섬유 보강 초고성능 콘크리트 보의 전단거동를 파악하기 위한 실험연구를 수행하였다. I-형 단면을 갖는 단순지지 6개의 보 부재에 대해 3점하중 정적재하실험을 수행하여 전단 거동 특성을 분석하였다. 부재의 실험변수는 강섬유 혼입량과 전단지간-유효깊이 비이다. 강섬유 혼입량은 1.0, 1.5 및 2.0%로 변화하였고, 전단지간-유효깊이 비는 2.5 및 3.4로 변화하였다. 실험결과는 강섬유량이 증가할수록 극한전단강도가 증가하고, 전단지간-유효깊이 비가 증가할수록 극한전단강도가 감소하는 것을 나타낸다. 실험결과를 이용하여 기존 강섬유 보강 콘크리트 보의 전단강도 예측식의 적합성을 평가하고자 하였다. 전단강도 실험값을 기존의 제안식에 의한 전단강도 예측값과 비교하였으며, 비교결과는 예측식의 유효성을 나타내고 있다. AFGC와 JSCE의 제안식에 의한 전단강도 예측 평균값이 실험값에 거의 근접하고 있으며, 예측식 중에서 이들 제안식의 정확도가 가장 높은 것으로 나타난다.

• 한국지반공학회논문집
• /
• 제18권4호
• /
• pp.179-188
• /
• 2002

평판재하시험으로 부터 실제 기초지반의 지지력 및 침하량을 산정할 때, 재하판과 실제기초의 크기가 상이하므로 인해 일어나는 영향, 즉 Scale effect가 고려되어야 한다. 본 논문에서는 재하폭에 따른 지지력 및 침하량의 변화특성을 분석하기 위해 5종류의 모형기초지반을 형성하고, 크기가 각각 l0cm, 15cm, 20cm, 25cm인 4가지 크기의 정사각형 평판으로 재하시험을 실시하여 재하폭에 따른 지지력 및 침하 특성을 분석하였다. 재하시험을 실시하여 분석한 결과, 순수모래 지반에서는 재하폭이 커지면 극한지지력은 증가하였으나 Scale effect에 관한 기존의 식과 같이 비례적으로 증가하지는 않았고, 순수점토 지반에서도 재하폭이 커지면 극한지지력은 약간 증가하여 재하폭에 무관하지 않은 것으로 나타났다. 또한 재하폭과 침하량의 관계를 보면 순수모래 지반은 재하폭이 커지면 침하량은 증가하였으나 Terzaghi and Peck(1967)의 실험식에 의한 값만큼 증가하지는 않았으며, 순수점토 지반에서도 재하폭이 커지면 침하량은 증가하였으나 Scale effect에 관한 기존의 식과 같이 비례적으로 증가하지는 않았다.

• 대한토목학회논문집
• /
• 제31권4C호
• /
• pp.127-136
• /
• 2011

기초사석 위에서 진동하중을 받는 진동다짐판의 침하는 일시적인 진폭과 소성침하로 나타낼 수 있다. 최대 진동하중이 사석의 지지력을 초과하지 않는 한, 소성침하량은 극한값으로 수렴하며 궁극적으로 정상적인 진동을 한다. 이러한 진동다짐의 침하거동에 대한 실내실험은 수평방향이 구속된 시료에 대하여 진동하중이 전체면적에 작용하도록 수행되었거나 진동대에 시료를 놓고 실험을 수행한 것이 대부분이다. 그러나 실제 현장에서는 진동하중이 기초사석 표면적의 일부에만 적용되고 있다. 본 연구에서는 현장조건에 맞게 쇄석에 진동하중을 작용토록 하였다. 쇄석에 대한 진동다짐실험에 따르면 전체 침하량의 약 90%가 2분 이내에 발생하며, 정적 및 동적응력을 포함한 진동응력 수준이 증가할수록 침하는 증가하였다. 진동다짐시, 진동다짐수, 진폭, 침하량, 재하폭, 진동응력의 상관관계를 나타내는 식을 제안하였다.

• 한국지반공학회논문집
• /
• 제17권6호
• /
• pp.37-46
• /
• 2001

무리말뚝의 하중지지능력에서 말뚝캡이 부담하는 비율을 파악하고 무리말뚝을 구성하는 개개 말뚝의 하중전이 특성을 알아보고자 재하시험을 수행하였다. 직경 92.5mm의 강관말뚝 24본(4개씩 6열)을 지표 아래 3m 깊이까지 근입 시컥 풍화암 상단에 말뚝선단이 위치하도록 하였다. 최대하중 320t을 지표면에 접촉되어 있는 $1.5\times2.3m$ 크기의 말뚝캡에 재하하였다. 최대 시험하중인 320t에서는 말뚝캡이 전체하중의 약 22%에 해당하는 하중을 분담하였다. 무리 말뚝 재하시험시 말뚝의 평균 극한지지력은 16.4t이며, 이 값은 말뚝캡을 타설하기 전에 무리말뚝의 모서리에 위치한 말뚝에 대하여 수행한 단말쪽 재하시험으로부터 구한 극한지지력보다 상당히 크게 나타났다. 변위장중첩 효과로 인하여 무리말뚝 중앙에 위치한 말뚝은 작은 하중이 작용하여도 외곽부의 말뚝과 같은 침하량을 기록한 것으로 나타났다. 무리말뚝에서는 주면마찰력의 분담율이 전 하중단계에서 약 60%로 일정하나 단말뚝 시험에서는 하중이 증가함에 따라 주면마찰력의 분담율이 82%에서 65%로 감소하였다.

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

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 대한환경공학회지
• /
• 제31권6호
• /
• pp.428-433
• /
• 2009

용존산소는 하천의 중요한 수질관리 항목중의 하나로 1세기 전부터 언급되어 왔으며, 농도가 낮을 경우 물고기 폐사를 유발하기도 한다. 환경과학자 및 공학자들은 하천의 용존산소 파악을 위한 결정론적 모델을 제안하였으며, 용존산소가 공간적으로 변하지 않을 경우 적용 가능한 델타 방법(Delta Method), 근사 델타 방법(Approximate Delta Method), 극한값 방법(Extreme Value Method) 및 최적화 방법(Optimization Method)등을 소개하였다. 이 방법들은 주로 용존산소와 관련 있는 매개변수 즉, 재포기 계수, 1차 생산율 및 호흡률 등을 산정하여, 이로부터 일주기 또는 년주기 용존산소를 파악한다. 본 논문에서는 용존산소 파악을 위한 각 방법을 간단히 소개하며, 안성천 유역의 금석천 및 안성천 본류, 두 지점에 적용하여 각 방법의 한계와 장 단점을 파악하였다. 이를 기초로 비용/효과적인 용존산소 파악 방법을 제안하였다.

• 한국강구조학회 논문집
• /
• 제24권2호
• /
• pp.233-243
• /
• 2012

본 연구에서는 PHC(Pretensioned spun High strength Concrete)파일에 CT형강을 합성시킨 합성형 벽체파일을 실물 크기로 4개 제작한 후 휨 실험을 수행하여 합성형 벽체파일의 극한 강도와 합성작용 등의 구조 성능을 분석하였다. 합성형 벽체파일은 천공홀이 설치된 CT형강의 복부가 perfobond rib 전단연결재 역할을 하여 콘크리트와 CT형강을 합성시킨 구조물로써 CT형강의 플랜지를 이용하여 벽체파일과 버팀보 또는 상 하부 슬래브의 연결이 가능하므로 기능성과 구조적 성능이 동시에 향상된 구조이다. 모든 실험체의 파괴모드는 휨 파괴였으며, 극한강도는 설계기준에 따라 계산된 목표 설계값보다 큰 것으로 분석되어 개발된 합성형 벽체파일은 충분한 강도를 확보한 것으로 판단되었다. 또한 천공홀을 갖는 CT형강의 복부는 perfobond rib 전단연결재 역할을 적절히 수행할 수 있는 것으로 분석되었다.

• 한국지반공학회논문집
• /
• 제16권4호
• /
• pp.5-16
• /
• 2000

본 연구에서는 지금까지 수행한 일련의 결과들에 근거한 지반력 계수와 극한 지반반력을 역해석적 방법으로 결정하고 이를 이용하여 비균질 지반에서의 비선형 수평거동을 예측할 수 있는 해석기법을 제안하고자 함이 목적이다. Chang이 제안한 해석기법은 비균질 지반의 비선형적인 거동을 예측하기에는 어려움이 있다. 이에 본 연구에서는 말뚝의 비선형 거동 예측을 위하여 Chang 모델에 p - y 곡선을 적용하는 복합적인 해석기법을 제안하고 해석 프로그램을 개발하였다. 그리고 본 해석기법의 적용성 검증을 위하여 모형실험 및 현장실험 결과와 상용 프로그램인 Pentagon2D을 이용한 해석 결과와 비교 검토하였다. 해석상에 이용한 지반반력 계수와 극한 지반반력은 균질지반에서 결정된 값을 비균질 지반에 적용하였으며, 본 해석기법에 의한 거동 예측결과는 모형실험 결과와 잘 일치하였다. 또한 현장실험과의 비교에서도 정도 높은 일치성을 보였다.

• 한국지반공학회논문집
• /
• 제27권4호
• /
• pp.67-76
• /
• 2011

본 연구에서는 수치해석 방법을 통하여 점성토, 사질토, 그리고 점성토와 사질토의 혼합지반에 대하여 상부, 중간, 하부의 하중 작용위치에 따른 석션기초의 극한 수평저항력 및 거동을 분석하였다. 해석결과 지반조건에 관계없이 중간 위치에 재하시 가장 큰 수평저항력을 발휘하는 것으로 나타났으며, 사질토층의 극한저항력이 점성토층이나 점성토-사질토층에 비해 상대적으로 큰 값을 나타내었다. 그리고 석션기초의 이동량과 회전량 분석결과 석션기초의 이동량은 재하위치와 지반조건 모두에 대해 영향을 받지만, 회전량은 지반조건에 관계없이 재하위치에 가장 큰 영향을 받는 것으로 나타났다.

• 한국지반환경공학회 논문집
• /
• 제4권3호
• /
• pp.51-59
• /
• 2003

지오셀 시스템의 사질토 지반에서의 보강효과를 규명하기 위하여 높이 대 폭비(H/W), 상대밀도, 재료의 강도, 복토의 두께를 다르게 하여 모형 재하시험을 수행하였다. 연구 결과 지오셀 시스템은 지오셀의 인장강도보다는 연결부의 강도가 작게 나타나 더 중요한 인자로 판단되었다. 모래의 상대밀도, 재료의 강도와 복토두께가 동일한 경우 모형 지오셀의 극한지지력은 높이 대 폭비(H/W)가 클수록 증가하는 경향을 나타내었으며 복토두께 변화에 따른 지지력비(BCR)는 낮은 상대밀도에서 더 크게 나타났다. 또한 모래의 상대밀도, 높이 대 폭비(H/W)와 복토두께가 동일한 경우 모형 지오셀의 재료의 인장강도가 커짐에 따라 극한지지력은 증가하였으며 인장강도의 영향은 조밀한 모래에서 더 두드러진 것으로 나타났다. 또한 복토층의 두께가 작을수록 지지력비는 큰 값을 나타내었다. 재료의 인장강도가 작은 특별한 경우에 Koerner공식의 적용은 주의가 필요할 것으로 사료된다.