• 대한수학회논문집
• /
• 제15권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.

• 응용통계연구
• /
• 제24권4호
• /
• pp.647-656
• /
• 2011

발생행렬은 블완비블럭계획법을 나타내는 좋은 도구이나 우리가 발생행렬을 이용하여 관심의 대상인 블완비블럭계획법이 균형불완비블럭계획법이 되는 지를 알기는 충분하지 않다. 그래서 필요한 수단이 구조행렬이다. 불완비블럭계획법을 평가하기 위한 또 다른 수단으로서 우리는 확장발생행렬과 ${\lambda}$행렬을 제안할 수 있다. 확장발생행렬과 ${\lambda}$행렬을 통하여 우리는 관심의 대상인 블완비블럭계획법이 균형불완비블럭계획법이 되는 지를 명확히 밝힐 수가 있고, 그 패턴도 상세히 파악할 수 있게 된다.

• Korean Journal of Mathematics
• /
• 제12권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.

• 경영과학
• /
• 제12권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.

• 한국경영과학회지
• /
• 제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.

• 전기의세계
• /
• 제14권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(쌍대성)

• 대한수학회논문집
• /
• 제17권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
• /
• 제16권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.

• 대한산업공학회지
• /
• 제24권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년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• 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.