• 대한전기학회논문지
• /
• 제36권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
• /
• 제20권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.

• 전자공학회논문지B
• /
• 제30B권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
• /
• 제59권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.

• 한국터널지하공간학회 논문집
• /
• 제20권3호
• /
• pp.561-573
• /
• 2018

도로 터널 내의 환기설계를 위해서는 먼저 각 차종별 교통량 구성 비율을 알아야 한다. 일반적인 도로터널의 경우 입구와 출구의 수가 동일하고 일방향이기 때문에 유입된 차종별 구성 비율이 출구에서 나올 때까지 달라지지 않는다. 반면에 네트워크 도로터널의 경우 터널 내의 연결이 복잡한 네트워크로 되어 있기 때문에 차종별 구성 비율이 달라진다. 이에 본 연구에서는 근접행렬을 이용하여 네트워크 도로터널에서 차종별 일교통량 구성 비율을 쉽게 계산할 수 있는 방법을 제시하였다.

• 제어로봇시스템학회논문지
• /
• 제15권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.

• 조명전기설비학회논문지
• /
• 제12권1호
• /
• pp.85-92
• /
• 1998

본 논문에서는 페트리 네트로 記述된 제어 사양을 접속 행렬로 해석한 후, 그 결과를 근거로 병렬 시퀸스의 수행이 가능한 순차 시스템 제어기(Sequential System Controller)를 설계하였다. 순차 시스템 제어기는 입력 처리부, 그리고 점화 처리부와 토큰 제어기로 구성된 페트리 네트 제어기로 구성된다. 입력 처리부에서는 입력 신호를 선택하여 점화 처리부로 전달하며, 점화 처리부는 토큰 운전기의 토큰 상태에 따라서 입력된 신호의 점화 여부를 판단하게 된다. 제안된 제어기는 제어 사양의 변경시 접속 행렬을 저장한 롬의 내용 변경만으로 제어기의 변경이 가능하고, 페트리 네트 제어기의 모듈화가 가능하여 기능의 확장이 용이하므로 자동창고 시스템, 반송 시스템, 및 승강기 시스템과 같은 순차 시스템 제어기의 개발 및 실현을 용이하게 할 수 있다.

• 대한전자공학회논문지TC
• /
• 제40권1호
• /
• pp.15-23
• /
• 2003

본 논문에서는 입사 신호의 근사 공분산 행렬을 이용하여 신호의 입사각을 빠르게 추정하는 입사각 추정 알고리듬을 제안한다. MUSIC(MUltiple Signal Classification) 알고리듬과 같은 기존의 부분공간 입사각 추정 알고리듬은 입력 공분산 행렬을 구하기 위해서 다수의 표본 신호를 필요로 하며, 입력 공분산 행렬을 획득하기 위한 표본 신호의 수신시간 동안 입사각 추정이 수행될 수 없으므로 빠른 신호처리가 불가능하다. 또한 코히어런트 신호가 입사하는 경우에 코히어런트 신호간의 간섭으로 신호의 입사각을 정확하게 추정할 수 없다. 제안한 입사각 추정 알고리듬은 빔 형성기를 이용하여 매 표본 신호의 공간적인 빔 형성을 먼저 수행하여 신호간의 간섭을 제거한 후에 센서의 출력 값을 이용하여 방위각 응답(bearing response)과 방향 스펙트럼(directional spectrum)을 구한다. 방위각 응답으로 대략적인 신호의 입사각을 추정한 후에 방향 스펙트럼을 이용하여 정착하게 신호의 입사각을 추정한다. 제안 입사각 추정 알고리듬은 공분산 행렬을 구하기 위하여 그 순간의 각 어레이 소자에 입사되는 표본 신호만을 사용하고 방위각 응답을 구하기 위해서 몇 순간 동안의 표본 신호만 필요로 하므로 기존 입사각 추정 알고리듬에 비하여 크게 향상된 입사각 추정 속도를 갖는다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• 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.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.371-378
• /
• 2002

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.