• 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 Korean Society of Computer Information Conference
• /
• 2015.01a
• /
• pp.151-154
• /
• 2015

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

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.193-194
• /
• 2018

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

• The KIPS Transactions:PartA
• /
• v.12A no.2 s.92
• /
• pp.117-126
• /
• 2005

This paper presents an adaptive processor allocation strategy to reduce fragmentation in a large multi-user multicomputer system. A small number of jobs with unexpectedly large submesh allocation requirements may significantly increase the queuing delay of the rest of jobs. Under such circumstances, our strategy further tries to allocate L-shaped submeshes instead of signaling the allocation failure unlike other strategies. We have developed the efficient algorithm to find the allocatable L-shaped submeshes. Thus, our strategy reduces the mean response time by minimizing the queuing delay, even though jobs are scheduled in an FCFS to preserve fairness. The simulations show that our strategy performs more efficiently than other strategies in terms of the job response time and the system utilization.

• Journal of Energy Engineering
• /
• v.24 no.3
• /
• pp.13-19
• /
• 2015

The wood pellet is standardized of woody type fuel which of small cylindrical shape that is produced compress wood remnants in process of woody processing. The pellet is critical energy which expects to increase of the amount used in future. It consumes fuel which of home, common facilities stove and boiler, district heating, and CHP, etc. This study was to develop a movable pellet manufacturing equipment that can be mounted on a truck. The pellet production volume is approximately 309kg per hour, daily output is about 2ton. One days work based on the expected revenue of approximately \268,000 feasibility is considered sufficient.

• Journal of Forest and Environmental Science
• /
• v.27 no.3
• /
• pp.195-203
• /
• 2011

Forest in the our country is in the age that needs positive operation in order to foster economical forest. Multiple operations for making valuable forest should be conducted steadily and timely from afforestation to harvesting. In order to execute these kinds of forest operations, the construction of skid trail network that can be effectively used as a pathway for forestry machine and working space is necessary. To investigate facility effect of skid trail network, we executed the location of skid trail network through centroid method by GIS for 50ha of harvesting workplace in mechanized model forest located in Hongcheon, Gangwon Province. As a result of this research, skid trail density in this area changed from 79m/ha with current method to 42m/ha with improved method. It appeared that skid trail density with improved method is nearly half of current method even though the cutting area is the same as the current cutting area. Also, skidding distance changed from 117m with current method to 57m with improved method. It appears that skidding distance with improved method is nearly half of current method even though cutting area was enlarged in adjacent tending cutting area.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11a
• /
• pp.121-126
• /
• 1996

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.899-902
• /
• 2015

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

• Korean Journal of Construction Engineering and Management
• /
• v.7 no.1 s.29
• /
• pp.73-79
• /
• 2006

Even though graphical simulation is very useful for construction planning, the application of graphical simulation has a limitation in dealing with objects without fixed form like earthmoving process. In this case, the mathematical/statistical simulation about the productivity of the whole processes based on the numerical data of working time, waiting time and working capacity of using equipment becomes effective. The mathematical/statistical simulation is not fully utilized in the field of construction due to the difficulties of creating process models and securing trust the numerically expressed results of simulation. In this research, the output of discrete-event simulation programs which are the most common mathematical/statistical simulation tool for construction processes were analyzed for the purpose of earthmoving process visualization. The purpose of this research is to develop a graphical simulation system that can help the construction planner select most suitable equipment and construction methods through the visualize the numerical simulation results of the working time, the queuing time as well as the amount resources etc.

• Journal of Animal Environmental Science
• /
• v.2 no.1
• /
• pp.27-39
• /
• 1996

A survey was conducted for dairy farmer to estimate the optimum number of machine and equipment in 1994. Labor hours, operation costs and operation methods for each dairy processing were investigated and analyzed for the farmers to find the expected numbers of machine and equipment on the basis of the desired farm scale. And also, the estimated models were compared and analyzed with the conventional models which more than half dairy farmers used bucket milker in tie stall barn. Some of the results are as follows : 1. Analysis results of conventional model showed that a dairy farm could raise to 15 heads of dairy cow with family labor of 1.5 men, labor hours of 2, 700 in you and total operation costs of 734 thousand won per head. 2. The result, used in conjunction with minimum operation costs in tie stall barn, showed that 28 dairy cows could be raised by using concentrates feeding by hoppers, water supply by water cups, milking by pipeline milker, and manure cleaning by barn cleaner with total operation costs of 520 thousands won per head. 3. The total operation costs of a loose barn system is higher than those of tie stall barn system to raise about 30 heads. For the loose barn system, the herringbone parlour was used for milking, concentrate feeding by automatic concentrate feeder, water supply by thermal insulation feeder, and manure cleaning by scraper with total operation costs of 582 thousands won per head every year.