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

Викладено вибрані результати досліджень двох проблем арифметичної геометрії алгебричних кривих над простими скінченними полями: а) існування раціональних точок; б) розподіл кутів сум Клостермана. У рамках комп'ютерної підтримки досліджень проведено стислий опис обчислень на ЕОМ, а також алгебричний та аналітичний контексти задач такого типу.

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

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

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

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

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

Рубрики:

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

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

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

Рубрики:

Чисельні методи (чисельний аналіз)

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

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

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

Рубрики:

Теорія автоматів

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

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

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

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

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

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

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

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

Рассмотрен широкий круг проблем, связанных с человековедением, картиной реального мира, его познанием человеком и отражением в ЭВМ этого познания, судьбами человеческой цивилизации. Центральное место в статье занимают проблема искусственного интеллекта, построение МКМР - международного коллективного медицинского разума.

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

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

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