• 산업경영시스템학회지
• /
• 제28권3호
• /
• pp.36-41
• /
• 2005

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1994년도 추계학술대회 논문집
• /
• pp.653-657
• /
• 1994

A symbolic performance analysis approach for flexible for manufactring systems (FMS) can be formulated based on the integration of Petri Nets (PN) and moment generating function (MGF) concept. In this method, generalized stochastic Petri Nets are used to define performance models for FMS, then MGF nased approach for evaluating stochastic PN is used to derive performance parameters of PN, and finally system performance is calculated. A GSPN model of machine cell is shown to illustrate the proposed method for evaluating such performance indices as production rate, utilization, work-in-process and lead time. The major advantage of this method over existing performance evaluation of FMS is the ability to compute symbolic solutions for performance. Finally future research toward automating performance measure for GSPN models of FMS is discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1241-1244
• /
• 1996

This paper present a performance evaluation method for Timed Place Petri Nets modeled by Live-and-Bounded Circuits (LB-circuits) through a bottom-up approach. The method can handle the case for the nets having common resources(CR). The target system is divided into the sub-systems by disconnecting the common Transition-Transition-Path(TTP) or Place-Place-Path (PPP) between sub-systems. The common PPP pattern is classified into Parallel Common Resource (PCR) and Sequential Common Resource (SCR) in detail for handling common resources. We evaluate the performance of each divided sub-system, and calculate the sub-systems affect on the performance of the whole system. The facts are generalized as a theorem. The developed theorem are applied into the performance evaluation of an automated assembly system shown in an example. All the results are verified by simulation.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제13권1호
• /
• pp.47-69
• /
• 2006

In this paper, an idea of graded fuzzy net is introduced; its convergence is studied; Relations between g-net and g-filter are established in L-fuzzy setting.

• 제어로봇시스템학회논문지
• /
• 제3권1호
• /
• pp.101-108
• /
• 1997

The initial token value required to the optimal performance of discrete event systems can be decided by Sum of Delay Time and Synchronic Time ratio, which are new synchronic variables in Timed Place Petri Nets. For the system consisting of two Live-and-Bounded circuits(LB-circuits) fused in common Transition-Transition-Path or common Place-Place-Path, we prove that the Synchronic Time Ratio is the initial token ratio between two LB-circuits to optimally perform system functions. These results are generalized and formulated as a theorem. The initial tokens of a specific place can imply shared resources. Using the theorem, we can decide the minimum number of the shared resources to obtain the optimal performance, and minimize the idling time of resources. As an example, an automated assembly system is modeled by Timed Place Petri Net, and the initial tokens to achieve the optimal system performance are identified. All the values are verified by simulation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.181-183
• /
• 2006

This paper proposes an intelligent decision framework for update of the environment model using GSPN(generalized stochastic petri nets). The GSPN has several advantages over direct use of the Markov Process. The modeling, analysis, and performance evaluation are conducted on the mathematical basis. By adopting the probabilistic approach, our decision framework helps the robot to decide the time to update the map. The robot navigates autonomously for a long time in dynamic environments. Experimental results show that the proposed scheme is useful for service robots which work semi-permanently and improves dependability of navigation in dynamic environments.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제4권2호
• /
• pp.125-128
• /
• 2004

Using the theory of Generalized Nets we have modelled the information exchange within the electronic archives of an idealized univerity Intranet.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권3호
• /
• pp.230-241
• /
• 2010

In the present paper we introduce and study fundamental concepts in the framework of L-fuzzifying topology(so called(2,L)-fuzzy topology)as L-concepts where L is a complete residuated lattice. The concepts of (2,L)-derived, (2,L)-closure, (2,L)-interior, (2,L)-exterior and (2,L)-boundary operators are studied and some results on above concepts are obtained. Also, the concepts of an L-convergence of nets and an L-convergence of filters are introduced and some important results are obtained. Furthermore, we introduce and study bases and subbases in (2,L)-topology. As applications of our work the corresponding results(see[10-11]) are generalized and new consequences are obtained.

• 한국수산과학회지
• /
• 제30권5호
• /
• pp.691-699
• /
• 1997

본 연구에서는 트롤그물의 유수저항 특성 및 그 저항을 그물의 구조, 규격 등으로 정도 높게 표현해내는 방법을 얻어내는 것을 목약으로 하여, 벽 면적이 $S(m^2)$되는 트롤그물이 유속 $\nu\;(m/sec)$에서 받는 유수저항 R(kg)을 $R=kSv^2$으로 표시하고, 지금까지 행해진 저항실험 결과들을 수집하여 윗 식의 형태로 정리하였으며, 저항계수 $k(kg{\cdot}sec^2/m^4)$를 전보 에서 구한 저항식에 의해 해석하였다. 그 결과, k는 그물 입구의 단면 을 $S_m\;(m^2)$, 흐름에 수직인 평면에 대한 그물의 총 투영면적을 $S_n\;(m^2)$, 그물감의 대표치수를 $\lambda$($={\pi}d^2/2lsin2\varphi;\;d$ : 그물실의 지름, 2l : 그물코의 크기, $2\varphi$ 그물코의 전개각)라 할때, 저층 트롤과 중층 트롤에서 각각 $$k=4.5(\frac{S_n}{S_m})^{1.2}v^{-0.2}$$ in case of bottom trawl nets and as $$k=5.1\lambda^{-0.1}(\frac{S_n}{S_m})^{1.2}v^{-0.2}$$ 및 $$k=5.1\lambda^{-0.1}(\frac{S_n}{S_m})^{1.2}v^{-0.2}$$ 으로 표시할 수 있었고, 이들에서 $S_n/S_m$의 값은 각각의 그물과 벽 면적이 같은 원추형 자루그물로부터 구해도 된다는 것을 알 수 있었으며, 설계 방식이 일반화 되어 있는 그물들의 경우는 유수저항 R(kg)을 저층 트롤과 중층 트롤에서 각각 $$R=1.5\;S\;v^{1.8}$$ 및 $$R=0.7\;S\;v^{1.8}$$으로 표시해도 좋다는 것을 알 수 있었다.

• 한국통신학회논문지
• /
• 제38C권12호
• /
• pp.1170-1178
• /
• 2013

최근 항공기, 잠수함, 로봇 등 고도의 신뢰성이 요구되는 군사무기체계 분야에 상용 필드버스의 적용이 활발히 이루어지고 있다. 잠수함 전투체계 역시 대표적인 군사용 전자 장비로서 다양한 컴퓨터와 센서 및 액추에이터들이 실시간 네트워크로 연결되어 있다. 잠수함의 작전수행능력 및 생존성과 직결되는 전투체계용 네트워크는 매우 높은 수준의 신뢰성을 만족해야 된다. 그 결과 잠수함 전투체계의 구성장비들을 제어하기 위한 필드버스로써 표준 CAN(Controller Area Network)을 기반으로 채널과 제어기를 이중화한 이중채널 CAN 버스가 주로 이용되고 있다. 본 논문에서는 Petri Net을 이용하여 이중채널 CAN 버스의 신뢰도 분석 모델을 제시한다. 기존연구에서는 네트워크를 통한 정보전송 성능 분석에 주안점이 주어졌으나, 본 논문에서는 CAN의 다양한 물리적 고장 유형을 반영하여 GSPN(Generalized Stochastic Petri Nets) 모델을 제안한다. 제안된 모델을 기반으로 고장율과 고장복구율을 변경하면서 각 고장 유형이 이중채널 CAN 버스의 신뢰도에 미치는 영향을 분석한다.