Розглянуто часові зміни прискорення сили ваги, зумовлені впливом руху полюса та зміною кутової швидкості обертання Землі. Оцінено вплив нижньої атмосфери на лазерні та радіотехнічні супутникові виміри. З'ясовано особливості складання цифрових планів під час моніторингу лінійної частини магістральних газопроводів. Детально проаналізовано метричні властивості цифрових знімальних систем. Основну увагу приділено гравіметрії, високоточному нівелюванню, тріангуляції та трилатерації, картографії, а також аерофотогеодезії.

Головний редактор:

Наведено результати досліджень в галузях геодезичної астрономії, теорії Землі та планет, гравіметрії, високоточного нівелювання, тріангуляції, а також вивчення земної рефракції, рухів земної поверхні, вищої та інженерної геодезії, картографії, фотограмметрії, геоінформатики. Розглянуто завдання багатоцільового кадастру, питання контролю встановлення суднового обладнання способами інженерної геодезії. Описано алгоритм сумісної обробки навігаційної інформації у системі навігації наземного рухомого об'єкта, знімальні аерокосмічні системи дистанційного зондування Землі. Проаналізовано сучасний стан та чинники розвитку цифрової фотограмметрії, практику створення цифрових векторних планів кар'єрів.

Приведены результаты исследований в областях геодезической астрономии, теории Земли и планет, гравиметрии, высокоточного нивелирования, триангуляции, а также изучения земной рефракции, движений земной поверхности, высшей и инженерной геодезии, картографии, фотограмметрии, геоинформатики. Рассмотрены задания многоцелевого кадастра, вопросы контроля установления судового оборудования способами инженерной геодезии. Представлены описания алгоритмов совместной обработки навигационной информации в системе навигации наземного подвижного объекта, съёмочных аэрокосмических систем дистанционного зондирования Земли. Проанализированы современное состояние и факторы развития цифровой фотограмметрии, практика создания цифровых векторных планов карьеров.

Головний редактор:

Запропоновано методику оцінки точності державної висотної мережі 2-го класу України. Проаналізовано особливості застосування потенційних полів для вивчення глибинної будови Землі, а також геолого-маркшейдерської бази даних для розв'язання задач гірничодобувної галузі. Здійснено математичне моделювання вертикальної міграції радіонуклідів у грунті. Описано технологію створення кадастрових планів з використанням цифрових методів обробки аерофотознімків. Розглянуто питання використання ортофотопланів у системі керування земельными ресурсами. Проаналізовано вплив змін параметрів РЕМ-знімання на величини та характер геометричних спотворень РЕМ-зображень, одержаних на РЕМ "Hitachi"S-800.

Предложена методика оценки уравнения государственной высотной сети 2-го класса Украины. Проанализированы особенности использования потенциальных полей для изучения глубинного строения Земли, а также геолого-маркшейдерской базы данных для решения задач горнодобывающей отрасли. Осуществлено математическое моделирование вертикальной миграции радионуклидов в почве. Описана технология создания кадастровых планов с использованием цифровых методов обработки аэрофотоснимков. Рассмотрены вопросы использования ортофотопланов в системе управления земельными ресурсами. Проанализировано влияние изменения параметров РЭМ-съемки на величины и характер геометрических искажений РЭМ-изображений, полученных на РЭМ "Hitachi"S-800.

Головний редактор:

Наведено результати дослідження горизонтальних рухів земної поверхні Центральної Європи за результатами GPS-спостережень перманентних станцій, характеристики паводкового стоку річок півдня Закарпаття. Розглянуто графоаналітичний метод оцінки точності площ земельних ділянок. Висвітлено моделювання рельєфу земної поверхні з застосуванням колокації, особливості технологічної схеми цифрового фототеодолітного знімання для складання фронтальних планів, основні методи автоматичного дешифрування зображень.

