СЕМАНТИЧЕСКАЯ СЕТЬ [semantic network] - граф с вершинами, которым поставлено в соответствие некоторое множество фактов (данных), понятий или атрибутов (реквизитов) некоторых понятий, а дугам - некоторые отношения (экстенсиональные сети); С.с. - это граф с вершинами, которым поставлено в соответствие некоторые имена (например понятий), а дугам - отношения между понятиями (интенсиальные сети).
СЕМАНТИЧЕСКИЕ ЗНАНИЯ [semantic knowledge] - языковые знания, представленные средствами описания языковых грамматик и передающие знания о множестве слов и правилах их образования.
СЕМАФОР [semaphore] - тип переменной в языках программирования, используемый для введения идентификаторов, с помощью которых осуществляется синхронизация взаимодействующих процессов. Программный С. функционально аналогичен С. на железной дороге.
СЕМЕЙСТВО [family] - совокупность составных объектов, программных модулей, ВМ с одинаковой архитектурой и др. предметов.
СЕМИОТИКА [semiotics] - наука, исследующая функциональные свойства знаков и знаковых систем естественного или искусственного языков или закономерности построения и использования форм обмена сообщениями в экономических системах.
СЕМИУРОВНЕВАЯ МОДЕЛЬ СВЯЗИ [seven-level link] - модель протоколов передачи данных, обеспечивающая разрешение проблем взаимодействия открытых систем в сети. С.м.с. включает физический, канальный, сетевой, транспортный, сеансовый, представления и прикладной уровни.
СЕРВЕР [server] – высокопроизводительная ВМ, имеющая большие объемы оперативной и внешней памяти и предназначенная для обслуживания других ВМ путем управления распределением ресурсов (памяти, баз данных и знаний, принтеров и др.).
СЕРВИС [service] - совокупность вспомогательных системных программ, выполняющих вспомогательные функции, обеспечивающих удобство применения основной программы, например часы, калькулятор, статистика, анализатор, синтезатор.
СЕРТИФИКАТ (аттестат, удостоверение) [certificate] - документ, создаваемый и выдаваемый в результате сертификации данных, программ и знаний в соответствии с правилами сертификации, указывающий, что обеспечивается необходимая уверенность в соответствии идентифицированных данных, знаний и/или программы, информационных работ или услуг требованиям стандартов или других нормативно-технических документов.
СЕРТИФИКАЦИЯ ЗНАНИЙ [certification of knowledge] - выполнение административных операций для получения свидетельства на базу знаний об области применения, технических характеристик, верифицируемости и тестируемости содержимого базы.
СЕРТИФИЦИРУЕМОСТЬ (знаний) [sertificationment (knowledge)] - готовность данных, программ и знаний для проверки в соответствии с требованиями организаций по сертификации знаний.
СЕТЬ ВЫЧИСЛИТЕЛЬНЫХ МАШИН [computer network] - совокупность ВМ и средств их соединения, оснащенная программным обеспечением для обслуживания работ в сети. Бывают такие топологии С.в.м.: глобальные, древовидные, звездообразные, кольцевые, локальные, полносвязные, страны, ячеистые и др.
СЕТЬ ВЫЧИСЛИТЕЛЬНЫХ ЦЕНТРОВ [computer center network] - совокупность вычислительных центров, объединенных каналами связи. С.в.ц. позволяет наиболее полно обеспечить потребителей ресурсов сети информационно-вычислительными работами.
СЖАТИЕ [compression] - устранение избыточности данных или знаний с целью повышения скорости передачи сообщений, уменьшения объема используемой памяти.
СИГНАЛ [signal] - изменяющаяся во времени физическая величина, отображающая передаваемое сообщение. С. бывают входными, выходными, дискретными, непрерывными управляющие и др. С. - это материальный носитель информации.
СИМВОЛ [symbol, character] - графический знак, который в данном его применении рассматривается как целое конечного объема и который обозначает какое-либо понятие. С. используется для представления сообщений, запросов, знаний, данных и управляющих воздействий в виде слов или последовательностей слов. С. бывают абсолютные, абстрактные, алфавитные, информационный, контрольный, нетерминальный, сигнальный, терминальный, управляющий и др.
СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ [symbolic calculus] - реализация алгоритмов из операций по преобразованию выражений, заданных последовательностями символов. Результат вычислений - выражение из символов.
СИМВОЛЬНЫЙ ЛИТЕРАЛ [symbol literal] - один (или ни одного) из графических символов, а также символ пробела, символ апострофа, каждый заключенный между двумя символами апострофа и имеющий значение символьного типа.
СИМВОЛЬНЫЙ ТИП [symbolic type] - перечислимый тип, содержащий хотя бы один символьный литерал. Над значениями типа определена операция катенации (соединения) символов.
СИМУЛЯТОР [simulator] - модель, моделирующее устройство, имитатор, имитирующее устройство, моделирующая программа и т.п.
СИНЕКТИКА - метод информатики для исследования предметов, явлений и процессов, основанный на изучении мысленных образов или моделей (аналогий) путем критического обсуждения идей.
СИНОНИМНОЕ ПРОГРАММИРОВАНИЕ [synonymic programming] - метод информатики, состоящий из синтаксически и семантически поддержанных языками программирования или представления знаний приемов введения новых терминов (идентификаторов) со свойствами обозначать уже определенное понятие. С.п. предназначено для обеспечения удобств создания программ, введения кратких имен и для разрешения противоречий в обозначениях.
СИНОНИМ [synonym] - слова или термины, отличные друг от друга по звучанию или написанию, но относительно тождественные по значению или смыслу. Имеется ведущий термин, относительно которого термины с такими же свойствами являются С. Количество С. ничем не ограничено.
СИНТАКСИС [syntax] - совокупность правил, представленных на некотором языке и определяющих способ формирования конструкций данного языка; совокупность правил образования семантически значимых последовательностей символов данного языка. С. может описываться порождающей или распознающей грамматиками.
СИНТАКСИЧЕСКАЯ ГРАММАТИКА ЕСТЕСТВЕННОГО ЯЗЫКА [natural language syntax grammar] - грамматика, состоящая из правил построения слов и предложений на основе словаря с учетом зависимости между словами и простыми предложениями, использующей знаки пунктуации, а также правил вариации, ударения, произношения, умолчания и сочетаний слов для образования новых слов или словосочетаний.
СИНТАКСИЧЕСКАЯ ОШИБКА [syntax error] - результат нарушения правил семантической грамматики языка профессиональной прозы. С.о. обнаруживаются автоматически по правилам или в соответствии с правилами семантической грамматики в процессе трансляции исходных текстов на формальный внутренний язык Лейбниц.
СИНТАКСИЧЕСКИЙ АНАЛИЗ [syntax analysis] - часть грамматического разбора текстов (например, программ) для выделения синтаксических единиц (возможно, исключая лексемы, которые обычно выделяются при лексическом анализе) с последующей заменой их на синтаксические единицы внутреннего или машинно-ориентированного языка. Эффективность С.а. зависит от методов описания синтаксиса языка и алгоритма самого разбора (по дереву спуска, графу языка и т.п.).
СИНТЕЗ [synthesis] - метод исследования, при котором изучаемый предмет, явление или процесс (мысленно или реально) создаются из соединения различных элементов в единое целое или выбор объекта по некоторому критерию. С. бывает структурный, параметрический, алгоритмов, текстов, блочный, элементный и др.
СИНТЕЗ ПРОГРАММ [program synthesis] - процесс преобразования декларативного описания знаний в алгоритмическое знание, реализованный программно, аппаратно или программно-аппаратно; метод информатики, основанный на алгоритмах синтеза программ по заданной спецификации заданий или по общему алгоритму решения проблемы. В процессе С.п. могут обнаруживаться ошибки, связанные с недостающими знаниями о величинах или операциях или нехваткой памяти.
СИНХРОНИЗАЦИЯ [synchronization, timing] - установление соответствия моментов запуска процессов (связь между процессами) с определенными событиями в системе (один процесс не может выполниться до тех пор, пока другой процесс не достигнет своей определенной точки); обеспечение временной упорядоченности действий параллельных процессов.
СИСТЕМА [system] - множество элементов вообще говоря любой природы, находящихся в отношениях, связывающих элементы друг с другом и образующих определенную их целостность, единство, определенной степени автономность. С. бывает замкнутой (чаще всего абстрактная) или зависимой от внешней среды или влияющей на внешнюю среду. С. бывает материальная (живая, неорганическая), энергетическая (физическая, химическая) и информационная (из понятий или гипотез, теорий, наук, знаний), а также бывают С. автоматизации, автономная, адаптивная, базовая, большая, вычислительная, знаковая, интеллектуальная, интерфейсная, кибернетическая, классификационная, комплексная, лингвистическая, логическая, малая, обучающая, общения, операционная, поисковая, программирования, распределения, реального времени, семиотическая, самоприспосабливающаяся, связи, следящая, счисления, телеобработки, терминальная, технологическая, транспортная, управления, фонетическая, человек-ВМ, экспертная и др. С.
СИСТЕМА АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ (САПР) [computer-added design CAD] - программное обеспечение, предназначенное для проектирования технической, конструкторской и технологической документации при изготовлении аппаратуры или программ.
СИСТЕМА ИСКУССТВЕННОГО ИНТЕЛЛЕКТА (СИИ) [knowledge-based system] - человеко-машинная система, предназначенная для моделирования интеллектуальной деятельности человека на основе знаний и правил логического вывода.
СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ [mass service system] - система, предназначенная для наиболее эффективного обслуживания потоков заявок с помощью обслуживающих средств, работающих в соответствии с некоторой дисциплиной обслуживания. Бывают С.м.о. одноканальные (с одним потоком заявок) и многоканальные (с некоторым количеством потоков заявок).