Научная литература
booksshare.net -> Добавить материал -> Физика -> Порохов А.М. -> "Физическая энциклопедия Том 4" -> 151

Физическая энциклопедия Том 4 - Порохов А.М.

Порохов А.М. Физическая энциклопедия Том 4 — М.: Большая российская энциклопедия, 1994. — 701 c.
Скачать (прямая ссылка): fizenciklopedt41994.djvu
Предыдущая << 1 .. 145 146 147 148 149 150 < 151 > 152 153 154 155 156 157 .. 818 >> Следующая


ПРОВОДИМОСТЬ ЭЛЕКТРИЧЕСКАЯ — CM. Электропроводность.

ПРОГРАММА (от греч. programma — объявление, рас-воряженне) — заданный набор действий н (илн) правил, подлежащих выполнению (проверке) еек-рым исполнителем, обычно автоматич. устройством, чаще всего ЭВМ; предписание, алгоритм. П. выглядит как конечная со-воиупиость команд (инструкций), каждая нз к-рых Предписывает исполнителю выполнить иек-рую элементарную операцию над данными, хранящимися в памяти исполнителя (см. Памяти устройства). Последовательность исполнения П. определяется тем, что любая текущая команда, кроме завершающей, указывает однозначно па команду П., к-рая должна выполняться после текущей. Команды ветвления (уел. переходы) осуществляют выбор одного из иесколькнх (указанных в команде) продолжений на основании проверки условий, определяющих свойства данных, упоминаемых в команде. Кроме того, возможно многократное выполнение отд. команд. Поэтому последовательность выполняемых команд и длина этой последовательности прн исполнении П. могут варьироваться, однозначно определяясь входными данными. Для П., состоящей нз вабора действий, её алгоритм заранее определён, в отличие от П., состоящей из набора правил, когда ?6. алгоритм определяется самим исполнителем в провесе выполнения П. Т. о., П. является конечным Объектом, к-рый побуждает исполнителя закономерно реагировать на потенциально бесконечное разнообразие входных данных.

JTwm.: Математический энциклопедический словарь. М., 1886, с, 494; Язык компьютера, пер. с англ. М., 1989.

ПРОГРАММИРОВАНИЕ — 1) процесс составления программы, плана действий. 2) Раздел информатики, изучающий методы и приёмы составления программ. С долей условности П. как дисциплина разделяется иа: теоретическое, научающее матем'. абстракции программ (как объектов с определ. логич. и информац. структурой) и способы их построения; система ое, имеющее дело с разработкой программном обеспечения ЭВМ, т. е. программных комплексов массового и длительного нспользойаиия; прикладное, обслуживающее конкретные применения ЭВМ во всём нх раз^ иообразии.

Составление программы является творческой задачей, т. к. поиски способа достижения даже чётко сформулированной цели в общем случае требуют выработки или привлечения дополнит, знання. В нек-рых частных случаях возможно нахождение более систематической и формальной процедуры П. Так, если задание иа П. уже сформулировано в виде алгоритма (точное описание последовательности действий, направленных иа решение поставленной задачи), то П. сводится к переводу (трансляции) с языка записи алгоритма (см. Языки программирования) к языку, непосредственно воспринимаемому исполнителем (напр., ЭВМ). В нек-рых матем. моделях задача перевода решается исчерпывающе. П. включает поиски систематич. процедур пере-вода записей алгоритма в программы или создание программ по условиям задачи и дополнит, информации.

Методика П. уделяет особое внимание исходным специф и к а ц и я м (полной и точной формулировке задачи, к-рую должна решать ЭВМ), поскольку умелое использование заложенной в спецификации информации позволяет придать П. более достоверный характер. Важным аспектом П. является забота о чётной структуре программы, обеспечивающей проверку её правильности, а главное — выделение и изоляцию тех фрагментов программы, дальнейшая детализация к-рых требует привлечения дополнит, знаний. Ещё одинм средством проверки правильности уже составленной программы является её о т л а д к а, т. е. систематич. испытание программы на ЭВМ и сравнение производимого эффекта с ожидаемым. Хотя иа практике отладка является преимуществ, способом проверки программ, теоретически оиа не может быть исчерпывающей, т. к. установление правильности программы путём конечной системы испытаний может быть достигн уто тольио для узкого класса задач.

Различают следующие методы П. Синтезирующее П.— полное построение программы по заданной спецификации задачи или по общему алгоритму её решения. Структурное П. является комбинацией модульного, восходящего и нисходящего П. Модульное П. опирается на библиотеку модулей (программ с заданными описаниями входных и выходных данных) и состоит в выборе подходящих модулей и в их быстрой (иногда автоматизированной) сборке в результирующую программу. Нисходящее П. решает поставленную задачу путём её последоват. детализации с помощью отд. модулей, восходяще е— в обратном порядке путём укрупнения модулей (от более деталиаированных к менее). Конкретизирующее П. предполагает существование универсальной программы, решающей любую задачу данного класса, и состоит в адаптации универсальной программы к особенностям решаемой вадачи. В результате получается либо более простая программа, либо используется меньшее кол-во ресурсов, чем в общем случае. На практике применяются комбинации всех видов П.

Лит.: Бауэр Ф. JI., Г р о а Г., Информатина, пер* с нем., 2 изд., ч. 1—2, М., 1990; Любинский Э. 3., Map-. тынюк Б. В., Tjp и ф о н о в Н. П., Программирование, М., 1980; Мейер Б., Бодузн К., Методы программировав ния, пер. с франц., т. 1—2, М., 1982'.Математический энциклопедический словарь, М., 1988, с. 493—96, 836. ПРОГРАММНОЕ ОБЕСПЁЧЕНИЕ — организованная совокупность программ постоянного употребления, ориентирующая ЭВМ иа тот нли иной класс
Предыдущая << 1 .. 145 146 147 148 149 150 < 151 > 152 153 154 155 156 157 .. 818 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed