Rami Fikani developed enhanced physics modeling capabilities for the HEPLean/PhysLean repository, focusing on simulating damped harmonic oscillator dynamics and energy dissipation. He defined the equation of motion using Lean, incorporating time derivatives to enable accurate time-domain simulations. His work included formalizing mechanical energy and dissipation rate definitions, demonstrating non-conservation of energy, and deriving the dissipation term as a function of velocity. Emphasizing mathematical modeling and theoretical physics, Rami improved code readability and maintainability through clear naming and documentation. These contributions increased the fidelity of PhysLean simulations, supporting more reliable engineering analyses and laying groundwork for future physics modules.