논문 링크

Q : 이 논문을 아주 자세하게 읽고 논문의 강점과 독창적인 지점을 설명해주고 핵심 알고리즘을 예시 입력을 들어서 전체적인 과정을 설명해줘 추가적으로 논문의 한계점에 대해서도 알려줘

논문 『SparseTransX: Efficient Training of Translation-Based Knowledge Graph Embeddings Using Sparse Matrix Operations』의 강점, 독창적인 지점, 핵심 알고리즘의 예시와 전체적인 과정, 그리고 한계점을 정리하여 전달드립니다.

결론 요약

본 논문은 번역기반(translation-based) 지식그래프 임베딩(KGE) 훈련의 계산 및 메모리 병목을 해결하기 위해 희소 행렬(sparse matrix) 기반의 표현을 제안하여, 기존 방식 대비 CPU에서는 최대 5.3배, GPU에서는 최대 4.2배의 속도 개선을 달성한 것이 주요 강점입니다.

논문의 주요 강점과 독창적인 지점

본 논문은 기존의 번역기반 KGE 모델에서 성능 병목이 되는 밀집(dense) 행렬 연산을 희소 행렬 연산(SpMM, Sparse-Dense Matrix Multiplication) 으로 대체하여 메모리 사용량과 훈련 시간을 크게 단축시켰습니다. 특히 다음과 같은 강점이 있습니다:

• 통합적 희소 표현: 여러 scatter/gather 연산을 하나의 SpMM 연산으로 통합하여 메모리 접근을 효율화함.
• 확장성 있는 구조: TransE, TransR, TransH, TorusE 모델들을 희소 형태로 구현하며, 확장하여 다양한 KGE 모델 적용 가능.
• 낮은 GPU 메모리 사용량: 최대 11배의 GPU 메모리 효율성 증가.

기존 방식과의 성능 비교 예시(TransE 모델 평균):

핵심 알고리즘과 예시를 통한 전체적인 과정 설명

본 논문의 핵심 알고리즘은 희소-밀집 행렬 곱(SpMM)을 활용한 임베딩 계산입니다. 간단한 예시 입력으로 설명하겠습니다.

예시 입력

지식그래프의 예시 Triplet 데이터:

• (head:5, relation:2, tail:15)
• 엔티티 개수(N)=22, 관계 개수(R)=10
• 임베딩 차원(d)=5

기존 방식 vs 희소 방식 비교

• 기존 방식은 개별적인 gather/scatter 연산을 통해 head, relation, tail의 임베딩을 가져와 계산.
• Sparse 방식은 하나의 희소 행렬과 임베딩 행렬의 곱셈으로 이를 통합함.

희소 행렬로 표현한 SpMM 과정

(head+relation-tail) 계산:

희소 incidence 행렬: Triplet마다 head는 +1, relation은 +1, tail은 -1 값을 부여해 표현

  Entity (N=22)     Relation (R=10)
[0 ... 5 ... 15 ... 21 | 22 23 24 ... 29]
[0]  0    1   -1    0  | 0   0  1  0  0

임베딩 Dense 행렬 (크기: (N+R)×d):

 Entity (1~22)      Relation (23~32)
[.32 .21 .67 .12 .93] (엔티티 5번)
[...]
[.92 .83 .03 .37 .84] (엔티티 15번)
[...]
[.62 .85 .65 .26 .96] (관계 24번)

이 행렬들을 곱해, 즉 Sparse (1×(N+R)) * Dense ((N+R)×d)을 계산하면 다음 표현식의 값을 한 번에 얻음:

(head+relation-tail)
= 엔티티5번 + 관계24번 - 엔티티15번
= [.32 .21 .67 .12 .93] + [.62 .85 .65 .26 .96] - [.92 .83 .03 .37 .84]
= [.02 .23 1.29 .01 1.05]

이 결과로 임베딩 기반 점수(score)를 계산하여 loss를 구하고 backpropagation을 수행하게 됩니다. Backpropagation 시 SpMM의 gradient 또한 Sparse-Dense 곱셈으로 효율적으로 계산됨이 입증되었습니다.

논문의 한계점

본 논문에도 다음과 같은 한계가 있습니다:

