Cтраница 3
Таким образом, программирование рабочего цикла для специального оборудования, особенно агрегатных станков и автоматических линий, производят в процессе их проектирования, после чего автомат и автоматическая пиния уже не могут быть переналажены на другой рабочий цикл. В связи с этим программирование рабочего цикла универсальных автоматов и полуавтоматов, специальных станков и автоматических линий, станков с программным управлением имеет свои характерные особенности, хотя методика программирования является общей для любых систем управления. [31]
Общие принципы такой программы были описаны Шенноном в 1950 г. применительно к шахматам. Основная программа, используемая в настоящих экспериментах, очень похожа на программу, описанную Стрейчи в 1952 г. Возможность использования машины более высокого класса ( IBM-704) в сочетании с рядом частных усовершенствований методики программирования привела к тому, что игра становится довольно интересной даже без всякого обучения. Ниже будут описаны основные варианты этой программы. [32]
Методика программирования, облегчающая отладку программ. [33]
Предлагаемая читателю книга представляет собой руководство для решения определенной части вопросов, связанных с проблемой аффективной вычислимости при программировании на входном языке фортран. Самого знания этого формального языка еще не достаточно. Нужно овладеть еще определенной методикой программирования и рядом приемов такого управления трансляцией, которое обеспечило бы нужные свойства программы. [34]
Структуры данных, использующиеся при программировании сверху-вниз сравнительно просты и остаются инвариантными при последовательной детализации программы. Процедуры при этом просто заменяются более детализованными версиями. Обычные языки структурного программирования вполне соответствуют такой методике программирования. При использовании сложных структур данных требуется одновременная модификация данных и функций их обработки, а в этом случае эффективность ООП велика. [35]
Заключением работы Лавлейс служит пример программы, вычисляющей числа Бернулли, в составлении которой принимал участие и сам Беббидж. Разбор этого примера представляет исключительный интерес, поскольку величина, сложность и математическая постановка этой задачи не идут ни в какое сравнение с элементарными примерами, приводившимися ранее. Этот пример позволил Лавлейс в полной мере показать методику программирования на AM и те преимущества, которые дает последняя при подходящем ( итеративном) методе вычислений. Вместе с тем этот пример указывает и на возникающие при этом трудности. [36]
О некоторых методах мы будем говорить ниже, хотя методика программирования и не составляет предмета данной книги. [37]
В связи с этим необходимо создание аналогичных прикладных логик, обслуживающих другие науки. Работы в этом направлении уже ведутся в области химии. К кругу логико-математических исследований относятся также исследования, касающиеся дедуктивного построения той или иной области науки, выяснения принципиальных возможностей формализованного и, следовательно, машинного оперирования с предложениями в этой области. Необходимо разрабатывать также методику программирования информационных алгоритмов. [38]
В те времена это был чрезвычайно смелый проект, и разработавши его люди заслуживают нашего восхищения. Было бы абсолютно несправедливо винить их в недостатках, которые выявились только примерно после десяти лет его широкого использования: ведь коллективы разработчиков, которым удается предвидеть па десять лет вперед, чрезвычайной редко встречаются. В ретроспективе мы должны оценивать Фортран как успешную методику программирования, но с очень ограниченным числом средств поддержки основной концепции - средств, которые ныне столь остро необходимы, что пришла пора считать этот язык устаревшим. Чем раньше мы забудем, что Фортран когда-либо существовал, тем лучше, потому что в качестве способа мышления он уже перестал быть адекватным: он заставляет пас напрасно тратить наши мыслительные способности; кроме того, он слишком рискован, и, следовательно, им слишком дорого пользоваться. [39]
Существуют два принципиально отличных способа убедиться в правильности программы: теоретическое доказательство правильности и экспериментальная проверка, получившая название тестирования. Теоретические методы доказательства правильности достаточно сложны и пока недоступны рядовому программисту. Кроме того, методы теоретического доказательства разработаны для сравнительно простых программных модулей. Практическое применение теоретические доказательства могут иметь при разработке типовых программных средств, при разработке методики программирования. Надо отметить, что доказательство правильности существенно упрощается при применении для построения программных текстов типовых управляющих конструкций. При разработке конкретных программ, особенно при их массовом производстве, наиболее эффективным методом проверки правильности программ оказывается их тестирование. [40]
Каждый автокод представляет собой оригинальный машинно-ориентированный язык программирования. Следует отметить, что практически во всех руководствах описание системы команд ЦВМ также производится на некотором автокодном языке, правда не достаточно формализованном и не приспособленном для программирования. Наконец, в методике содержательного программирования [5.11] излагается язык неформализованного автокода, позволяющего производить программирование, рассчитанное не на автоматическую трансляцию, а на ручное кодирование. [41]
На этот риторический вопрос следует дать отрицательный ответ, и не только потому, что практика без теории слепа. Отсутствие теоретического обоснования объективно может привести и часто приводит к недооценке определенного метода или формы занятий, как, кстати, наличие теории - правильной или ложной - способствует их быстрому распространению. Скиннер построил свою методику на основе четкой-теоретической концепции, именно бихевиористской, которая принималась большинством американских педагогов. Краудер, предложивший разветвленное программирование, не сумел доказать, что его методика программирования подкрепляется теорией дифференциальной психологии. [42]
Разработчик модели часто сталкивается с задачей выбора машины. При ближайшем рассмотрении он иногда убеждается в существовании большого разнообразия машин, а иногда в том, что парк машин весьма однообразен. Например, фирмы Берроуз, CDC, Дженерал электрик, Хониу-элл, IBM, RCA и Юнивак выпускают большие многоразрядные машины, одинаковые по своим основным характеристикам. При оценке положительных сторон и недостатков каждой машины проблема выбора обычно сводится к экономике. Какая из машин дает большие возможности при меньшей стоимости. Они могут оказать разработчику моделей некоторую помощь при выборе машины. Существуют различные системы программирования, и периодически возникают новые системы, предлагаемые поставщиками машин и фирмами, специализирующимися на программном обеспечении. Каждая новая система объявляется наилучшей и чаще всего является очередной модернизацией предшествующей системы. Методика программирования непрерывно совершенствуется. И хотя процесс совершенствования весьма желателен и неизбежен, тем не менее он подчас осложняет работу программиста. [43]