• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.295-298
• /
• 2010

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.992-995
• /
• 2020

시각-언어 이동 작업은 에이전트가 주어진 지시를 따라 특정 실내 공간 내에서 목적 위치로 이동하는 작업이다. 시각-언어 이동 작업의 특성상 자연어 지시 속에 등장하는 랜드마크인 장소 정보를 인지하는 것은 작업을 수행하는 데 큰 도움이 된다. 본 논문에서는 환경을 구성하는 주요 장소 정보를 저장하기 위한 장소 미리보기 메모리를 제안한다. 에이전트는 장소 미리보기 메모리에 저장된 장소 정보를 고려하여 작업을 수행하게 된다. 본 논문에서는 Matterport3D 시뮬레이션 환경에서의 실험을 통해 R2R 벤치마크 데이터 집합에서 가장 높은 성능을 보였다.

• Journal of agriculture & life science
• /
• v.44 no.6
• /
• pp.191-199
• /
• 2010

How to determine rental rates of agricultural machinery operation is the most important factor for economic units which are consigned to practice agricultural operations. Economic units as consigner for agricultural operations include agricultural cooperatives, local government, and farm operators, and so on. Thus the methods to set a rental rate of agricultural machinery operation are different across these economic units. This study describes benefits and problems associated with the model of cost accounting which is used as a method to determine a rental rate of agricultural machinery operation, and suggests a theoretical desirability of the rental pricing method, based on an accounting system and information on costs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.984-987
• /
• 2020

최근 오픈 도메인 자연어 질문 응답 분야에서는 폭넓은 다중 문서들을 토대로 다중 홉 추론과 동시에 서로 다른 수준의 여러 문제들을 한꺼번에 해결해야 하는 다중 작업 질문 응답에 관한 관심이 높다. 본 논문에서는 이러한 다중 홉 추론과 다중 작업을 요구하는 복잡 질문들에 효과적으로 응답하기 위해, 계층적 그래프 기반의 새로운 심층 신경망 모델을 제안한다. 제안 모델에서는 계층적 그래프와 그래프 신경망을 이용해 다중 문서들로부터 서로 다른 수준의 맥락 정보를 얻어낸 후, 이들을 활용하여 뒷받침 문장들, 답변 영역, 응답 유형 등을 동시에 구해야 하는 다중 작업 문제에 관한 답들을 예측해낸다. 본 논문에서는 오픈 도메인 자연어 질문 응답 데이터 집합인 HotpotQA를 이용한 실험들을 통해, 제안 모델의 긍정적 효과를 입증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.05a
• /
• pp.42-44
• /
• 2021

공동 활용 GPU 클러스터 시스템은 PBS, SLURM과 같은 작업 배치 스케줄러 및 Kubernetes, Openstack과 같은 클라우드 플랫폼 소프트웨어를 통해 다수의 사용자에게 공동 활용 서비스를 할 수 있다. 한국과학기술정보연구원(KISTI)에서는 슈퍼컴퓨터 5호기의 보조시스템인 뉴론을 SLURM 배치 스케줄러를 통해 다수의 연구자들에게 서비스하고 있다. 본 논문에서는 작업 배치 스케줄러에서 생성된 과금 통계 데이터를 R의 그래프 함수를 이용해 시각화하여 사용자 작업의 특성을 분석하고 효율적인 계산 자원 관리 정책을 수립할 수 있는 방안에 대해 논의한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.758-760
• /
• 2022

본 연구는 머신러닝의 한 종류인 YOLOv5를 이용하여 기존 육안 선별작업을 자동화 하는 기계를 설계하는 것이다. 본 연구에서는 영상촬영과 선별작업을 진행하는 컨베이어 기구와 선별 프로그램을 제작하고, 모든 표면을 검사해 사과의 품질을 3단계로 구별하는 작업을 진행하였다. 결과적으로 투입된 사과의 품질을 성공적으로 분류 하였다.

• Journal of agriculture & life science
• /
• v.53 no.6
• /
• pp.35-44
• /
• 2019

The objectives of this study were to identify engineering problems in the design and installation of cable logging operation that affects productivity through case study of actual logging sites, and to analyze associated productivity loss and increased cost. As a result of the study, when the geographic conditions and engineering safety of the site are not sufficiently considered, deflection of the cable line can not be secured. Hourly productivity of the operation decreased to 65% and the logging cost increased by more than two times compared to the productive yarding operation, which lowered overall efficiency of the operation. Thus, it is required to spread filed technologies that minimize unnecessary production cost incurred due to the in-efficient logging operations as well as secure work safety and efficiency to expand cable logging operation throughout the country.

