• 한국해양공학회지
• /
• 제15권4호
• /
• pp.108-114
• /
• 2001

Petri nets have been introduced as a powerful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can be analyzed hardly when we deal with large scale systems because of increase of the number of Petri net components. To overcome this problem, some methods for dividing or reducing of Petri net have been suggested. In this paper, an approach for hierarchical expression of Petri net based on Sequential function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definitions and rules are defined in order to divide and compose sub Petri nets. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub Petri nets based on the SFC and BUM by the proposed method in this paper.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1507-1511
• /
• 1987

This paper proposes a NAND-NAND logic sequential Programmable Logic Array (PLA) using CMOS technology, and test generation methods about stuck-open faults. By using LSSD (Level Sensitive Scan Design) method instead of Flip-Flops in Sequential PLA, the complex test problems of sequential logic are simplified. After generating the test sets using connection graph, regular test sequences and all transistor faults detection method in PLA are proposed. Finally, by programming these algorithms in PASCAL at VAX 8700 and adopting these to pratical CMOS Sequential PLA circuits, we proved the effectiveness of this design.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1919-1922
• /
• 2003

Bypass anastomosis are frequently adopted for surgical treatments. After the bypass grafting, the bypass artery is often occluded due to restenosis and/or anastomotic neointimal fibrous hyperplasia phenomena. Optimal coronary bypass anastomosis should be investigated to improve the patency for the arterial bypass techniques. The objective of this study is to investigate the influence of bypass with sequential bypass effects in the stenosed coronary artery. Numerical analyses are focused on the understanding of the flow patterns for different sequential anastomosis techniques. Blood flow field is treated as two-dimensional incompressible laminar flow. The finite volume method is adopted for discretization of the governing equations. The Carreau model is employed as the constitutive equation for blood. To find the optimal sequential bypass anastomotic configurations, the mass flow rates at the outlet of different models are compared quantitatively.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.233-238
• /
• 2000

CNC machine tool is assembled by central processor, PLC(Programmable Logic Controller), and actuator. The sequential control of machine generally controlled by a PLC. The main fault occured at PLC in 3 control parts. In LC faults, operational fault is charged over 70%. This paper describes diagnosis model and data processing for remote monitoring and diagnosis system in machine tools with open architecture controller. Two diagnostic models based on the ladder diagram. Logical Diagnosis Model(LDM), Sequential Diagnosis Model(SDM), are proposed. Data processing structure is proposed ST(Structured Text) based on IEC1131-3. The faults from CNC are received message form open architecture controller and faults from PLC are gathered by sequential data.. To do this, CNC and PLC's logical and sequential data is constructed database.

• 전자공학회논문지A
• /
• 제32A권4호
• /
• pp.75-84
• /
• 1995

Fault simulators are used for accurate evaluation of fault coverages of digital circuits. But fault simulation becomes time and memory consuming job because computation time is proportional to wquare of size of circuits. Recently, several approximate algorithms for testability analysis have been published to cope with the problems. COP is very fast but cannot be used for sequential circuits, while STAFAN can ve used for sequential circuits but requires large amount of computation because it utilizes logic simulation results. In this paper EXTASEC(An Extension of Testability Analysis for Sequential Circuits) is proposed. It is an extension of COP in the sense that it is the same as COP for combinational circuits, but it can handle sequential circuits, Xicontrollability and backward line analysis are key concept for EXTASEC. Performance of EXTASEC is proven by comparing EXTASEC with a falut simulator, STAFAN, and COP for ISCAS circuits, and the result is demonstated.

• 대한수학회지
• /
• 제31권3호
• /
• pp.375-391
• /
• 1994

In 1968k Cameron and Storvick introduced the analytic and the sequential operator-valued function space integral [2]. Since then, the theo교 of the analytic operator-valued function space integral has been investigated by many mathematicians - Cameron, Storvick, Johnson, Skoug, Lapidus, Chang and author etc. But there are not that many papers related to the theory of the sequential operator-valued function space integral. In this paper, we establish the existence of the sequential operator-valued function space integral as an operator from $L_p$ to $L_p'(1 and investigated the integral equation related to this integral.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1341-1345
• /
• 2005

비선형이고 정규분포에 따르지 않는 state-space모형분석에서 순차적 몬테 칼로(SMC)는 유용한 도구 중의 하나이다. 모수와 시그럴을 동시에 추정하기 위해 Monte Carlo particle filters를 사용할 수가 있다. 그러나 SMC는 여러단계의 반복을 요구하는 특별한 particle filtering 기법을 필요로 하게 된다. 본 논문은 particle filtering과 순차적 hybrid Monte Carlo(SHMC)을 결합하는 방법을 제시하고자 한다. 실험을 위해 짱뚱어 자료를 사용하였다.

• Communications for Statistical Applications and Methods
• /
• 제13권1호
• /
• pp.191-204
• /
• 2006

This paper develops a Bayesian method to derive the optimal sequential preventive maintenance(PM) policy by determining the PM schedules which minimize the mean cost rate. Such PM schedules are derived based on a general sequential imperfect PM model proposed by Lin, Zuo and Yam(2000) and may have unequal length of PM intervals. To apply the Bayesian approach in this problem, we assume that the failure times follow a Weibull distribution and consider some appropriate prior distributions for the scale and shape parameters of the Weibull model. The solution is proved to be finite and unique under some mild conditions. Numerical examples for the proposed optimal sequential PM policy are presented for illustrative purposes.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2001년도 춘계학술대회 논문집
• /
• pp.26-31
• /
• 2001

Petri nets(PN) have been introduced as a poweful analyzing and design tool for the discrete systems such as sequential control systems. However, one of the important problems in its applications is that the model can not be analyzed easily when we deal with large scale systems because of increase of the number of components of the systems. To overcome this problem, some methods for dividing or reducing of PN have been suggested. In this paper, an approach for hierarchical expression of PN based on Sequential Function Chart(SFC) and Bottom Up oriented Mehodology(BUM) is proposed. Especially, some definition and rules are defined in order to divide and compose sub PN. A measuring tank system will be described as a typical kind of discrete systems and modeled by some sub PN based on the SFC and BUM by the proposed method in this paper.

• 대한전자공학회논문지
• /
• 제24권5호
• /
• pp.823-832
• /
• 1987

This pper presents a method for constructing multiple-valued logic sequential machines based on Galois field. First, we assign all elements in GF(2**m) to bit codes using mathematical properties of GF(2**m). Then, we realized the sequencial machine circuits with and withoutm feed-back. 1) Sequential machines with feed-back are constructed by using only MUX from state-transition diagram expressing the information of sequential machines. 2) Sequential machines without feed-back are constructed by following steps. First, we assigned states in state-transition disgram to state bit codes, then obtained state function and predecessor table explaining the relationship between present states and previous states. Next, we obtained next-state function from state function and predecessor table. Finally we realized the circuit using MUX and decoder.