• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.295-298
• /
• 2010

Linear Temporal Logic synthesis 는 LTL formula 로 표현된 요구 사항으로부터 그것을 만족하는 시스템을 만들어낸다. 이러한 synthesis 과정은 2EXPTIME-complete 이 요구 되지만 GR formula 라는 특수한 형태를 사용함으로써 복잡도를 Polynomial 시간으로 줄일 수 있다. LTL synthesis 는 작업 공간, 로봇이 취하는 센서 정보와 액션의 종류, 상위 수준의 작업 명세를 입력으로 받아 GR formula 형태로 변환하고, 기대되는 작업이 실현 가능하다면 그것을 성취할 수 있는 오토마타를 생성해낸다. Synthesis 알고리즘을 구현한 LTLMoP 라는 도구를 이용하여 LTL synthesis 과정을 보이고 화성 행궁의 미아 찾기 로봇 작업 계획을 구현한다. 마지막으로 시뮬레이션 과정을 통해 기대하는 작업을 성공적으로 성취할 수 있음을 보인다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제51차 동계학술대회논문집 23권1호
• /
• pp.151-154
• /
• 2015

최근 소셜 네트워크, 바이오 컴퓨팅, 사물 인터넷 등의 출현으로 인해 기존의 IT환경보다 많은 데이터가 생성되고 있고, 이로 인해 효율적인 대용량 데이터 처리기법에 대한 연구가 진행 되고 있다. 맵리듀스는 데이터 집약적인 연산 어플리케이션에 효과적인 프로그래밍 모델로써, 대표적인 맵리듀스 어플리케이션으로는 아파치 소프트웨어 재단에서 개발 지원중인 하둡이 있다. 본 논문은 하둡 맵리듀스의 성능 향상을 위해 데이터 프리패칭 기법과 스트리밍 기법을 제안한다. 하둡 맵리듀스의 성능 이슈 중 하나는 맵리듀스 과정에서 입력 데이터 전송에 의한 작업 지연이다. 이러한 데이터 전송 시간을 최소화하기 위해, 기존 맵리듀스와는 달리 데이터 전송을 담당하는 프리패칭 스레드를 별도로 생성하였다. 그 결과 데이터의 맵리듀스 작업 중에도 데이터 전송이 가능하게 되어 전체 데이터 처리 시간을 줄일 수 있었다. 이러한 프리패칭 기법을 사용해도 하둡 맵리듀스의 특성상 최초 데이터 전송 시에는 작업대기를 하게 되는데, 이 대기시간을 줄이고자 스트리밍 기법을 사용하여 데이터 전송에 의한 대기시간을 추가로 줄일 수 있었다. 제안하는 기법의 성능을 측정하기 위해 수학적인 모델링을 하였으며, 성능 측정결과 기존의 하둡 맵리듀스 및 프리패칭 기법만 적용된 맵리듀스 보다 스트리밍 기법이 추가 적용된 맵리듀스의 성능이 향상되었음을 확인 할 수 있었다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제58차 하계학술대회논문집 26권2호
• /
• pp.193-194
• /
• 2018

본 논문에서는 IIoT(Industrial IoT) 환경에서 사용되는 수 천 개 이상의 센서 데이터를 효율적으로 처리하기 위하여 분산 게이트웨이 시스템을 제안한다. 이 시스템은 대량의 센서에서 측정되는 데이터를 단일 게이트웨이 단위로 처리할 때 늘어나는 작업부하와 처리 시간 지연, 신뢰성 및 정확성 저하를 해결하기 위하여 복수의 게이트웨이 간 연계를 통해 대량의 센서에서 측정되는 데이터를 실시간 처리가 가능한 게이트웨이로 지연시간 없이 균등 할당함으로써 작업부하의 완화와 처리 시간의 가속화, 신뢰성 및 정확성 확보를 이루어낼 수 있다. 본 논문에서는 단일 게이트웨이 시스템과 분산 게이트웨이 시스템의 비교를 통해 수천 개 이상의 센서에서 측정되는 데이터 처리 시간의 차이를 확인함으로써 IIoT 환경에서 분산 게이트웨이의 활용도 면에서 우수함을 보인다.

• 정보처리학회논문지A
• /
• 제12A권2호
• /
• pp.117-126
• /
• 2005

대규모 멀티컴퓨터 시스템에서 단편화를 줄일 수 있는 적응성 있는 프로세서 할당 기법을 제안한다. 큰 크기의 서브메쉬 할당을 요구하는 작업들의 개수가 적을 경우에도 나머지 작업들의 대기 큐의 지연시간이 증가할 수 있다. 이런 상황에서 할당이 불가능한 기존의 기법들과 달리, L-모양 서브메쉬를 할당할 수 있으며, 할당 가능한 L-모양 서브메쉬를 효율적으로 탐색하는 알고리즘을 개발하였다. 그러므로 FCFS로 스케쥴링되어도, 대기 큐의 지연시간을 줄임으로써 평균응답시간을 줄일 수 있다. 시뮬레이션 결과를 통해서 제안하는 기법이 외부 단편화, 작업응답시간, 그리고 시스템의 활용도 면에서 다른 기법들보다 우수함을 보인다.

