Создана система оперативного автоматизированного проектирования технологического процесса выплавки стали в сверхмощной ДСП, которая представляет собой дальнейшее развитие системы управления плавкой ОРАКУЛ. Используя полный материальный и энергетический балансы, строгий термодинамический расчет, кинетическую коррекцию, экономический расчет и априорную информацию, накопленную ранее и отражающую в обобщенном виде длительный опыт эксплуатации агрегата, а также оперативную информацию о процессе, получаемую по ходу плавки и отражающую ее индивидуальные особенности, система оперативно создает проект ведения плавки и вырабатывает рациональные сигналы по управлению ходом технологического процесса. В январе 2000 г. система ОРАКУЛ сдана в промышленную эксплуатацию на ДСП-1 Белорусского металлургического завода (БМЗ). В августе 2001 г. на ДСП-2 Молдавского металлургического завода. Использование системы ОРАКУЛ позволило достичь значительного экономического эффекта (за счет сокращения расхода электроэнергии, шлакообразующих и продолжительности цикла плавки) и технологических преимуществ ("прозрачность" технологического процесса и, следовательно, большая его управляемость, стабилизация всего процесса выплавки стали и, как следствие, стабилизация качества выплавляемого металла "от плавки к плавке", облегчение ведения процесса, защита от ошибок персонала, выявление непредставительных проб и замеров и др.). В настоящее время ведутся работы по оснащению системой управления ОРАКУЛ ДСП-2 БМЗ.

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

Представлены результаты промышленного освоения компьютерной системы управления ГИББС (развитие системы ОРАКУЛ) для внепечной обработкой стали. Выполнена оценка работы системы, показано, что точность прогноза содержания основных элементов (С, Si, Мn, S, Р) и температуры достаточна для обеспечения надежной работы системы в режиме автоматического управления процессом. Оптимизационные возможности системы позволяют снизить затраты по переделу за счет увеличения серийности разливки, а также уменьшения расхода раскислителей и легирующих материалов. На этой основе создана информационная база реального времени для развертывания систем оперативного управления производством более высокого уровня.

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

  Скачати повний текст

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

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

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

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

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

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

Рубрики:

Кластери в твердих тілах

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

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

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

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

The article is devoted to a problem of building mathematical model of security stegosystem estimating for practical use. The model, as opposed to existing, not requires knowledge of the covertext statistics or exist perfect oracle.

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

Скорочення поголів'я великої рогатої худоби в Україні призвело до істотного зменшення обсягів виробництва та застосування органічних добрив, зниження урожайності сільськогосподарських культур, погіршення родючості грунтів та їхнього меліоративного стану. Водночас листостеблова маса, яка залишається на полях після збирання сільськогосподарських культур, особливо солома пшениці озимої, в переважній більшості господарств спалюється, порушуючи екологічну рівновагу, та не сприяє надходженню в грунт свіжої органічної речовини для покращення гумусного стану грунтів. Тому питання, пов'язане з використанням на добриво соломи пшениці озимої, є актуальним і потребує експериментального дослідження та вирішення. Мета роботи - дослідження та формування ефективних агротехнологічних рішень і систем технічного оснащення використання на добриво соломи пшениці озимої, обробленої деструкторами бактеріального походження, під час загортання її в грунт знаряддями з різною конструкцією робочих органів. Методи - польовий, візуальний, лабораторний, розрахунково-порівняльний та математично-статистичний методи з використанням загальновизнаних в Україні методик і методичних рекомендацій. Найвищу врожайність соняшника на рівні 1,68 т/га отримано за оранки на глибину 30 - 32 см із застосуванням деструктора "Оракул", що у цьому ж варіанті обробітку грунту без оброблення соломи попередника деструкторами врожайність насіння соняшника була нижчою і склала 1,47 т/га або 12,5 %. Глибокий чизельний обробіток грунту (варіант 2) призвів до зниження урожайності соняшника, де він залежно від деструктора склав 1,31 - 1,48 т/га, а застосування мілкого, поверхневого обробітку та сівби в попередньо необроблений грунт призвело до зниження урожайності в межах 0,65 - 0,71 т/га порівняно з оранкою на 30 - 32 см із застосуванням деструктора. Висновки: в умовах дефіциту вологи Південного Степу України ефективність застосування деструкторів у перший наступний рік після збирання попередника (пшениці озимої) зафіксовано за полицевого обробітку грунту, а за інших способів обробітку грунту ефективність застосування деструктора відсутня.

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

Рубрики:

Шифрування даних

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

Представлено результати досліджень процесів розкладання соломи пшениці озимої під дією деструкторів, які загортаються в грунту знаряддями з різною конструкцією робочих органів в зерно-паропросапній сівозміні дослідного поля Південно-Української філії УкрНДІПВТ ім. Л. Погорілого та формування агрофізичних властивостей, біологічної активності, водного і поживного режиму темно-каштанового грунту та урожайності насіння соняшника. Мета досліджень - формування систем технічного і технологічного забезпечення господарств, які використовують на добриво солому пшениці озимої, що сприяє зниженню техногенного навантаження, підвищенню продуктивності галузі рослинництва та збереженню родючості грунтів у сівозмінах на неполивних землях Півдня України. Методи дослідження - польовий дослід, який супроводжувався лабораторно-польовими дослідженнями фізичних властивостей, біологічної активності та поживного режиму грунту. Для систематизації та узагальнення отриманих результатів застосовувалися математико-статистичні методи. У сівозміні досліджено п'ять способів основного обробітку грунту з різною глибиною розпушування на фоні обробки соломи деструкторами. Встановлено, що найбільша кількість амоніфікувальних організмів, на початку вегетації соняшника, формувалась за оранки на глибину (30 - 32) см і складала 16,72 млн. шт./г, тоді як за чизельного розпушування на глибину (40 - 42) см їх нараховувалось 15,26 млн. шт./г грунту. Кількість олігонітрофілів, целюлозо-руйнівних та азотобактерій зросла у варіанті 2 порівняно з контролем (варіант 1), відповідно на 19,3; 13,0 та 33,3 %, а у варіанті 3 на 29,3; 18,2 та 46,6 %. Висновок: для вирощування соняшника в посушливих умовах південної частини Степової зони України доцільно використовувати на добриво післяжнивні рештки пшениці озимої, обробляти їх деструктором "Оракул" в комплексі з аміачною селітрою та загортати в грунт, застосовуючи глибоку оранку, що створює сприятливі умови для їх розкладання, формування поживного і водного режиму та урожайності насіння на рівні (1,68 - 2,58) т/га.

Індекс рубрикатора НБУВ: П214.16-3

Рубрики:

Ріпак

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

Індекс рубрикатора НБУВ: П214.11-275.92 + П214.11-47

Рубрики:

Соняшник

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

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