• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국산업정보학회논문지
• /
• 제24권5호
• /
• pp.115-120
• /
• 2019

본 논문에서는 이동 구간 입자 군집 최적화 (Receding horizon particle swarm optimization; RHPSO) 알고리즘 기반 다개체 로봇 편대 제어 알고리즘의 통계적 성능 분석 결과를 제시한다. 다개체 로봇의 편대 제어 문제는 로봇 간 충돌 회피를 고려할 경우, 구속 조건이 있는 비선형 최적화 문제로 정의될 수 있다. 일반적으로 구속 조건이 있는 비선형 최적화 문제는 최적해를 찾는데 많은 시간이 걸리는 문제점이 있다. 이동 구간 입자 군집 최적화 알고리즘은 로봇 편대 제어의 최적화 문제에 대한 준최적해를 빠르게 찾기 위해 제안된 알고리즘이다. 이동 구간 입자 군집 최적화 알고리즘은 알고리즘에 사용되는 후보해의 개수와 세대 수가 증가함에 따라 계산 복잡도가 증가한다. 따라서 최소의 후보해와 세대 수만으로 실시간 제어에 사용될 수 있는 준최적해를 찾는 것이 중요하다. 본 논문에서는 이동 구간 입자 군집 최적화 알고리즘의 후보해의 수와 세대 수에 따른 제어 오차를 비교하였다. 다양한 조건의 시뮬레이션 실험을 통해서 통계적으로 결과를 분석하고, 허용 가능한 편대 오차 범위 내에서 이동 구간 입자 군집 최적화 알고리즘의 최소 후보해의 수와 세대 수를 도출한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2018년도 학술발표회
• /
• pp.71-71
• /
• 2018

해상 교통량 증가에 따라 선박 사고로 인한 대형 해양 오염사고가 많이 발생하고 있다. 유조선 충돌에 따른 선체 파공은 원유의 바다 유출을 야기하여 심각한 해양오염을 유발하므로 이러한 사고에 대해서 신속한 방재 대응력이 요구된다. 작은 파공은 목제 플러그를 인위적으로 삽입하여 봉쇄하는 것이 일반적이지만, 대형 파공의 경우 사람이 직접 봉쇄하기에는 어려워 기계적 봉쇄장치 개발이 요구된다. 파공봉쇄 장치 개발을 위해서는 유체의 유출유속을 정확하게 아는 것이 중요하다. 이 연구에서는 2007년 태안 기름유출 사고에서 관측된 초기수심 7.5 m, 직경 30 cm의 파공에 대해서 고해상도 CFD 모델링을 수행하여 수심별 기름 유출 유속의 분포를 계산하였다. 비중 0.85이며, 원유의 온도 $20^{\circ}C-100^{\circ}C$ 조건에 따른 점성계수 $4-12cP(mPa{\cdot}s)$ 조건에서 파공을 통한 원유 유출을 고해상도 모델링한다. 모델링 결과를 분석하여 원유유출에 대한 마찰손실계수와 유량계수의 범위를 레이놀즈수의 함수로 제시한다.

• 지질공학
• /
• 제31권3호
• /
• pp.395-432
• /
• 2021

지하수함양은 시공간적으로 다양하여 직접적으로 측정하기 어렵기 때문에 함양추정을 위해 수치모델이 널리 사용되고 있다. 이 연구에서는 지하수함양을 추정하기 위한 방법으로 기계학습법의 하나인 분류회귀트리(CART)모형을 적용하기 위해 수정된 수직식생지수(mPVI), 정규식생지수(NDVI), 정규경작지수(NDTI), 정규나지지수(NDRI) 같은 토양-식생관련 지수와 강우, 지형인자(고도, 경사, 경사방향)를 입력하고 김천지역 SWAT-MODFLOW의 함양량 결과를 추출 및 학습하여 함양량을 예측하였다. SWAT-MODFLOW의 함양량 분포에 대한 CART모형의 예측값의 전반적인 정확도는 0.5~0.7, 카파계수는 0.3~0.6으로 나타나 위성영상자료를 통해 토양-식생에 따른 함양량 변화를 합리적으로 예측할 수 있었다.

• 한국산학기술학회논문지
• /
• 제20권2호
• /
• pp.732-740
• /
• 2019

