Символьное моделирование / Построение s-среды
Человеко-машинная среда решения задач (s-среда) представляет собой постоянно растущее воплощение результатов символьного моделирования, полученных исследователями, инженерами и другими построителями символьных моделей произвольных объектов.
Примерами результатов s-моделирования, сыгравших выдающуюся роль в методологическом обеспечении построения человеко-машинной среды решения задач, могут служить: изобретённая Дж. фон Нейманом модель цифровой электронной машины с хранимыми в общей памяти инструкциями программы и данными [известная как модель фон Неймана (the von Neumann model) и архитектура фон Неймана (the von Neumann architecture)]; изобретённые создателем Веба Т. Бернерс-Ли протокол HTTP (англ. HyperText Transfer Protocol — протокол передачи гипертекста[1], являющийся протоколом прикладного уровня, определяющим правила передачи сообщений в гипермедийных системах, и унифицированный идентификатор ресурса URI (англ. Uniform Resource Identifier), ставший стандартом записи адреса ресурса, размещённого в сети Интернет[2].
На основе s-моделей изобретённых объектов созданы электронная почта, Веб, поисковые системы IP-телефония, интернет вещей и другие интернет-сервисы; цифровая аудио-, фото- и видеозапись; системы автоматизированного проектирования (САПРы); компьютерные тренажёры и роботы, системы цифровой связи, навигационные системы, 3D-принтеры и др.