[논문 리뷰] (m,n)-Semirings and a Generalized Fault Tolerance Algebra of Systems

Syed Eqbal Alam, Shrisha Rao외 1명|arXiv (Cornell University)|2010. 05. 27.

Logic, Reasoning, and Knowledge참고 문헌 29인용 수 5

한 줄 요약

이 논문은 복잡한 시스템의 결함 내성 모델링 및 비교를 위해 전통적인 세미링을 일반화한 (m,n)-세미링이라는 일반화된 대수적 구조를 도입한다. 이러한 구조에 부분 순서를 정의함으로써 구성 요소의 신뢰성에 기반한 시스템의 결함 내성 비교를 형식화하며, m-항 및 n-항 연산 하에서 구성 요소 수준의 지배성이 시스템 수준의 지배성을 유도함을 증명한다.

ABSTRACT

We propose a new class of mathematical structures called (m,n)-semirings} (which generalize the usual semirings), and describe their basic properties. We also define partial ordering, and generalize the concepts of congruence, homomorphism, ideals, etc., for (m,n)-semirings. Following earlier work by Rao, we consider a system as made up of several components whose failures may cause it to fail, and represent the set of systems algebraically as an (m,n)-semiring. Based on the characteristics of these components we present a formalism to compare the fault tolerance behaviour of two systems using our framework of a partially ordered (m,n)-semiring.

연구 동기 및 목표

• 세미링을 (m,n)-세미링으로 일반화하여 다중 구성 요소를 가진 시스템에 대한 대수적 도구를 확장한다.
• 세미링을 사용한 시스템의 결함 내성 행동을 (m,n)-세미링을 통해 대수적 구조로 형식화한다.
• 구성 요소의 신뢰성에 기반한 시스템의 결함 내성 비교를 가능하게 하는 (m,n)-세미링 위의 부분 순서를 정의한다.
• 이전 라오의 세미링 기반 결함 내성 분석 작업을 일반화된 연산을 사용하여 더 넓은 범주로 확장한다.
• 복합 시스템에서 구성 요소 수준의 결함 내성 지배성이 전체 시스템 수준의 지배성을 유도하는 조건을 확립한다.

제안 방법

• 표준 세미링을 일반화하기 위해 m-항 연산 f와 n-항 연산 g를 갖는 대수적 구조로 (m,n)-세미링을 정의한다.
• 핵심 대수적 성질을 도입한다: 항등원, 흠수 원소, 등幂 원소, 준동형사상, 합동 관계.
• (m,n)-세미링 위에 부분 순서 ≼를 정의하여 시스템 간의 결함 내성 지배성을 표현한다.
• m-항 및 n-항 연산의 분배법칙과 결합법칙을 사용하여 구성 요소 수준의 지배성에서 시스템 수준의 지배성을 도출한다.
• 만약 어떤 시스템의 구성 요소들이 다른 시스템의 구성 요소들보다 결함 내성에서 지배된다면, 시스템 수준의 연산이 이러한 지배성을 유지함을 증명한다.
• 부분 순서 제약 조건 하에서 중첩된 연산(예: f(g(...)) 및 g(f(...)))을 분석함으로써 이 프레임워크를 복잡한 시스템에 적용한다.

실험 결과

연구 질문

• RQ1 세미링 기반 결함 내성 모델링은 m-항 및 n-항 구성 요소 상호작용을 가진 시스템으로 어떻게 일반화될 수 있는가?
• RQ2 (m,n)-세미링이 의미 있는 결함 내성 비교를 지원하기 위해 만족해야 할 대수적 성질은 무엇인가?
• RQ3 복합 시스템에서 구성 요소 수준의 결함 내성 지배성이 전체 시스템 수준의 지배성을 유도하는 조건은 무엇인가?
• RQ4 왜 (m,n)-세미링 위의 부분 순서를 사용하여 복잡한 시스템의 신뢰성을 비교할 수 있는가?
• RQ5 m-항 및 n-항 연산에서의 분배법칙과 결합법칙은 결함 내성 분석에 어떤 영향을 미치는가?

주요 결과

• (m,n)-세미링 프레임워크는 기존 세미링을 일반화하며, m-항 및 n-항 연산을 사용한 시스템 결함 내성의 대수적 모델링을 지원한다.
• 구성 요소 수준의 결함 내성 지배성이 시스템 수준의 지배성을 유도하는 부분 순서 ≼ 가 (m,n)-세미링 위에 정의되어 있다.
• 만약 모든 i에 대해 x_i ≼ y_i 이면 f(x_1^m) ≼ f(y_1^m) 이며, 이는 m-항 연산이 결함 내성 순서를 유지함을 증명한다.
• 유사하게, 모든 j에 대해 z_j ≼ u_j 이면 g(z_1^n) ≼ g(u_1^n) 이며, 이는 n-항 연산 역시 순서를 유지함을 보여준다.
• 이 프레임워크는 중첩된 연산을 지원한다: 예를 들어, a_i ≼ b_i 이면 f(x_1^{k-1}, f(a_1^m), x_{k+1}^m) ≼ f(y_1^{k-1}, f(b_1^m), y_{k+1}^m) 가 성립한다.
• 연산을 다수 번 적용하는 경우에도 결과가 유지되며, 예를 들어 구성 요소 지배성 하에 f^(m)(g(z_1^n)) ≼ f^(m)(g(u_1^n)) 이 성립한다.