مدل‌سازی هندسی و تحلیل سیستم‌های قیدگذاری