• 다양한 스코어링 함수의 적용 제한: 논문에서 제시된 희소 표현은 주로 head-tail 및 head+relation-tail 형태의 표현이 가능한 모델(TransE, TransR, TransH, TorusE 등)에 효과적이며, 더 복잡한 스코어링 구조를 가진 모델에 대한 일반화는 다소 추가적인 변형이 필요함.
• 희소 행렬 연산 라이브러리 의존성: 제안된 접근법은 고성능의 희소 행렬 연산 라이브러리(예: iSpLib, DGL의 g-SpMM 등)에 성능이 상당 부분 의존적이어서, 이러한 라이브러리의 성능 개선이 선행되어야 성능 개선이 유지됨.
• 초대규모 데이터의 분산 처리: Multi-GPU 및 Multi-node 분산 처리 시 통신 부하가 추가될 가능성이 있으며, 현재의 접근 방식으로는 이러한 병목을 완전히 해결하기 어려워, 극단적인 규모의 데이터 처리 시 추가적인 병렬화 전략(2D/3D 분산)이 필요할 수 있음.

요약 및 결론

본 논문은 희소 행렬을 통한 임베딩 계산을 이용하여 기존 대비 훈련 속도 및 메모리 효율성을 크게 개선한 독창적인 접근법을 제안하였습니다. 특히 희소 행렬 연산의 특성을 잘 활용해 계산 및 메모리 효율을 동시에 달성하였으며, 앞으로 더 복잡한 스코어링 함수와 더 큰 규모의 데이터셋에 대한 일반화 및 분산 처리 효율화가 추가 연구 과제로 남아 있습니다.

Q : 논문의 핵심알고리즘을 예시를 들어 아주 자세하게 설명해주고 정리해 줘

다음은 논문에서 제시한 핵심 알고리즘인 **희소 행렬 기반 지식그래프 임베딩 계산(SpMM)**을 예시를 통해 단계적으로 매우 자세히 설명한 것입니다.

🔑 핵심 아이디어 요약

이 논문의 핵심 아이디어는 기존의 번역기반 KGE 모델에서 발생하는 다음 연산들을:

• 개별 임베딩 조회 (Gather)
• 개별 그래디언트 분산 업데이트 (Scatter)

하나의 희소 행렬 연산(Sparse-Dense Matrix Multiplication, SpMM) 으로 통합하여 계산 효율성과 메모리 사용량을 획기적으로 줄인다는 것입니다.

📌 알고리즘 상세 과정 (with 예시)

이 예시는 아래와 같은 간단한 지식그래프를 가정합니다.

① 예시 데이터 가정하기

• 엔티티 수(N): 22개
• 관계 수(R): 10개
• 임베딩 차원(d): 5차원

② 기존 방식 vs 논문의 Sparse 방식 비교

기존 방식은 다음과 같은 과정이 필요합니다:

• head, relation, tail 엔티티를 개별적으로 조회(gather).
• 이후 (head + relation - tail) 또는 (head - tail) 계산.
• 이를 통해 loss 계산 후 backward 과정에서 다시 개별적으로 그래디언트를 scatter.

논문에서 제안하는 Sparse 방식은 다음의 과정만 필요합니다:

• 각 triplet을 희소 행렬 형태로 표현한 뒤,
• 희소 행렬과 임베딩 행렬을 한번의 행렬곱으로 계산하여 결과를 즉시 얻음.

③ 희소(Sparse) 행렬 생성

Triplet을 Incidence Sparse Matrix (A) 형태로 표현합니다:

• 행(row)은 각 Triplet을 나타냄.
• 열(column)은 엔티티와 관계를 나타냄.
• 계산할 때 head(+1), relation(+1), tail(-1) 위치에 값을 할당합니다.

예시 Triplet (head:5, relation:2, tail:15)의 Sparse 행렬:

• (head+relation-tail) 형태의 경우:

     Entity (N=22개)             Relation (R=10개)
    [0 ... 5 ... 15 ... 21 | 22 23 24 ... 29]
[0]  0    1   -1    0     | 0   0  1  0  0

→ head=5번(+1), relation=2번(+1, 엔티티 뒤에 배치되므로 24번째 위치), tail=15번(-1)으로 표현.

• (head-tail) 형태의 경우:

     Entity (N=22개)
    [0 ... 5 ... 15 ... 21]
[0]  0    1   -1    0

