• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권4호
• /
• pp.391-398
• /
• 2004

It is well-known in the literature that the general term of a sequence can be represented by a linear combination of binomial coefficients. The theorem and its known proofs are not easy for highschool students to understand. In this paper we prove the theorem by a pictorial method and by a very short and easy inductive method to make the problem easy and accessible enough for highschool students.

• 호남수학학술지
• /
• 제29권3호
• /
• pp.341-350
• /
• 2007

A dynamical system with a skew-commuting involution map is called a flip system. Every flip system on a subshift of finite type is represented by a pair of matrices, one of which is a permutation matrix. The transposition number of this permutation matrix is studied. We define an invariant, called the flip number, that measures the complexity of a flip system, and prove some results on it. More properties of flips on subshifts of finite type with symmetric adjacency matrices are investigated.

• International Journal of Control, Automation, and Systems
• /
• 제5권3호
• /
• pp.349-354
• /
• 2007

This paper considers the problem of designing static output feedback controllers for nonlinear systems represented by Takagi-Sugeno (T-S) fuzzy models. Based on linear matrix inequality technique, a new method is developed for designing fuzzy stabilizing controllers via static output feedback. Furthermore, the result is also extended to $H_{\infty}$ control. Examples are given to illustrate the effectiveness of the proposed methods.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.54-56
• /
• 1993

A systematic procedure for determining the elements of system state matrix is suggested. The interrelation of submatrices of the system matrix is investigated. Each element or each block can be represented in algebraic form. These results can be applied in the eigenvalue sensitivity analysis with respect to the changes in controller parameters.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.380-392
• /
• 2000

This paper proposes a qualitative reasoning approach for the spatial configuration of mechanisms that could be applied in the early phase of the conceptual design. The spatial configuration problem addressed in this paper involves the relative direction and position between the input and output motion, and the orientation of the constituent primitive mechanisms of a mechanism. The knowledge of spatial configuration of a primitive mechanism is represented in a matrix form called spatial configuration matrix. This matrix provides a compact and convenient representation scheme for the spatial knowledge, and facilitates the manipulation of the relevant spatial knowledge. Using this spatial knowledge of the constituent primitive mechanisms, the overall configuration of a mechanism is described and identified by a spatial configuration state matrix. This matrix is obtained by using a qualitative reasoning method based on sign algebra and is used to represent the qualitative behavior of the mechanism. The matrix-based representation scheme allows handling the involved spatial knowledge simultaneously and the proposed reasoning method enables the designer to predict the spatial behavior of a mechanism without knowing specific dimension of the components of the mechanism.

• 대한간호학회지
• /
• 제25권4호
• /
• pp.741-750
• /
• 1995

The purpose of this study was to develop a role conflict scale for nurses in hospitals. The process of study was as follows. The first step was the study of selected literature on role conflict in general and to translate into Korean language the role conflict and ambiguity scale developed by House. From this process, a scale for role conflict inventory-general was made by consulting with two professors majored in educational evaluation and one professor who is an authory on educational administration. In the second step, 24 clinical nurses were asked to describe the situations having job-related role conflict. In the third step, the role conflict inventory-specific was derived from the role conflict inventory -general, and data selected from the step two. The confidence and clarity of this role conflict inventory-specific was strengthed by consulting one clinical psychologist, two professors of nursing college and ten doctoral students of nursing. With this tool being tested, the results are summarized as follows. 1. Reliability Internal consistency reliability was tested by cronbach alpha, corrected item total correlation and correlation matrix. The cronbach alpha level was .94 and one item among 37 items was below .35 and the rest items were .42 above in the corrected item total correlation. There was no negative correlation in the correlation matrix. 2. Construct validity In the construct validity test, four factors have an eigen value 1.0 over, Factor 1 represented role ambiguity, composed of 15 items with .90 reliability level. Factor 2 represented deficiency of ability and skill, composed of 11 items with .90 of reliability level. Factor 3 represented working environment, composed of 6 items with .85 of reliability level. Final factor represented deficiency of job-related collaboration, composed of 5 items with .69 reliability level. These results contribute to measuring the level of role conflict for nurses, and to the managment of the nurses' role conflict.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권8호
• /
• pp.2833-2850
• /
• 2014

This paper proposes a novel framework for traffic video classification based on chaotic features. First, each pixel intensity series in the video is modeled as a time series. Second, the chaos theory is employed to generate chaotic features. Each video is then represented by a feature vector matrix. Third, the mean shift clustering algorithm is used to cluster the feature vectors. Finally, the earth mover's distance (EMD) is employed to obtain a distance matrix by comparing the similarity based on the segmentation results. The distance matrix is transformed into a matching matrix, which is evaluated in the classification task. Experimental results show good traffic video classification performance, with robustness to environmental conditions, such as occlusions and variable lighting.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제15권1호
• /
• pp.60-71
• /
• 2015

In this paper, a matrix game is considered in which the elements are represented as Z-numbers. The objective is to formalize the human capability for solving decision-making problems in uncertain situations. A ranking method of Z-numbers is proposed and used to define pure and mixed strategies. These strategies are then applied to find the optimal solution to the game problem with an induced pay off matrix using a min max, max min algorithm and the multi-section technique. Numerical examples are given in support of the proposed method.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• 전자공학회논문지B
• /
• 제31B권5호
• /
• pp.1-11
• /
• 1994

In computer graphics since objects atre constructed by lines and curves, the high-speed curve generator is indispensible for computer aided design and simulatation. Since the functions of graphic generation can be represented as a series of matrix operations, in this paper, two kind of the high-speed Bezier curve generator that uses matrix equation and a recursive relation for Bezier polynomials are designed. And B-spline curve generator is designed using interdependence of B-spline blending functions. As the result of the comparison of designed curve generator and reference [5], [6] in the operation time and number of operators, the curve generator with 1-dimensional systolic array processor for matrix vector operation that uses matrix equation for Bezier curve is more effective.