Modeling and Beamforming Optimization for Pinching-Antenna Systems | Synapse