ОПРЕДЕЛЕНИЕ [definition] - установление смысла незнакомого термина (слова). Имеется семь способов установления смысла термина: номинальный - определение неизвестного термина через перечисление знакомых терминов, прямо относящихся к его определению; описательный - незнакомый термин помещается в контекст знакомых терминов, а из контекста определяется незнакомый термин; концептуальный - явное формулирование равенства, в котором слева помещается незнакомый термин, а справа - его определение через знакомые термины; реальный - уточнение незнакомого термина рассмотрением всех его характеристик и свойств; аксиоматический - формулировка аксиом о свойствах предметов, обозначенных термином и операций над ними; алгоритмический - установление смысла незнакомого термина через знание того, как сделать предмет, обозначенный этим термином, указанием способа построения предмета с известными терминами; системный - определение через систему определяющих соотношений, классы равных в каком-либо смысле предметов, соотношений, включающие рекурсии или неподвижные точки, которые формально выражается соотношением: Х = Хо и Х = А(Х), где Х - определяемое понятие или определяемый термин, Хо - исходное суждение, А - суждения, зависящие от определяемого термина. О. - это прием ознакомления с предметом, явлением или процессом, состоящий из точного или общего разъяснения содержания, свойств, признаков определяемого. О. должно служить признаком для отличия определяемого от определенных предметов.
ОПРЕДЕЛЕНИЕ ЗНАНИЙ [knowledge definition] - средство отражения знаний, способствующее формированию концепций и понятий, фактов и утверждений, правил определения этих категорий.
ОПТИМИЗАТОР [optimizer] - программное обеспечение, предназначенное для поиска условий выполнения заданного критерия наилучшим образом. Условиями оптимизации могут быть значения параметров, варианты схем, структур, предметов, явлений или процессов.
ОПТИМИЗАЦИЯ ПРОГРАММЫ [program optimization]- преобразование программы на ВМ, направленное на улучшение ее рабочих характеристик по времени выполнения или по памяти.
ОПЫТ [experience] - составная часть познавательной деятельности, посредством которой обеспечивается непосредственная связь с познаваемым предметом, явлением или процессом, их свойствами и отношениями. О. предназначен для подтверждения знаний.
ОРГАНИЗАЦИОННОЕ ОБЕСПЕЧЕНИЕ [organization support] - положения, мероприятия, инструкции, приказы, организационные принципы и соответствующие им документы, предназначенные для регулярного регламентирования работ в конкретной области решения класса проблем. О.о направлено на оптимальное использование ресурсов, получение наивысшей эффективности и надежности некоторой деятельности.
ОРФОГРАФИЧЕСКАЯ ПРОВЕРКА [spelling check] - проверка текстов по лексикону на наличие и соответствие описаний терминов и их использования терминов. Система указывает неиспользованные слова или знаки, которые можно ввести в виде термина в лексикон. Неправильное использование указывает пользователю на расхождения описаний и использование терминов, их можно пропускать или стирать по желанию пользователя.
ОСМЫСЛЕНИЕ ЗНАНИЯ [comprehension of knowledge] - средство отражения знаний, устанавливающее связи между различными представлениями знаний; О.з. - это способ открыть смысл, понять значение и/или назначение некоторого понятия.
ОТКАЗ [fault] - событие или ситуация, отражающие нарушение работоспособности устройства или программы.
ОТЛАДКА ЗНАНИЙ [knowledge debugging] - процессы визуального или динамического обнаружения или диагностики, локализации, идентификации и устранения ошибок в базах данных и знаний.
ОТЛАДКА ПРОГРАММЫ [program debugging] - процесс обнаружения или диагностики, локализации, идентификации и устранения ошибок в программе ВМ. О.п. бывает статической, с помощью обзора программы, или динамической, с помощью выполнения программы с контрольными данными и сравнения результатов выполнения с имеющимися данными.
ОТЛАДЧИК [debugger] - системная программа для реализации процесса отладки рабочих данных или программ, для поиска, локализации и диагностики ошибок в текстах программ или данных. О. также предназначен для наблюдения за характеристиками программы в процессе ее выполнения.
ОТНОШЕНИЕ [ratio, relation] - форма связи между предметами, явлениями или процессами, отображающая то общее, что имеется у двух и более вещей. О. Бывают аналитические, ассоциативные, базисные, парадигматические, синтагматические, синтаксические, текстуальные. О. в математике - это подмножество декартового произведения множеств, операция в языке программирования, устанавливающая логическое значение в результате сравнения двух значений одного и того же типа.
ОТРАЖЕНИЕ [reflection] - результат процесса взаимодействия материальных предметов, определяющий их отношение между собой и выражающийся в наличии некоторых сходных признаков у взаимодействующих предметов, явлений или процессов.
ОТРЕЗОК (массива) [piece (of array), slice, segment] - имя одномерного массива или подмножества, полученного катенацией последовательных компонентов одномерного массива; в некоторых языках программирования О. называется вырезкой.
ОЦЕНКА [evaluation] - количественное или качественное сопоставление образца с идеальной вещью с целью выявления свойств предмета, явления или процесса. Обычно О. производится относительно некоторого эталона, определяющего цель О.
ОЧЕРЕДЬ [queue] - последовательность данных, имен входов или процедур, образованная для упорядочивания процесса их обслуживания. О. - это динамическая структура с фиксированным принципом обслуживания (первый пришел - первым обслужись, последним пришел - последним обслужись и т.п.).
ОШИБКА [error] - отклонение параметра, свойства, структуры от требуемого значения. О. бывают синтаксические, семантические, концептуальные, прагматические, теоретические, алгоритмические, логические или системные, а также О. противоречий, неполноты и независимости знаний.
П
ПАКЕТ [package] - программный модуль, представляющий собой логически связанную совокупность описаний понятий: общих для программы объектов, типов, подпрограмм и др. П. состоит из описания пакета и тела пакета. Тело обязательно только тогда, когда описание пакета имеет описания подпрограмм или вложенных пакетов. П. является логическим процессором для программирования решения класса проблем. П. может быть настраиваемым по объектам, типам и подпрограммам. Структура, свойства, синтаксис и семантика П. определяются в языке программирования.
ПАКЕТ ПРИКЛАДНЫХ ПРОГРАММ (ППП) [application program package] - логически связанная совокупность подпрограмм. Формальное определение П.п.п. дано в языке программирования АДА, см. ПАКЕТ.
ПАМЯТЬ [memory] - устройство ВМ (или способность человека сохранять и закреплять полученные сообщения или абстракции и выдавать по требованию), предназначенное для записи, хранения и выборки данных и/или команд программы. П. бывает ассоциативной, виртуальной, внешней, вспомогательной, динамической, долговременной, магнитной, оперативной, основной, постоянной, распределенной, расслоенной, регистровой, стековой, страничной, форматной, файловой и др.
ПАРАДИГМА [paradigm] - полный набор (полная система) словоизменительных форм одного и того же слова, образующий конкретную область знания.
ПАРАДОКС [paradox] - рассуждение, формально доказывающее как истинность, так и ложность какого-либо утверждения, положения, высказывания. П. Играет роль генератора новых идей, направлений или методов исследования, проектирования и разработки предметов, явлений или процессов.
ПАРАЛЛЕЛЬНАЯ ОБРАБОТКА [parallel processing] - режим работы ВМ, при котором процедуры обработки и/или обмена данными осуществляются одновременно. При П.о. возникает необходимость согласования процедур по времени или данным.
ПАРАМЕТР [parameter] - именованное понятие, связанное с подпрограммами, настраиваемыми модулями, входами и используемое для связи по данным тел и вызовов подпрограмм. Различают формальные и фактические параметры. Формальные П. вводятся при описании программного модуля, фактические используются при вызове программного модуля.
ПАРАМЕТР ЦИКЛА [loop parameter] - переменная величина, указываемая в заголовке цикла вместе с областью и порядком изменения ее значений. Область изменения П.ц. определяет число повторений цикла.
ПАСПОРТ ЗАПИСИ (структуры) [record passport] - представление по определенному формату всей совокупности значений атрибутов по всем полям объекта именуемого типа и самого объекта.
ПАСПОРТ МАССИВА [array passport] - представление по определенному формату всей совокупности значений атрибутов объектов индексируемого типа.
ПАСПОРТ МНОЖЕСТВА [set passport] - представление по определенному формату всей совокупности значений атрибутов множества: мощность (число элементов), тип и место хранения элементов.
ПАСПОРТ ПОСЛЕДОВАТЕЛЬНОСТИ [serial data passport] - представление по определенному формату всей совокупности значений атрибутов последовательности (тексты и файлы): размер последовательности, путь к месту хранения и тип элемента.
ПАСПОРТ СТРОКИ [string passport] - представление по определенному формату всей совокупности значений атрибутов строки с ограничение ее размеров от заданного размера до 255 символов.
ПАСПОРТ ТАБЛИЦЫ (структуры) [table passport] - представление по определенному формату всей совокупности значений атрибутов всех полей, ключей и всего объекта табличного типа.
ПАСПОРТ ФУНКЦИИ [function passport] - представление по определенному формату всей совокупности значений атрибутов всех параметров и типа значения функции и места ее хранения. Аналогично строится паспорт подпрограммы.