이렇게 하면 각 행에는 항상 2개 또는 3개의 값만이 존재하여 행렬이 매우 희소(sparse)한 상태가 됩니다.

④ 임베딩 Dense 행렬 생성

엔티티와 관계는 밀집(dense)한 임베딩 행렬로 저장됩니다.

• 크기: (엔티티 수+관계 수) × 임베딩 차원

예시로 만든 Dense 임베딩 행렬 (E) (임의 값 가정):

   임베딩 차원(d=5)
   [e₁  e₂  e₃  e₄  e₅]

E = | 엔티티0번 | .11 .52 .31 .27 .84 |
    | 엔티티1번 | .56 .12 .07 .65 .41 |
          ... 생략 ...
    | 엔티티5번 | .32 .21 .67 .12 .93 |
          ... 생략 ...
    | 엔티티15번| .92 .83 .03 .37 .84 |
          ... 생략 ...
    | 관계2번  | .62 .85 .65 .26 .96 | ←엔티티 뒤에 위치
          ... 생략 ...

⑤ 희소 행렬 연산(SpMM)을 이용한 임베딩 계산

위의 Sparse 행렬(A)과 Dense 임베딩 행렬(E)을 곱합니다:

수학적으로는 다음과 같습니다: [ C = A \times E ]

구체적인 예시로 보면:

Sparse 행렬 A (1×(N+R)):
[0 ... 5 ... 15 ... | ... 24 ...]
  0    1   -1       |     1

Dense 행렬 E ((N+R)×d):
엔티티5번: [0.32 0.21 0.67 0.12 0.93]
엔티티15번: [0.92 0.83 0.03 0.37 0.84]
관계2번(24번): [0.62 0.85 0.65 0.26 0.96]

행렬곱을 계산하면:

• 각 차원별로 계산: [ \text{결과 벡터} = 엔티티5 + 관계2 - 엔티티15 = [0.32,0.21,0.67,0.12,0.93] + [0.62,0.85,0.65,0.26,0.96] - [0.92,0.83,0.03,0.37,0.84] = [0.02,0.23,1.29,0.01,1.05] ]

이를 통해 (head + relation - tail)의 값을 바로 얻게 됩니다.

⑥ Backpropagation 과정

• 논문에서는 backward 연산 또한 SpMM으로 처리 가능함을 증명했습니다.
• Sparse 행렬 A를 전치(Transpose)한 ( A^T )를 Dense gradient와 곱하면 다시 SpMM이 수행되어 gradient가 계산됩니다. [ \frac{∂L}{∂E} = A^T × \frac{∂L}{∂C} ]

이 방식으로 forward뿐만 아니라 backward 연산에서도 희소 행렬 연산의 효율성을 완벽히 활용할 수 있습니다.

🎯 최종 정리

본 논문의 핵심 알고리즘은, 지식그래프 임베딩 계산을 희소 행렬과 밀집 행렬의 곱셈(SpMM) 으로 표현하여,

• 개별 임베딩 접근을 단일 연산으로 통합함.
• 메모리 접근 패턴을 단순화하여 성능 병목 해결.
• Sparse 연산을 통한 메모리 및 계산 효율 극대화.

이러한 접근을 통해 훈련 속도를 CPU 최대 5.3배, GPU 최대 4.2배까지 향상시키며, GPU 메모리 사용량도 최대 11배 감소시키는 매우 효율적인 방법임을 입증하였습니다.

Q : 이 논문에서 제시한 결과를 자세하게 보고 다른 방법론에 비하여 특출난 점과 논문에서 제기하는 어떠한 방법이 이러한 결과를 도출하게 되었는지 논문에서 제시하는 이유와 너의 생각을 알려줘

논문의 실험 결과를 기반으로 SparseTransX가 기존 방법론에 비해 특출난 점과, 어떤 이유로 이와 같은 성능을 보였는지 논문에서 제시한 이유 및 추가적인 제 견해를 정리하여 설명하겠습니다.

🚩 논문이 제시한 주요 실험 결과 (구체적 수치 중심)

논문에서는 7개의 다양한 크기와 특성을 가진 지식 그래프 데이터셋(FB15K, FB15K237, WN18, WN18RR, FB13, YAGO3-10, BIOKG)을 사용해 성능을 측정했습니다. 다음은 논문에서 제시한 SparseTransX의 성능 개선을 기존의 대표적 프레임워크와 비교한 결과입니다:

