• 한국IT서비스학회지
• /
• 제16권3호
• /
• pp.103-111
• /
• 2017

The real time scheduling is a key research area in high performance computing and has been a source of challenging problems. A periodic task is an infinite sequence of task instance where each job of a task comes in a regular period. The RMS (Rate Monotonic Scheduling) algorithm has the advantage of a strong theoretical foundation and holds out the promise of reducing the need for exhaustive testing of the scheduling. Many real-time systems built in the past based their scheduling on the Cyclic Executive Model because it produces predictable schedules which facilitate exhaustive testing. In this work we propose hybrid scheduling method which combines features of both of these scheduling algorithms. The original rate monotonic scheduling algorithm didn't consider the uniform sampling tasks in the real time systems. We have enumerated some issues when the RMS is applied to our hybrid scheduling method. We found the scheduling bound for the hard real-time systems which include the uniform sampling tasks. The suggested hybrid scheduling algorithm turns out to have some advantages from the point of view of the real time system designer, and is particularly useful in the context of large critical systems. Our algorithm can be useful for real time system designer who must guarantee the hard real time tasks.

• 경영과학
• /
• 제30권1호
• /
• pp.15-24
• /
• 2013

We consider the single machine scheduling problem with a rate-modifying activity and time-dependent deterioration after the activity. The class of scheduling problems with rate-modifying activities and the class of scheduling problems with time-dependent processing times have been studied independently. However, the integration of these classes is motivated by human operators of tasks who has fatigue while carrying out the operation of a series of tasks. This situation is also applicable to machines that experience performance degradation over time due to mal-position or mal-alignment of jobs, abrasion of tools, and scraps of operations, etc. In this study, the integration of the two classes of scheduling problems is considered. We present a mathematical model to determine job-sequence and a position of a rate-modifying activity for the integration problem. Since the model is difficult to solve as the size of real problem being very large, we propose genetic algorithms. The performance of the algorithms are compared with optimal solutions with various problems.

• 대한산업공학회지
• /
• 제35권4호
• /
• pp.257-265
• /
• 2009

This paper considers the hybrid flow shop scheduling problem for the objective of minimizing the number of tardy jobs. In hybrid flow shops, each job is processed through multiple production stages in series, each of which has multiple identical parallel machines. The problem is to determine the allocation of jobs to the parallel machines at each stage as well as the sequence of the jobs assigned to each machine. Due to the complexity of the problem, we suggest search heuristics, tabu search and simulated annealing algorithms with a new method to generate neighborhood solutions. In particular, to evaluate and select neighborhood solutions, three surrogate objectives are additionally suggested because not much difference in the number of tardy jobs can be found among the neighborhoods. To test the performances of the surrogate objective based search heuristics, computational experiments were performed on a number of test instances and the results show that the surrogate objective based search heuristics were better than the original ones. Also, they gave the optimal solutions for most small-size test instances.

• 한국정밀공학회지
• /
• 제14권5호
• /
• pp.42-52
• /
• 1997

Computer aided process planning and Offline programming are decisive factors in successful implementation of automated robotic production. However, conventional offline programming procedure has proven ineffective due to time-consuming teaching process for robot programming and due to inefficient system modeling. The paper presents an efficient procedure to semi-automatically generate robot job programs for ship block welding applications. In the research, the teaching positions are automatically determined by predefined rules which are functions of the type and the dimensions of the given welding section of ship block. And a sequence of robot movements and welding conditions such as welding type, welding current, welding speed, and welding torch orientation, are determined by use of Standard Program which is experimentally proved to work well for the welding wection group. Finally, a robot program for the welding section is generated automatically. Based on the algorithm, a offline automatic teaching software is developed. The paper presents also the algorithm and structure of the software.

• 한국인구학
• /
• 제26권2호
• /
• pp.63-90
• /
• 2003

