• Journal of Ocean Engineering and Technology
• /
• v.15 no.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.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• 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.

• Communications for Statistical Applications and Methods
• /
• v.13 no.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.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2001.05a
• /
• 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.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.35S no.3
• /
• pp.176-184
• /
• 1998

We present a sequential factorization method using singular value decomposition (SVD) for recovering both the three-dimensional shape of an object and the motion of camera from a sequence of images. We employ paraperpective projection [6] for camera model to handle significant translational motion toward the camera or across the image. The proposed mthod not only quickly gives robust and accurate results, but also provides results at each frame becauseit is a sequential method. These properties make our method practically applicable to real time applications. Considerable research has been devoted to the problem of recovering motion and shape of object from image [2] [3] [4] [5] [6] [7] [8] [9]. Among many different approaches, we adopt a factorization method using SVD because of its robustness and computational efficiency. The factorization method based on batch-type computation, originally proposed by Tomasi and Kanade [1] proposed the feature trajectory information using singular value decomposition (SVD). Morita and Kanade [10] have extenened [1] to asequential type solution. However, Both methods used an orthographic projection and they cannot be applied to image sequences containing significant translational motion toward the camera or across the image. Poleman and Kanade [11] have developed a batch-type factorization method using paraperspective camera model is a sueful technique, the method cannot be employed for real-time applications because it is based on batch-type computation. This work presents a sequential factorization methodusing SVD for paraperspective projection. Initial experimental results show that the performance of our method is almost equivalent to that of [11] although it is sequential.

• Communications for Statistical Applications and Methods
• /
• v.10 no.2
• /
• pp.257-266
• /
• 2003

Distribution-free estimation methods are proposed for slope, $\beta$ in the simple linear regression model. In this paper, we suggest the point estimators using the sequential slope based on sign test and Wilcoxon signed rank test. Also confidence intervals are presented for each estimation methods. Monte Carlo simulation study is carried out to compare the efficiency of these methods with least square method and Theil´s method. Some properties for the proposed methods are discussed.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.134-136
• /
• 2007

Sequential Function Chart(SFC) is very easy to grasp the sequential flow of control logic and has the compatability for a maintenance, In process control, when an error is occurred, to execute other routine by force, we control the process by remote control. In this paper, we proposed the method of select sequence control by remote control in process control designed by Sequential Function Chart(SFC).

• Journal of the Korean Society for Precision Engineering
• /
• v.28 no.2
• /
• pp.202-210
• /
• 2011

The fabrication method of aspheric lens is changed from machining to press molding so as to improve the productivity. In the case of the press molding method, the temperature control of the molding die is most important, because the temperature of each molding die determines the quality of lens. But any practical method for direct measuring of the lens temperature and the die internal temperature is yet unknown. Besides, in the case of the press molding system in which the heating and pressing and cooing of a die is done at separate work stations, the lens productivity of the system for small lens is yet too low. The paper shows an improved structure of convective sequential system, the lens productivity of which is three times as many as the conventional convective system. To know the die internal temperature, numerical results are given using ANSYS. A new convective sequential system is developed and tested. Finally, the Taguchi method is applied in order to optimize the setting conditions of individual work station of the system.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.12
• /
• pp.67-74
• /
• 2010

The fabrication method of aspheric lens is changed from machining to press molding so as to improve the productivity. In the case of the press molding method, the temperature control of the molding die is most impotent, because the temperature of each molding die determines the quality of lens. But any practical method for direct measuring of the lens temperature and the die internal temperature is yet unknown. Besides, in the case of the press molding system in which the heating and pressing and cooing of a die is done at one work station, the cycle time for the system is yet too long. The paper shows an improved structure of radiant sequential system in which the heating and pressing and cooing of dies is done at individual work station so as to cut down the cycle time. To know the die internal temperature, numerical results are given using ANSYS. An experimental radiant sequential system is developed and tested. Finally, the Taguchi method is applied in order to optimize the setting conditions of individual work station.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.15 no.2
• /
• pp.168-176
• /
• 2015

Due to the reduction in device feature size, transient faults (soft errors) in logic circuits induced by radiations increase dramatically. Many researches have been done in modeling and analyzing the susceptibility of sequential circuit elements caused by soft errors. However, to the best knowledge of the authors, there is no work which has well considerated the feedback characteristics and the multiple clock cycles of sequential circuits. In this paper, we present a new method for evaluating the susceptibility of sequential circuit elements to soft errors. The proposed method uses four Error Propagation Probability Matrixs (EPPMs) to represent the error propagation probability of logic gates and flip-flops in current clock cycle. Based on the predefined matrix union operations, the susceptibility of circuit elements in multiple clock cycles can be evaluated. Experimental results on ISCAS'89 benchmark circuits show that our method is more accurate and efficient than previous methods.