• 에너지공학
• /
• 제24권3호
• /
• pp.13-19
• /
• 2015

본 연구는 숲가꾸기 사업시 솎아내는 나무(소경간벌재), 벌채 수확 후 남긴 잔재물인 가지, 목재가공 후에 남긴 폐기 대상목재, 갱신지 벌채림 및 왕겨 등을 활용하여 펠릿 제조가 가능한 이동식 펠릿 제조 장비를 개발하는 것으로, 초기함수율이 약 32%인 도로변 가지치기 나무를 재료로 최종함수율이 약 10%인 펠릿을 생산할 경우 시간당 생산량은 약 309kg이며, 하루 약 8시간 작업시 약 2ton의 생산량이 가능하고, 펠릿 생산(시간당 약 309kg)에 필요한 평균소요동력은 약 122.4PS이며, 생산비용과 판매비용을 비교하면 1일 작업기준으로 약 268,000원의 수익이 예상되어 향후 사업성이 기대된다.

• Journal of Forest and Environmental Science
• /
• 제27권3호
• /
• pp.195-203
• /
• 2011

우리나라의 III영급과 IV영급의 산림면적은 총면적에 약 65%를 차지하고 있어 목재자원의 경제적인 조성 및 관리를 위해서는 가장 중요한 시기이다. 가치 있는 숲을 조성하기 위하여 조림, 숲가꾸기, 솎아베기(간벌), 임목수확작업 등 여러 작업들이 적기에 꾸준히 이루어져야 한다. 이러한 산림작업을 효율적으로 실행하기 위하여 기계 장비의 이동통로 및 작업공간으로 활용할 수 있는 임내도로망의 확충이 필요하다. 특히, 작업로는 작업자 및 작업장비 등이 작업지까지의 도달시간을 단축시켜 실작업시간을 증대시킴은 물론, 임목수집을 위한 집재거리를 단축시켜 효율적인 작업이 가능해지고, 이용구역이 확대되어 목재의 수집율을 증대시킬 수 있다. 적정 임내도로망을 배치하기 위하여 지형도, 임도망도, 작업구역도, 임소반도, 임상도 등의 기초자료를 이용하여 주요 통과점(중 소 집재장) 선정하고, 이들을 최단경로 연결하는 임내도로망 배치기술을 개발하였다. 또한 적정 임내도로망 배치방법의 적정성을 검토한 바, 벌채구역이 현행과 동일한 조건일 때 임내도로 밀도는 현행방법 79 m/ha인데 반하여 개선방법은 42 m/ha로 현행방법보다 1/2수준으로 설치하여도 두 방법 모두 수집가능재적 및 수집율은 각각 568 $m^3$, 100%로 차이가 없었다. 또한 벌채구역을 연접한 무육간벌 대상지로 확대한 경우에는 임내도로 밀도는 현행방법 34 m/ha, 개선방법 33 m/ha로 두 방법 모두 유사한 수준이었으나, 가중평균 집재거리는 현행방법은 117 m인데 반하여 개선방법은 57 m로 현행방법의 1/2수준으로 단축되었고, 수집량은 현행방법에 비하여 400 $m^3$ 증가하는 것으로 나타났다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 추계학술발표회논문집(1)
• /
• pp.121-126
• /
• 1996

월성1호기의 경우 운전원이 중수증기 회수계통 현장 검사(Survey)에 약 3시간 정도를 소요하고 있으며, 자료의 분석과 수집을 위해 각 기기 제어반(Panel)에 기록계(Recorder)를 설치하여 기록된 기록지를 통해서 작업해야 만 한다. 이처럼 기존 설비의 경우 운전원은 많은 시간과 작업 부담을 갖고 운전하게 될 뿐만 아니라 다른 계통을 점검하는데 필요한 많은 시간을 얻기가 어려운 형편이다. 그러나 PLC SYSTEM 내의 한 부분인 공정감시제어를 위한 MMI(Man Machine Interface) SOFTWARE를 사용하여 조사할 경우 약 3분이면 중수증기회수 전 계통을 점검할 수 있고, 경향감시(Trend) 기능을 사용하면 기록계 설치 없이도 과거나 현재의 변화 추이 및 문제점 분석은 물론 계통 결함 발생시 발생되는 경보기능으로 운전원의 신속한 인지가 가능하게 된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.899-902
• /
• 2015

