Разрешение неоднозначностей

SAT (значения)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Аббревиатура SAT используется в следующих понятиях:

  • Задача SAT (от англ. satisfiability) — Задача выполнимости булевых формул.
  • Экзамен SAT — экзамен для абитуриентов в США.
  • SAT Airlines (Сахалинские авиатрассы) — российская авиакомпания.
  • Sennacieca Asocio Tutmonda — всемирная эсперанто-ассоциация.
  • Special Assault Team — подразделение специального назначения полиции Японии. Аналог GSG-9, SAS, Альфы.
  • SAT@home — российский проект добровольных распределенных вычислений на платформе BOINC.
  • Static Address Translation — модификация IP-пакета, при котором происходит подмена адреса источника.
  • Suomen Ampumatarvetehdas (SAT) — производитель патронов к огнестрельному оружию в Финляндии, действовал в 1919 ─ 1927 гг. в г. Рийхимяки.
  • Site Acceptance Testing - испытания оборудования у конечного пользователя после установки, проводимые совместно представителями и поставщика, и заказчика.