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

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

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

Рассмотрены подходы к построению семантического образа текстового документа на основе его реструктуризации. В качестве формального механизма использована фреймовая сеть концептуальных понятий. Оценочные характеристики построены на основе вероятностей и эвристических методов.

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

Рассмотрены структуры данных подсистем принятия решений в информационно-аналитических системах на основе технологий OLAP. Предложена организация обобщенных процессов обработки данных и методические основы их настройки для поддержки принятия решений по выбору существенных данных. Показано применение этих структур для повышения достоверности распознавания критических событий и эффективности достижения целей системы.

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

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

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

Індекс рубрикатора НБУВ: В379.24

Рубрики:

Оптичні властивості напівпровідників

Шифр НБУВ: Ж14063 Пошук видання у каталогах НБУВ 

Розроблено пропозиції щодо підвищення вірогідності правильної прив'язки матричних радіометричних кореляційно-екстремальних систем навігації (СН) літальних апаратів на основі обліку змін радіояскравісної температури під час формування поточного зображення СН. Представлено одержані аналітичні вирази для розрахунків.

Індекс рубрикатора НБУВ: В345.3 + В372.33

Рубрики:

Фотолюмінесценція

Тверді розчини

Шифр НБУВ: Ж14063 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: В371.236 + В345.3

Рубрики:

Фотолюмінесценція

Шифр НБУВ: Ж14063 Пошук видання у каталогах НБУВ 

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

Індекс рубрикатора НБУВ: В379.27

Рубрики:

Електричні і магнітні властивості напівпровідників

Шифр НБУВ: Ж14063 Пошук видання у каталогах НБУВ 

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

Індекс рубрикатора НБУВ: В372.314.2

Рубрики:

Екситони. Екситонні рівні

Шифр НБУВ: Ж14063 Пошук видання у каталогах НБУВ 

Запропоновано до застосування метод побудови цифрового водяного знаку для захисту одно- і двовимірних сигналів. Побудова цифрового водяного знаку базується на розробці одно- та двовимірного узагальненого перетворення Фур'є та Хартлі на основі Ateb-функцій як узагальнення тригонометричних функцій. Вбудовування цифрового водяного знаку реалізовано у частотній області за допомогою чотирьох різних методів. Проведено моделювання атак на захищені файли для підтвердження стійкості захисту запропонованим методом. Експериментальним шляхом встановлено високу стійкість розробленого методу до основних видів атак. Зазначено, що додатково побудований цифровий водяний знак можна використати для ідентифікації захищених файлів.

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