📌 훈련 속도 개선 (Training Time)

특히, TransE 모델에서 CPU 기준 최대 5.3배, GPU 기준 최대 4.2배 의 매우 큰 속도 개선을 보였습니다.

📌 GPU 메모리 사용량 개선 (Memory Usage)

특히 TransH의 경우 11배의 GPU 메모리 효율성 향상을 보여줬습니다.

📌 연산 효율성 (FLOPs)

전반적으로 FLOP 수가 크게 줄어들어 연산 효율성이 높아졌습니다.

🌟 특출난 점 (기존 방법론 대비)

SparseTransX가 기존 방법론 대비 특히 뛰어난 점은 크게 3가지입니다.

1. 뛰어난 훈련 속도 향상 (CPU 최대 5.3배, GPU 최대 4.2배)

   • 다른 프레임워크(Pytorch Geometric, DGL-KE, TorchKGE)는 개별적인 gather/scatter 연산으로 인해 메모리 접근 오버헤드가 큽니다.
   • SparseTransX는 이를 Sparse Matrix 연산으로 통합하여 연산 병목 현상을 제거하고 빠르게 동작할 수 있습니다.

2. 현저한 GPU 메모리 사용량 감소 (최대 11배)

   • Sparse 표현을 통해 중간 연산에 필요한 메모리 사용량을 크게 줄일 수 있습니다.
   • 따라서 동일한 하드웨어에서 훨씬 더 큰 규모의 데이터로 학습할 수 있습니다.

3. 일관된 성능 개선

   • SparseTransX는 다양한 데이터셋(작은 데이터셋부터 큰 데이터셋까지)과 다양한 모델 구조(TransE, TransR, TransH, TorusE)에서 모두 일관적으로 개선된 성능을 보였습니다.
   • 이는 특정 모델 또는 특정 데이터에만 특화된 방법론이 아니라 일반적이며 범용적으로 적용 가능한 접근법임을 시사합니다.

📗 논문이 제시한 성능 개선의 이유

논문에서 밝히는 주요 이유는 다음과 같습니다.

• 희소 표현을 통한 Scatter/Gather 연산 제거: 기존 방법은 개별 엔티티와 관계에 대해 임베딩을 접근하여 메모리 접근이 분산된 반면, SparseTransX는 이를 통합하여 한번에 처리하므로 메모리 접근 효율성이 높아집니다.

• Sparse-Dense Matrix Multiplication(SpMM) 활용: 고도로 최적화된 SpMM 라이브러리(iSpLib, DGL-SpMM 등)를 활용하여 연산 자체를 최적화했습니다. 이로 인해 메모리 접근 비용이 줄고, CPU 캐시 친화성(cache locality)이 증가해 성능이 향상됩니다.

• 낮은 연산 복잡도: Sparse 표현은 불필요한 연산을 자연스럽게 제거하며 연산 복잡도를 크게 낮추어 FLOP 수를 줄이는 효과를 가져옵니다.

• Backward 연산 최적화: Backward gradient 계산 역시 SpMM을 통해 간결하게 표현할 수 있음을 입증하여 Backward 연산의 속도 향상에도 기여했습니다.

💡 추가적인 내 생각과 분석

이 논문의 성능 개선이 뛰어난 근본적인 이유는 다음과 같습니다:

• 기존 번역 기반 KGE 모델들의 본질적인 sparsity 활용: 지식그래프 데이터는 본질적으로 매우 sparse한 성격을 가지고 있는데, 기존 방법론들은 이러한 특성을 충분히 활용하지 못했습니다. SparseTransX는 KGE가 갖는 자연스러운 sparsity를 제대로 활용하여 불필요한 계산을 최소화했습니다.

• 연산의 통합과 최적화 (연산적 병목 제거): SparseTransX는 단순히 계산을 빠르게 하는 것이 아니라 연산의 구조를 바꿈으로써 병목 현상을 구조적으로 제거했습니다. 이러한 접근은 향후 KGE뿐 아니라 다양한 graph-based 모델에도 적용할 수 있을 것으로 예상됩니다.

• 효율적 자원 활용 (GPU 메모리 관리): GPU 메모리 사용량을 극적으로 줄임으로써, 더 큰 배치(batch)를 사용하거나 더 깊고 복잡한 모델을 사용할 수 있는 환경을 제공하여 결국 모델의 정확도까지 높일 수 있는 잠재적 기회를 제공합니다.

