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

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

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

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

Індекс рубрикатора НБУВ: В173.124 + У9(4УКР)210

Рубрики:

Теорія розкладів і планів

Економіка окремих країн і частин світу

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

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

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

The subject of this paper is the problem of developing natural language interface in computer-aided management systems. An algorithm of written text analysis has been proposed which emulates human understanding of natural language utterances. We have introduced the concept and the description of the algorithm and also the directions for further work have been pointed out.

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

Індекс рубрикатора НБУВ: Х819(4Укр)011.2-324

Рубрики:

Адміністративне право окремих країн

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

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

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

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

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

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

Розглянуто проблеми створення системи управління (СУ) інформаційно-телекомунікаційною системою (ІТКС) корпоративної АСУ, яка призначена забезпечувати централізоване спільне функціонування всіх підсистем АСУ відповідно до заданого регламенту, вирішувати задачі управління розподіленими ресурсами, підвищення продуктивності роботи й ефективності управління інформаційними технологіями (ІТ) і телекомунікаційною мережею, управління персоналом ІТ-підрозділів, покращання якості ІТ послуг та ін. Розглянуто принципи функціонування, структуру та технологічні аспекти реалізації СУ ІТКС.

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

This article examines the use of expert judgments methods and fuzzy logic for decision-making and complex economical and social systems modeling problem solving. An approach was suggested to using a validity weighted fuzzy logic output system to ensure that individual weighting coefficients of assessment criterions for every expert are taken into consideration when utilized by the commission of experts of integrated rules base of fuzzy logic deduction system.

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

Розглянуто проблему управління складним комплексом бізнес-процесів (БП) організацій. Представлено процесно-орієнтовану інфраструктуру управління системою БП. Проаналізовано переваги застосування цієї концепції на прикладі управління БП банківських операцій.

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

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