• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.36 no.11
• /
• pp.769-776
• /
• 1987

This paper deals with the topological observability analysis and the development of an observable island identification algorithm for state estimation in power systems, by using the incidence matrix and bus voltage grouping. An analogy of the DC power flow method to the DC circuit analysis is introduced, and all the relationships between power flows and phase angles are replaced by the corresponding current-voltage relation. As a result, a set of topological measurement equation expressed in the form of the incidince matrix is derived for the topological analysis, and the observability test is carried out by examining the rand of the measuremint matrix. The integer Gauss elimination method is introduced in the determination of matrix rand, so that the proposed observability test yields a precise observability criterion without any nearly-zero pivot problem encountered in the conventional algorithm. Also, an observable island identification algorithm reduced its computational time in comparision with the conventional algorithms. The proposed algorithms have been tested for sample systems, and their practicability has verified.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.569-573
• /
• 2006

Nagata and Higman proved that any nil-algebra of finite nilindex is nilpotent of finite index. The Nagata-Higman Theorem can be formulated in terms of T-ideals. TheT-ideal generated by $a^n$ for all $a{\in}A$ is also generated by the symmetric polynomials. The symmetric polynomials play an importmant role in analyzing nil-algebra. We construct the incidence matrix with the symmetric polynomials. Using this incidence matrix, we determine the nilpotency index of nil-algebra of nil-index 3.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.7
• /
• pp.50-58
• /
• 1993

Petri nets aare capable of modeling a large variety of systems, it is necessary to analyze the modeled system for verifying the behavior. In this paper, we propose an algorithm which analyzes Petri nets by comparing initial marking with modified incidence matrix. The proposed algoriths is able to analyze petri net involving self-loop, and is able to verify the order of sequence according to that of firing.

• Journal of Korean Neurosurgical Society
• /
• v.59 no.1
• /
• pp.52-57
• /
• 2016

Objective : Many surgeons advocate for watertight dural reconstruction after posterior fossa surgery given the significant risk of cerebrospinal fluid (CSF) leak. Little evidence exists for posterior fossa dural reconstruction utilizing monolayer collagen matrix onlay graft in a non-watertight fashion. Our objective was to report the results of using collagen matrix in a non-watertight fashion for posterior fossa dural reconstruction. Methods : We conducted a retrospective review of operations performed by the senior author from 2004-2011 identified collagen matrix (DuraGen) use in 84 posterior fossa operations. Wound complications such as CSF leak, infection, pseudomeningocele, and aseptic meningitis were noted. Fisher's exact test was performed to assess risk factor association with specific complications. Results : Incisional CSF leak rate was 8.3% and non-incisional CSF leak rate was 3.6%. Incidence of aseptic meningitis was 7.1% and all cases resolved with steroids alone. Incidence of palpable and symptomatic pseudomeningocele in follow-up was 10.7% and 3.6% respectively. Postoperative infection rate was 4.8%. Previous surgery was associated with pseudomeningocele development (p<0.05). Conclusion : When primary dural closure after posterior fossa surgery is undesirable or not feasible, non-watertight dural reconstruction with collagen matrix resulted in incisional CSF leak in 8.3%. Incidence of pseudomeningocele, aseptic meningitis, and wound infection were within acceptable range. Data from this study may be used to compare alternative methods of dural reconstruction in posterior fossa surgery.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.20 no.3
• /
• pp.561-573
• /
• 2018

In order to design the ventilation in the road tunnel, it is necessary to know the ratio of average annual daily traffic by vehicle type. In general, the road tunnels are onedirectional tunnel, so the traffic of each vehicle type does not change along the tunnel. On the other hand, in the case of network road tunnels, since the connections in the tunnels are complex, the traffic of vehicle-type varies depending on the network composition of tunnels. In the studying the easy method for calculating the ratio of vehicle type for the network road tunnel are proposed with using incidence matrix.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.7
• /
• pp.742-752
• /
• 2009

Engineering design involves the specification of many variables that define a product, how it is made, and how it behaves applied to computer, communication and control fields. 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 variables 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 with an object of doing IDEF3 in process-centered view. 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.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.1
• /
• pp.85-92
• /
• 1998

In this paper, we design a sequential system controller, which is capable of processing parallel sequence, on the basis of analysis of control specification described by Petri Net with incidence matrix. The sequential system controller consists of input conditioning unit and petri net control unit which is composed of the token control unit and firing unit. The firing unit determines the firing condition of the transfer signal on the basis of the token status of token control unit. By the proposed scheme, we can easily develop and implement the sequential system controller of automated warehousing system, automated transportation system, elevator system, and so on, as it is possible to modify control specification by changing simply the content of incidence matrix ROM and to expand easily functional capacity as the result of modular design.design.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.40 no.1
• /
• pp.15-23
• /
• 2003

This paper proposes a fast direction of arrival (DOA) estimation algorithm that can rapidly estimate incidence angles of incoming signals using a pseudo covariance matrix. The conventional subspace DOA estimation methods such as MUSIC (multiple signal classification) algorithms need many sample signals to acquire covariance matrix of input signals. Thus, it is difficult to estimate the DOAs of signals because they cannot perform DOA estimation during receiving sample signals. Also if the D0As of signals are changing rapidly, conventional algorithms cannot estimate incidence angles of signals exactly. The proposed algorithm obtains bearing response and directional spectrum after acquiring pseudo covariance matrix of each snapshot. The incidence angles can be exactly estimated by using the bearing response and directional spectrum. The proposed DOA estimation algorithm uses only concurrent snapshot so as to obtain covariance matrix. Compared to conventional DOA estimation methods. The proposed algorithm has an advantage that can estimate DOA of signal rapidly.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.2015-2018
• /
• 2005

In this paper, we are willing to prepare the reasonable optimization, Combinatorial Optimization and Genetic Algorithm. Thus we define position status of end-effect (or terminative link module) using promised form, (G, M(G), A(G), and so on.). For this preparing step, the reorganizing procedure of Link and Joint Module is necessary, like as enumerating the kinematically identical assembly group of several links and joints. Thus, we draw a G, directed graph in a first step. Because, directed graph contains the path information between adjacent Link Module and Joint Module. From the directed graph,G, we can incite the Incidence Matrix, M(G). The incidence matrix, M(G), contains the contact information of the Link (Joint) Module and the type of Link (Joint). At the end of this paper, we generalize the modular information as a matrix form, A(G). From this matrix, we can make a population of assembly status. That is the finial output of this paper.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.371-378
• /
• 2002

The EMFG (Extended Mark Flow Graph) is known as a graph model for representing the discrete event systems. In this paper, we introduce input/output matrixes representing the marking variance of input/output boxes when each transition fires in an EMFG, and compute an incidence matrix. We represent firing conditions of transitions to a firing condition matrix for computing a firable vector, and introduce the firing completion vector to decide completion of each transition’s firing. By using them, we improve an analysis algorithm of the EMFG’s operation to be represented all the process of EMFG’s operation mathematically. We apply the proposed algorithm to the system repeating the forward and reverse revolution, and then confirm that it is valid. The proposed algorithm is useful to analysis the variant discrete event systems.