Haskell 기반의 기하학적 제약 조건 해결을 통한 4절 링크 시뮬레이터 구현

Context

전통적인 기계 설계 이론을 인터랙티브한 시뮬레이션으로 구현하기 위해 높은 타입 안정성과 수학적 추상화 능력을 갖춘 언어의 필요성 대두. 기존의 단순 애니메이션 방식이 아닌 실제 Kinematics 기반의 실시간 기하학 연산 모델링이 요구됨.

Technical Solution

• Threepenny-GUI 채택을 통한 Haskell 백엔드 로직과 브라우저 기반 Frontend의 분리 설계
• Circle-intersection method를 적용하여 두 원의 교점 분석을 통한 점 D의 좌표 실시간 산출
• Loop-closure constraints 기반의 조립 조건(|f - b| ≤ d ≤ f + b) 검증으로 물리적 불가능 상태 필터링
• Grashof index(s + l - p - q) 연산을 통한 메커니즘의 회전 가능 여부 자동 분류 로직 구현
• Assembly branch 전환 기능을 통한 두 가지 가능한 기하학적 해(Solution)의 선택적 렌더링 구조 설계
• SVG 기반 렌더링을 통한 스케일러블한 메커니즘 시각화 및 애니메이션 처리