ПРОГРАММИРОВАНИЕ РЕАЛЬНОГО МАСШТАБА ВРЕМЕНИ [programming a real scale of time] - метод информатики, формализующий способы программирования взаимодействия процессов и их синхронизации по (квази)реальному (интервальному) времени для согласования функций программных модулей и обменов данными. Метод П.р.м.в. должен поддерживаться формализмом языка программирования.
ПРОГРАММИРОВАНИЕ СВЕРХУ-ВНИЗ [programming overhand-downwards] - метод информатики, включающий способы иерархической разработки большой программы, сегментированной на модули, верхний уровень иерархии модулей разрабатывается раньше модулей нижнего уровня в дереве зависимостей по управлению. Корнем дерева является модуль самого верхнего уровня, а листья дерева иерархии - модули самого нижнего уровня. П.с.-в. должно поддерживаться формализмом языка программирования. Решение частных проблем целесообразнее всего реализовывать методом П.с.-в.
ПРОГРАММИРОВАНИЕ СНИЗУ-ВВЕРХ [programming reduce-upwards] - метод информатики, включающий способы иерархической разработки большой программы, сегментированной на модули, нижний уровень иерархии разрабатывается раньше модулей верхнего уровня в дереве зависимостей по управлению. Корнем дерева является модуль самого верхнего уровня, а листья дерева иерархии - модули самого нижнего уровня, главным образом взятые из библиотеки подпрограмм. П.с.-в. должно поддерживаться формализмом языка программирования. Решение класса проблем целесообразнее всего реализовывать методом П.с.-в.
ПРОГРАММИРОВАННЫЙ УЧЕБНИК [programming textbook] - учебник, содержащий учебный материал и указания о способах изучения этого материала в соответствии с программой обучения, определяющей путь прохождения учебного материала с возвратом на пройденный материал при контрольном обнаружении слабого усвоения этого материала.
ПРОГРАММИРУЮЩАЯ СИСТЕМА [programming system] - интеллектуальная система, предназначенная для построения планов или программ по исходным спецификации и данным.
ПРОГРАММИСТ [programmer] - непосредственный профессиональный пользователь ВМ, занимающийся проектированием, разработкой и сопровождением программ, написанных на каких-либо языках: кодовых, ассемблерный, высокого уровня, спецификаций или часть естественного языка.
ПРОГРАММНАЯ СОВМЕСТИМОСТЬ [program overload] - возможность выполнения одних и тех же программ на ВМ различных типов с получением идентичных результатов.
ПРОГРАММНОЕ ИЗДЕЛИЕ [programme product] - программа на носителе данных, являющаяся продуктом промышленного производства и оформленная в соответствии с требованиями на программные документы.
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ [software] - полная совокупность программ, документации и организационных процедур для обеспечения определенных функций системы (ВМ) или предоставления сервиса пользователю ВМ. Базовое П.о. - это комплекс взаимосвязанных программ универсального применения; прикладное П.о. - проблемно-ориентированные программы, обычно представляемые пакетами прикладных программ.
ПРОГРАММНЫЙ ДОКУМЕНТ [programme document] - документ, содержащий сведения, необходимые для разработки, изготовления и эксплуатации программного изделия.
ПРОГРАММНЫЙ МОДУЛЬ [programme module] - часть программы, иногда именуемая программной единицей, оформленная в виде, допускающем независимую компиляцию или ассемблирование с другими модулями, разработанными независимо. П.м. именуется подпрограммой, процедурой, функцией, пакетом, настраиваемым модулем и т.п.
ПРОГРАММНЫЙ ПРОДУКТ [program production] - функционально и документально завершенная программа, отторгаемая от разработчика для автономного использования некоторым пользователем (см. программное изделие).
ПРОГРАММИРУЮЩАЯ СИСТЕМА [programming system] - интеллектуальная система, предназначенная для построения планов или программ по исходной спецификации.
Продукционное ПРОГРАММИРОВАНИЕ [productional programming] - использование в решении проблем продукций в качестве базы знаний и интерпретатора продукций (машины логического вывода) для решения конкретных задач. П.п. используется в продукционных экспертных системах.
ПРОДУКЦИЯ [production rule, production] - языковая конструкция, представляющая логическое правило, составленное из условия применения некоторой формулы подстановки и из формы модификации условия. Набор П. представляет собой программу работы продукционной экспертной системы или алгоритма, написанного на языке Пролог.
ПРОЕКТ (программы) [project] - совокупность документов (записок, графики, графов, предварительных текстов, описаний замыслов, планов, прототипов программ) для создания программы, мероприятий по организации разработки изделия, использования людских и материальных ресурсов, составления графиков работ с целью организации эффективного процесса создания изделия.
ПРОЕКТИРОВАНИЕ [design] - второй этап создания нового знания, состоящий в выборе или разработке спецификаций и структур базы данных и знаний, прикладной интеллектуальной системы, форм запросов по решению класса проблем и в выборе информационного, лингвистического и организационного обеспечения реализации проекта.
ПРОЕКТИРОВАНИЕ БАЗЫ ДАННЫХ [data base design] - процесс разработки базы данных от требований пользователя до структурной реализации.
ПРОЕКТИРОВАНИЕ БАЗЫ ЗНАНИЙ [knowledge base design] - процесс разработки базы знаний от требований пользователя до структурной реализации.
ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ [software design] - этап создания программы, состоящий в разработке проекта программы. К методам П.п.о. относятся способы и приемы программирования данных и множеств данных, контроля принадлежности значений множеству, рекурсии и структурирования данных, а также проблемное, логическое, структурное, объектно-ориентированное и декларативное программирование, методы ведения и управления проектом или библиотекой программ или программных модулей.
ПРОЕКТИРОВАНИЕ ПРОГРАММЫ [program design] - метод информатики, совокупность способов и приемов написания проектов программ, основанных на описании интерфейсов программ и их модулей и предназначенных для введения имен, операций и параметров, основных функций и связей их по данным и управлению. П.п. предусматривает сбор и хранение атрибутов и процесса проектирования.
ПРОЗРАЧНЫЕ ДАННЫЕ [transparent data] - скрытые от программистов и пользователей с помощью ВМ и программ конкретные данные.
ПРОЗРАЧНЫЙ [transparent] - характеристика предмета, явления или процесса, указывающая на скрытость их от пользователя с помощью технических и/или программных средств.
ПРОЗРАЧНЫЙ ЯЩИК [transparent box] - метод информатики для изучения устройства, строение которого известно, например, программы ВМ. С помощью П.я. реализуется триада анализ-оценка-синтез (ср. с черным ящиком). С П.я. связана последовательность следующих приемов: формирование цели с известными критериями оценки, анализ, поиск решений с известной стратегией.
ПРОИЗВЕДЕНИЕ [product] - 1. Результат авторской работы, носящий творческий характер и имеющий вид законченного продукта. 2. Арифметическая операция над числовыми типами данных и теоретико-множественная операция реляционной алгебры над множествами.
ПРОИЗВОДИТЕЛЬНОСТЬ [performance] - характеристика устройства или системы, отражающая ее способность производить определенный объем работ в единицу времени, например, пропускная способность, время ответа, доступность, число продуктов, быстродействие ВМ.
ПРОИЗВОДНЫЙ ТИП [derived type] - новый тип, свойства которого наследуют (являются копиями) свойства родительского типа.
ПРОЛОГ [Prolog] - формальный язык логического программирования, основанный на использовании операций математической логики.
ПРОЛОГОВАЯ СИСТЕМА (ПС) [prolog system] - интеллектуальная система, для которой исходные знания и запросы представляются на языке Пролог и логический вывод выполняется в соответствии с исчислением предикатов первого порядка.
ПРОПУСК [skip] - 1. один или несколько пробелов; 2. игнорирование данных (записей).
ПРОСМОТР [scan, pass] - последовательное считывание данных. Бывает прямой и обратный П.
ПРОСТОЕ ЗНАНИЕ [simple knowledge] - знание, выраженное утверждением естественного (или формального) языка и содержащее законченную мысль о факте.
ПРОСТОЕ ИМЯ [simple name] - идентификатор, используемый для прямого обозначения описанного понятия.
ПРОСТРАНСТВЕННАЯ ГРАФИКА [space graphic] - раздел машинной графики, в котором исследуются вопросы формирования, хранения, преобразования и вывода информации о трехмерном изображении фигур.
ПРОСТРАНСТВО РЕШЕНИЙ [solution space] - полная совокупность альтернативных решений логического уравнения.
ПРОТОКОЛ [protocol] - 1. Распечатка информации о результатах выполнения программы. 2. Строго определенная процедура управления передачей данных конкретным коммутирующим устройством, осуществляющим распознавание сообщения, преобразование форматов и определение маршрута сообщения. 3. Правила взаимодействия сетевого программного обеспечения всех узлов сети ВМ.
ПРОТОТИП (программы) [prototype] - реальная программа, послужившая первоисточником при создании программного продукта; программный первоисточник с хорошими характеристиками может послужить в качестве целевой программы. П. может выражать макет программы, которая пригодна для поиска свойств реализации на ВМ решения данной проблемы.
ПРОЦЕДУРА [procedure] - установленный порядок выполнения операций преобразования данных, в частности программный модуль, вызываемый для преобразования данных. Программная П. определяется синтаксически и семантически языком программирования. П. бывает встроенная, рекурсивная, вложенная, с или без параметров, организационная, административная и т.п.