• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.619-622
• /
• 1996

This paper presents the formal integration of process planning and shop floor control with Petri net formalism. Formal integration means that both planning and control problems can be modeled, interfaced, and transformed with the Petri net formalism. This integrated framework provides a systematic approach for rapidly developing a formal shop floor controller from process planning with respect to shop floor configuration.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.342-347
• /
• 1993

For a fast evolution, a memory-based implementation of a petri net is discussed. A sub-class petri net model called B-petri net is suggested to make a memory-based implementation feasible in a large size application. The suggested B-petri net is a binary-petri net since only a binary-typed decision, fork and join are allowed. The application of a B-petri nt is focused to a SFC(sequential function chart) program. The memory requirement, speed and computational load are compared with a petri net when they are implementated by a memory-based method.

• 품질경영학회지
• /
• 제49권4호
• /
• pp.539-550
• /
• 2021

Purpose: The purpose of this study is to propose a multivariate CUSUM control chart that can detect the out-of-control state fast while monitoring the cross- and auto- correlated multivariate time series data. Methods: We first build models to estimate the observation data and calculate the corresponding residuals. After then, a multivariate CUSUM chart is applied to monitor the residuals instead of the original raw observation data. Vector Autoregression and Artificial Neural Net are selected for the modelling, and Separated-MCUSUM chart is selected for the monitoring. The suggested methods are tested under a number of experimental settings and the performances are compared with those of other existing methods. Results: We find that Artificial Neural Net is more appropriate than Vector Autoregression for the modelling and show the combination of Separated-MCUSUM with Artificial Neural Net outperforms the other alternatives considered in this paper. Conclusion: The suggested chart has many advantages. It can monitor the complicated multivariate data with cross- and auto- correlation, and detects the out-of-control state fast. Unlike other CUSUM charts finding their control limits by trial and error simulation, the suggested chart saves lots of time and effort by approximating its control limit mathematically. We expect that the suggested chart performs not only effectively but also efficiently for monitoring the process with complicated correlations and frequently-changed parameters.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.203-206
• /
• 2005

This paper presents a design experience of supervisory control system for agile and intelligent manufacturing(AIM). For effectively program job instructions, a Petri net-type graphical language is proposed and it can be applied to a various task such as concurrency and synchronization. PGL is consisted of PGL editor, PGL analyzer and PGL translator; PGL editor generates a job instruction program using graphic symbol. PGL analyzer prevents a deadlock or resource allocation of unit cell. PGL translator transfers to adequate sequential job commands of each unit cell.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.763-768
• /
• 1994

A hierarchical Petri- net is utilized in supervising an automated vehicle system, The supervisory system is supported by computer networking in order to facilitate necessary processing, and consists of control flow level and computer allocation level so that a designer and an operator can easily build and/or access to each level. There are two modes of utilizing Petri net here in this paper. One is to employ it in designing the control system, in order to optimally allocate computers in every stage of processing. The other is for supervision of the system in operation, in order for the operator to be in a easy-to-comprehend environment of operation. The effect of these two modes of utilizing Petri net is examined.

• 제어로봇시스템학회논문지
• /
• 제2권3호
• /
• pp.220-228
• /
• 1996

This paper presents a extended stochastic Petri net (ESPN) model for CTN(Circulated Token with No duration) service in the data link layer of IEC/ISA fieldbus. It is assumed that a station on the fieldbus has a specified minimum token holding time, a finite capacity buffer, and one transmitter queue with the highest priority. The mean transmission (or service) time at a station and the mean token rotation time for the symmetric fieldbus system atr derived using the presented SPN model and the moment generating function. These performance measures are represented in terms of the minimum token holding time, the number of stations, the arrival rate of messages, and the mean length of messages. The presented performance measure are validated by computer simulations.

• 생물환경조절학회지
• /
• 제14권4호
• /
• pp.239-244
• /
• 2005