이 연구는 결혼, 출산, 취업 시기와 순서에 기초하여 한국 여성의 생애과정의 유형적 특성을 분석하고 있다. 또한 생애 유형의 변화와 집단간 차이에 유의하면서 결혼코호트와 여성의 가족ㆍ개인 특성에 따라 생애 유형의 차이를 설명하고 있다. 분석에 활용한 자료는 2002년 한국여성개발원이 조사한 '제4차 여성 취업실태조사'이다. 초혼 경험이 있는 기혼 여성의 생애는 크게 다섯 유형으로 구분되었다. 결혼과 출산기간에도 쉬지 않고 계속 일한 여성(일ㆍ가족역할 중복형, 13.7%), 결혼 전에 일하였지만 출산/육아기간 동안 일을 그만두고 공백기 이후 다시 일자리로 돌아온 여성(M형, 18.6%), 결혼과 출산 직후 일을 그만 둔 여성(잠재 M형, 26.9%), 결혼 전에 일한 경험이 없지만 결혼/육아 이후 일자리를 처음 가진 여성(양육 후 입직형, 23.5%), 마지막으로 전혀 일한 경험이 없는 여성(17.3%)이다. 각 생애유형의 상대적 구성은 결혼코호트에 따라 유의한 차이가 존재하였다 최근의 결혼코호트일수록 M형(잠재 M형 포함)이 지배적인 생애 유형이 되고 있다. 양육 후 처음 일을 하거나, 전혀 일한 경험이 없는 기혼여성의 비율은 최근 결혼코호트일수록 작아지고 있다. 또한 1990년 이후 결혼한 여성에서 일가족 중복형의 생애 패턴이 증가하는 경향이 확인된다. 동일 코호트 내에서 살펴보면, 생애 유형은 여성의 교육수준 성장기 일하는 여성의 역할 모델의 존재(어머니의 취업), 남편과 여성의 성역할태도, 가구의 주 생업에 따라 유의미한 차이가 나타났다. 마지막으로 여성의 생애유형별 일과 가족역할의 의미를 조망하고 있다.

• 한국산학기술학회논문지
• /
• 제12권6호
• /
• pp.2760-2769
• /
• 2011

지능형 자율 로봇은 주어진 목표를 달성하기 위하여 계획을 수립한다. 계획은 로봇이 목표를 달성하기 위한 행위들의 나열이며 모든 행위들이 순차적으로 그리고 성공적으로 실행되었을 때 목표를 달성하게 된다. 그러나 복잡하고 역동적인 현실 세계에서는 여러 가지 요인에 의하여 발생할 수 있는 예상하지 못한 상황으로 인하여 로봇이 계획한 행위들을 더 이상 실행하지 못하는 경우가 발생할 수 있다. 그러므로 지능형 자율 로봇은 이러한 돌발 상황을 적절히 대처하여 주어진 임무를 성공적으로 완수할 수 있는 효과적인 처리 방법을 가지고 있어야 한다. 이정표 상태를 이용한 계획 보정 방법은 이러한 상황을 효과적으로 처리할 수 있는 방법으로서 다른 계획 보정 방법들의 장점을 가지고 있다. 본 논문은 이정표 상태를 생성하는 방법으로 후진 방법과 이정표 상태들을 구성하는 조건들에 가중치를 부여하는 방법을 제안한다. 오류 보정 방법은 부여된 가중치를 보정해야 할 조건들의 우선순위로 사용할 수 있다. 후진 방법에 의하여 생성된 이정표 상태들은 복잡정도가 낮고 또한 적당한 값의 가중치를 가지게 되므로 이정표를 이용한 효율적인 계획 오류 보정 방법을 보장하게 된다.

• 한국정보통신학회논문지
• /
• 제10권3호
• /
• pp.496-502
• /
• 2006

최근에 CAD 툴의 비약적인 발전으로 인하여 대부분의 디지털 회로들은 VHDL 언어를 사용하여 설계된다. 그리고 IC 공정기술의 발달에 따라 하나의 칩에 많은 회로를 포함할 수 있으므로 VHDL 코드의 크기가 방대해져 이에 대한 검증(verification)은 칩 설계에 있어서 어렵고, 많은 시간을 소모하는 과정이 되고 있다. 본 연구에서는 SoC용 IP 사이에서 발생할 수 있는 자원충돌과 프로토콜의 오류를 검증하는 새로운 방법을 제시한다. VHDL 모델의 블록 또는 SoC용 IP 사이에서 발생할 수 있는 상위레벨 고장을 정의하고 분류하고, 하위 레벨 검증(low-level code verification)에 사용되는 검출률 측정 법을 사용하여 IP사이에서 발생하는 데이터 충돌과 프로토콜 또는 알고리즘의 오류를 검증하는 방법을 제안한다.