가습 소자를 이용한 증발식 가습은 건물이나 데이터 센터의 공조에 널리 사용되고 있다. 가습 소자의 성능은 가습 효율로 나타내는데 이 효율은 공기의 온습도나 물 온도에 무관하게 사용되고 있다. 본 연구에서는 데이터 센터와 건물 공조의 두 공기 조건에 대하여 셀룰로오스/PET, Glasdek의 두 소자를 사용하여 전벙 풍속과 물 온도를 변화시키며 일련의 실험을 수행하였다. 실험 결과 측정된 가습 효율은 공기 조건과 물 온도에 따라 다르게 나타났다. 심지어 건물 조건에서는 소자의 입구부에서 감습이 나타나기도 하였는데 그 이유는 공급수 온도가 입구 공기의 노점온도보다 낮았기 때문이었다. 건물 조건에서는 공급수 온도와 공기의 노점 온도 차이가 증가할수록 가습 효율은 감소하였다. 이로부터 가습 효율 모델을 적절히 세우려면 길이 방향으로 수분 전달량이 변화하는 입구 영역에 대한 해석이 중요하다고 판단된다. 셀룰로오스/PET 소자에 대하여 성능 해석을 수행한 결과 Sherwood 수는 적절히 예측하였으나 마찰 손실은 과대 예측하였다. 이는 해석시 채널 형상을 단순한 삼각형으로 가정하고 소자 표면에 형성된 액막의 영향을 무시한 때문으로 판단된다.

• 한국터널지하공간학회 논문집
• /
• 제20권6호
• /
• pp.917-930
• /
• 2018

도로터널의 방재시설 설계에 화재 위험을 정량적으로 평가하기 위한 정량적 위험도 평가기법이 소방시설물에 대한 성능위주 설계의 일환으로 도입되어 전차종이 통과하는 대단면 터널에 대한 방재시설의 적정성을 평가하는데 활용되고 있다. 그러나 현재 도로 터널에 도입하고 있는 정량적 위험도 평가기법은 대단면 터널에만 적용이 가능하기 때문에 최근 건설이나 계획이 증가하는 소형차 전용 도로터널에 대한 정량적 위험도 평가기법의 개발 필요성이 대두되게 되었다. 이에 본 연구에서는 기존의 터널에 대한 정량적 위험도 평가기법을 기반으로 하여 소형차 전용 도로터널에 적합한 화재발생 시나리오를 제시하고 소형차 전용의 모델터널에 대해서 피난연결통로 간격에 따른 위험도를 분석하고 적용성을 검토하였다. 그 결과로 소형차 전용도로터널의 경우, 현행 사회적 위험도 평가기준을 만족하기 위한 피난연결통로의 적정 간격은 200 m로 평가되었다. 또한 소형차 전용터널에 대한 제배연방식에 따른 위험도를 비교한 결과, 제트팬에 의해서 기류제어가 가능한 대배기구방식이 피난안전확보에 효과적인 것으로 분석되었다.

• 한국산학기술학회논문지
• /
• 제19권11호
• /
• pp.326-331
• /
• 2018

최근 들어 건물이나 데이터 센터의 공조에 기화식 가습기가 널리 사용된다. 일반적으로 가습 효율은 외기 조건에 관계없이 동일하게 적용된다. 하지만 이 부분에 대해서는 확인이 필요하다. 본 연구에서는 일반 건물과 데이터 센터의 설계 온습도 조건에서 일련의 실험을 수행하고 상기 가정이 적절한지를 판단하였다. 실험에 사용된 소자는 cellulose/PET 재질로 깊이 100mm, 200 mm, 300 mm 세 종류이고 전방 풍속 1.0 m/s에서 4.5 m/s 사이에서 수행되었다. 실험 결과 가습 효율은 외기 조건에 따라 차이가 났다. 데이터 센터 ($25^{\circ}C$ DBT, $15^{\circ}C$ WBT) 조건에서 건물 공조 ($35^{\circ}C$ DBT, $21^{\circ}C$ WBT) 조건보다 크게 나타났는데 그 이유는 입구 영역에서 수분 전달 성능의 차이 때문이다. 심지어 건물 공조 조건에서는 입구 영역에서 제습이 일어났다. 또한 공급수 온도가 외기 공기의 습구온도에 근접할수록 가습 효율이 증가함을 확인하였다. 따라서 가습소자의 성능을 적절히 예측하기 위해서는 입구 영역에 대한 해석 모델이 포함되어야 한다. 한편 소자의 두께가 100 mm에서 200 mm로 되면 가습효율이 29% 증가하고 300 mm가 되면 42% 증가한다. 하지만 압력 손실도 47%, 86% 증가한다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제25권3호
• /
• pp.85-92
• /
• 2019