제조업체의 품질관리 및 공정에 대한 개선을 위하여 현장에서 생산되는 데이터를 수집 및 분석하여 작업자 또는 경영자에게 의미 있는 의사결정을 할 수 있는 정보 제공이 필요하다. 본 논문에서는 제조 공정 개선을 위한 데이터 수집 및 분석 시스템을 제안한다. 이를 통해서 소규모 제조 현장에서 원자재 배합의 정확도 향상과 작업시간 단축을 가능하게 해 주고, 건당 처리시간의 감소로 인한 생산 납품시간 단축, 불량률 감소 등에 따른 원가 절감을 가져올 수 있다.

• 한국건설관리학회논문집
• /
• 제7권1호
• /
• pp.73-79
• /
• 2006

그래픽 시뮬레이션은 건설공사의 시공계획을 위해서 매우 유용하게 쓰일 수 있으나, 토공과 같이 비정형의 물체를 다루는 경우에는 그래픽 시뮬레이션의 적용에 한계를 갖게 된다. 이러한 경우에는 사용 장비의 작업시간, 대기시간, 작업용량 등의 수치적 데이터에 근거하여 공정 전체의 생산성에 대한 분석을 수행하게 되는 수학/통계적 시뮬레이션이 그 장점을 보이지만, 프로세스 모델 구축의 어려움, 수치적 시뮬레이션 결과의 신뢰성 확보 문제 등으로 건설 분야에서의 활용이 매우 제한되어 있는 실정이다. 본 연구에서는 비정형 물체를 다루는 공사인 토공작업에 대한 시각화를 건설공사에 주로 사용되는 수학/통계적 시뮬레이션인 불연속사건 시뮬레이션(Discrete Event Simulation) 프로그램들의 출력을 분석하여 작업시간, 대기시간, 운반물량 등에 대한 수치적 결과를 건설작업의 그래픽 시각화로 표현하였다. 이를 통하여 건설공사의 시공계획 시에 시뮬레이션을 활용하면 사전에 시공과정을 수행하여 봄으로써 최적의 건설장비 및 공법을 선택하여 효율적으로 운용하게 함이 가능함을 입증하고자 하였다.

• 한국축산시설환경학회지
• /
• 제2권1호
• /
• pp.27-39
• /
• 1996

낙농 전업농의 최적 기계장치 모델을 설정하는데 필요한 자료를 수집하고자 경기도 낙농가 중 사육규모 별로 經産牛 30두 미만, 30~50두, 50두 이상 각 5농가씩 15농가를 현지 방문하였다. 작업공정별 작업방법, 노동투하시간, 작업 비용 분석자료를 조사, 분석하고 관련 자료들을 수집하여, 經産牛 30두 내외규모, 40두 내외규모, 50두 내외규모에서의 최소 작업비용 기계장치 사육체계를 설정하여 우리나라의 절반 이상 낙농가에서 이용하고 있는 繫留式 牛舍, 양동이식 착유기 중심의 관행 작업 체계와 비교 분석한 결과는 다음과 같다. 1. 관행작업체계에서는 가족 노동 1.5인 기준 년 2,700시간으로 經産牛 15두까지 사육 가능하며, 이 때 필요한 총작업비용은 734천원/년ㆍ두로 산출되었다. 2. 繫留式 牛舍에서 최소작업비용을 구한 결과 호퍼식 농후사료 급여, 워터컵 급수, 파이프 라인 착유, 반크리너 분뇨청소에서는 經産牛 28두까지 사육 가능한 것으로 나타났으며, 총작업 비용은 520천원/년ㆍ두로 산출되었다. 3. 放飼式 牛舍는 繫留式 牛舍 보다 30두 내외로 사육하는 경우에는 총작업 비용이 더 높았다. 放飼式 牛舍의 최소 작업비용체계는 1열$\times$5두식 헤링본 착유실 착유, 농후사료 자동급여, 무가온보온급수, 스키로더 분뇨청소의 체계로, 經産牛 30두까지 사육 가능한 것으로 나타났으며, 총 작업 비용은 582천원/년ㆍ두로 나타났다. 4. 放飼式 牛舍 40두 내외 규모에서의 최소 작업비용체계는 2열$\times$4두식 헤링본 착유실 착유, 농후사료자동급여, 무가온보온급수, 스크레퍼 분뇨청소 체계로, 經産牛 41두까지 사육 가능하고 작업 비용은 501천원/년ㆍ두로 나타났다. 5. 放飼式 牛舍 50두 내외 규모에서의 최소 작업비용체계는 2열$\times$3두식 탠덤 착유실, 농후사료 자동급여, 무가온 보온급수, 스크레퍼 분뇨청소체계로, 經産牛 52두까지 사육가능하고 작업 비용은 500천원/두로 나타났다.