• Journal of Korean Institute of Industrial Engineers
• /
• v.36 no.3
• /
• pp.154-163
• /
• 2010

Process monitoring of output variables affecting final performance have been mainly executed in semiconductor manufacturing process. However, even earlier detection of causes of output variation cannot completely prevent yield loss because a number of wafers after detecting them must be re-processed or cast away. Semiconductor manufacturers have put more attention toward monitoring process inputs to prevent yield loss by early detecting change-point of the process. In the paper, we propose the method to efficiently monitor functional input variables in multi-phase semiconductor manufacturing process. Measured input variables in the multi-phase process tend to be of functional structured form. After data pre-processing for these functional input data, change-point analysis is practiced to the pre-processed data set. If process variation occurs, key variables affecting process variation are selected using contribution plot for monitoring efficiency. To evaluate the propriety of proposed monitoring method, we used real data set in semiconductor manufacturing process. The experiment shows that the proposed method has better performance than previous output monitoring method in terms of fault detection and process monitoring.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.781-791
• /
• 1999

DD(Decision Diagrams) is an efficient operational data structure for an optimal expression of boolean functions. In a graph-based synthesis using DD, the goal of optimization decreases representation space for boolean functions. This paper represents boolean functions using OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagrams) for a graph-based synthesis and is based on the number of nodes as the criterion of DD size. For a property of OPKFDD that is able to select one of different decomposition types for each node, OPKFDD is variable in its size by the decomposition types selection of each node and input variable order. This paper proposes a method for generating OPKFDD efficiently from the current BDD(Binary Decision Diagram) Data structure and an algorithm for minimizing one. In the multiple output functions, the relations of each function affect the number of nodes of OPKFDD. Therefore this paper proposes a method to decide the input variable order considering the above cases. Experimental results of comparing with the current representation methods and the reordering methods for deciding input variable order are shown.

• IE interfaces
• /
• v.12 no.4
• /
• pp.551-556
• /
• 1999

In this paper, we compare the performance of three data mining classification algorithms(neural network, decision tree, logistic regression) in consideration of various characteristics of categorical input and output data. $2^{4-1}$. 3 fractional factorial design is used to simulate the comparison situation where factors used are (1) the categorical ratio of input variables, (2) the complexity of functional relationship between the output and input variables, (3) the size of randomness in the relationship, (4) the categorical ratio of an output variable, and (5) the classification algorithm. Experimental study results indicate the following: decision tree performs better than the others when the relationship between output and input variables is simple while logistic regression is better when the other way is around; and neural network appears a better choice than the others when the randomness in the relationship is relatively large. We also use Taguchi design to improve the practicality of our study results by letting the relationship between the output and input variables as a noise factor. As a result, the classification accuracy of neural network and decision tree turns out to be higher than that of logistic regression, when the categorical proportion of the output variable is even.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.367-369
• /
• 1986

Guaranteed cost control is a method applicable to a class of systems with uncertain parameters that guarantees an upper bound of the cost functional. This paper is concerned with a matrix decomposition technique used to yield a reasonable upper bound of the cost functional for a finite-time LQ regulator problem. The uncertain linear systems dealt with in this paper are described by a set of state equations of single-input phase-variable canonical form which contain unknown but bounded uncertain parameters.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1994.06a
• /
• pp.686-691
• /
• 1994

For evaluating the response fluctuation of the actual environmental acoustic system excited by arbitrary random inputs, it is important to predict a whole probability distribution form closely connected with evaluation indexes Lx, Leq and so on. In this paper, a new type evaluation method is proposed by introducing three functional models matched to the prediction of the response probability distribution from a problem-oriented viewpoint. Because of the positive variable of the sound intensity, the response probability density function can be reasonably expressed theoretically by a statistical Laguerre expansion series form. The relationship between input and output is described by the regression relationship between the distribution parameters(containing expansion coefficients of this expression) and the stochastic input. These regression functions are expressed in terms of the orthogonal series expansion and their parameters are determined based on the least-squares error criterion and the measure of statistical independency.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.342-356
• /
• 2000

