|
Содержание |
|
Фактически отсутствует фаза программирования: расчетные формулы, полученные прикладным специалистом, приводятся к такой форме, которая удобна для ввода информации с клавиатуры вычислительной машины. Существенно, что изменения касаются только формы представления расчетных формул, а не их содержания. Порождение выходной программы происходит автоматически.
При правильном, с содержательной точки зрения, описании, то есть правильном методе решения задачи и правильной записи расчетных формул, гарантируется получение правильной выходной программы, (процесс программирования автоматический).
Еще раз подчеркнем важность строгого описания решения задачи на уровне предметной области. Этот уровень является наиболее устойчивым, так как отражает только схему возможных вычислений и не зависит от оптимизаций, которые возможно будут воплощены в программной реализации. Очевидно, что если мы предложим язык для строгого описания решения задачи в терминах предметной области, то вариант программы, который будет построен по такому описанию автоматически, будет иметь уровень надежности, который соответствует надежности транслятора, а также уровень оптимизации, который заложен в транслятор, порождающий целевую программу.
Усилия авторов языка Норма были направлены на разработку языка, который фактически использует лишь термины из предметной области, связанной с решением задач математической физики сеточными методами. Простота и надежность "программ" обеспечивается фактически отсутствием программирования, а требует лишь знания терминов предметной области и правильного их применения.
Учет особенностей архитектуры вычислительной системы осуществляется синтезирующим транслятором с языка Норма, что обеспечивает мобильность прикладных программ.
Обычная математическая запись, которая нашла свое отражение в языке Норма, открывает большие возможности для оптимизации проблемы для любых условий, в том числе и для реализации в условиях параллельного выполнения.
Описание решения задачи сохраняет свой естественный параллелизм. В этом описании не содержится никаких ограничений, связанных с желанием приспособить решение к той или иной архитектуре ЭВМ, особенностям языка программирования или другим требованиям. Это ``чистое" описание решения задачи, которое накладывает ограничения только на порядок вычислений, которые вытекают из существа счетной схемы (информационных зависимостей между величинами). Отсутствие понятия памяти для хранения разных значений в разные моменты времени значительно упрощает построение алгоритмов выявления естественного параллелизма и построения параллельной целевой программы.
В ситуациях, когда порядок вычислений оказывается существенным с точки зрения прикладного математика (например, он влияет на точность вычислений, скорость сходимости и т.п.), могут быть использованы дополнительные понятия, введенные в язык Норма и интерпретируемые специальным образом.