С.А Яновская , «лицо машинной математики все более зависит от развития философских и логических оснований математики» [9]. Не представляется возможным непротиворечивая формализация отображения {а} {А} из-за его неоднозначности. Поэтому построить
соответствующую аксиоматическую теорию проектирования ЭВМ не представляется возможным [10].
Когда мы формулировали принципы организации рекурсивных машин, мы исходили из потребностей развития вычислительных машин и систем, получили множество авторских свидетельств, это был интересный творческий процесс и с точки зрения достоверности сделанного тогда, в 1974-1979 годах, стоило бы обратиться к нашему докладу на конгрессе ИФИП в Стокгольме [8]. Этот доклад содержал анализ недостатков машин традиционной архитектуры, ревизию принципов фон Неймана, принципы архитектуры рекурсивных машин, основные особенности языка рекурсивных машин, фрагментарное описание рекурсивной машины В качестве иллюстрации рекурсивной структуры можно привести систему ЗМ - модульную микропроцессорную систему. Система ЗМ строится из модулей трех типов - операционных, коммуникационных и интерфейсных. Операционные модули выполняют основную работу по обработке данных, реализации объектов математической памяти, процессов определения готовности и выполнения операторов программы на внутреннем языке. Коммуникационный модуль предназначен для реализации коммуникационной системы - установления логического соединения между модулями, обмена информацией между модулями поиска в системе ресурсов запрошенного типа. Интерфейсные модули подключаются к внешним устройствам своими блоками ввода-вывода.
Вопросы организации обмена информацией с внешним миром имеют большое значение для существенно многопроцессорных систем, оказывают значительное влияние на их фактические характеристики. Различные классы задач требуют различной интенсивности обмена с внешними устройствами. Вычислительная система должна обеспечивать построение таких ее конфигураций для каждого конкретного применения, которые бы обладали оптимальными для этого применения характеристиками по вводу-выводу. Система ЗМ обеспечивает инкрементное наращивание вычислительной мощности до любого необходимого значения путем подключения дополнительных блоков без внесения изменений в имеющуюся систему и ее программное обеспечение как на этапе разработки системы, так и в ходе ее эксплуатации. Методология проектирования и реализации системы ЗМ базируется на рассмотрении вычислительной системы как иерархии виртуальных машин. Система ЗМ имеет рекурсивно-организованную многоуровневую структуры. Рекурсивность структуры состоит в том, что структура всякой модификации системы задается рекурсивным определением. Динамически меняющиеся в ходе вычислений виртуальные процессы требуют постоянной динамической реконфигурации связей между модулями. Сейчас реализуются системы, содержащие тысячи и миллионы процессоров.
В связи с изложенным хотелось рассмотреть проблемы развития вычислительной техники. Вычислительные машины предназначены для решения задач. Общая схема решения задач имеет вид:
Ячел - >Я ос - >Я пр - >Ямаш — >Я рез
где Ячел - формулировка задачи на естественном языке, Яос -формулировка задачи на языке основных соотношений, Япр - формулировка задачи на языке программирования, Ямаш - формулировка задачи на машинном языке, Ярез - формулировка задачи на языке результата в виде графиков, таблиц, изображений, текстов, звуков и т.п. К сожалению, для большинства задач имеется только формулировка на естественном языке, большинство задач плохо формализованы. Поэтому актуальным является переход от описания на естественном языке на язык основных соотношений, лингво-комбинаторное моделирование является одним из способов такой формализации [4,16,21]. В результате такой формализации порождаются рекурсивные структуры со структурированной неопределенностью. Таким образом рекурсивная структура должна включать три составляющих -явления, смыслы и структурированную неопределенность, которые наличествуют в любой задаче. В рекурсивных структурах многократно реализуется принцип обратной связи как для воспроизведения структур так и для порождения новых структур. Рекурсивные структуры являются основой самоорганизующихся структур.
Лингво-комбинаторное моделирование планет солнечной
Человечество издревле наблюдало и изучало космос, который безусловно влиял на развитие человечества. В процессе своего развития человечество создавало самые различные артефакты - здания, дороги, машины и т.д., но самым значительным артефактом, созданным человечеством, является естественный язык, который вобрал и вбирает все знания, навыки, учения, созданные людьми на сознательном и подсознательном уровне. Поэтому очевидно стремление обратиться к естественному языку для того, чтобы глубже понять, как устроена вселенная [17,23].