Приведены результаты исследования горизонтальных движений земной поверхности Центральной Европы по результатам GPS-наблюдений перманентных станций, характеристики паводкового стока рек юга Закарпатья. Рассмотрен графоаналитический метод оценки точности площадей земельных участков. Освещены моделирование рельефа земной поверхности с применением колокации, особенности технологической схемы цифровой фототеодлитной съемки для составления фронтальных планов, основные методы автоматического дешифрования изображений.

Головний редактор:

Розглянуто питання геодезії, картографії, кадастру, фотограмметрії, геоінформатики. Висвітлено особливості нагромадження помилок в полігонометрії, створюваних електронними тахеометрами, вимірювання геодезичних параметрів великогабаритного обладнання циліндричної форми. Наведено класифікацію сучасних методів урахування вертикальної рефракції. Описано теорію турбулентного методу визначення аномальної рефракції за стійкої стратифікації атмосфери. Проаналізовано цифрове моделювання рельєфу за картометричними даними, вплив територіального зонування на ринкову багатофакторну оцінку території населеного пункту. Представлено результати дослідження автоматичної побудови цифрової моделі рельєфу VLL-методом (Vertical Line Locus) на основі аерофотознімання. Визначено головні напрямки використання ГІС-технологій для оцінки стану навколишнього природного середовища. Викладено загальну методику створення геоінформаційних моделей природно-антропогенних систем.

Рассмотрены вопросы геодезии, картографии, кадастра, фотограмметрии, геоинформатики. Освещены особенности накопления ошибок в полигонометрии, создаваемых с помощью электронных тахеометров, измерения геодезических параметров крупногабаритного оборудования цилиндрической формы. Приведена классификация современных методов учёта вертикальной рефракции. Описана теория турбулентного метода определения аномальной рефракции при устойчивой стратификации атмосферы. Проанализированы цифровое моделирование рельефа по картометрическим данным, влияние территориального зондирования на рыночную многофакторную оценку территории населенного пункта. Представлены результаты исследования автоматического построения цифровой модели рельефа VLL-методом (Vertical Line Locus) на основе аэрофотосъёмки. Определены главные направления использования ГИС-технологий для оценки состояния окружающей природной среды. Изложена общая методика создания геоинформационных моделей природно-антропогенных систем.

Головний редактор:

Описано комплексну інтегровану технологію виготовлення документації з землеустрою, використання геоінформаційних технологій в реалізації завдань муніципальної влади та рекреаційної діяльності. Розглянуто питання впорядкування територій новостворених сільськогосподарських підприємств, оптимізації використання земель реформованих підприємств. Проаналізовано зарубіжний досвід правового регулювання земельних і водних відносин. Викладено методику створення карт вулиць у спеціальному форматі StreetInfo. Наведено характеристики гравітаційного поля Землі за даними гравіметричних і GPS-вимірів, визначення функції передачі модуляції аерознімальних систем, критерії оцінки аерокосмічних зображень для кадастрових робіт. Висвітлено методологію статистичної просторово-частотної обробки гіперспектральних аерокосмічних зображень. Описано особливості цифрового моделювання складних типів рельєфу.

Описаны комплексная интегрированная технология изготовления документации по землеустройству, геоинформационные технологии в реализации задач муниципальной власти и рекреационной деятельности. Рассмотрены вопросы составления территорий новосозданных сельскохозяйственных предприятий, оптимизации использования земель реформированных предприятий. Проанализирован зарубежный опыт правового регулирования земельных и водных отношений. Изложена методика создания карт улиц в специальном формате StreetInfo. Приведены характеристики гравитационного поля Земли по данным гравиметрических и GPS-измерений, определения функции передачи модуляции аэросъемочных систем, критерии оценки аэрокосмических изображений для кадастровых работ. Освещена методология статистической пространственно-частотной обработки гиперспектральных аэрокосмических изображений. Описаны особенности цифрового моделирования сложных типов рельефа.

