• Journal of Ocean Engineering and Technology
• /
• v.19 no.2 s.63
• /
• pp.60-66
• /
• 2005

This paper investigates the relationship between the fleet-angle of the hoisting rope and the swaying and pitching angles of a cargo in container cranes. It is found that for a given disturbance, when the fleet-angle is large, the sway Angle becomes smaller, but the pitching angle becomes larger. Therefore, for a quick suppression of a sway motion, it is desirable to have a large fleet-angle. The compatibility and bifurcation conditions, regarding instability, are characterized.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1286-1290
• /
• 2006

방수로는 홍수 피해 경감을 사용되는 구조적 대책으로 최근 국내에서 널리 계획되고 있다. 이러한 방수로는 대체로 보통 횡월류위어 등으로 대표되는 유입부 구조물을 통하여 본류에 연결되지만, 평상시에도 본류의 유량을 일부 분담하는 형태로 설계되는 젖은 하도(wet channel) 형태의 방수로는 별도의 유입부 구조물을 설치하지 않고 바로 본류에 연결되는 것이 일반적인 형태이다. 일반적으로 유입부 구조물을 통해 연결되는 방수로의 특성은 유입부 구조물의 수리학적인 특성에 의해서 많이 좌우된다. 이에 반해 젖은 하도 형태의 방수로는 방수로의 폭(W), 방수로 유입되는 흐름의 유입각$(\theta)$등에 의해서 많이 좌우되며, 만약 설계된 방수로의 횡단면 형상이 사다리꼴 또는 직사각형 단면을 따른다면 이러한 흐름은 '제한된 영위어고 횡월류위어 흐름(restricted zero-height side weir flow)'으로 분류할 수 있다. 이러한 조건에서의 흐름은 일반적인 횡월류위어에서의 흐름과 상당히 다른 것으로 알려져 있다. 본 연구에서는 이러한 방수로 분기 조건을 다양하게 구현할 수 있는 실험 수로를 설치하여 방수로 폭을 변화시키면서 실험을 수행하였으며, 분기 조건의 변화에 따른 분수로 유입부분에서의 수리학적특성을 분석하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.561-564
• /
• 2011

다양한 공학/산업적 측면에서 동적 취성 파괴 현상은 매우 중요하다. 취성 균열은 다른 균열 전파에 비해 그 전파 속도가 매우 빠르고 전파 범위가 넓기 때문에 대규모의 파괴 현상을 일으킨다. 동적 전파 중인 취성 균열 거동을 모델화하기 위해 오랜 기간 동안 많은 연구가 진행되었지만, 여전히 많은 부분들이 해석되지 못한 채 남아있다. 특히 균열 생성 및 전파를 위해 인위적인 조건들을 도입해야 하는 것은 기존 방법론들이 가지는 공통적인 문제점이다. 본 연구는 peridynamics를 동적 분기 균열 문제 해석에 도입한다. Peridynamics는 전통적인 연속체 이론에 기반한 수치해석 모델화 기법으로 균열과 같은 비연속성이 있는 문제의 모델화에 강점이 있으며, 인위적인 조건 없이 매우 간단한 방법으로 파괴 현상을 해석할 수 있다. 본 연구에서는 peridynamics 모델이 실험적으로 관측된 분기균열 형상과 균열 전파 속도를 매우 잘 예측해 낼 수 있음을 보인다. 또한 균열팁 주변에 높은 응력이 발생할 때 나타나는 연쇄 분기 현상도 해석할 수 있다. 이와 같은 연구를 통해 응력파가 균열 전파 속도를 변화시키고 전파 방향에도 영향을 주는 것을 알 수 있었다. 수치해석 결과도 또한 실험 결과들과 잘 부합함을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.48-50
• /
• 2012

기존의 저궤도 위성에서는 RTCS 이용하여 순차적인 명령 집합을 구현해왔다. 장치의 초기화, 관련 모드의 변경, 임무 수행 등 많은 부분에서 연관된 순차 명령이 실행되도록 설계되어 적용되었다. RTCS 는 연관된 순차 명령을 정해진 시간 간격을 두고 실행 할 수 있도록 해주었다. 이러한 RTCS 의 수행 중, 위성의 상태에 따른 조건 판단이나 분기가 필요한 경우, 위성비행소프트웨어에 별도의 Logic 을 구현하였다. 이 방법은 RTCS 자체의 구조가 단순하고, 그 수행이 직관적이라는 장점이 있으나, RTCS 와 관련된 Logic 이 위성비행소프트웨어에 고정적으로 구현되고, 조건 판단 및 분기가 여러 부분에서 수행될 경우 RTCS 가 단편화되며, 위성비행소프트웨어에서 구현해야 하는 Logic 의 관계가 복잡해지는 단점이 있다. 본 논문에서는 기존 RTCS 가 가지는 단순한 구조를 유지하면서, 조건 판단 및 분기의 처리가 가능한 새로운 순차 명령 집합의 설계에 대해 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.808-810
• /
• 2005

