Cтраница 4
Между 1963 и 1966 гг. комитет, составленный главным образом из пользователей больших вычислительных машин и представителей фирмы IBM, разработал искусственный язык, который получил известность как алгоритмический язык PL / I. При создании языка была учтена необходимость обеспечения как можно большей простоты и удобства написания программы. При этом необходимость составления общих и подробных логических блок-схем программ все еще сохраняется, но при соответствующем опыте программирования на языке PL / I можно избежать большой и утомительной работы, связанной с написанием программы на машинном языке. [46]
На втором этапе создания модели - этапе реализации - абстрактный замысел модели, сформировавшейся на первом этапе, воплощается в конкретную модель. Второй этап, который поглощает около 40 % всех усилий при создании модели, представляет собой этап практической деятельности, когда идеи и замыслы находят свое реальное воплощение. Общий замысел модели изображается в виде логической блок-схемы системы или операции. Выводятся детальные математические уравнения, по логической блок-схеме составляется блок-схема программы, проводится программирование и осуществляется реализация модели на соответствующей ЭВМ. На втором этапе проводятся по крайней мере три основные проверки осуществляемых процедур. В заключение второго этапа составляется документация, в которой отражается вся работа, проведенная по реализации модели. Ниже приводятся задачи, выполняемые при реализации модели, и методы их решения. [47]
Оценка созданной модели прежде всего предполагает проверку модели на некоторых специфических этапах разработки методом сравнения с ее предыдущим состоянием. Логическая блок-схема при этом сравнивается с принципиальной структурой модели. Программная блок-схема проверяется на адекватность с логической блок-схемой. Далее проверяется соответствие между программой и программной блок-схемой. После сопоставления программы с программной блок-схемой весьма полезно для оценки адекватности модели применить метод контрольных задач. Контрольные задачи, или контрольные варианты, могут быть подготовлены независимо от реализации модели и затем использованы для проверки модели в целом. Совпадение результатов моделирования и контрольных вариантов при одинаковых входных данных свидетельствует об адекватности и корректности модели в отношении задач данного типа. [48]
Очертив цели и задачи исследования и определив границы системы, мы далее сводим реальную систему к логической блок-схеме или к статической модели. Мы хотим построить такую модель реальной системы, которая, с одной стороны, не будет столь упрощена, что станет тривиальной, а с другой - не будет столь детализирована, что станет громоздкой в обращении и чрезмерно дорогой. Опасность, которая подстерегает нас при построении логической блок-схемы реально действующей системы, заключается в том, что модель имеет тенденцию обрастать деталями и элементами, которые порой ничего не вносят в понимание данной задачи. [49]
В процессе реализации модели мы должны провести три проверки достоверности модели. Во-первых, следует проверить, насколько точно отражает логическая блок-схема модели ее замысел. Во-вторых, нужно проверить достоверность блок-схемы программы и ее соответствие логической блок-схеме. [50]