УПОРЯДОЧЕННОСТЬ [order] - порядок размещения элементов структуры, массива или множества относительно друг друга в соответствии с заданными правилами отношений, определенных для элементов.
УПРАВЛЕНИЕ [control] - всякая явная или неявная процедура, которая определяет целенаправленный порядок деятельности по решению проблемы. У. - это функция организационной системы различной природы, обеспечивающая сохранение определенной ее структуры, поддерживая режимы деятельности, направленной на реализацию этой функции. У. бывает автоматическое, автономное, административное, базами данных и знаний, временем, задачами, каналами, каталогами, пакетами, прямое, централизованное и децентрализованное, дистанционное, косвенное, оптимальное, программное, прямое, с адаптацией, с восстановлением, потоками, диспетчерское, сетью, системами, файлами, ситуационное, цифровое и др.
УПРАВЛЕНИЕ ПРОГРАММНЫМ ПРОЕКТОМ [program proect control] - метод информатики, включающий способы определения метрик и нормативов программирования, обнаружения узких мест (критических путей) разработок, планирования материальных, людских и вычислительных ресурсов и сроков выполнения работ по проектированию программ или программного обеспечения.
УПРАВЛЕНИЕ ФАЙЛАМИ [file control] - совокупность процедур и функций, предназначенная для создания, скрытия, открытия, закрытия, уничтожения, установки в некоторое состояние, вычисления и предписания характеристик, проверки свойств и состояний файлов.
УРОВЕНЬ [layer, level] - степень абстракции или слой иерархии некоторой структуры. Бывает У. архитектуры, блока, иерархии, вложенности и др.
УРОВЕНЬ ИНТЕЛЛЕКТУАЛЬНОСТИ СИСТЕМЫ [intellectual system level] - тип информационной модели, зависящий от глубины логического вывода ответа на запрос пользователя и обеспечивающей разрешение проблем пользователя интеллектуальной системой.
УСЛОВИЕ [condition] - запись утверждения (высказывания) о свойствах объектов или значений выражений, в зависимости от логического значения которого осуществляется выбор пути при ветвлении управления поиском. Бывает атомарное, исключающее, простое У. и У. выхода, членства и др.
УСЛОВНЫЙ ОПЕРАТОР [conditional statement] - составной оператор, выбирающий одну или ни одной из альтернативных последовательностей операторов в зависимости от значения выражения логического типа. У.о. определяет двоичное дерево ветвлений управления в программе.
УСЛУГА [service] - вид работ, выполняемых некоторой системой для пользователя по его запросу.
УСТОЙЧИВОСТЬ [stability] - свойство или способность системы или алгоритма при незначительном изменении исходных (входных) данных также незначительно изменять результат.
УСТРОЙСТВО [device, unit] - конструктивно и логически законченная часть технической системы, выполняющая определенную законченную функцию. У. бывает внешнее, запоминающее, адресное, ввода, вывода, преобразующее, индикаторное, корректирующее, отображения, арифметическое, логическое, управления, вычислительное, резервное, кодирующее, декодирующее, дисплейное, интегрирующее, оконечное, читающее, вспомогательное и др.
УТВЕРЖДЕНИЕ [assertion, statement] - логическое выражение или высказывание, которое предполагается истинным, ложным или с некоторой мерой истинности.
УТИЛИТА [utility] - вспомогательная системная программа (автономная У.) или часть операционной системы (системная У.), обеспечивающие пользователя средствами обслуживания его наборов данных.
УТОЧНИТЕЛЬ [qualifier] - имя следующего уровня иерархии в структуре записей, уточняющее некоторое данное.
Ф
ФАЗА [stage] - часть одного из этапов изобретания, проектирования, разработки и сопровождения предмета, явления или процесса, характеризуемые однородной деятельностью участника работ. Различают четыре фазы: планирование изделия и процессов его создания, выработка требований к программе и данным; техническое проектирование изделия и процесса его создания; кодирование изделия и представление его в виде, пригодном для ввода в ВМ; комплексирование изделия из модулей, комплексная отладка и испытание изделия.
ФАЙЛ [file] - запись (структура), определяющая способ расположения полей записи различных типов (включая процедуры и функции) в экстенте и сопоставляющая способы расположения этих полей на носителе данных. Обычно для Ф. имеется возможность самоконтроля данных и атрибутов записи, доступа к данным, получения санкции доступа, контроля атрибутов и состояний физических носителей, связанных с данным Ф. Бывает Ф. загрузки, базы данных или знаний, заданий, изменений, отчетов, подкачки, регистрации, связей, а также абстрактный, активный, архивный, буферный, виртуальный, внешний, внутренний, временный, вспомогательный, входной, выходной, выполняемый, графический, двухмерный, дисковый, дисплейный, зависимый, защищенный, индексированный, индексный, исходный, командный, личный, машинный, непрерывный, обновляемый, общий, основной, помеченный, последовательный, программный, прямой, рабочий, системный, справочный, стандартный, текстовый и др. Ф.
ФАЙЛОВАЯ СИСТЕМА [file system] - часть операционной системы, управляющая использованием внешней памяти ВМ.
ФАКТ [fact] - предложение, утверждение или данное с именем (знание), которые считаются достоверными. Ф. - это установление существования предмета, явления, процесса или их свойств. Ф. - это фиксация эмпирического знания: истины, события, результаты и т.п. Информатика изучает факты на основе исчисления фактов.
ФАКТИЧЕСКИЙ ПАРАМЕТР [actual parameter] - выражение или имя переменной, используемые в вызовах процедур, функций, входов и макросов.
ФАКТОГРАФИЧЕСКИЕ ЗНАНИЯ [factual knowledge] - конкретные знания, имеющие определенный способ представления (массивы данных, поименованные таблицы и записи на формализованном языке) для восприятия человеком или ВМ.
ФАКТОГРАФИЯ [factografy] - одно из возможных представлений фактов без проведения анализа, обобщения, освещения и т.п.
ФИГУРА [figure] - графическое изображение, составленное из линий, надписей и пятен, например, граф, чертеж, рисунок, картина и т.п.
ФИЗИЧЕСКАЯ ЗАПИСЬ [physical record] - порция данных, являющаяся единицей для представления данных на физических носителях или для обмена данными между внутренней и внешней памятью ВМ.
ФИЗИЧЕСКИЙ ЭФФЕКТ [physical effect] - результаты воздействия одной вещи на другую, которые используются для изобретания и/или исследования предметов, явлений или процессов на ВМ.
ФИКСИРОВАННЫЙ ТИП [fixed point type] - вещественный тип с заданной абсолютной погрешностью данных, которая определяется положительной дельтой - вещественным числом (размером интервала между двумя соседними числами этого типа). Значения Ф.т. представляются так: знак * мантисса * дискрет. Дискрет - такое максимальное число, что степень двух не превосходит дельты.
ФИЛЬТР [filter] - программа проверки (фильтрации) значений величин любого типа на корректность.
ФИЛЬТРАЦИЯ [filtering] - проверка принадлежности фактического значения величины множеству допустимых ее описанием значений.
ФЛОП [flop] - единица производительности ВМ, измеряемая числом операций сложений чисел с плавающей запятой в секунду.
ФЛОППИ-ДИСК [floppy disk] - сменный магнитный диск на гибком носителе, покрытый слоем материала, способного запоминать и воспроизводить информацию. Бывает Ф.-Д. активный, ассоциативный, виртуальный, двусторонний, логический, материнский, моделируемый, рабочий, системный и сменный.
ФЛОПС [flops] - единица производительности ВМ, измеряемая числом операций над числами с плавающей запятой в секунду.
ФОНД [fund, collection] - систематизированное собрание каких-либо вещей: данных, знаний, программ, файлов, документов, физических эффектов и др. для широкого распространения среди пользователей.
ФОРМА [form] - внутренняя организация (структура или совокупность позиций) некоторого содержания для представления сведений о предметах, явлениях или процессах.
ФОРМАЛИЗАЦИЯ [formalization] - метод исследования, основанный на использовании формальных систем, в которых вместо естественного языка используется формальный язык или язык профессиональной прозы. Ф. связана с выделением понятий предметной или проблемной области (первый шаг Ф.), построение множества значений (второй шаг Ф.), формированием определений понятий для человека и базы знаний, составлением характеристик понятий как множества их значений (третий шаг Ф.), построением фраз естественного языка для фиксации знаний (четвертый шаг Ф.), автоматической отладкой знаний и данных автоматическим поиском результатов логического вывода ответа на запрос (пятый шаг Ф.), кодирование программ автоматически или программистами (шестой шаг Ф.) сводящийся к решению логического уравнения, анализ результатов (седьмой шаг Ф.).
ФОРМАЛЬНАЯ ГРАММАТИКА [formal grammar] - формальный метод описания закономерностей построения всей совокупности конструкций того или иного формального языка. Ф.г. - это способ задания синтаксиса формального языка.
ФОРМАЛЬНЫЙ ПАРАМЕТР [formal parameter] - идентификатор с заданными свойствами, используемый в спецификациях подпрограммы и других программных модулях для контроля правильности вызова фактических параметров.
ФОРМАЛЬНЫЙ ЯЗЫК [formal language] - язык, представленный алфавитом с ограниченным набором графических знаков, порождающей или распознающей грамматиками и снабженный правилами понимания текстов и количественными ограничениями.
ФОРМАТ [format] - текст или графическая структура, задающие правила размещения информации по позициям структуры при печати, вводе или выводе ее на экран дисплея.
ФОРМАТНЫЙ ЯЗЫК [format language] - язык, состоящий из текстов, у которых синтаксическое и семантическое значение символов в тексте зависит от номера или диапазона номеров позиций строчки.