• Communications of the Korean Mathematical Society
• /
• v.15 no.1
• /
• pp.29-36
• /
• 2000

The T-ideal of F(X) generated by $x^{n}$ for all x $\in$ X, is generated also by the symmetric polynomials. For each symmetric poly-nomial, there corresponds one row of the incidence matrix. Finding the nilpotency of nil-algebra of nil-index n is equivalent to determining the smallest integer N such that the (n, N)-incidence matrix has rank equal to N!. In this work, we show that the (n, (equation omitted)$^{(1,....,n)}$-incidence matrix is center-symmetric.

• The Korean Journal of Applied Statistics
• /
• v.24 no.4
• /
• pp.647-656
• /
• 2011

Incidence matrix is a useful tool for presenting incomplete block designs; however, it is inadequate to use only an incidence matrix in examining whether a certain incomplete block design becomes a balanced incomplete block design or not. We can use a structural matrix as a useful tool to show whether a certain incomplete block design becomes a balanced incomplete block design or not. We propose an augmented incidence matrix and ${\lambda}$ matrix as another tools for evaluating incomplete block designs. Through the augmented incidenc matrix and ${\lambda}$ matrix, we can ascertain whether a certain incomplete block design becomes a balance incomplete block design or not.

• Korean Journal of Mathematics
• /
• v.12 no.2
• /
• pp.201-209
• /
• 2004

We define the incidence matrices of oriented and nonoriented ${\kappa}$-hypergraphs, respectively. We discuss the ranks of some circulant matrices and show that the rank of the incidence matrices of oriented and nonoriented ${\kappa}$-hypergraphs H are $n$ under a certain condition on the ${\kappa}$-edge set or ${\kappa}$-arc set of H.

• 전기의세계
• /
• v.14 no.4
• /
• pp.28-35
• /
• 1965

Kirchhoff는 유향성 선형 graph에 포함되어 있는 입상기하학적인 특성, 즉 주어진graph의 모든 정점과 변들의 연결상태를 0, +1, -1의 세가지 수자로 된 소위 incidence행렬란 개념으로 집약시켰다. 본 고에서는 Incidence Matrix, Tie-set Matrix과 연결지 전류(link current), Cut-set Matrix과 절점대 전압(Node pair voltage), Tie-set및 cut-set행렬의 선형변환, Duality(쌍대성)

• Korean Management Science Review
• /
• v.12 no.1
• /
• pp.1-17
• /
• 1995

The success of cell manufacturing applications in FMS rests on the effective cell formation to maintain the independent relations both between machine cells and between part families. This paper presents an integrated method for concurrent formation of cells and families with no E.E (Exceptional Element) in FMS with alternative routings. To determine the maximum number of cell and family with no E.E, mathematical conditions and properties are derived. New concept of nonsimilarity is introduced for each machine and part based on machine-operation incidence matrix and part-operation incidence matrix. To concurrently form the cells and families, integer programming based mathematical models are developed. For the predetermined number of cell or family, model I is used to identify whether E.E exists or not. Model II forms cells and families considering only nonsimilarity. But model III can consider nonsimilarity and processing times. The proposed method is tested and proved by using numerical examples.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.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.

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.577-581
• /
• 2002

The incidence matrices corresponding to a nil-algebra of finite index % can be used to determine the nilpotency. We find the smallest positive integer n such that the sum of the incidence matrices Σ$\_$p/$\^$p/ is invertible. In this paper, we give a different proof of the case that the nil-algebra of index 2 has nilpotency less than or equal to 4.

• Journal of the Optical Society of Korea
• /
• v.16 no.1
• /
• pp.6-12
• /
• 2012

We present the optical models and calculation results of thin-film organic solar cells (OSCs) at oblique incidence of light, using the transfer matrix method. The simple expression for the optical power dissipation is derived at oblique incidence for s- and p-polarized light. The spatial distribution of the electric field intensity, the optical power density, and the optical power dissipation are calculated in both s- and p-polarized light with respect to the incidence angle. We identify how the light absorption efficiency for p-polarized light becomes relatively larger than that for s-polarized light as the incidence angle increases.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.2
• /
• pp.185-197
• /
• 1998

Engineering design involves the specification of many variables that define a product, how it is made, and how it behaves. Before some variables can be determined, other variables must first be known or assumed. This fact implies a precedence order of the variables, and of the tasks of determining these variable consequently. Moreover, design of complex systems may involve a large number of design activities. In this paper, the activity-activity incidence matrix is considered as a representation of design activity analysis which mainly focuses on the precedence constraint. In order to analyze the activity-activity incidence matrix, a heuristic algorithm is proposed, which transforms an activity-activity, parameter-formula, and parameter-parameter incidence matrix into a lower triangular form. The analysis of the structured matrices can not only significantly reduce the overall project complexity by reorganizing few critical tasks in practice, but also aims at obtaining shorter times considering the solution structure by exploring concurrency.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.400-405
• /
• 1990

This paper deals with the design technique of the controller for the discrete system control using Extended Safe Petri Net which is deduced from Petri Net as its subclass with a specific constraint and which is introduced to develop the design and analysis for the discrete systems. First, we propose a construction matrix suitable for the discrete systems that represent the marking flows which are the dynamic behavior of the discrete systems. Next, we develop a method that can design the controller for the discrete system control by analyzing the proposed construction matrix into the incidence matrix of Extended Safe Petri Net. Finally, the validity of the proposed method is shown by using the incidence matrix and matrix equation of Extended Safe Petri Net model.