Исчисление - древовидная структура
Cтраница 2
В качестве математической основы единого поля компьютерной информации предлагается модель машинных вычислений в форме исчисления древовидных структур. [16]
Далее для уточнения концептуальных положений введем в рассмотрение математические конструкции, которые приводят нас к исчислению древовидных структур. [17]
В этом базисе построим типовую структуру данных и набор операций работы с ними, которые составят новый базис специально для исчисления древовидных структур. Они и станут математически замкнутой системой работы только с древовидными структурами как единственным, но многокомпонентным и целостным ( с вполне связными строками-вершинами) объектом манипуляций, в который машинные строки и строго регламентированные связи между ними входят как хорошо обозримые и легко доступные компоненты. [18]
Баума и Ю.А. Полякова ( Москва); И.В. Зотова и B.C. Титова ( Курск); Ю.С. Затуливетера ( Москва) о конструктивном подходе к формированию единого поля компьютерной информации на основе исчисления древовидных структур. Значительное место во второй группе докладов отведено исследованию динамического хаоса и коллективных явлений. Для целей анализа и синтеза используются такие разделы современной математики как нелинейная динамика, теория катастроф, фракталы, и такие алгоритмические технологии как нейронные сети, нечеткие множества, виртуальная реальность, вейв-лет-преобразование. [19]
В силу рекурсивного характера определения деревьев ( каждое поддерево является деревом) можно говорить, что глобально распределенное дерево является математически однородной структурой, в каждой вершине которой действуют одни и те же базисные функции преобразования деревьев, представленные исчислением древовидных структур. [20]
Первая неш тмящая модель представлена многокурсорным исчислением древовидных структур. Идеология исчисления древовидных структур направлена на кардинальный пересмотр роли древовидных структур во всех компьютерных аспектах. Вместо очевидного положения: деревья используются всюду, но они лишь частный пример структур общего вида мы предлагаем принять в качестве гипотезы-постулата нового подхода к организации вычислений нетривиальное и, на первый взгляд, спорное или даже ошибочное положение: для универсального компьютерного счета не требуется ничего, кроме деревьев. Именно это положение реализовано многокурсорным исчислением древовидных структур. Важнейшая роль такого постулата - математически однородное представление компьютерной информации, единое для всех решаемых задач и разработчиков, которое становится фундаментальной основой интеграции компьютерных решений, которая осуществляется не на уровне законченных решений и систем, а на уровне их исходных структурных представлений в едином математическом поле. [21]
Можно полагать, что мы на пути к очень простой, вместе с тем, универсальной системе программирования глобально-распределенных задач. Простота идет, во-первых, от единой в исчислении древовидных структур формы представления компьютерной информации ( данных и программ), во-вторых, от возможности автоматического управления обменами данными между компьютерами без явных предписаний программистов. [22]
Мы показали, что исчисление древовидных структур представимо в исчислении машинных строк. Можно показать и обратное: исчисление машинных строк представимо в исчислении древовидных структур. [23]
Математически однородное поле компьютерной информации, реализованное в ресурсах Интернет, способно кардинально изменить системообразующие свойства глобальной компьютерной среды. В данной работе предлагается и обосновывается один из возможных подходов к математически однозначному и замкнутому представлению компьютерной информации, а именно - посредством модели исчисления древовидных структур. [24]
Глобальная программируемость должна достигаться как можно более простым средством программирования. Это требование имеет особое значение ввиду потенциально-неограниченной массовости применений глобальных программ, имеющих высокую социальную значимость. Язык программирования ПАРСЕК, реализующий исчисление древовидных структур в ресурсах изолированного компьютера, показал себя как универсальное и очень простое средство программирования. Все обмены данными между распределенными процессами выполняются автоматически на основе лишь тех конструкций языка ПАРСЕК, которые использовались для составления последовательных программ изолированного компьютера. [25]
По сравнению с рассмотренными подходами расширение языка ПАРСЕК до системы программирования распределенных процессов отличается предельной простотой. Обмены данными между параллельными процессами не потребовали от нас никаких дополнительных конструкций, по сравнению с последовательной программой. Фактически, можно говорить, что благодаря исчислению древовидных структур удалось полностью автоматизировать обмены данными между процессами. Программист лишь определяет открытие параллельных процессов и синхронизацию их завершений. Все остальное исполнение распределенных процессов не требует вмешательства с его стороны. [26]
Глобально распределенное дерево WWW, представляющее математически однородное и универсальное пространство компьютерной информации ( программ и данных) становится идеальным ( совершенным) носителем сколь угодно-большого числа вычислительных процессов, одновременно протекающих в глобальной компьютерной среде. Математическая однородность пространства данных и программ, обеспеченная исчислением древовидных структур, изначально создает все условия для глобальной совместимости и интеграции этих процессов. При этом достигается предельное упрощение взаимодействия параллельных ( прежде всего, глобально распределенных) процессов как на уровне управления, так и на уровне обмена данными. Затраты ( как машинные, так и интеллектуальные) на организацию взаимодействий вычислительных процессов, протекающих на глобально распределенном дереве WWW и интеграцию компьютерных решений могу быть сведены к минимуму, поскольку все разработчики, начиная работать над различными проектами будут иметь единое и математически однородное представление компьютерной информации. [27]
 |
Пример программы на языке ПАРСЕК. [28] |
Был разработан язык программирования ПАРСЕК [11] и система его препроцессинга в нотации языка Си, с последующей компиляцией. Особенность построенных алгоритмов синтеза в том, что в поле исчисления древовидных структур они, становясь инвариантными относительно предметных областей, приобретают общесистемный статус. Вместо множества независимых и несовместимых решений индуктивного синтеза в контексте различных приложений [17] была показана возможность придания свойств индуктивного синтеза программ полю компьютерной информации безотносительно к приложениям, нуждающимся в таких свойствах. В таблице 11 приведен пример рекурсивной программы в языке ПАРСЕК, осуществляющей последовательное обегание вершин произвольных деревьев. [29]
Предложен подход к организации машинных вычислений в математически однородном поле компьютерной информации. Обсуждаются общие аспекты систем, компьютерных архитектур и программирования. Обнаружены причины кризиса классической парадигмы машинных вычислений в условиях глобальной компьютерной среды. Показано, что в основе кризиса - системная несбалансированность аксиоматики машины фон Неймана, исчерпавшей свои системообразующие возможности. Посредством минимальной коррекции классической аксиоматики в форме исчисления древовидных структур строится новая модель компьютерных вычислений в математически однородном поле компьютерной информации. Предложенная модель может рассматриваться как концептуальный и экспериментальный прототип постнеймановского канона машинных вычислений для глобальной компьютерной среды. Определяются системообразующие свойства математически однородного поля компьютерной информации. Исследуются его потенциальные возможности обеспечить глобальную интеграцию компьютерных решений. Обсуждаются особенности решения задач в поле исчисления древовидных структур. В аспектах управления и самоорганизации формируется общий взгляд на глобальную компьютерную среду, непрерывно взаимодействующую с социальной средой. [30]
Страницы: 1 2 3