О построении знание-ориентированных компьютерных систем для научных исследований

• Veröffentlicht in: Управляющие системы и машины
• Datum: 2015
• Hauptverfasser: Палагин, А.В., Петренко, Н.Г., Крывый, С.Л.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2015
• Schlagworte: Интеллектуальные информационные технологии и системы
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/87196
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: О построении знание-ориентированных компьютерных систем для научных исследований / А.В. Палагин, Н.Г. Петренко, С.Л. Крывый // Управляющие системы и машины. — 2015. — № 2. — С. 64–73. — Бібліогр.: 12 назв. — рос.

Разработаны формально-логические основы проектирования архитектуры знание-ориентированных компьютерных систем для научных исследований. Предложены обобщенные интеллектуальные процедуры, поддерживающие соответствующие этапы выполнения научно-исследовательских работ. Для каждой процедуры рассмотрен процесс интерпретации последовательности действий и схема их реализации на архитектурных блоках системы. Формальное описание процедур выполнено в соответствии с алгеброй алгоритмов Глушкова. The formal-logical bases of the architecture designing of the knowledge-oriented computer systems for the scientific research are developed. Generalized intelligent procedures supporting a corresponding stages of the scientific and research works are proposed. For each procedure, the process of interpreting of a sequence of actions and the implementation scheme based on the architectural system blocks is considered. A formal description of the procedures are carried out in accordance with Glushkov’s algebra of algorithms. Розроблено формально-логічні основи проектування архітектури знання-орієнтованих комп’ютерних систем для наукових досліджень. Запропоновано узагальнені інтелектуальні процедури, які підтримують відповідні етапи виконання науково-дослідницьких робіт. Для кожної процедури розглянуто процес інтерпретації послідовності дій і схема їх реалізації на архітектурних блоках системи. Формальний опис процедур виконано згідно з алгеброю алгоритмів Глушкова.