그러나 논문에서 제기된 바와 같이, communication overhead가 큰 multi-node 분산 환경에서는 병목 현상이 나타날 가능성이 있습니다. 이 부분은 향후 추가적인 병렬화 기법을 도입하여 보완해야 할 중요한 부분입니다.

🚩 결론

SparseTransX가 뛰어난 성능을 보인 이유는 다음과 같이 요약할 수 있습니다:

• 본질적인 sparsity를 연산 단계부터 최적화하여 활용
• 최적화된 희소 행렬 연산을 이용한 연산 병목 제거
• 메모리 접근 최적화로 인한 속도 및 메모리 사용 효율 극대화

이러한 점들이 기존 방법론에 비해 특출난 성능을 낸 핵심 요인이며, SparseTransX의 접근법은 향후 지식 그래프 임베딩뿐 아니라 다양한 그래프 머신러닝 분야로의 확장 가능성을 지닌 유망한 방법론입니다.

Q : 이 논문의 한계를 극복하기 위한 방법으로 어떤 연구흐름이 있는지 정리해서 자세하게 설명해 줘

이 논문의 한계를 명확히 짚고, 이를 극복할 수 있는 관련 연구 흐름과 방향성을 정리하여 설명드리겠습니다.

📌 ① 논문에서 제시된 한계점 다시 정리하기

이 논문의 대표적인 한계점은 다음과 같습니다:

1. 복잡한 스코어링 함수로의 일반화 제한

   • SparseTransX는 주로 단순한 (head-tail) 혹은 (head+relation-tail) 구조에 최적화됨.
   • 더욱 복잡한 모델(예: RotatE, ComplEx 등 복소수 기반의 모델들)에 적용할 때 추가적인 변형이 필요.

2. 희소 행렬 연산 라이브러리 성능 의존성

   • 제안된 방식은 최적화된 Sparse 연산 라이브러리(iSpLib, DGL-SpMM 등)에 강하게 의존적이며, Sparse 연산 라이브러리의 한계가 직접적으로 성능에 영향을 미침.

3. 초대규모 데이터셋 학습 시 통신 비용

   • 다중 GPU/다중 노드 분산 학습에서는 GPU 간, 노드 간 통신 부하가 발생.
   • Sparse 행렬을 다루는 특성상 communication bottleneck으로 인해 성능 저하가 발생할 가능성이 큼.

📌 ② 이 논문의 한계를 극복하기 위한 연구 흐름과 방법론

각각의 한계를 해결하기 위해 다음과 같은 최신 연구 흐름이 존재하며, 구체적으로 설명하겠습니다.

🚩 (1) 복잡한 스코어링 함수 일반화를 위한 연구 흐름

이 논문이 제안한 Sparse 표현 방식을 다양한 scoring 함수에 일반화하려면, 다음과 같은 접근 방법이 가능합니다:

• 범용적 Semiring 기반 SpMM

  • GraphBLAS (그래프 분석용 범용 sparse linear algebra 표준) 및 이와 유사한 접근법들은 Semiring 구조를 이용하여 다양한 연산(복소수 곱셈, element-wise 연산 등)을 유연하게 표현할 수 있도록 지원합니다.
  • 예:
    • GraphBLAS, Gunrock 등의 범용 연산 프레임워크 연구.
    • Sparse 연산을 다양한 Semiring 구조를 통해 지원하여 다양한 모델(ComplEx, RotatE)에 쉽게 일반화할 수 있도록 지원합니다.

• Auto-tuning 기반의 Sparse 연산 최적화 연구

  • 모델 특성 및 데이터에 따라 Sparse 연산을 자동으로 최적화해주는 라이브러리(iSpLib, FeatGraph 등)가 연구되고 있으며, 다양한 모델 및 구조에 유연한 최적화를 제공합니다.
  • 예:
    • FeatGraph(Hu et al., 2020), iSpLib(Hoque Anik et al., 2024) 등 연구는 모델 특성에 따라 자동으로 최적화를 수행합니다.

🚩 (2) 희소 행렬 연산 라이브러리 성능 의존성 해결을 위한 연구 흐름