We present a static analysis method to automatically generate test data that raise exceptions in input programs. Using the test data from our analysis, a programmer can check whether the raised exceptions are correctly handled with respect to the program's specification. For a given program, starting from the initial constraint that a particular raise expression should be executed, our analysis derives necessary constraints for its input variable. Correctness of our analysis assures that any value that satisfies the derived constraints for the input variable will activate the designated raise expression. In this paper, we formally present such an analysis for a first-order language with the ML-style exception handling constructs and algebraic data values, prove its correctness, and show a set of examples.

• International Journal of Advanced Culture Technology
• /
• v.6 no.4
• /
• pp.71-79
• /
• 2018

For 299 patients who had undergone cataract surgeries we investigated the difference in visual acuity and refractive power before and after cataract surgery and the clinical change of the visual acuity and the refractive power according to age, gender, hospital visit time and specific medical history. We found the factors affecting preoperative and postoperative outcomes of the cataract patients in metropolitan hospitals by input, process, and outcome and analyzed medical characteristics and patient characteristics as the input variables. T-test and ANOVA have been performed for statistical analysis of functional status, and general status and the technical characteristic as the process variable and the outcome variable of diagnosis. Visual acuity improved significantly in patients who had undergone cataract surgery. However, the change in refractive power did not show a statistically significant difference but only a slight difference. The improvement of male patients was greater than that of female patients. The difference in age was more effective in patients under 50 years old and the effect of cataract surgery was relatively high in patients without the presence of specific medical history. Cataract surgery did not seem to help all of the patients, but it is more effective in improving visual acuity and refractive power. We conclude that simultaneous cataract surgery in both eyes is reasonable in order to have at least the better effect.

• Journal of the Korean Ceramic Society
• /
• v.44 no.3 s.298
• /
• pp.169-174
• /
• 2007

TRISO coated fuel particle is one of the most important materials for hydrogen production using HTGR (high temperature gas cooled reactors). It is composed of three isotropic layers: inner pyrolytic carbon (IPyC), silicon carbide (SiC), outer pyrolytic carbon (OPyC) layers. In this study, TRISO coated fuel particle layers were deposited through CVD process in a horizontal hot wall deposition system. Also the computational simulations of input gas velocity, temperature profile and pressure in the reaction chamber were conducted with varying process variable (i.e temperature and input gas ratios). As deposition temperature increased, microstructure, chemical composition and growth behavior changed and deposition rate increased. The simulation showed that the change of reactant states affected growth rate at each position of the susceptor. The experimental results showed a close correlation with the simulation results.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.27 no.1
• /
• pp.54-63
• /
• 1999

The Landscape drawing is used as main media in landscape design process like the language in daily life for human. Designers input many intentions and meaningful words in design process through landscape drawing. The common purpose of landscape drawing is to represent reality effectively, even though it has variable visual forms and materiality. The representation in landscape drawing in metaphorical as well as visual and functional. But current tendency is inclined to use landscape drawing in a functional aspect for visual representation and the landscape drawing is utilized straight-forwardly rather than metaphorically for clear communication. Such recognition on landscape drawing results from the difficulty to accept the symbolic aspect of the drawing. The difficulty makes the utilization and the interpretation of landscape drawing stay at conventional level in following visible factors. For the sake of solving the difficulty this study considers landscape drawing as the text that contains readable objects and symbolic words. This study presents layer-methods for reading a landscape drawing as a text; situational and contextural reading, iconological reading and reading the subject of drawing.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.23 no.5
• /
• pp.412-417
• /
• 2013

Analytical modeling of photovoltaic power systems has been receiving significant attentions in recent years in that it is easy to apply for prediction of its dynamics and fault detection and diagnosis in advanced engineering technologies. This paper presents a novel probabilistic modeling approach for such power systems with a big data sequence. Firstly, we express input/output function of photovoltaic power systems in which solar irradiation and ambient temperature are regarded as input variable and electric power is output variable respectively. Based on this functional relationship, conditional probability for these three random variables(such as irradiation, temperature, and electric power) is mathematically defined and its estimation is accomplished from ratio of numbers of all sample data to numbers of cases related to two input variables, which is efficient in particular for a big data sequence of photovoltaic powers systems. Lastly, we predict the output values from a probabilistic model of photovoltaic power systems by using the expectation theory. Two case studies are carried out for testing reliability of the proposed modeling methodology in this paper.