Головний редактор:

Розглянуто питання використання сучасних супутникових технологій визначення координат, оцінювання часових варіацій астрономічних і геодезичних параметрів Землі. Проаналізовано вплив тривалості спостережень, довжини вектора та мінімальної висоти супутників над горизонтом для визначення вертикальної складової GPS-вимірів. Висвітлено закономірності дії вертикальної рефракції і точності тригонометричного нівелювання над водними поверхнями. Описано автоматизовані методи визначення кута даної рефракції у термічно-турбулентній атмосфері. Вивчено вплив нівелірної рефракції у нічний період за допомогою приладів зарядового зв'язку. Проведено геодезичний моніторинг горизонтальних зміщень перекриття водозливної греблі Добротвірської ТЕС.

Рассмотрены вопросы использования современных спутниковых технологий определения координат, оценки временных вариаций астрономических и геодезических параметров Земли. Проанализировано влияние продолжительности наблюдений, длины вектора и минимальной высоты спутников над горизонтом для определения вертикальной составной GPS-измерений. Освещены закономерности действия вертикальной рефракции и точности тригонометрического нивелирования над водными поверхностями. Описаны автоматизированные методы определения угла данной рефракции в термическо-турбулентной атмосфере. Изучено влияние нивелирной рефракции в ночной период с помощью приборов зарядной связи. Проведен геодезический мониторинг горизонтальных смещений перекрытия водосливной плотины Добротворской ТЭС.

Головний редактор:

Визначено межі значень густини в центрі еліпсоїдальної планети для створення об'єктивних моделей розподілу її густини. Наведено результати експериментального дослідження щодо верифікації газодинамічної теорії балістичного гравіметра. Викладено методику визначення лінійних зміщень перманентних GPS-станцій, обумовлених тектонічними деформаціями Антарктичної плити. Висвітлено методику вертикальної рефракції в нівелірних ходах за допомогою приладів зарядового зв'язку. Описано універсальну електронну геодезичну марку для фіксації створів, визначення кутових зміщень і децентрувань, фіксування прямовисної і горизонтальної ліній в інженерно-геодезичних роботах з використанням лазерних приладів.

Определены границы значений плотности в центре элипсоидальной планеты для создания объективных моделей распределения её плотности. Приведены результаты экспериментального исследования относительно верификации газодинамической теории баллистического гравиметра. Изложена методика определения линейных смещений перманентных GPS-станций, обусловленных тектоническими деформациями Антарктической плиты. Освещена методика вертикальной рефракции в нивелирных ходах с помощью приборов зарядной связи. Описана универсальная электронная геодезическая марка для фиксации створов, определения угловых смещений и децентрирований, фиксирования отвисной и горизонтальной линий в инженерно-геодезических работах с использованием лазерных приборов.

Головний редактор:

Автоматное моделирование процессов возникновения и распада коллектива: 3, 2003

Показано, що задача визначення умов появи та зникнення колективу та задача находження відклику динамічного автомату на задані вхідні процеси є еквівалентними. На цій основі збудовано автоматну модель колективу, для аналізу якої використано неперервну логіку та логічні визначники.

Алгебры гиперсхем и интегрированный инструментарий синтеза программ в современных объектно-ориентированных средах: 1, 2004

Наведено результати, одержані під час розробки інструментарію параметрично керованої генерації регулярних схем об'єктно-орієнтованих програм. Генерація здійснюється за допомогою схем вищого рівня - гіперсхем.

Алгебры Глушкова и теория клонов: 4, 2003

Розглянуто теорію клонів - перспективний напрямок в алгебричній алгоритміці, що бере свій початок від фундаментальних результатів, одержаних В. М. Глушковим. Зазначено, що алгоритмічні алгебри Глушкова є прототипом низки алгебричних специфікацій, адекватних відомим парадигмам програмування, і утворюють важливий напрямок алгебричної алгоритміки, який інтенсивно розвивається. Сімейство однотипних алгебр, зокрема, алгебр алгоритмів, утворює клон. Зроблено огляд теорії граматичних та алгоритмічних клонів, а також прикладних алгебр, що відносяться до різних, у тому числі гуманітарних, предметних областей.