조건 분기예측실패는 많은 사이클을 낭비시키며, 비순서적 실행을 방해하고, 잘못 예측된 명령어들을 수행하게 되므로 전력을 낭비한다. gshare와 GAg같은 전역 히스토리를 기반으로 하는 예측기에서는 히스토리의 명령어 완료시간 갱신(commit update)에 의해 많은 분기예측실패가 발생한다. 이를 위해 히스토리를 모험적으로 갱신하고, 분기예측실패 시 히스토리를 복구시키는 메커니즘에 관한 연구들이 제시되었다. 본 논문에서는 기존 분기예측기에 age_Counter를 추가하여 미해결 분기명령어 수를 저장하며, 이를 분기예측실패 후 분기 히스토리 레지스터를 복구하는데 사용하는 간단한 복구 메커니즘을 제안한다. SimpleScalar 3.0/PISA 툴셋과 SPECINT95 벤치마크 프로그램에서 시뮬레이션 한 결과, 제안된 복구 메커니즘은 GAg와 gshare 예측기에서 예측정확도는 각각 $9.21\%$와 $2.14\%$가 개선되었고, IPC는 $18.08\%$와 $8.75\%$ 개선되었다.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.31 no.5
• /
• pp.479-486
• /
• 2011

In image-based CFD modeling of carotid bifurcation hemodynamics, it is often not possible (or at least not convenient) to impose measured velocity profiles at the common carotid artery inlet. Instead, fully-developed velocity profiles are usually imposed based on measured flow rates. However, some studies reported a pronounced influence of inflow boundary conditions that were based on actual velocity profiles measured by magnetic resonance imaging which showing the unusual presence of a high velocity band in the middle of the vessel during early diastole inconsistent with a Dean-type velocity profile. We demonstrated that those velocity profiles were induced by the presence of modest secondary curvature of the inlet and set about to test whether such more "realistic" velocity profiles might indeed have a more pronounced influence on the carotid bifurcation hemodynamics. We found that inlet boundary condition with axisymmetric fully-developed velocity profile(Womersley flow) is reasonable as long as sufficient CCA inlet length of realistic geometry is applied.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.469-470
• /
• 2009

확장 관계는 유스케이스 수행 중 조건에 따라 기반 유스케이스의 기능을 확장하고자 할 때 활용된다. 그러나 현재 확장 관계가 조건에 따른 분기를 위해 활용하는 확장점은 레이블 형태를 가지며, 이는 객체지향 프로그램의 작성을 어렵게 만드는 요인이 된다. 또한 확장기능 수행 후 기반 유스케이스로의 복귀점에 대한 명확한 모델링 기준이 부족하여 확장 관계의 활용이 어려운 것이 현실이다. 본 논문에서는 유스케이스 확장 관계의 개선 모델링 기법을 제시한다. 개선 모델링은 확장 관계의 분기점으로 기존 레이블 형태의 확장점 대신 액티비티 노드를 설정한다. 또한 분기점과 쌍으로 복귀점에 해당하는 액티비티 노드를 명시적으로 지정 가능하다. 이를 통해 확장 관계의 분기 및 복귀의 보다 명확한 명세가 가능하다.

• Proceedings of The KACE
• /
• 2018.01a
• /
• pp.79-82
• /
• 2018

최근 유치원생과 초등학교 저학년생을 대상으로 프로그래밍 경험을 제공하기 위한 목적으로 다양한 텐저블 프로그래밍 도구들이 개발되고 있다. 개발된 텐저블 프로그래밍 도구들은 순차, 분기, 반복 등의 프로그래밍 개념을 손으로 조립하거나 쌓는 등의 구체적인 조작을 통해 프로그래밍 활동을 체험하도록 설계되었다. 하지만, 텐저블 프그래밍 도구가 순차, 반복, 분기, 변수, 함수 등의 프로그래밍의 개념을 일부만 반영하고 있어 프로그래밍 개념에 대한 체험이 완전하게 이루어지지 않고 있다. 본 연구는 기존에 개발한 텐저블 프로그래밍 도구인 B-Bricks에 조건에 따른 분기와 반복 개념을 추가하여 설계하는 연구로, B-Bricks를 사용하여 조건문과 반복문을 설계하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.451-460
• /
• 2013

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• Journal of KIISE:Software and Applications
• /
• v.37 no.7
• /
• pp.584-589
• /
• 2010

The dynamic time warping algorithm generally used in time series pattern recognition spends most of the time in generating the correlation table, and it establishes the global path constraint to reduce the corresponding time complexity. However, the constraint restrains just in terms of the time axis, not considering the contents of input patterns. In this paper, we therefore propose an efficient branch and bound dynamic time warping algorithm which sets the global constraints by adaptively reflecting the patterns. The experimental results show that the proposed method outperforms conventional methods in terms of the speed and accuracy.