이 논문은 라 프로필레(LP)의 앵커가 그들이 제공하는 판결을 전제로 하지 않고 도메인 데이터에서 어떻게 측정되는지를 명시합니다. 도메인 전환 프로토콜은 앵커 식별을 고정합니다 — 선행으로 간주되는 것, LP-독립 앵커; 이 논문은 앵커 측정을 고정합니다 — 존재 지표(Q1을 feeding), 역사적 정체성 관계 ∼ᵢd(Q2을 feeding) 및 역할 F, M, K가 LP와 독립적으로 설정된 기록에서 어떻게 계산되는지를 설명합니다. 중심 결과는 지표 독립성 조건(IIC)입니다: 모든 지표는 그것이 지원하는 판결 이전 및 독립적으로 고정된 데이터에서 계산 가능해야 하며, 측정된 프록시는 판결에 대한 증거가 아니라 결정을 구성하지 않는다는 부산물이 있습니다. 두 개의 장치 — 선행 소싱 및 블라인드 코딩 —는 절차가 자기 확인으로 무너지는 것을 방지합니다. 측정 순서는 Q1/Q2 비대칭성과 정체 판결 Q2가 결합 역할 K와 혼동되지 않아야 한다는 요구로 정당화되어 Q2가 Q1 이전에 측정됩니다. 조직 도메인은 첫 번째 운영 사례로, 데이터 밀도와 진단 도메인으로서의 지위에 의해 이중으로 정당화됩니다. 따라서 이 논문은 운영화를 확립합니다, 증명이 아니라; 증명 도메인으로의 확장은 다음 단계로 식별됩니다. 키워드: 측정, 지표 독립성, 지속성, 정체성, 앵커 식별, 순환성, 운영화, 프레임-모듈-결합
마르크 마이봉(Marc Maibom, Sun)이 이 질문을 연구했습니다.