Алгоритм проверки временных противоречий в MSC диаграммах: 6, 2002

Висвітлено проблему перевірки несуперечності діаграм мови MSC, що враховують тривалість подій. Розглянуто підмножину мови, яка включає обмін повідомленнями між інстанціями діаграми та механізм синхронізуючих умов. Наведено необхідний та достатній критерії несуперечності MSC діаграми, а також алгоритм, що реалізує даний критерій і реалізовано на мові C++.

Алгоритмы преобразования информации на базе управляемых двухместных операций: 2, 2003

Для підвищення ефективності сучасних систем захисту інформації запропоновано новий підхід до побудови швидкісних алгоритмів перетворення даних, який базується на застосуванні керованих двомісних операцій. Обговорено моделі, конструктивні особливості та математичні властивості керованих двомісних операцій. Розглянуто принципи використання таких операцій, перспективних для широкого застосування в різних схемах перетворення інформації.

Алгоритмы решения лексикографических многокритериальных задач на матроидах. 40: 3, 2004

На підставі поліноміальної процедури знаходження послідовності кращих рішень в екстремальних задачах на матроїдах побудовано алгоритми для лексикографічних багатокритеріальних задач і багатокритеріальних задач, що вирішуються за допомогою методу уступок.

Анализ надежности систем, описываемых деревьями отказа с эффективностями: 5, 2003

Запропоновано модель дерева відмов, що описує побудову та функціонування систем з різними рівнями ефективності роботи. Розроблено наближені аналітичні та статистичні методи оцінки ймовірнісних характеристик таких систем. Створено відповідне програмне забезпечення.

Анализ надежности системы с комбинированным резервом времени. 40: 5, 2004

Розглянуто напівмарківську модель з дискретно-неперервним фазовим простором станів системи з комбінованим резервом часу. Знайдено основні характеристики надійності розглянутої системи.

Анализ оптимальных свойств практической устойчивости динамических систем: 5, 2002

Наведено властивості й алгоритми апроксимації оптимальних за включенням множин практичної стійкості. Показано взаємозв'язок між ними для деяких видів динамічних систем. Проаналізовано проблему оцінювання часу стійкості на кінцевому інтервалі.

Анализ функционирования классификатора со случайными порогами: 3, 2003

Розглянуто модель нейромережевого класифікатора з випадковими порогами. Здійснено ймовірносний аналіз характеристик функціонування залежно від параметрів класифікатора, надано рекомендації щодо їх вибору. Запропоновано спосіб оптимізації структури класифікатора до розподілу вхідних даних.

Анализ экспоненциальной устойчивости линейного стохастического осциллятора при малых диффузионных возмущениях. 40: 2, 2004

Одержано необхідні та достатні умови експоненціальної стійкості стохастичного осцилятора в середньому квадратичному за малих дифузійних збурень.

Аппроксимативно-аналитический метод анализа пороговой стратегии профилактик для многофазной многокомпонентной модели: 3, 2003

Досліджено многокомпонентну систему, що складається з n ідентичних ненадійних компонент, час безвідмовної роботи яких складається з ряду послідовних експоненціально розподілених фаз. Вивчено стратегію профілактики, яка пропонує миттєву заміну всіх компонент, як тільки кількість компонент в деякому довідмовному (сумнівному) стані досягне заданого порогового значення. Вивчено усереднену на великому проміжку вартісну функцію. Для фіксованого n розглянуто аналітичний підхід. Для великих n запропоновано новий апроксимативно-аналітичний підхід. Вивчено умови існування та властивості оптимальної стратегії. Наведено приклад.