Разработка математического, алгоритмического и программного обеспечения компьютерной технологической системы обработки наблюдений наземных геодезических сетей тема диссертации и автореферата по ВАК РФ 05.24.01, доктор технических наук Нгуен Данг Ви
- Специальность ВАК РФ05.24.01
- Количество страниц 282
Оглавление диссертации доктор технических наук Нгуен Данг Ви
Введение.
1 Выработка концепции создания компьютерной технологической системы математической обработки наблюдений наземных геодезических сетей в современных условиях.
1.1 Состояние применения ЭВМ для математической обработки измерений в наземных геодезических сетях.
1.2 Задачи создания алгоритмического обеспечения компьютерной технологической системы математической обработки измерений в наземных геодезических сетях.
1.3 Концепция аппаратного и системного программного обеспечения компьютерной технологической системы математической обработки геодезических измерений.
1.4 Выводы.
2 Разработка структуры данных геодезических сетей и алгоритма их поиска в процессе редактирования, накопления и математической обработки измерений.
2.1 Общие положения о поиске элементов геодезических данных в процессе их редактирования, накопления и математической обработки.
2.2 Анализ известных алгоритмов поиска элементов данных.
2.3 Разработка структуры хранения бинарных отношений при решении задач математической обработки геодезических измерений.
2.4 Разработка физической модели хранения данных геодезических сетей
2.5 Выводы.
3 Разработка алгоритмов автоматизации процесса распознавания геометрических условий в геодезических сетях для контрольных вычислений и локализации грубых ошибок данных.
3.1 Концепция решения задачи автоматизации процесса распознавания геометрических условий в геодезических сетях.
3.2 Алгоритм нахождения кратчайшей цепи между двумя вершинами графа.
3.3 Алгоритм нахождения кратчайшей цепи между заданной вершиной и подмножеством вершин графа.
3.4 Алгоритм нахождения кратчайшей цепи между подмножествами вершин графа.
3.5 Базовая система цепей между подмножествами вершин в связном графе и алгоритм ее нахождения.
3.6 Алгоритм нахождения базовой системы цепей между подмножествами вершин в несвязном графе.
3.7 Алгоритм нахождения в графе проходящего через заданное ребро цикла с наименьшей длиной.
3.8 Алгоритм нахождения циклового базиса графа.
3.9. Выводы.
4 Разработка способов формирования графов геодезических сетей. Создание экспертной системы оценки качества и локализации грубых ошибок геодезических измеренных и исходных данных.
4.1 Общие положения разработки способов формирования графов 111 геодезических сетей.
4.2 Формирование графов нивелирных сетей.
4.3 Формирование графов полигонометрических сетей.
4.4 Формирование графов сетей треугольников.
4.5 Методика локализации грубых ошибок измеренных и исходных данных с применением логических операторов.
4.6 Применение дополнительных способов анализа результатов контрольных вычислений для локализации грубых ошибок в полигоно-метрии.
4.7 Создание экспертной системы оценки качества и локализации грубых ошибок данных наземных геодезических сетей.
4.8 Выводы.
5 Исследование и усовершенствование способов хранения системы линейных уравнений на ЭВМ при решении уравнительных задач.
5.1 Общие принципы.
5.2 Анализ способов упаковки разреженной матрицы
5.3 Экспериментальные исследования эффективности экономии машинной памяти в различных способах упаковки разреженных матриц систем нормальных уравнений.
5.4 Упаковка матрицы системы уравнений поправок.
5.5 Упаковка ступенчатой формы ленточной матрицы с окаймляющими столбцами системы нормальных уравнений.
5.6 Использование технологии виртуальной памяти и защищенного режима 32-битовых процессоров ПЭВМ для математической обработки геодезических сетей большой размерности.
5.7 Выводы.
6 Программное обеспечение компьютерной технологической системы математической обработки измерений в наземных геодезических сетях VISAGN.
6.1 Основные характеристики системы VISAGN.
6.2 Функционально-технологическое строение системы VISAGN.
6.3 Тестирование, апробация, реализация и направления развития системы VISAGN.
6.4 Выводы.
Рекомендованный список диссертаций по специальности «Геодезия», 05.24.01 шифр ВАК
Разработка способа оценки точности неизвестных в методе наименьших квадратов2006 год, кандидат технических наук Лабутин, Вадим Олегович
Геодезическое обеспечение инвентаризации земель застроенных территорий2000 год, кандидат технических наук Лесных, Анатолий Иванович
Совершенствование геодезического обеспечения наблюдения за деформациями гидротехнических сооружений с применением рекуррентного способа уравнивания2019 год, кандидат наук Лэ Ань Куонг
Технология повышения надежности геодезических построений2006 год, кандидат технических наук Родионова, Юлия Валерьевна
Математическая обработка геодезических построений методами нелинейного программирования2004 год, доктор технических наук Мицкевич, Валерий Иванович
Введение диссертации (часть автореферата) на тему «Разработка математического, алгоритмического и программного обеспечения компьютерной технологической системы обработки наблюдений наземных геодезических сетей»
Актуальность
История развития математической обработки геодезических измерений связана с именами таких великих ученых, как Ф. Гаусс, Ф. Гельмерт, J1. Крю-гер, Лежандр и с именами видных ученых геодезистов таких, как В.Д. Большаков, П.А. Гайдаев, В.И. Ганынин, В.Г. Зданович, A.A. Изотов, Ф.Н. Кра-совский, А.И. Мазмишвили, В.В. Попов, И.Ю. Пранис-Праневич, K.JI. Про-воров, H.A. Урмаев, A.C. Чеботарев и других. Сегодня эта отрасль науки получает дальнейшее развитие в работах таких видных ученых геодезистов, как И.Т. Антипов, В.А. Беляев, В.А. Бывшев, В.А. Вагин, А.А Визгин, М.Д. Герасименко, В.В. Голубев, A.B. Гордеев, Н.Д. Дроздов, Г.Н. Ефимов, И.Г. Жур-кин, В.А. Капустин, Ю.Б. Кемниц, С.Ф. Коробков, В.А. Коугия, Н.В. Лебедев, Ю.И. Маркузе, С.И. Матвеев, М.М. Машимов, Ю.М. Нейман, В.И. Мицкевич, И.В. Рабинович, А.З. Сазонов, М.С. Урмаев, З.С. Хаимов, З.М. Юр-шанский, W. Baarda, В. Benciolini, F. Crossila, G. Mamzoni, G. Forlani, J.A. George, L. Grundig, B. Heck, К. Kostadinov, Ngo Phuc Hung, Dang Hung Vo, Phan Van Hien, W. Stark, William F. Teskey и многих других.
Математическая обработка геодезических измерений представляет собой процесс переработки информации и поэтому является информационной технологией. Появление вычислительной техники и ее применение для обработки геодезических измерений изменило содержание прежней технологии обработки. В связи с этим она стала компьютерной информационной технологией обработки геодезических измерений.
Современный уровень развития науки, техники и технологий требует новых подходов к разработке и совершенствованию компьютерной технологической системы математической обработки геодезических измерений. Можно отметить три характерных момента, определяющих направленность разработки и совершенствования такой технологической системы:
1) бурный темп развития компьютерных технологий, включающих в себя аппаратное (вычислительная техника), системное программное (операционные системы, языки программирования, драйверы управления аппаратами) и методологическое обеспечение;
2) необходимость разработки эффективных алгоритмов, обеспечивающих вычислительную реализацию потенциала, накопленного в теории математической обработки геодезических измерений и не получившего реализации в программном обеспечении из-за отсутствия соответствующего алгоритмического обеспечения;
3) новые требования к автоматизированной системе, которые заключаются в том, что эффективность автоматизированной системы определяется не только на уровне вычислительного ядра, но и на уровне создания эффективной модели базы данных, сервисных услуг, интерфейса с пользователем.
Поэтому становится актуальной проблема разработки математического и алгоритмического обеспечения, направленного на создание эффективного программного обеспечения компьютерной информационной технологической системы математической обработки геодезических сетей в соответствии с современным уровнем развития науки, техники и технологий. Такая система позволила бы автоматизировать все этапы обработки измерений на ЭВМ, обеспечить высокую точность решения задач, рационально использовать машинные ресурсы и имела бы высокую производительность и развитый пользовательский интерфейс.
Цель и задачи Целью диссертационной работы является разработка эффективного математического, алгоритмического и программного обеспечения для создания современной компьютерной информационной технологической системы математической обработки результатов измерений в плановых и высотных reoдезических сетях на территориях в пределах шестиградусной зоны проекции Гаусса-Крюгера, к которым относится, в частности, территория Вьетнама.
Для достижения поставленной цели решались следующие задачи.
1) Выработка концепции создания компьютерной технологической системы математической обработки геодезических измерений на основе:
- анализа опыта применения вычислительной техники для решения задачи математической обработки измерений в наземных геодезических сетях. Исследование современного уровня развития аппаратного и системного программного обеспечения в аспекте их применения для обработки геодезических измерений;
- выбора аппаратного обеспечения, операционной среды, языков программирования для решения задачи математической обработки геодезических измерений.
2) Разработка эффективной модели физического хранения геодезических данных на основе разработки эффективной структуры хранения бинарных отношений, над которыми интенсивно выполняются логические операции при решении задачи обработки геодезических измерений.
3) Разработка экспертной системы оценки качества и локализации грубых ошибок геодезических данных на основе:
- выработки концепции решения задачи автоматизации процесса распознавания геометрических условий в геодезических сетях для контрольных вычислений и локализации грубых ошибок измерений и исходных данных;
- разработки системы эффективных алгоритмов распознавания геометрических условий в геодезических сетях в соответствии с выработанной концепцией;
- автоматизации локализации грубых ошибок на основе использования результатов контрольных вычислений по геометрическим условиям.
4) Задача рационального использования машинных ресурсов для математической обработки геодезических измерений, включающая:
- исследование известных способов упаковки матриц систем линейных уравнений с целью выбора эффективного способа упаковки матриц систем нормальных уравнений при решении их методом исключения неизвестных. Усовершенствование выбранного способа на основе учета особенностей матриц систем нормальных уравнений;
- разработку эффективного алгоритма автоматизации процесса минимизации объема памяти для хранения матриц систем нормальных уравнений.
5) Разработка программного обеспечения для создания компьютерной технологии математической обработки измерений в наземных геодезических сетях на базе ПЭВМ типа IBM PC.
Объект исследований
Объектом исследований является компьютерная информационная технология обработки измерений в наземных геодезических сетях на базе современных ПЭВМ.
Методологическая, теоретическая и инструментальная компьютерно-техническая база исследований и разработок
Разработка сложной компьютерной технологической системы математической обработки геодезических измерений основана на методологии системного подхода, системного анализа сложных систем, объектно-ориентированного подхода (в частности, на его принципах абстрагирования и инкапсуляции данных), искусственного интеллекта.
Теоретической основой для выполнения исследований и разработок служили: теория математической обработки геодезических измерений, вычислительная математика, математическая логика, дискретная математика, в частности, теория графов и теория алгоритмов.
В работе использованы: методы оценки эффективности и сложности алгоритмов в теории алгоритмов, методы построения экспертных систем, а также методы статистических исследований.
Инструментальной компьютерно-технической базой для выполнения работы служили ЭВМ ЕС 1022, IBM PC разных поколений, различные языки программирования, основными из которых являются FORTRAN-4, FORTRAN-77, FORTRAN-90, C/C++, ASSEMBLER и их компиляторы.
Исследования проведены в соответствии с направлениями НИР в следующих научно-исследовательских, учебных и производственных организациях: Институт сельского проектирования и землеустройства Вьетнама; Межотраслевая научно-исследовательская лаборатория автоматизации технологии геодезических работ НИЧ Ташкентского Политехнического института; МОСГОРГЕОТРЕСТ; лаборатория инженерной геодинамики Новосибирской государственной академии строительства; Сибирская государственная геодезическая академия. Материалами экспериментальных исследований служили результаты работ, выполненных на производственных геодезических объектах Института сельского проектирования и землеустройства Вьетнама, научно-исследовательского центра ГУГКа Вьетнама, CAB ВНИИПИ Промтехнология, УзГИИТИ, СредазГидропроекта, Геодезического Маркшейдерского предприятия «АЗИМУТ РУМБ» УС Ташметрост-роя, МОСГОРГЕОТРЕСТ, МосНИиПИИ Землеустройства.
Достоверность результатов исследований и разработок подтверждена экспериментально.
Научная новизна диссертационной работы
Научная новизна диссертационной работы состоит в получении следующих новых научно обоснованных основных результатов, которые выносятся на защиту.
1) Эффективная, с позиции экономии машинного времени при поиске элементов данных, структура локализации групп бинарных отношений для хранения их в памяти ЭВМ, над которыми интенсивно выполняются логические операции в процессе накопления и обработки геодезических измерений.
2) Экспертная система оценки качества и локализации грубых ошибок измерений и исходных данных, для создания которой выполнены разработки, моделирующие мышление человека-специалиста в предметной области контрольных вычислений и локализации грубых ошибок геодезических данных. К этим разработкам относятся:
- концепция решения задачи автоматизации процесса распознавания геометрических условий в геодезических сетях;
- система эффективных алгоритмов для распознавания геометричеи 1 ских условии на языке графа: алгоритмы нахождения кратчайшей цепи между заданными вершинами, между заданной вершиной и подмножеством вершин, между подмножествами вершин графа, алгоритм нахождения базовой системы цепей между подмножествами вершин графа с минимальной суммой длин, алгоритм нахождения проходящего через заданное ребро цикла с минимальной длиной и алгоритм нахождения циклового базиса графа;
- способы формирования графов геодезических сетей и необходимых подмножеств вершин этих графов для применения полученных алгоритмов распознавания геометрических условий;
- система логических операторов и методика реализации этих операторов для автоматизации процесса локализации грубых ошибок данных на основе использования результатов контрольных вычислений по геометрическим условиям.
3) Решение задачи рационального использования машинных ресурсов при математической обработке геодезических измерений, включающее:
- обоснование выбора способа упаковки ленточной матрицы для хранения разреженных матриц систем нормальных уравнений и совершенствование этого способа для упаковки матриц систем нормальных уравнений общего вида с окаймляющими столбцами и строками с учетом их ступенчатой формы;
- разработку алгоритма автоматизации выбора наиболее выгодного варианта перенумерации и автоматизации процесса перенумерации пунктов геодезических сетей для минимизации ширины ленточной матрицы системы нормальных уравнений;
Разработана в целом система эффективной сквозной компьютерной информационной технологии обработки измерений в наземных геодезических сетях на базе ПЭВМ типа IBM PC, составной частью которой является комплекс программ VISAGN. Комплекс реализуется в двух вариантах: в реальном режиме MS DOS и защищенном режиме 32-битовых микропроцессоров под управлением DOS-Extended. Первый вариант предназначен для ПЭВМ типа IBM PC всех моделей. Второй вариант реализации предназначен для машин с 32-битовыми микропроцессорами. Во втором варианте реализации комплекс программ использует всю мощность ПЭВМ и позволяет обрабатывать геодезические объекты большой размерности.
Практическая ценность работы
Разработан комплекс программ VISAGN обработки высотных и плановых сетей на ПЭВМ типа IBM PC. Его характерными чертами являются мощные и удобные редакторы для формирования базы данных геодезических измерений, выполнение всех этапов обработки по единой технологической схеме, начиная с ввода исходных и измеренных данных, вычисления поправок систематического характера, контрольных вычислений и локализации грубых ошибок, и заканчивая уравнительным этапом с оценкой точности уравненных элементов сети и формированием файлов результатов обработки. При этом в состав комплекса входит экспертная система оценки качества исходных и измеренных данных и локализации грубых ошибок в данных.
Комплекс имеет мощный пользовательский интерактивный и графический интерфейс.
Разработанный комплекс программ может функционировать как на устаревших моделях ПЭВМ типа IBM PC с микропроцессором 8086 - 80286, так и на современных IBM PC 80486, Pentium. На современных ПЭВМ версии 6.0 и 6.1 комплекса программ позволяют решать задачи большой размерности (с числом параметров порядка Зх 105).
Внедрение диссертационной работы
Последние версии 5.2, 5.3, 6.0, 6.1 комплекса программ VISAGN внедрены в производство в Геодезическом Маркшейдерском предприятии «АЗИМУТ РУМБ» УС Ташметростроя, Самаркандском АГП при ГУГКиГК Узбекистана, фирме "Лик", УЗГИИТИ, МОСГОРГЕОТРЕСТ, МосНИиПИИ Землеустройства. Справки о внедрении содержатся в приложении А диссертации.
Предыдущие версии комплекса программ VISAGN внедрены в производство в Институте сельского проектирования и землеустройства Вьетнама, в Главном управлении земельных ресурсов СРВ, в институтах САФ ВНИИПИ ПРОМтехнология УзССР, УзГИИТИ. Справки о внедрении были отправлены в ВАК с кандидатской диссертацией автора (1991 г.).
Разработанный комплекс также внедрен в учебный процесс в Сибирской государственной геодезической академии, в частности, в процесс обучения магистров (1997/1998 гг.).
Апробация и публикация результатов исследований
Основные положения и результаты исследований опубликованы в 14 печатных работах, в том числе, на вьетнамском языке - 2 работы, на русском языке - 12, а также в научно-техническом отчете № 02980003871 по ГРАНТ.
Результаты исследований докладывались и обсуждались на: научной конференции Института сельского проектирования и землеустройства Вьетнама (1986 - 1987 гг.); научных конференциях Ташкентского политехнического института (1989-1991 гг.); Научно-технической конференции Новосибирской государственной академии строительства (1996, 1997 гг.); Международной конференции "ГИС для устойчивого развития окружающей среды" (г. Новосибирск, 1997 г.); научно-технических конференциях Сибирской государственной геодезической академии (1997, 1998 гг.); Третьем Сибирском конгрессе по прикладной и индустриальной математике (ИНПРИМ-98), г. Новосибирск, 1998 г.
Структура и объем работы
Диссертационная работа состоит из введения, шести разделов, заключения, списка использованных источников и приложения. Ее объем составляет 252 страницы текста, в том числе - 42 рисунка и 11 таблиц. Список использованных источников включает 229 наименований, из них 194 - на русском языке, 7 - на вьетнамском языке и 28 - на других языках.
Похожие диссертационные работы по специальности «Геодезия», 05.24.01 шифр ВАК
Исследование методов создания и реконструкции геодезических сетей на территории энергетических предприятий2001 год, кандидат технических наук Федорова, Наталья Васильевна
Совершенствование методов геодезического обеспечения кадастра городских земель на основе сочетания спутниковых и наземных технологий2001 год, кандидат технических наук Брынь, Михаил Ярославович
Разработка технологии совместного применения спутниковых и традиционных средств и методов построения локальных геодезических сетей2003 год, кандидат технических наук Хабаров, Владимир Федорович
Комбинаторные методы исследования минимальных структур математических моделей электрических цепей и систем2002 год, доктор технических наук Гришкевич, Андрей Александрович
Разработка и исследование алгоритма математической обработки геодезических сетей в разных системах координат2011 год, кандидат технических наук Клыпин, Игорь Андреевич
Заключение диссертации по теме «Геодезия», Нгуен Данг Ви
6.4 Выводы
1) Полученные в настоящей работе результаты исследований и разработанные алгоритмы, использованы для создания программного обеспечения VISAGN компьютерной технологической системы математической обработки геодезических измерений в высотных и плановых сетях. Она выполняет накопление результатов измерений, поиск грубых ошибок, предварительную и уравнительную обработку наземных геодезических сетей.
2) Система является единой в том смысле, что все ее программные модули находятся под управлением общего меню, взаимосвязаны друг с другом на файловом уровне, передают данные друг другу. По отношению к окружающей среде функционирования система открыта на файловом уровне в том смысле, что результаты обработки, кроме выходных документов, формируются в файлах в реляционных таблицах и доступны для использования внешними приложениями.
3) С позиции функционально-технологического строения систему можно разделить на три логических взаимосвязанных блока: вычислительное ядро, модули которого выполняют основные задачи математической обработки измерений; обслуживающая оболочка, которая выполняет функцию управления системы, накопления данных, интерфейса с пользователем; блок защиты от несанкционированного копирования.
4) Система развивается и совершенствуется от версии к версии и внедрена в производство в различных производственных организациях Вьетнама и СНГ. С учетом того, что в настоящее время наряду с мощными 32-битовыми ПЭВМ, функционируют еще 16-битовые ПЭВМ под управлением MS DOS, последняя версия системы VISAGN реализуется в двух вариантах: VISAGN 5.3 для всех моделей ПЭВМ типа IBM PC и VISAGN386 6.1 для 32-битовых IBM PC. Вариант VISAGN 5.3 работает под управлением MS DOS и позволяет обрабатывать плановую сеть с числом пунктов до 500 и высотную сеть с числом реперов до 2000. Этот вариант внедрен в производстве в Геодезическом Маркшейдерском предприятии «АЗИМУТ РУМБ» УС Ташметростроя, Самаркандском АГП при ГУГКиГК Узбекистана, фирме "Лик", УЗГИИТИ, МосНИиПИИ Землеустрйства. Вариант VISAGN 386 6.1 работает в 32-битовом защищенном режиме процессора и позволяет обрабатывать плановые сети максимальной размерности до 150 тысяч. Этот вариант внедрен в производство в МОГОРГЕОТРЕСТ.
5) Дальнейшее развитие системы VISAGN намечено в двух направлениях: решение задачи обработки геодезических измерений на референц-эллипсоиде и в пространстве; функционирование в среде современных операционных систем таких, как WINDOWS-95, WINDOWS-98, WINDOWS-NT, OS/2.
ЗАКЛЮЧЕНИЕ
В диссертации достигнута цель научных исследований, поставленная во введении, - выполнены научно обоснованные решения разработки математического, алгоритмического и программного обеспечения для создания современной компьютерной информационной технологической системы обработки наблюдений плановых и высотных геодезических сетей.
Отличительной особенностью предлагаемой компьютерной технологической системы является разработанная нами система эффективных алгоритмов, обеспечивающих эффективную вычислительную реализуемость. На основе этих алгоритмов, а также на основе современных подходов объектно-ориентированного и интеллектуального программирования, создано программное обеспечение У18АОМ названной системы. В этом программном обеспечении также реализованы технология плоской адресации защищенного режима 32-битовых микропроцессоров и технология виртуальной памяти. Таким образом, созданное программное обеспечение - результат реализации разработанных эффективных алгоритмов в сочетании с новыми достижениями в аппаратном и системном программном обеспечении. Предлагаемая технологическая система выполняет сквозной процесс обработки наблюдений плановых и высотных геодезических сетей, включая ввод исходных и измеренных данных, предварительную обработку, контрольные вычисления и локализацию грубых ошибок, уравнительные вычисления с оценкой точности уравненных элементов сети и формирование файлов результатов обработки. При этом в состав программного обеспечения входит экспертная система оценки качества исходных и измеренных данных и локализации грубых ошибок данных (ЭСОКЛГОД). На современных ПЭВМ система позволяет решать задачи большой размерности (с числом параметров до 3x105), что представляет собой большой потенциал для ее развития в направлении обработки геодезических сетей на эллипсоиде и в пространстве. Другой не менее важной особенностью системы является ее развитый пользовательский интерактивный и графический интерфейс.
Различные версии программного комплекса VISAGN внедрены в производство в ряде организаций Вьетнама и стран СНГ, в частности, в МОГОРГЕОТРЕСТ и МосНИиПИИ Землеустройства.
При создании компьютерной информационной технологической системы математической обработки наблюдений плановых и высотных геодезических сетей получен ряд следующих новых результатов исследований и разработок.
1) Выработана концепция создания компьютерной технологической системы математической обработки наблюдений наземных геодезических сетей на современном уровне развития вычислительной техники. Ее положения состоят в следующем: разработка алгоритмов для реализации потенциала, заложенного в области теории математической обработки геодезических измерений; выбор ПЭМВ типа IBM PC, операционной среды MS DOS и DOS-Extended в качестве материально-технической базы и языков программирования ASSEMBLER, FORTRAN, C/C++ в качестве средств разработки для создания указанной системы.
2) Разработана структура локализации групп бинарных отношений для хранения их в памяти ЭВМ. Эти отношения - ребра некоторого графа представляют собой интерпретацию отношений смежности реперов, пунктов, треугольников и т.д. и над ними интенсивно выполняются логические операции в процессе редактирования и обработки данных геодезических сетей. В этой структуре хранения бинарных отношений для нахождения группы ребер, инцидентных заданной вершине графа, не требуется поиск, а поиск отдельного заданного ребра представляет собой число операций сравнения, которое в среднем равно половине среднего значения степени вершин графа. Полученная структура хранения бинарных отношений применена для разработки эффективной модели физического представления данных геодезических сетей.
3) Создана экспертная система оценки качества и локализации грубых ошибок данных ЭСОКЛГОД. Для ее создания:
- выработана концепция решения задачи автоматизации процесса распознавания геометрических условий в геодезических сетях для контрольных вычислений и локализации грубых ошибок. Основой решения данной задачи являются теория и методы математической логики, дискретной математики, в первую очередь, теории графов, и объектно-ориентированного подхода. При этом, решение поставленной задачи состоит из двух этапов. Первый этап заключается в разработке алгоритмов распознавания геометрических условий на языке графа, который представляет собой абстрактную интерпретацию геодезических сетей. Второй этап заключается в разработке способов интерпретации геодезических сетей в графы для применения разработанных алгоритмов;
- разработана система эффективных алгоритмов распознавания геометрических условий на языке теории графов: алгоритмы нахождения кратчайшей цепи между заданными вершинами, между заданной вершиной и подмножеством вершин, между подмножествами вершин графа, алгоритм нахождения базовой системы цепей между подмножествами вершин графа с минимальной суммой длин, алгоритм нахождения проходящего через заданное ребро цикла с минимальной длиной и алгоритм нахождения циклового базиса графа. При этом введено понятие и дано описание структуры базовой системы цепей между подмножествами вершин графа;
- разработаны способы формирования графов нивелирных и плановых геодезических сетей и необходимых подмножеств вершин этих графов;
- разработана система логических операторов и методика их реализации для автоматизации процесса локализации грубых ошибок геодезических измерений и исходных данных на основе использования результатов контрольных вычислений по геометрическим условиям.
4) Дано решение задачи рационального использования машинных ресурсов - машинной памяти и машинного времени при обработке геодезических измерений. Для этого:
- выполнены сравнительный анализ и статистические исследования для выбора способа формирования ленточной матрицы как наиболее эффективного из всех известных способов упаковки разреженных матриц систем нормальных уравнений в ЭВМ при их решении методами исключения неизвестных;
- усовершенствован способ упаковки ленточной матрицы системы нормальных уравнений общего вида с окаймляющими столбцами, строками с учетом ее ступенчатой формы и способ упаковки матриц систем уравнений поправок;
- разработан алгоритм автоматизации процесса перенумерации пунктов геодезических сетей для минимизации ширины ленточной матрицы системы нормальных уравнений. Его особенность состоит в автоматизации выбора первых пунктов и последующего выполнения нумерации.
Полученные результаты исследований и разработок рекомендуются для применения на межотраслевом уровне. Предлагаемая компьютерная технологическая система может быть использована в качестве подсистемы в "вычислительном ядре" геоинформационных систем (ГИС). Учитывая, что ГИС создаются и используются для управления в различных отраслях народного хозяйства, результаты диссертации имеют прикладное значение на межотраслевом уровне. Результаты диссертации используются при разработке динамических ГИС, ориентированных на решение задач "Геодинамики", являющейся проблемой комплекса наук о Земле - геологии, геофизики и др. На межотраслевом уровне также могут быть использованы разработанные в диссертации структура хранения бинарных отношений и система алгоритмов нахождения базовой системы цепей и циклового базиса графа для задач, связанных с графами, в частности, при проектировании сетей дорог и электролиний. Наконец, на межотраслевом уровне могут быть использованы наши алгоритмы по сжатию информации и решению больших систем уравнений (с числом параметров порядка 300000).
Список литературы диссертационного исследования доктор технических наук Нгуен Данг Ви, 1998 год
1. Абрамович Б. Л., Ананченко Н.М. Уравнивание и каталогизация геодезических сетей в городах //Геодезия и картография.-1980. № 8. -С. 15-17.
2. Айден К., Колесниченко О., Крамер М., Фибельман X., Шишигин И. Аппаратные средства PC. СПб.: BHV - Санкт-Петербург, 1998. - 608 с.
3. Аношин В. Защита программ и данных на IBM PC // Монитор. -1991. № 2. -С. 49-54.
4. Аношин В. Броня для файлов // Монитор. 1992. № 2. -С. 31-34.
5. Антипов И.Т. Новая программа пространственной аналитической фототриангуляции. Отчет. Новосибирск, 1967.
6. Антипов И.Т., Макаренко Н.Л., Нехим С.С. На конгрессе международного фотограмметрического общества //Геодезия и картография. -1981. № 2.- С. 49-56.
7. Арменский А.Е. Тензорные методы построения информационных систем. М.: Наука, -1989. - 152 с.
8. Атре Ш. Структурный подход к организации баз данных. М.: Финансы и статистика, 1983. - 317 с.
9. Бартеньев О.В. Современный ФОРТРАН. М.: ДИАЛОГ-МИФИ, 1998.- 397 с.
10. Беляев В. A. ARMIG-PC: автоматизированное рабочее место инженера- геодезиста на персональных компьютерах //Геодезия и картография. -1991, № 12. -С. 32-35.
11. П.Березина Н.И., Лопушенко В.В., Посохов И.Н. Symantec С++ professional. М.: Диалог-Мифи, 1994.- 288 с.
12. Большаков В.Д., Бывшев В.А., Нейман Ю.М. О решении плохо обусловленных систем нормальных уравнений //Геодезия и картография. -1978, № Ю. -С. 20-23.
13. Большаков В.А., Бывшев В.А., Нейман Ю.М. Об использовании регуляризации при уравнивании геодезических сетей //Изв.вузов. Геодезия и аэрофотосъемка. -1985, № 1.- С. 3-9.
14. Большаков В.Д., Гайдаев П.А. Теория математической обработки геодезических измерений. -М.: Недра, 1977. 367 с.
15. Большаков В.Д., Маркузе Ю.И., Шугаев Н.В. Уравнивание обширных геодезических сетей видоизмененным способом Пранис-Праневича с применением рекуррентной формулы // Изв.вузов. Геодезия и аэрофотосъемка. 1985, №3.-С. 24-32.
16. Большаков В.Д., Нейман Ю.М., Бывшев В.А. О решении геодезических некорректных задач. -В кн.: Теория и методы решения некорректно поставленных задач и их приложения. Новосибирск: ВЦСО АН СССР, 1983.-С. 130-137.
17. Бошкин A.B., Дубнер П.Н. Работа в Турбо Си. -М.:ЮКИС, 1991.- 183 с.
18. Братко И. Программирование на языке PROLOG для искусственного интеллекта. М.: Мир, 1990. - 560 с.
19. Брылов А. Трансляторы языка Си //компьютер пресс. Обозрение зарубежной прессы. -1990, № 6. -С. 21-32.
20. Бывшев В.А., Иванов М.И., Овчинников В.А. К методике выбора параметра регуляризации при уравнивании геодезических сетей регуляризован-ным методом наименьших квадратов //Изв. вузов. Геодезия и аэрофотосъемка.-1987, № 1.- С. 3-10.
21. Бывшев В.А., Иванов Ю.Н., Буй Куанг Чунг. К обоснованию использования в геодезии вариационного метода регуляризации //Изв. вузов. Геодезия и аэрофотосъемка. -1987, № 3.- С. 15-22.
22. Вагин В.А. Исследование по надежности полигонометрических ходов и сетей // Изв. вузов. Геодезия и аэрофотосъемка. -1990, № 1. -С. 3-10.
23. Василенко И., Гуляков Е. Защищайтесь, сударь! Часть 1 //Монитор. -1992, № 4. -С. 53-57.
24. Василенко И., Гуляков Е. Защищайтесь, сударь! Часть 2 //Монитор. -1992, № 5. С. 26-30.
25. Василенко И., Гуляков Е. Защищайтесь, сударь! Часть 3 //Монитор. -1992, №6-7.-С. 7-13.
26. Ващенко Т.В. Приведение симметричного линейного пучка матриц к ленточно-ступенчатому виду и вычисление его собственных значений. //Вычислительные процессы и системы. Выпуск 5. М.: Наука, 1987. -С 148153.
27. Введение в теорию открытых систем. Конспект докладов // Центр Информационных Технологий. М.: МГУ. - 1995. -79 с.
28. Венгнер В., Крутяков А., Серегин В., Сидоров В., Спесивцев А. Анализ отечественных систем защиты программ от копирования. Часть 1 //Монитор.- 1992, № 2. С. 36-40.
29. Венгнер В., Крутяков А., Серегин В., Сидоров В., Спесивцев А. Анализ отечественных систем защиты программ от копирования. Часть 2 //Монитор.- 1992, №3.-С. 48-50.
30. Вершинин В.И. Метод устойчивого решения систем нормальных уравнений //Геодезия и картография. -1982, № 2.- С. 26-30.
31. Водолазкий В. Коммерческие системы шифрирования: основные алгоритмы и их реализации. Часть 1 //Монитор. 1992, № 6-7. - С. 14-19.
32. Водолазкий В. Коммерческие системы шифрирования: основные алгоритмы и их реализации. Часть 2 //Монитор. 1992, № 6-7. - С. 19-21.
33. Воеводин В.В. Численные методы алгебры. Теория и алгоритмы. М.: Наука, 1966.- 248 с.
34. Воеводин В.В. Линейная алгебра. М.: Наука, 1974. - 336 с.
35. Воеводин В.В. Вычисленные основы линейной алгебры. М.: Наука, 1977. - 304 с.
36. Воеводин В.В. Кузнецов Ю.И. Матрицы и вычисления. М.: Наука, 1984.-318 с.
37. Воеводин В.В., Тыртышников Е.Е. Вычислительные процессы с тепли-цевыми матрицами. М.: Наука, 1987. - 320 с.
38. Войнаровский А.Е. Пространственная трилатерация. Теоретико-графовый алгоритм уравнивания. 1996.16с.:ил.ДЕП. в ВИНИТИ 06.03.96, № 706-В96.
39. Гайдаев П.А. Математическая обработка геодезических сетей. М.: Недра, 1977. - 288 с.
40. Герасименко М.Д. Об обусловленности нормальных уравнений в некоторых способах уравнивания геодезических сетей //Изв.вузов. Геодезия и аэрофотосъемка. -1984, № 3.- С. 32-35.
41. Герасименко М.Д. О причинах появления и решение плохо обусловленных систем нормальных уравнений //Геодезия и картография. -1984, № 6. -С. 18-21.
42. Герасименко М.Д. Анализ алгоритмов уравнивания геодезических сетей //Геодезия и картография.- 1988, № 2.- С. 26-30.
43. Годунов С.К. Решение систем линейных уравнений .- Новосибирск.: Наука, 1980. 177 с.
44. Грады Буч. Объектно-ориентированное проектирование с примерами применения. Киев и Москва: Диалектика и АО И.В.К., 1992. - 519 с.
45. Гринберг Г.М., Николаева Л.А. Влияние установления весов результатов измерений на деформацию геодезических сетей //Геод.-маркшейд. работы в строительстве . М., 1989. - С 58-61.
46. Гроувер Д., Сатер Р., Фипс Дж и др. Защита программного обеспечения. М.: Мир, 1992. - 283 с.
47. Груздев С. 16 вариантов русской защиты //Компьютер пресс. -1992, № 10. С. 23-34.
48. Груздев С., Раевский А., Новожилов А., Перепечко М. Электронные ключи. Методы зашиты и взлома программного обеспечения // Компьютер пресс. -1997, № 6. -С. 38-42.
49. Двоенко Г.М. Исследование точности рекуррентного способа получения обратной матрицы. / Новополоцкий политехнический институт. Новопо-лоцк , 1993. 31 с. ДЕП. В ОНИПР ЦНИИГАиК 24.11.93 № 560-гд 93.
50. Дейт К. Руководство по реляционной СУБД D2. М.: Финансы и статистика, 1988. - 320 с.
51. Дельросси P.A., Петрели Н. Компиляторы С++ для Windows //Мир ПК.-1992,№ 9.-С. 118-124.
52. Джамп Д. AutoCAD. Программирование. М:. Радио и связь, 1992. 336 с.
53. Джордж А., Лю Дж. Численное решение больших разреженных систем уравнений. М.: Мир, 1984. - 333 с.
54. Долгин А., Расторгуев С. Защита программ от дизассемблеров и отладчиков //Компьютер пресс. -1992, № 4. С. 49-53.
55. Долгин А., Потанин М. Железные изюминки защиты //Компьютер пресс. 1992, № 8.-С. 15-20.
56. Долгин А., Расторгуев С. Коррекция исполняемых модулей //Компьютер пресс. -1992, № 9. С. 7-11.
57. Долгин А., Расторгуев С. Самомодифицирующиеся программные модули //Компьютер пресс. -1992, № 9. С. 15-17.
58. Долгин А., Расторгуев С. Как скрыто пометить файл //Компьютер пресс.-1992, № 9. С. 18-18.
59. Донцов A.A. Это не простая задача Штейнера //Геодезия и картография. 1993, № 9. - С. 22-23.
60. Дрейган Р. Компилятор Symantec С++ 7.0 лидер в области средств разработки прикладных программ //PC magazine. Russian edition. -1995, № 11.-С. 12-18.
61. Дроздов Н.Д. Линейная алгебра в теории уравнивания измерений. -М.: Недра. -1982. 216 с.
62. Дьяков Б.Н. Поиск ошибок в нивелирной сети //Геодезия и картография.-1990, №9.-С. 18-19.
63. Егоров H.H. Проблемы решения нормальных уравнений. Исслед. В обл. Геод., фотограмметрии и картогр. /ЦНИИ геод., аэрофотосъемки и кар-тогр. М.,1994. С. 3-6.
64. Ефимов Г.Н. Решение больших систем линейных уравнений /Проблема математической обработки геодезических измерений //Материалы всесоюзной конференции. Новосибирск.-1979.- С. 106-109.
65. Ефимов Г.Н. Результаты уравнивания астрономо-геодезической сети //Геодезия и картография.-1995, № 8. С. 17-22.
66. Журкин И.Г. Методы вычисления в геодезии. -М.: Недра, 1988. 303 с.
67. Зыков A.A. Теория конечных графов. Новосибирск: Наука, 1969.- 543 с.
68. Информатика. Энциклопедический словарь для начинающих. Под общей редакцией академика Поспелова Д.А. М.: Педагогика-Пресс, 1994. -352 с.
69. Исаев И. Сколько экспертных систем уместится на кончике иглы //Монитор .- 1991, № 1. С. 23-27.
70. История языков программирования. Хроническая таблица //Монитор. -1991, №2.-С. 28-29.
71. Капустин В.А. Учет ранга матриц при регуляризации в алгоритмах уравнивания геодезических сетей //Изв.вузов. Геодезия и аэрофотосъемка.-1985, № 1.-С. 60-65.
72. Карев П.А. Обзор программ для решения геодезических задач на ЭВМ /Проблемы математической обработки геодезических сетей //материалы всесоюзной конференции. -Новосибирск, 1979. С 109-113.
73. Картацев В.В. Искусственный интеллект: эволюция идеи. //Компьютеры+программы. Компьютерный журнал для программистов. -1993, № 3(4). С. 58-66.
74. Карышев C.B., Капкин А.М. Интерфейс программиста Турбо-Си. М.: Радио и связь, 1992. - 192 с.
75. Кемниц Ю.В. Математическая обработка зависимых результатов измерений . М.: Недра, 1970. - 189 с.
76. Колесов А. О выборе оптимальных программных конструкций. //Монитор. 1994, № 5. - С. 68-70.
77. Конусов В.Г. Управление точностью геодезических сетей в процессе измерений и математической обработки /Проблемы математической обработки геодезических сетей //материалы всесоюзной конференции. -Новосибирск, 1979. С 55-58.
78. Концов П.П. Математические модели теории распознавания образов. Компьютеры и задачи выбора. М.: Наука, 1989. - С. 89-119.
79. Коробков С.А. Применение теории графов в геодезии. М.: Недра, 1976.- 151 с.
80. Коробков С.Ф. Приложение теории матроидов к вопросам уравнивания геодезических сетей. //Изв. вузов. Геодезия и аэрофотосъемка. -1985, № 1. -С 10-14.
81. Коробков С.А., Паршялюнас Э.А., Самохвалов В.И. Трансверсали и матроиды в коррелатном уравнивании геодезических сетей //Вопрос соверш. маркшейдер.-геод. работ/ Ленингр. Гор. Ин-т. С.-Петербург, 1991. С. 51-54.
82. Коробков С.Ф. Представление обобщенных узлов геодезической сети гиперграфами. //Изв. вузов. Геодезия и аэрофотосъемка. -1995, № 3. С. 3-8.
83. Корсяков М. Юридическая защита программ //Монитор. -1991, № 2.- С. 39-44.
84. Котов В.Е., Сабельфельд В.К. Теория схем программ. М.: Наука, 1991.- 248 с.
85. Коугия В.А. Обнаружение грубых ошибок по результатам уравнивания // Геодезия и картография. -1995, № 6. С. 14-19.
86. Красовский Ф.Н. Избранные сочинения. -Т 3. М.: Геодезиздат, 1955. -816 с.
87. Крюков Ю.А. Методические основы создания программного обеспечения //Изв.вузов. Геодезия и аэрофотосъемка.- 1981, № 2. С. 17-20.
88. Кувекина H.A. Объем вычислений при обращении матрицы нормальных уравнений без их составления //Изв. вузов. Геодезия и аэрофотосъемка. -1984, №5.-С. 13-16.
89. Кузнецов A.B., Сакович В.А., Холод Н.И. Высшая математика. Математическое программирование. Минск: Вышэйшая школа, 1994. 286 с.
90. Курковский С. Меню как основа технологии взаимодействия с пользователем //Монитор. -1992, № 3. С. 36-42.
91. Курковский С. Алгоритмы сортировки //Монитор. 1992, № 6-7.- С. 54-57.
92. Кукуруза П.В. Полнота реляционных систем //Компьютеры и программы.-1993, № 2. С. 4-8.
93. Кукуруза П.В. Реляционный язык SQL //Компьютеры и программы. -1993, №3.-С. 4-12.
94. Лебедев H.H., Барков Д.П. Уравнивание линейно-угловых сетей инженерно-геодезического обеспечения. М.: Недра, 1980. - 104 с.
95. Левин Е. Идеальный электронный ключ //Монитор. 1994, № 4. - С. 5255.
96. Липатов Е.П. Теория графов и ее применение //Математика-кибернетика. М.: Знание, 1986/2. - 32 с.
97. Майкл Ласло. Вычислительная геометрия и компьютерная графика на С++. М.: ВИНОМ, 1997. - 304 с.
98. Майкл Янг. Программирование графики в Windows 95. Векторная графика на языке С++. М.: БИНОМ, 1997. - 368 с.
99. Макарова Н.В. Информатика,- М.: Финансы и статистика, 1997. -768 с.
100. Маркузе Ю.И. Алгоритм уравнивания комбинированных геодезических сетей. М.: Недра, 1972. - 152 с.
101. Маркузе Ю.И. Уравнивание и оценка точности плановых геодезических сетей. М.: Недра, 1982. - 191 с.
102. Маркузе Ю.И. Математическая обработка результатов геодезических измерений. Геодезия и аэрофотосъемка, т.23.(Итоги науки и техники ВИНИТИ АНСССР). М.:, 1985. - 135 с.
103. Маркузе Ю. И. Уравнивание геодезических сетей с контролем грубых ошибок //Изв. вузов. Геодезия и аэрофотосъемка. -1986, № 5. С. 9-18.
104. Маркузе Ю.И. Алгоритмы для уравнивания геодезических сетей на ЭВМ. М.: Недра, 1989. - 248 с.
105. Маркузе Ю.И. Основы уравнительных вычислений. М.: Недра, 1990. - 240 с.
106. Маркузе Ю.И., Караванов М.Ю. Эффективное использование внешней памяти компьютера при уравнивании обширных геодезических сетей //Геодезия и картография. 1993, № 9. - С.12-16.
107. Маркузе Ю.И., Лобанов П.П., Мансур Жорж. Об определении необходимых и избыточных измерений в процессе рекуррентного уравнивания //Изв. вузов. Геодезия и аэрофотосъемка. -1994, № 2-3. С. 27-35.
108. Маркузе Ю.И., Мансур Жорж. Способ условий с неизвестными и его применение с контролем грубых ошибок //Изв. вузов. Геодезия и аэрофотосъемка.-1995, № 3. С. 22-30.
109. Маркузе Ю.И. Поиск грубых ошибок при рекуррентном уравнивании наземных и спутниковых геодезических сетей //Геодезия и картография. -1995, № 11.-С. 8-15.
110. Марчук Г.И. Методы вычислительной математики. М.: Наука, 1989. - 608 с.
111. Матвеев С.И. Решение вырожденных линейных систем в задаче уравнивания свободных геодезических сетей //Изв. вузов. Геодезия и аэрофотосъемка. 1982, № 9. - С. 19-26.
112. Матвеев С.И. Геометрические аспекты уравнивания свободных геодезических сетей //Геодезия и картография.- 1984, № 9. С. 8-13.
113. Математический энциклопедический словарь. М.: Большая российская энциклопедия, 1995. 847 с.
114. Машимов М.М. Уравнивание геодезических сетей . М.: Недра, 1979. -367 с.
115. Мицкевич В.И. О невозможности поиска грубых ошибок измерений при параметрическом способе уравнивания //Геодезия и картография. -1994, № 4. С. 24-26.
116. Мицкевич В.И. О влиянии ошибок округления при обработке сплошных геодезических сетей //Геодезия и картография. 1995, № 7. - С. 10-10.
117. Молчанов И.Н. Прямые методы решения систем линейных алгебраических уравнений на ЭВМ с множественным потоком команд и данных. //Вычислительные процессы и системы. Выпуск 5.-М.: Наука, 1987. -С 38-50.
118. Мюллер Дж. Visual С++ 5. Санкт-Петербург: BHV- Санкт-Петербург, 1998. -720 с.
119. Назаров К. Отбраковка грубых ошибок при рекуррентном способе уравнивания нивелирных сетей. //Изв. вузов. Геодезия и аэрофотосъемка.-1989, №2.-С. 27-36.
120. Нгуен Данг Ви. Некоторые приемы экономии оперативной памяти и машинного времени при решении геодезических уравнительных задач на
121. ЭВМ. -Ташкент, 1990-12 с. -деп. в ОНИПР ЦНИИГАиК 15-01-90, № 411 -гд 90.
122. Нгуен Данг Ви, Самборский А.А. Применение теории графов для распознавания вида условных уравнений в геодезических сетях на ЭВМ //Стройматериалы, конструкции и инженерное обеспечение сооружений. Сборник научных трудов. -Ташкент: ТашГТУ, 1991. С. 58-61.
123. Нгуен Данг Ви. Уравнивание геодезических сетей и блоков аналитической фототриангуляции большой размерности на основе применения ступенчато-ленточной матрицы с окаймляемыми столбцами //Изв. вузов. Геодезия и аэрофотосъемка. 1998, № 2. - С. 34-47.
124. Нгуен Данг Ви. Разработка алгоритмов с целью автоматизации процесса распознавания геометрических условий в геодезических сетях для контрольных вычислений и локализации грубых ошибок //Изв. вузов. Геодезия и аэрофотосъемка. -1998, № 2. С. 47-61.
125. Нгуен Данг Ви. Разработка алгоритмов нахождения базовой системы цепей между подмножествами вершин графа для распознавания геометрических условий в геодезической сети // Изв. вузов. Геодезия и аэрофотосъемка. -1998, №3.-С. 23-31.
126. Нгуен Данг Ви. Разработка алгоритмов нахождения циклов в графе для распознавания геометрических условий в геодезических сетях //Изв. вузов. Геодезия и аэрофотосъемка. 1998, №. 3. - С. 32-43.
127. Нгуен Данг Ви. Способы формирования графов геодезических сетей для распознавания геометрических условий //Изв. вузов. Геодезия и аэрофотосъемка. -1998, № 3. С. 43-56.
128. Нгуен Данг Ви. Способ векторного анализа для локализации грубых ошибок угловых измерений в полигонометрическом ходе и полигоне. //Изв. вузов. Геодезия и аэрофотосъемка. -1998 , №. 6. -С 25-33.
129. Нейлор К. Как построить свою экспертную систему. -М.: Энерго-атомиздат, 1991. 286 с.
130. Неупокоев JI.H. Об экспериментальном исследовании регуляризую-щих алгоритмов при уравнивании плановой геодезической сети //Изв. вузов. Геодезия и аэрофотосъемка. -1987, № 3. С. 64-68.
131. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М.: издательство МАИ, 1992. - 264 с.
132. Нортон П. Программно-аппаратная организация IBM PC. М.: Радио и связь, 1992.-336 с.
133. Носков Ю. Практика построения экспертных систем средствами оболочки VPX //Монитор .- 1993, № 1. С. 76-79.
134. Одинцов Б.Е. Проектирование экономических экспертных систем. -М.: Компьютер, ЮНИТИ, 1996. 166 с.
135. Панкрушин В.К. Системные принципы геодезии. //Изв. вузов. Геодезия и аэрофотосъемка.-1985, № 3. С. 34-41.
136. Панкрушин B.K. Системный подход к автоматизации обработки и интерпретации результатов наблюдений. Системные исследования в геодезии: Межвузовский сб. - Новосибирск: НИИГАиК, 1884. - С. 5-15.
137. Панкрушин В.К., Губонин П.Н., Дементьев Ю.В. Автоматизация математической обработки и интерпретации геодезических наблюдений за движением и деформацией. Под редакцией проф. Панкрушина В.К. -Новосибирск: НИИГАиК, 1989. 89 с.
138. Панкрушин В.К., Нгуен Данг Ви, Ушаков С.Н. Отчет № 02980003871 по НИР: Идентификация геодинамических систем "физическая поверхность и гравитационное поле Земли" по временным рядам комплексных наблюдений. Новосибирск, 1997.
139. Паршялюнас Э.А. Отбраковка измерений по невязкам множества псевдоциклов нивелирной сети /Вопросы соверш. маркшейдер.-геод. работ //Ленингр. Гор. Ин-т. С.-Петербург, 1991. -С. 71-73.
140. Полещенков В.Н., Зеленина И.А. Автоматизированная информационная система локальных геодезических сетей // Геодезия и картография.-1994, № 8. С. 26-29.
141. Правиков Д. Регистрация работы отладчика //Компьютер пресс. -1993, № 4. С. 37-40.
142. Проворов K.JI. Расчет оптимальных параметров геодезических сетей и универсальная программа уравнивания //Проблемы математической обработки геодезических сетей //материалы всесоюзной конференции. Новосибирск, 1979. - С 113-116.
143. Рабинович Б.Н. Практикум по высшей геодезии. -М.: Геодезиздат. -1951.-304 с.
144. Раевский А., Перепечко М., Груздев С. Электронные ключи последнее слово защиты //Компьютер пресс. -1993, № 9. - С. 41-43.
145. Расторгуев С.П., Дмитриевский H.H. Искусство защиты и "раздевания" программ. М.: Совмаркет, 1991. - 94 с.
146. Расторгуев С. Купить или украсть? Оценка защиты // Компьютер пресс. 1992, №8.-С. 21-24.
147. Расторгуев С.П. Программные методы защиты информации в компьютерах и сетях. М.: Яхтсмен, 1993. - 188 с.
148. Родин И.И. К использованию метода квадратного корня при уравнивании АТС // Геодезия и картография. 1989, № 11. - С. 18-22.
149. Родин Г. Некоторые соображения о защите программ //Компьютер пресс.-1991, № 10.-С. 15-18.
150. Рудык М.Т. Анализ обусловленности системы уравнений в блоках пространственной фототриангуляции. -Тр. ЦНИИГАиК. М., ОНТИ ЦНИИ-ГАиК, 1975, вып.212. С. 88-96.
151. Савельев Л.Я. Комбинаторика и теория вероятности. М.: Наука, 1975. - 423 с.
152. Сазонов А.З. Анализ результатов уравнивания //Геодезия и картография.-1978, № 8. С. 21-24.
153. Светлов Н.М. Интеллектуальные программные системы. Справочник. Выпуск 2. М:. МЕТОД, 1997. - 64 с.
154. Свириденко А. Интерфейс путь к взаимопониманию //Монитор.1991, №2. -С. 56-63.
155. Сидоров А. Некоторые предпочитают Zortech //Монитор. 1992, № 5. -С. 55-57.
156. Сиробаб С.С. К вопросу расширения возможностей применения ПЭВМ в уравнительных вычислениях //Проб. экол. в геодезии и картогр. -М., 1992. С 40-42.о
157. Скейвалас И. Обнаружение грубых ошибок измерений по результатам уравниваний //Тр. по геодезии (Вильнюс). -1989, № 16. С. 35-40.
158. Соловьев В. Б., FORTRAN для персонального компьютера. М.: Арист, 1991.-223 с.
159. Спесивцев A.B., Венгнер В.А. и др. Защита информации в персональных ЭВМ. М.: Радио и связь, 1993. - 192 с.
160. Справочник геодезиста (в двух книгах). М.: Недра, 1975. - 1056 с.
161. Стренг Г. Линейная алгебра и ее применение. М.: Мир, 1980.- 454 с.
162. Сунгатуллин А. Мини-СУБД в Вашей программе //Монитор. -1993, №1.-С. 51-58.
163. Сурин О. Мирное применение вирусной технологии //Монитор.1992, №6-7.-С. 21-27.
164. Тараничев H.A. Применение способа Ньютона для обработки результатов геодезических измерений //Геодезия и картография.-1964, № 4. С. 2227.
165. Техника программирования на турбо С. М.: И.В.К-СОФТ, 1991. - 227 с.
166. Тихонов А.Н., Большаков В.Д., Бывшев В.А. и др. О вариационном методе регуляризации при уравнивании геодезических сетей //Изв. вузов. Геодезия и аэрофотосъемка. -1978, № 3. С. 3-10.
167. Тихонов А.Н. Методы решения некорректных задач. М.: Наука, 1986. -286 с.
168. Толковый словарь по вычислительным системам. Под редакцией В. Иллингуорта, Эл. Глейзера, И.К. Пайла. Перевод с английского. М.: Машиностроение, 1990. - 560 с.
169. Тыртышников Е.Е. Параллельные алгоритмы в задачах с теплицевы-ми матрицами //Вычислительные процессы и системы. Выпуск 5. М.: Наука, 1987. - С. 51-67.
170. Тьюарсон P.P. Разреженные матрицы. М.: Мир, 1977.- 189 с.
171. Уилкинсон Райнт. Справочник алгоритмов на языке Алгол. Линейная алгебра. М.: Машиностроение, 1976. - 389 с.
172. Харари Ф. Теория графов. М.: Мир, 1973.-300 с.
173. Хаимов З.С. Уравнивание геодезических сетей с использованием единого алгоритма //Проблемы математической обработки геодезических сетей //материалы всесоюзной конференции. -Новосибирск, 1979. С. 27-32.
174. Фаддеев Д.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. М.: Физматгиз, 1963. - 734 с.
175. Федоров A. Microsoft Visual studio 97 // Компьютер пресс. M.: 1997, №4.-С. 98-102.
176. Федулов Е. Запирайте программы на ключ // Компьютер пресс. 1992, №8.-С. 25-31.
177. Форсайт Дж., Моулер К. Численное решение систем линейных алгебраических уравнений. М.: Мир, 1969. - 203 с.
178. Форсайт Дж., Мальком М., Моулер К. Машинные методы математических вычислений. М.: Мир, 1980. - 280 с.
179. Фролов A.B., Фролова Г.В. Операционная система MS-DOS. Том 1, книга 3. М.: Диалог-Мифи, 1992. - 224 с.
180. Хейеса-Рота Ф., Уотермана Д., Лената Д. Построение экспертной системы. М.: Мир, 1987. - С. 24-26.
181. Уорд Т., Бромхед Э. ФОРТРАН и искусство программирования персональных ЭВМ. М.: Радио и связь, 1993. - 352 с.
182. Чернов В.В., Баландин В.Н. Обработка полигонометрического хода на ПЭВМ //Геодезия и картография. -1990, № 7. С. 43-45.
183. Шилдт Г. Теория и практика С++. Санкт-Петербург. BHV-C.-Петербург, 1996. - 416 с.
184. Шук И.Г. Алгоритм автоматической нумерации пунктов при уравнивании плановых геодезических сетей //Геодезия и картография. 1994, № 8. -С. 47-49.
185. Штрик А. Отечественные инструментальные средства автоматизации создания прикладных программ. //Монитор. Журнал для программистов-практиков. -1993, № 4. С. 16-21.
186. Щербаков А. Защита от копирования. М.:ЭДЭЛЬ, 1992. - 80 с.
187. Эстерб. О., Златев 3. Прямые методы для разреженных матриц. М.: Мир, 1987.-357 с.
188. Яковлев Н.В. Практикум по высшей геодезии. М.: Недра, 1982. - 368 с.
189. Baarda W. A testing procedure for use geodetic works //Neth Geod. Comm. 1968, № 5.
190. Bacsatyai Laszlo. A linearis agyenletrendszerek kondisionaltsaga es a geodeziai halozatok szerkezete //Geodesia es kartografia. -1973, 25.- 6. s. 439443.
191. Benciolini В., Mussio L. Test on a reodering algorithm for geodetic network and photogrammetric block adjustment //Medd.geod. inst.-1981. 55.-p. 341-354.
192. Crossila F., Mamzoni G. An application of the graph theory in the adjustment of a geodetic net //Veroff.Dtsch.geod.Kommis.bayer.Akad. wiss.- 1982, B.- 258/6.-P. 114-123.
193. Däc san trac dia vä ban d6: quyln 1 trac dia /Ban khoa hoc Cue do dac vä ban dÖ nhä nutöc. Hä noi: CDDBD, 1987.- 158 tr.
194. Dö Trung Tuan. Tri tue nhän tao (Artificial Intelligent). Hä nöi: Nhä xuät bän giäo due, 1988. 473 tr.
195. Forlani G., Mussio L. Acceleration of inversion routine for large sparse matrices III Hotin -Marussi Sump Math.Geod.Roma,3-6 June, 1985. Proc. vol.1. Milano: 1986.-P. 317-342.
196. George J.A., Heath M.F., Golub G.H., Plemmons R.J. Least squeres adjustment of large-scale geodetic networks by orthogonal decompasition //Veroff.Dtsch.geod.Kommis.Bayer.Akad.Wiss.-1982, B. -258/8. P. 130-142.
197. Gergely J. Ritka matrixok a geodeziai szamitasokban //Geod. es kartogr.- 1985.37.- 5. S. 330-334.
198. Grepel U. Effiziente Rechenverfahren fur umfangreiche geodätische parameterschatzungen //Mit.geod.Inst.Rhein.Friedrich.-Wiechelms -Univ.Bonn. -1987.-75.I-VI. -S. 1-128.
199. Grundig L., Stark W. one-way dissection and sparse matrix algo rithms -A strategy for the adjustment of large geodetic networks //Medd. geod. Inst.-1981.- 55.-P. 355-369.
200. Heck B. Der Einflub einzelner Beobachtungen auf das Ergebniss einer Ausriebern den Beobachtungen Allg vermess.Nachr.-1987,88. -1.- P. 17-34.
201. Hinsken L. MOR-S :Ein Anwendungsbeispiel fur sparse Technich in einem photogrammetrisch geodätischen Netzausgleichungs programm //Z.Vermessungs 1985,110.- 9. - S. 416-424.
202. Kabelac Josef. Osterr. Z. Uber die Volumensbedingung bei der Ausgleichung eines dreidimensionalen Trilaterationsnetzes //Vermessungsw. Und Programm. 1993. 81 №. 75-76, 78-80, 84-85.
203. Kampmann Georg. Ist die Methode der kleinsten Quadrate fur die fehlererkennung in der Praxis des Vermessungs-Ingenieurs heute noch zeitgemäß //Vermessungs-Ingenieus. 1991. 42. № 4. P. 140-143.
204. Kostadinov K. Automation of normal equation system processing ith special structure //Zesz.nauk.AGH.Geod.-1983.- 79. P.l 13-123.
205. Костадионов К. Оптимизаране на профила на матрицата на системата нормални уравнения при параметрично изравнения на геодезични мрежи //Год. Висш.инст.архит. и стр-во. София. -1987-1988. -33, № 3. -С. 111-121.(Бол.).
206. Lou Yu, Xi Zhifang. A topology study on generating condition set of the control networks. Cehui xuebao = Acta geodaet.et.cartogr.sin. 1995. 24, № 1. -P. 15-22. Кит.
207. Ngö Phuc Hung, Dang Hung Vö. Ly thuyet binh sai luoi tarn giäc. -Hä nöi: nhä xuit ban bö DHTHCN.- 1978. 357 tr.
208. Nguyln Däng Vy. tJng dung may tinh dien tir giäi bäi toän binh sai luöi khöng сЫ trac dia //Bäo cao tai höi nghi khoa hoc ky niem 25 näm cöng täc dieu tra khäo sät phän virng quy hoach vä thiet k6'nöng nghiep. Hä nöi, 1986. - 21 tr.
209. Nguy6n Däng Vy. Xir ly bäi toän täng day diem khöng che änh phuc vu do ve ban dÖ trong quy hoach nöng nghiep //Khoa hoc vä ky thuät nöng nghidp. -1987. 6,- Tr 260-265.
210. Norton P., Socha J. Nhäp mon Assembler. Hä nöi.: Nhä xuä't bän dai hoc vä giäo due chuyen nghiep, 1992. 390 tr.
211. Phan Vän Hi6n, Vi Trtrcftig, Trirong Quang Hie'u. Ly thuet sai s6 vä phuong phäp binh phuong nho nhät. -Hä nöi: nhä xuät bän bö DHTHCN.- 1985. 437 tr.
212. Poder K. Geodetic software problems //Vevoff. Dtch.geod.Kommis. Bayen.Akad.wiss.-1982,В.- 258/8. P. 7-12.
213. Schuh W.D. Analyse und kanvergensbeschleunigung der Methode der konjugierten gradienten bei geodätischen Netzen //Mitt.geod.inst. Techn.univ. graz. -1984.-49. 104 s.
214. Schimer U. Programmpaket fur geodätische Netzausgleichungen auf 16-bit-Personalcomputer. // Vermessungstechnik. -1990.-38,№ 4. S. 116-119
215. Sedgewick Robert. Cam nang thuät toän. Täp 1: cäc thuät toän thöng dung. На nöi. Nhä xuät bän khoa hoc vä ky thuät. 1994. - 409 tr. Перевод с англ.
216. Sedgewick Robert. Cäm nang thuät toän. Täp 2: cäc thuät toän chuydn dung. Hä nöi. Nhä xuät bän khoa hoc vä ky thuät. 1995,- 340 tr. Перевод с англ.
217. Stark W. Grunding L. Dessection strategies for geodetic networks in comparison to general sparse matrix solutions //Zesz.nauk. AGH.Geod.-1983.- 79. -P. 81-91.
218. Stark W. Adjustment and analysis of large geodetic networks using sparse algorithms //Veroff.Dtsch.geod.Kommis.Bayer.Akad.Wiss.-1982, В.- 258/8. -P. 41-53.
219. Stark W. Untersuchungen zur losung und Inversion schwachbesetzter grober geodaticher Normalgleichungen //Veroff.Dtsch.geod.kommis. Bayer Akad.Wiss. -1984.- 301. 158 s.
220. Steidler F. Zur Losung grober schwach besetzter Normal gleichungs systeme in der geodatichen Netzausgleichung //Z.Vermessungsw. -1982,107.- 3.-S. 97-108.
221. Такое И.К. Программа VACOXY уравнивания больших геодезических сетей методом преобразования координат //Перев. из журн. Дельтион географикс импиртас. -1981. -41. -120. С. 1-118.(греч.)
222. Teskey William F., Biacs Zoltan F. A PC-based program system for adjustment and deformation analysis of precise engineering and monitoring networks//Austral. J.Geode.Photogramm.and Surv.-1990.-№52. C.37-55.
223. Thorandt V. Algorithmen zur losung und Inversion von großen, schwach besetzten Normalgleichungssystemen //Vermessungstechnik/-1990.-38, № 5. -С. 164-167.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.