• 한국식생활문화학회지
• /
• 제14권5호
• /
• pp.555-563
• /
• 1999

This study was executed for 300 mothers bringing up a child below 3 years in the area of Kangnung to assess the current weaning practice of infants. 24.6% of mother surveyed were breast-fed, 57.8% were formula-fed and 17.5% were mixed-fed. The rate of breast feeding was lower and the rate of bottle feeding was higher in infants whose mothers had more income or higher educational period or full-time job. Most of the respondents knew the significance of supplementary food. 41.4% of the subjects started weaning of their infants at 3-4 months, and 84.1% of them set on weaning in less than 7 months after babies were born. And 39.4% of the subjects finished weaning of their infants in less than one year. The infants of this study preferred the fruits and fishes to meats, vegetables and beans that served to them as supplementary food. Mothers showed deep interest in recipe of weaning food(48.5%), adequate quantity of weaning food(36.3%), information on commercial food for infants(32.2%), and sequence in which semi-solid food are introduced(31.9%). From these results, it is suggested that education program in primary health center for improvement of weaning practice of infants should be implemented reflecting needs of mothers.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권2호
• /
• pp.97-106
• /
• 2013

인간 게놈 프로젝트의 완성 이후 유전체 분석 비용은 매우 빠르게 감소하고 있다. 이에 따라 인간 유전체 분석 요구가 급증할 것으로 예상된다. 인간 유전체 분석과 같은 대규모 바이오 데이터 분석을 고속으로 수행하기 위해서는 비IT 전문가들이 다양한 특성의 바이오 응용들을 고성능컴퓨팅 시스템을 통해 효과적으로 실행할 수 있어야 한다. 이를 위해서는 여러 응용들이 조합되어 순서를 갖고 실행되어야 하는 바이오 응용들을 워크플로우 형태로 쉽게 정의할 수 있어야 하며, 이 워크플로우를 HPC 클러스터 시스템에서 최적 자원을 할당 받아 분산 병렬 수행시켜야 한다. 이를 통해 바이오 데이터 분석 성능과 응답시간의 개선을 기대할 수 있다. 본 논문에서는 HPC 환경에 익숙하지 않은 비IT 바이오 연구자들이 쉽게 바이오 데이터 분석을 할 수 있도록 바이오 워크플로우를 쉽게 정의하고 실행할 수 있는 바이오 특화된 워크플로우 기반 대규모 데이터 분석 시스템을 제안한다.

• 산업경영시스템학회지
• /
• 제38권4호
• /
• pp.159-167
• /
• 2015

We consider a wafer lot transfer/release planning problem from semiconductor wafer fabrication facilities to probing facilities with the objective of minimizing the deviation of workload and total tardiness of customers' orders. Due to the complexity of the considered problem, we propose a two-level hierarchical production planning method for the lot transfer problem between two parallel facilities to obtain an executable production plan and schedule. In the higher level, the solution for the reduced mathematical model with Lagrangian relaxation method can be regarded as a coarse good lot transfer/release plan with daily time bucket, and discrete-event simulation is performed to obtain detailed lot processing schedules at the machines with a priority-rule-based scheduling method and the lot transfer/release plan is evaluated in the lower level. To evaluate the performance of the suggested planning method, we provide computational tests on the problems obtained from a set of real data and additional test scenarios in which the several levels of variations are added in the customers' demands. Results of computational tests showed that the proposed lot transfer/planning architecture generates executable plans within acceptable computational time in the real factories and the total tardiness of orders can be reduced more effectively by using more sophisticated lot transfer methods, such as considering the due date and ready times of lots associated the same order with the mathematical formulation. The proposed method may be implemented for the problem of job assignment in back-end process such as the assignment of chips to be tested from assembly facilities to final test facilities. Also, the proposed method can be improved by considering the sequence dependent setup in the probing facilities.