• Korean Association for Visual Culture
• /
• v.23
• /
• pp.329-368
• /
• 2013

This thesis investigates the relationship of the 18^th century European landscape painting and the scientific (optical) instruments like Camera obscura and Camera lucida. Based on the fact that some landscape painters, 'veduta painters', at that times might have used or surely used these optical instruments in their sketches/drawings, it explores the reasons for using them and their working process with them, and analyses the advantages/disadvantages here as well as the aesthetic problems in the cases of the Italian painter Antonio Canaletto (or Canal, 1697-1768), the British topographic artist Thomas Sandby (1721-98) and the British chemist/optician Willian Henry Fox Talbot (1800-77). Advantages of using Camera obscura/lucida are rapidity in drawing, truthful representation of nature/reality and 'accurate' fulfilling of perspectival structures. But partly 'inaccurate' or simplified depictions as disadvantages can be traced in drawings/sketches made by using these instruments. Another problem lie in the subordination of the artistic work to the technical devices, but for artists still remain the creative working process in painting like coloring, tone and chiaroscuro etc. Therefore, it can be maintained that the optical instruments have played a role of the subsidiary tool as an aid to painting.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.91-94
• /
• 2010

응용 프로그램을 실행할 때 프로세스간의 상호 연동이 필요한 경우 통신을 하게 된다. 프로세스간의 통신에서 서비스를 요청하는 프로세스의 상태에 따라 동기(Blocking) 모드와 비동기(Non-blocking) 모드로 나누어진다. 동기 모드는 서비스를 요청받은 프로세스의 작업이 완료할 때까지 서비스를 요청한 프로세스의 상태가 멈추는 방식이고, 비동기 모드는 다른 프로세스에 서비스를 요청한 후 자신은 다른 유용한 작업을 계속 수행할 수 있는 방식으로 통신 상대가 여럿이거나 서비스 수행시간이 긴 작업의 경우 비동기 모드를 사용한다. 프로세스 간의 비동기적인 작업 수행이 이벤트 기반으로 이루어지도록 지원하는 이벤트 알림 시스템은 전자메일(E-mail) 서비스와 유사한 특징이 있다. 전자메일 서비스는 컴퓨터 통신망을 통해 편지를 주고 받을 수 있는 서비스 및 해당 편지를 일컫는 용어로, 본 논문에서는 이전에 제시된 이벤트 알림 시스템의 구성과 잘 알려진 전자메일 서비스의 특징을 파악하여 전자메일 서비스를 이용한 이벤트 알림 시스템의 설계 및 구현 방법을 제시한다.

• Journal of the Korea Safety Management & Science
• /
• v.2 no.1
• /
• pp.41-57
• /
• 2000

작업부하 산정 모델을 개발하기 위해 인간-기계 시스템 환경에서 작업자의 작업성 취 및 생산성에 영향을 미치는 내적·외적 작업부하 요인들을 발견하여 이를 모델개발 에 고려하였다. 이들 작업부하 요인들이 작업자에 감지되는 정도에 대한 반응을 5점 척도를 도입하여 숫자가 아닌 자연어로 할 수 있게 하였으며 이렇게 작업자에 의해 주관적으로 판단된 작업스트레스 요인들은 각기 다른 가중치를 판단하기 위해 AHP(Analytic Hierarchy Process)를 사용하여 작업자가 직접 느끼는 작업부하 스트레스 정도를 비교판단 하게 하였고 이렇게 개념화된 모델을 실제 산업현장에서 사용할 수 있도록 컴퓨터를 통한 시험적인 작업부하 분석시스템을 개발하였다. 본 연구에 대한 검증을 위하여 실제 산업체에 종사하는 작업자들을 대상으로 인간공학적 작업부하 모델을 적용하여 측정하고 이를 작업자의 생리학적인 변화와의 관계를 비교 분석하여 본 결과 본 논문에서 개발된 모델은 작업부하 스트레스를 비교적 정확하게 측정할 수 있어서 앞으로 산업현장에 적용될 수 있는 신뢰성 있는 연구로 판단된다.