Sparse 행렬 연산 자체의 최적화에 대해서도 활발히 연구가 진행 중이며, 다음과 같은 최신 접근법이 있습니다:

• 하드웨어 맞춤형 Sparse 라이브러리 최적화

  • GPU 최적화: cuSPARSE(NVIDIA), Sputnik(Google)과 같은 GPU 전용 최적화 라이브러리 개발.
  • CPU 최적화: Intel MKL, SuiteSparse 등 CPU 최적화 라이브러리 연구.
  • Sparse 연산을 특정 하드웨어(CPU, GPU, TPU 등)에 맞춤형으로 최적화하여 연산 효율성을 극대화합니다.

• 컴파일러 수준 Sparse 연산 최적화

  • 컴파일러 및 자동 코드 생성 기술(TVM, MLIR 등)을 활용하여 Sparse 연산을 더 효율적으로 처리하는 연구가 진행 중입니다.
  • 예:
    • SparseTIR(Ye et al., 2023): sparse 연산 최적화를 위한 컴파일러 기반 자동 코드 생성 연구.

이러한 최적화를 통해 라이브러리 자체 성능 한계를 넘어서고, 특정 하드웨어에서의 Sparse 연산 효율성을 획기적으로 높이는 흐름이 형성되어 있습니다.

🚩 (3) 초대규모 데이터셋 분산 학습 시 통신 병목 해결을 위한 연구 흐름

초대규모 지식그래프 학습 시 Sparse 행렬 기반 분산 학습의 통신 비용을 줄이기 위한 접근법들이 최근 활발히 연구되고 있습니다.

• Communication-efficient distributed learning

  • 통신 비용 최소화를 위한 2D/3D 분할(Matrix decomposition) 전략
  • 예:
    • 2D-partitioning 기법 (Summation-based partitioning, 2D-SpMM 등)을 통해 노드 간 통신량을 크게 감소시키는 접근법이 연구되고 있습니다.

• 모델 병렬화 및 데이터 병렬화를 결합한 Hybrid parallelism 연구

  • 데이터를 단순히 나누는 것이 아니라, 모델 자체를 여러 GPU/노드로 나누어 통신 부하를 낮추고, 병렬 효율성을 극대화하는 연구입니다.
  • 예:
    • PyTorch Fully Sharded Data Parallel (FSDP)
    • Alpa, Megatron-LM 등 모델과 데이터를 동시에 병렬화하여 통신 비용을 최소화하는 최신 접근법.

• Gradient Compression 및 Quantization 기법

  • 연산 결과로 얻어지는 gradient를 압축하거나 양자화(Quantization)하여 통신량을 줄이는 기법.
  • 예:
    • Deep Gradient Compression, QSGD(Quantized SGD), PowerSGD 등은 이미 다른 머신러닝 분야에서 성공적으로 적용되었으며, Graph 임베딩 학습에서도 적용 가능성이 큽니다.

📌 ③ 연구 방향성에 대한 추가적 견해

SparseTransX가 가진 핵심 아이디어와 최신의 연구 흐름을 결합하면 다음과 같은 방향이 매우 유망할 것으로 생각됩니다:

• Auto-tuned Sparse Embedding Framework 개발

  • 다양한 모델 구조에 쉽게 적용할 수 있는 자동 최적화 프레임워크 개발.

• Hybrid parallelism & Gradient compression 적용한 초대규모 KGE 프레임워크 구축

  • 큰 규모의 지식그래프 데이터에 대해 효율적인 학습을 가능하게 하는 프레임워크 개발.

• GPU 아키텍처 전용 Sparse 연산 가속기 설계

  • NVIDIA의 TensorCore, Google TPU와 같은 특정 하드웨어 아키텍처에서의 Sparse 연산 특화 설계.

이러한 흐름은 SparseTransX의 근본적인 한계를 해결할 뿐 아니라, Graph Machine Learning 전반의 성능 개선을 크게 이끌 수 있을 것으로 기대됩니다.

📝 결론적 정리

이 논문의 한계를 극복하기 위한 최신 연구 흐름은 다음과 같이 요약할 수 있습니다:

이러한 흐름들은 SparseTransX가 제안한 접근법을 더욱 발전시켜, 현실적으로 더 큰 규모의 데이터와 복잡한 모델에 효과적으로 대응할 수 있는 중요한 방향성입니다.