본 연구는 시설양묘 용기에서 직근성 수종인 찰피나무 유묘의 생육상황 및 뿌리발달 형태를 탐구하기 위하여 5개월 간 플라스틱 온실에서 수행되었다. 공시용기로 사용된 플라스틱 망 용기와 일반 플라스틱 용기에서 생육한 용기묘의 수고생장 차이는 크지 않았으나, 근원경 생장은 플라스틱 망 용기에서 높게 나타났다. 플라스틱 망 용기는 묘목의 뿌리발달에 영향을 끼쳐 묘목의 뿌리발달을 촉진시켰으며, 전체 지하부의 건물생산량을 증가시켰다. 특히 플라스틱 망 용기묘에서는 적극적으로 유도된 공기단근에 의하여 나선형 뿌리가 나타나지 않았다. 따라서 본 실험에 사용된 플라스틱망 용기는 찰피나무 용기묘 생산에 유용하게 활용할 수 있을 것으로 판단되며, 이 용기에서 생산된 묘목은 다양한 식재지 환경에서 식재될 경우 활착율 증가는 물론 생장율 증가도 보일 것으로 생각된다.

• 한국항행학회논문지
• /
• 제21권2호
• /
• pp.187-192
• /
• 2017

단일 모드 광섬유 (SMF; single mode fiber)의 길이와 중계 구간 당 잉여 분산 (RDPS; residual dispersion per span)이 랜덤하게 분포하는 광 위상 공액과 결합된 분산 제어 (DM; dispersion management)가 적용된 장거리 (50 fiber spans ${\times}80km$) 전송 링크에서 SMF와 분산 보상 광섬유 (DCF; dispersion compensating fiber) 배열과 전체 잉여 분산 (NRD; net residual dispersion)을 조절하는 위치에 따른 왜곡된 WDM 채널의 보상 특성을 수치적으로 분석해 보았다. NRD 조절 위치는 중계 구간을 구성하는 SMF와 DCF의 배열과 관계되어 있지만, NRD 조절의 구체적 위치보다 중계 구간을 이루는 SMF와 DCF의 배열이 WDM 채널의 수신 성능에 영향을 미치는 것을 확인하였다.

• 생물환경조절학회지
• /
• 제29권4호
• /
• pp.448-455
• /
• 2020

본 연구에서는 서리의 피해 저감을 위하여 과수 무봉지 재배를 목적으로 사용하고 있는 그물망을 이용하고자, 서리의 양을 관측하는 장치를 대조구와 시험구에 설치하여 그 비교를 통해 서리 저감 효과를 구명하였다. 시험 결과 실제 서리가 관측된 날을 기준으로 시험구에서 37%에서 59%까지 저감 효과를 확인할 수 있었다. 또한 서리의 양을 자동으로 관측하는 장치를 개발하고 풍동실험을 통해 서리 측정 장치의 방풍함 높이를 30 cm로 결정하였다. 이러한 연구 결과는 그물망 설치함으로써 과수 개화기에 서리 피해를 저감할 수 있을 것으로 판단되며, 그물망의 농업적 이용에 대한 기초자료로 활용될 수 있을 것으로 기대된다.

• 농업과학연구
• /
• 제49권4호
• /
• pp.639-646
• /
• 2022

The present experiment was conducted to assess the effect of Buttiauxella-derived phytase in finishing pigs fed corn/soybean meal diets with an increase in the calcium (Ca)/total phosphorus (P) (Ca/tP) ratio and a reduction in net energy on the growth performance and nutrient digestibility on the finishing pigs. A total of 90 crossbred ([Yorkshire × Landrace] × Duroc) finishing pigs with an average initial body weight (BW) of 56.94 ± 2.43 kg were used for an 11-week feeding trial. The pigs were randomly allotted to one of three dietary treatments (six replication/treatment and five pigs/pen) in a randomized complete block design according to their BW and gender. Dietary treatments consisted of supplementation of phytase (0.05, 0.07, and 0.1% in the control, Trt1 and Trt 2 diets, respectively) maintaining the Ca/tP ratio (1.67 : 1, 1.84 : 1, and 2.19 : 1 in control, Trt1 and Trt 2 diets, respectively) and reducing the net energy by 1% in Trt1 and Trt2 diets compared with the control diet. The results showed that dietary supplementation with phytase in the energy-reduced diet had a similar (p > 0.05) effect on the BW, average daily gain, average daily feed intake, and gain/feed ratio of the finishing pigs. Also, there were no effects (p > 0.05) of treatment matrixes on the nutrient digestibility of dry matter, nitrogen calcium, phosphorus, and gross energy. In conclusion, the increase of phytase and Ca/tP ratio and the reduction of net energy in the corn/soybean meal diet resulted in comparable growth performance and nutrient digestibility of finishing pigs relative to pigs fed the control diet.