الگوریتم فرایابنده Meta Heuristic Algorithm / تابع هدف Objective Function / حل تحلیلی تقریبی Approximate Analytical Solution / فضای غیرموجه Infeasible Region / تابع غیرموجهی Infeasiblility Function / علم شیمی درمانی Chemotherapy Science
وارسی صوری Formal Verification / وارسی الگو Model Cheking / زبان مدل سازی ربکا Rebeca Modeling language / سیستم عامل رباتیک Robotic Operating System / مدل کنشگر Actor Model