DecisionMind Mühürlü, doğrulanabilir reprodüksiyon

Kullanım alanları

ISM

ISM - Yorumsal Yapısal Modelleme

Ulaşılabilirlikle hiyerarşik ayrıştırma

Formül adımları

Analiz motorunun yöntem bildirimindeki (manifest F.steps) adımlar; raporlardaki formüllerle aynı kaynaktır.

  1. Adım 1 — İkili ilişki matrisi D.

    D=[πij]n×n, πij∈{0,1}
    LaTeX D = [\pi_{ij}]_{n\times n},\ \pi_{ij} \in \{0,1\}

  2. Adım 2 — Boolean kuvvetlerle M*.

    M=D+I,M*=Mk s.t. Mk=Mk+1
    LaTeX M = D + I,\quad M^{*} = M^{k}\text{ s.t. } M^{k} = M^{k+1}

  3. Adım 3 — Ulaşılabilirlik ve öncelik kümeleri.

    R(ti)={ej∣mji*=1},A(ti)={ej∣mij*=1}
    LaTeX R(t_{i}) = \{e_{j} \mid m_{ji}^{*}=1\},\quad A(t_{i}) = \{e_{j} \mid m_{ij}^{*}=1\}

  4. Adım 4 — Düzey belirleme.

    R(ti)∩A(ti)=R(ti)⟹ei∈level l
    LaTeX R(t_{i}) \cap A(t_{i}) = R(t_{i}) \implies e_{i} \in \text{level }l

  5. Adım 5 — Hiyerarşik yönlü çizge.

    𝒢=(V,E), V={e1,…,en}
    LaTeX \mathcal{G} = (V,E),\ V=\{e_{1},\ldots,e_{n}\}

Yöntem ayrıntıları kaynak kütüphanedeki özgün (İngilizce) metindir.

Sezgi

Hierarchical decomposition via reachability. Output typically weight_or_utility (higher value = preferred).

Sonucu okuma: Apply F.steps in order.

Sık yapılan hatalar

  • Bkz. ISM F.steps citation_anchor'lar ve P.verification_status.

Hesap adımları ve dayanakları

  1. Binary relation matrix D = [π_ij] (1 if e_i affects e_j).

    Dayanak: Warfield 1973, p.405 Sec.2

  2. Reachability matrix M* via Boolean powers until stable.

    Dayanak: Warfield 1973, p.406 Eq.(1)

  3. Reachability set R(t_i) and antecedent set A(t_i).

    Dayanak: Warfield 1973, p.406 Eqs.(2)-(3)

  4. Level partition: e_i at current level iff R(t_i) ∩ A(t_i) = R(t_i).

    Dayanak: Warfield 1973, p.407 Eq.(4)

  5. Build hierarchical digraph from level partition.

    Dayanak: Warfield 1973, p.407 Sec.4