디지털 스토리텔링에 등장하는 3차원 가상 캐릭터에는 외형뿐만 아니라 자세나 동작에서도 캐릭터의 개성이 반영된 고유의 스타일이 부여된다. 그러나 사용자가 웨어러블 동작센서를 사용하여 직접 캐릭터의 신체 동작을 제어하는 경우 캐릭터 고유의 스타일이 무시될 수 있다. 본 연구에서는 가상 캐릭터를 위해 제작된 소량의 애니메이션 데이터만을 이용하는 검색 기반 캐릭터 동작 제어 기술을 사용하여 캐릭터 고유의 스타일을 유지하는 기술을 제시한다. 대량의 학습 데이터를 필요로하는 기계학습법을 피하는 대신 소량의 애니메이션 데이터로부터 사용자의 자세와 유사한 캐릭터 자세를 직접 검색하여 사용하는 기술을 제안한다. 제시된 방법을 검증하기 위해 전문가에 의해 제작된 가상현실 게임용 캐릭터 모델과 애니메이션 데이터를 사용하여 실험하였다. 평범한 사람의 모션캡쳐 데이터를 사용했을 때와의 결과를 비교하여 캐릭터 스타일이 보존됨을 증명하였다. 또한 동작센서의 개수를 달리한 실험을 통해 제시된 방법의 확장성을 증명하였다.

• 한국산학기술학회논문지
• /
• 제20권2호
• /
• pp.1-6
• /
• 2019

본 연구의 목적은 100kW급 연료전지 시스템의 열관리 성능을 실도로 운전조건에서 분석하여, 성능 해석 모델링을 개발하는 것이다. 개발된 모델을 적용하여, 열관리 시스템의 운전조건 변화에 따른 성능 변화를 고찰하고자 한다. 해석 모델링은 핵심부품들에 대한 성능 평가 데이터를 바탕으로, 성능에 영향을 주는 변수들로 개발하였다. 개발된 연료전지 열관리 시스템 해석 모델링으로 다양한 실차 운전조건에서의 최적 열관리 시스템에 대한 전력소비량을 분석하였다. 주요하게, 연료전지 열관리시스템 핵심부품(워터펌프, 냉각 팬, 3 Way Valve, 라디에이터)에 대한 성능 특성 분석 후 모델링을 진행하였다. 개발된 모델링으로 운전조건에 따른 유량 예측을 하였고, 실험값과 예측값과의 비교분석을 통하여서, 해석 모델링에 대한 검증을 진행하였다. 과도해석을 통하여서, 냉시동시 냉각수 온도가 특정온도까지의 소요시간을 예측하였다. 스택 운전조건에서 스택 입출구 온도가 적정 수준에서 움직이기 위한 열관리 시스템 운전조건에 대한 예측을 진행하였다. 그 결과를 바탕으로, 소모전력과 열방출량과의 비교분석을 하였다. 개발된 해석 모델링은 핵심부품들의 성능 변화시 연료전지 시스템 운전에 대한 영향도를 분석할 수 있도록 활용할 예정이다.

• 해양환경안전학회지
• /
• 제24권7호
• /
• pp.930-938
• /
• 2018

잠수함에서 발생하는 수중방사소음은 적함의 소나에 의해 피탐될 확률과 직결되며, 잠수함 저소음화 방안은 생존성 향상을 위해 필수적이다. 최신 잠수함의 경우 기계류 소음저감 및 고속/대형화가 진행됨에 따라 선체 주위에 발생하는 유동소음에 대한 관심이 높아지고 있다. 본 연구에서는 자유수면의 효과를 고려하여 잠수함 형상 주위에 발생하는 유동소음 수준을 예측할 수 있는 소음해석기법을 개발하였다. 잠수함이 자유수면 근처 운항시에 잠수함 주위 유동장의 교란에 의해 발생하는 난류유동소음과 쇄파버블에 의한 소음이 발생한다. 먼저 잠수함 주위 유동장 해석을 위해, VOF법 기반의 비압축성 이상유동(two-phase flow)해석을 수행하여 잠수함 주위 자유수면 형상과 유동장 정보를 도출하였다. 이후 난류유동소음해석을 위해 음향상사기법인 Permeable FW-H를 적용하였고, 쇄파버블 소음해석을 위해 유동해석에서 도출된 난류운동에너지 분포결과를 기반으로 쇄파버블 소음모델을 적용하였다. 최종적으로 개발된 유동소음 해석기법은 선박해양플랜트연구소(KRISO)의 대형캐비테이션터널(LCT)에서 수행된 잠수함 모형 유동소음계측 실험결과와 비교를 통해 검증을 수행하였다.