Abstract: The concept of energy saving management system based on intelligent agent and embedded technology is represented here. This system is designed for management of hybrid renewable energy system (HRES). For testing of suggested approach the prototype grid of energy consumption, production and storage was designed. This grid contains energy consumption block, production block, inner storage block, external supplier block, local data acquisition modules and embedded controller (EC). The design of management system is presented: hardware level with input/output device, embedded controller and super-controller devices. The formalization of intelligent agents for both side is represented next. Internal agents are autonomic agent, local agent seller (LAS) and local agent buyer (LAB). LAS and LAB agents use forecast methods for generation of action. External agents are Agent of Weather Service, Agent Buying Supporter and Agent Selling Supporter.

Keywords: renewable energy system; energy saving; energy management system, embedded controller, supercontroller, embedded controller software, intelligent agents, multi-agent theory.

ACM Classification Keywords: Smart-grids

Link:

INTELLIGENT CONTROLLER FOR HYBRID RENEWABLE ENERGY SYSTEM BASED ON MULTI-AGENT AND EMBEDDED TECHNOLOGY

Anton Tyukov, Alexey Uzhva, Maxim Shcherbakov, Adrian Dobrowolski, Adriaan Brebels

http://foibg.com/ibs_isc/ibs-24/ibs-24-p06.pdf

Abstract: This paper presents a model of a computerized system to optimize formulas of algorithms. For this purpose the algebra of algorithms. The computer process optimization formula of algorithm is very complex, and were decomposed to simplify. The new model described in form of formulas algorithms, and contains variables, function uniterms. The variables are used for storing interim and final data used in the optimization process. Functional unierms are initiating variables, checking the possibility of optimization by introducing an additional condition, optimizing single operation algorithm algebra, and for all algorithms operations algebra with introducing an additional condition method. The built effect of the model is its simplicity. The primary benefit of implementation a model is to protect transformation formulas of algorithms.

Keywords: algebra, formula, algorithm, transformation, optimization, model, decomposition.

Link:

THE COMPUTER PROCESS OF OPTIMIZATION ALGORITHMS FORMULAS

Tomasz Markuszewski

http://foibg.com/ibs_isc/ibs-24/ibs-24-p05.pdf

Abstract: The existing methods of intuitive and mathematical methods of application of algorithms in system are described. It is shown that in the existing formula editor of algebra of algorithms only trivial (simple) uniterms are formed. In the work to secure the ability of creating complexes uniterms a concept of an adequate computer system model is created. The essence of this concept lies in the creation of function uniterms in the main class of the formula editor of algebra of algorithms and in specific subsystems of complex uniterms, as well as in a modification of the XML described algorithms expressions generated by the editor.

Keywords. Algebra, algorithm, model, formula, subsystem, uniterm: formatting, editor program.

ACM classification keywords: F.2 Analysis of algorithms and problem complexity

Link:

A CONCEPT OF A MODEL OF A COMPUTER SYSTEM FOR FORMING COMPLEX UNITERMS

Magdalena Niziołek, Volodymyr Ovsyak

http://foibg.com/ibs_isc/ibs-24/ibs-24-p04.pdf

Abstract: The existing, intuitive computation models, that is the virtual machines of Turing, Post, Kolmogorov, Schönhage, Aho-Ullman-Hopcroft? as well as the algorithms of Markov and Krinitski, and the recursive functions, all lack precise, mathematical formulation. Consequently, algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and reversing as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms. A useful extension is offered in terms of additional cycle elimination axiomats. A simple example illustrates the usefulness of the algebra of algorithms.

Keywords: Computation models, algorithms, algebra of algorithms, operations.

ACM Classification Keywords: I.0 General Literature

Link:

THE EXTENDED ALGEBRA OF ALGORITHMS WITH ADDITIONAL CYCLE ELIMINATION AXIOMATS

Volodymyr Ovsyak, Aleksandr Ovsyak

http://foibg.com/ibs_isc/ibs-24/ibs-24-p03.pdf

Abstract: This article represents a brief survey of the few works, dedicated to the modern approaches of natural language processing (NLP) to the analysis of impersonal sentences in Spanish. Such an analysis consists in classification of non-referential ellipsis that can be used in machine translation systems. The NLP approaches related with Spanish are mainly based on the work of Rello published in 2010. These approaches do not make use of a proper classification of impersonal models, but of a relative descriptive distribution without strict criteria. The structured classification presented in this article, based on historical and semantic data of interlingual nature, can be also applied for creation of linguistically-motivated classes for machine learning methods. The automatic classification method, employed in the work of Rello, is based on the use of the wellknown WEKA package instance-based learner.

Keywords: impersonal construction, non-referential ellipsis, machine translation

ACM Classification Keywords: I.2.7 Natural Language Processing - Language models

Link:

METHODS AND TOOLS OF COMPUTATIONAL LINGUISTICS FOR THE CLASSIFICATION OF NATURAL NON-REFERENTIAL ELLIPSIS IN SPANISH (REVIEW)

Vera Danilova

http://foibg.com/ibs_isc/ibs-24/ibs-24-p02.pdf

Abstract: Term selection is one of the principal procedures in natural language processing. Existing advanced methods allow to construct multiword terms, to form hierarchy of related terms, etc. It provides a high quality of problem solutions where these terms are used. But almost always an expert needs a simple tool to glance a document corpus to reveal the most distinctive features. For this purpose we propose the simple program LexisTerm? for one-word term selection based on a well-known criterion of term specificity. Speaking ‘specificity’ we mean the relation of term frequencies in a given document/corpus and in some gold standard as, for example, a National corpus of document. The program has two options, which give an opportunity. to select both specific terms in an individual document and specific terms for the whole corpus. In the paper we describe this program and demonstrate the results of its work on a real example. The program LexisTerm? is free-share.

Keywords: Natural language processing, term selection, indexing

ACM Classification Keywords: I.2.7 Natural Language Processing

Link:

LEXISTERM – THE PROGRAM FOR TERM SELECTION BY THE CRITERION OF SPECIFICITY

Roque Lopez, Mikhail Alexandrov, Dennis Barreda, Javier Tejada

http://foibg.com/ibs_isc/ibs-24/ibs-24-p01.pdf

Abstract: The problem of multicriteria fuzzy portfolio optimization is considered and investigated. This problem include two main criteria – portfolio profitableness and risk . A mathematical model of this problem was constructed , explored and the sufficient conditions for its convexity were obtained. . The results of experimental investigations of solutions are presented and discussed

Keywords: fuzzy portfolio optimization, multicriteria optimization problem, portfolio profitableness , portfolio risk

ACM Classification Keywords: G.1.0 Mathematics of Computing– General – Error analysis; G.1.6 Mathematics of Computing – NUMERICAL ANALYSIS – Optimization - Gradient methods, Least squares methods; I.2.3 Computing Methodologies - ARTIFICIAL INTELLIGENCE - Uncertainty, “fuzzy”, and probabilistic reasoning; I.2.6 Computing Methodologies - ARTIFICIAL INTELLIGENCE – Learning - Connectionism and neural nets;

Link:

ИССЛЕДОВАНИЕ МНОГОКРИТЕРИАЛЬНОЙ ЗАДАЧИ ОПТИМИЗАЦИИ ИНВЕСТИЦИОННОГО ПОРТФЕЛЯ В НЕЧЕТКИХ УСЛОВИЯХ

Малихех Есфандиярфард , Юрий Зайченко, Ови Нафас Агаи Аг Гамиш

http://foibg.com/ibs_isc/ibs-22/ibs-22-p12.pdf

Аннотация: предлагается метод линейного оценивания параметров моделей финансовых временных рядов противоположный по своей структуре МНК. Проводится сравнительный анализ МНК и предлагаемого метода.

Ключевые слова: линейное оценивание, оптимизация, финансовые временные ряды. Ключевые слова классификации

ACM: G. Mathematics of Computing - G.1 NUMERICAL ANALYSIS - G.1.2 Approximation - Linear approximation.

Link:

ЛИНЕЙНОЕ ОЦЕНИВАНИЕ ПАРАМЕТРОВ МОДЕЛЕЙ ФИНАНСОВЫХ ВРЕМЕННЫХ РЯДОВ

Зайченко Ю.П., Мурга Н.А.

http://foibg.com/ibs_isc/ibs-22/ibs-22-p11.pdf

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

Ключевые слова: структурный анализ, математические формулы, распознавание рукописных символов, онлайн распознавание, сегментация.

ACM Classification Keywords: I.5.2 Computing Methodologies - PATTERN RECOGNITION - Design Methodology - Pattern analysis. G.4 Mathematics of Computing – MATHEMATICAL SOFTWARE - Algorithm design and analysis. I.5.1 Computing Methodologies - PATTERN RECOGNITION - Models - Structural.

Link:

ОНЛАЙН РАСПОЗНАВАНИЕ РУКОПИСНЫХ МАТЕМАТИЧЕСКИХ ФОРМУЛ

Надеран Эдрис

http://foibg.com/ibs_isc/ibs-22/ibs-22-p10.pdf

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

Ключевые слова: цветные объекты, освещённость.

ACM Classification Keywords:algorithms, verification

Link:

ВЕРИФИКАЦИЯ ЦВЕТНЫХ ОБЪЕКТОВ НА СЛОЖНЫХ СЦЕНАХ

Анатолий Протосавицкий, Екатерина Горшкова, Дмитрий Пилютик, Роман Телятников, Иван Шумский

http://foibg.com/ibs_isc/ibs-22/ibs-22-p09.pdf

Аннотация: Рассматривается задача обнаружения изменения цвета на оптико-переменных объектах. Для решения используется цветовая модель HSL, выработан критерий оценки различия цветов.

Ключевые слова: цветовая модель, цветовой тон, изменение цвета.

Link:

ВЕРИФИКАЦИЯ ОПТИКО-ПЕРЕМЕННОГО ОБЪЕКТА ПУТЁМ ОБНАРУЖЕНИЯ ИЗМЕНЕНИЯ ЦВЕТА

Екатерина Горшкова, Роман Телятников, Иван Шумский

http://foibg.com/ibs_isc/ibs-22/ibs-22-p08.pdf

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

Ключевые слова: распознавание зданий на спутниковых изображениях, нечеткий классификатор NEFClass, методы обучения нейронных сетей.

ACM Classification Keywords: 1.4.7 Computing Methodologies - IMAGE PROCESSING AND COMPUTER VISION – Feature Measurement - Size and shape. G.1.6 Mathematics of Computing – NUMERICAL ANALYSIS – Optimization- Gradient methods. I.4.8 Computing Methodologies - IMAGE PROCESSING AND COMPUTER VISION – Scene Analysis - Object recognition. I.5.1 Computing Methodologies - PATTERN RECOGNITION - Models - Neural nets.

Link:

РАСПОЗНАВАНИЕ ЗДАНИЙ НА СПУТНИКОВЫХ СНИМКАХ СВЕРХВЫСОКОГО РАЗРЕШЕНИЯ

Светлана Дьяконова

http://foibg.com/ibs_isc/ibs-22/ibs-22-p07.pdf

Abstract: Одним из перспективных подходов к решению проблемы "островной" автоматизации предприятий газотранспортной системы (ГТС) является создание комплексной автоматизированной системы управления (КАСУ), имеющей гибкую многоуровневую и распределенную архитектуру. В работе рассмотрены основные положения концепции создания КАСУ газотранспортной компании, в рамках которой предложен комплексный подход к построению автоматизированной системы управления промышленной безопасностью ГТC, объединяющий современные технологии системной интеграции корпоративной информации на основе единой инструментальной технологической платформы, а также методы обработки и анализа данных о потенциально опасных объектах с целью их своевременного обнаружения и поддержки принятия решений о применении своевременных превентивных мер. Оригинальной особенностью предлагаемого подхода является ориентация на методы сбора, формализованного представления и компьютерной обработки специализированной графической информации, в виде космических и аэрофотоизображений, а также данных реального видео, получаемых от разнообразных промышленных систем видеонаблюдения, которые в настоящее время получают все более широкое распространение для обеспечения надежной и безопасной эксплуатации объектов газотранспортной отрасли.

ACM Classification Keywords: I.3.5 Computational Geometry and Object Modeling

Link:

МЕТОДЫ И АЛГОРИТМЫ ОБНАРУЖЕНИЯ ОБЪЕКТОВ ДЛЯ СИСТЕМЫ УПРАВЛЕНИЯ ПРОМЫШЛЕННОЙ БЕЗОПАСНОСТЬЮ В РАМКАХ КОНЦЕПЦИИ СОЗДАНИЯ КОМПЛЕКСНОЙ АСУ ГАЗОТРАНСПОРТНОЙ КОМПАНИЕЙ

Белоус Н.В., Борисенко В.П., Пономарев Ю.В., Борисенко И.В.

http://foibg.com/ibs_isc/ibs-22/ibs-22-p06.pdf

Abstract: Синтез фуллереноподобных структур в электрической дуге по своей сути является процессом неизбирательного характера, т.е. в данный момент нет достаточной информации и технологии, позволяющей получать фуллерены одного вида при возгонке графитовых стержней. Вследствие данной особенности, становится актуальной задача разделения растворов фуллереноподобных структур Мищенко, Ткачев, 2008. На сегодняшний день качественный и количественный анализ получаемых экстрактов фуллеренов можно произвести только на комплексе спектральных установок. Такой тип анализа синтезируемых фуллеренов является неприменимым для его внедрения в систему управления процессами из-за ограничений связанных со временем проведения комплекса анализов, а так же требованиями подготовки проб. В большинстве случаев из-за отсутствия специализированных сенсоров, встраиваемых непосредственно в процесс, качественный состав выходного потока промышленных установок анализируется человеческим глазом или на основе эмперических данных, полученных на основе приблизительного времени выхода индивидуальных фракций. Оба метода не дают высокой степени чистоты получаемых растворов. Таким образом, для решения задачи автоматической сепарации необходим поиск параметров, измерение которых позволит с высокой точностью разделять поток на мономолекулярные фракции.

Keywords: сенсоры, информационное моделирование, фуллерены, фотометрический анализ

Link:

РЕШЕНИЕ ЗАДАЧИ АВТОМАТИЧЕСКОЙ СЕПАРАЦИИ ФУЛЛЕРЕНСОДЕРЖАЩЕЙ СУСПЕНЗИИ

А.В. Тимофеев, П.Г. Иванов

http://foibg.com/ibs_isc/ibs-22/ibs-22-p05.pdf

Abstract: Development of rational strategies of supplementing reserves in a system of oil funds is an actual problem. A model that may assist to oil experts elaborate such strategy for system of oil fields, which are on different stages of exploration, is proposed. The model is a dynamical model of material balance with one-side cross flow from poorly studied funds to more studied ones accompanied by losses as described by transition coefficients given by experts with uncertainty. In the framework of the model is supposed that for each year of planning period levels of oil production (production program) are exogenous variables. Number of unknown variables (that are values of supplements in each fond for each year) in linear equations of the model is equal to production of quantity of time steps in planning period and number of fund types. Number of equations is much less than number of unknown variables. To solve the model it is complemented by criterion of optimality. The criterion is minimum of discounted costs needed for transitions. Coefficients in equations are interval expert estimations. It’s rather hard to analyze the problem by Monte-Carlo? method because this way requires large-scale calculations for each time step from planning period. One is showed that simpler equivalent model may be developed that permit to calculate needed probability distributions more easily. Besides the model has property of scaling invariance that permits to extend these distributions on further time steps.

Keywords: model of supplementing oil funds, expert analysis, property of scaling

ACM Classification Keywords: I.6.5 Model Development. I.6.6 Simulation Output Analysis. I.2.8 Plan Execution, Formation and Generation.

Link:

ПРОГНОЗИРОВАНИЕ ДИНАМИКИ ПОПОЛНЕНИЯ ФОНДОВ УГЛЕВОДОРОДОВ

Михаил Стернин, Геннадий Шепелев

http://foibg.com/ibs_isc/ibs-22/ibs-22-p04.pdf

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

Ключевые слова: групповой вербальный анализ решений, многокритериальная порядковая классификация, агрегирование признаков, интегральные показатели оценки

ACM ClYsification? Keywords: A.0 General Literature - Conference proceedings

Link:

ГРУППОВОЙ МНОГОКРИТЕРИАЛЬНЫЙ ВЫБОР ВЫЧИСЛИТЕЛЬНЫХ КЛАСТЕРОВ

Алексей Борисович Петровский, Григорий Владимирович Ройзензон

http://foibg.com/ibs_isc/ibs-22/ibs-22-p03.pdf

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

Keywords: кластеризация, неполные данные, прочерки, коллективные решения

ACM Classification Keywords: I.5.3 Computing Methodologies - Pattern recognition - Clustering

Link:

КЛАСТЕРИЗАЦИЯ НЕПОЛНЫХ ДАННЫХ

Владимир Рязанов, Кирилл Тишин, Антон Щичко

http://foibg.com/ibs_isc/ibs-22/ibs-22-p02.pdf

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

Keywords: кластер, решающее правило, дискриминантная функция, линейное и нелинейное программирование, негладкая оптимизация

ACM Classification Keywords: G.1.6 Оптимизация – градиентные методы, I.5 Распознавание образов; I.5.2 Методология проектирования – построение и оценивание классификаторов

Link:

ПОСТРОЕНИЕ НЕЛИНЕЙНЫХ КЛАССИФИКАТОРОВ В СЛУЧАЕ МНОГИХ КЛАССОВ

Ю.И. Журавлев, Ю. П. Лаптин, А.П. Виноградов

http://foibg.com/ibs_isc/ibs-22/ibs-22-p01.pdf

Abstract: В работе описывается экспериментальное исследование целостности знаний, которые были получены студентами после усвоения учебного курса. Под целостностью понимается наличие связей между базовыми понятиями и терминами изученного курса, которые студент осознает и фиксирует. Предполагается, что чем больше таких связей видит студент, тем глубже он усвоил содержание курса. Мотивацией исследования данной проблемы явился поиск количественных критериев для оценки знаний студентов, в том числе и в процессе компьютерного обучения. Метод экспериментальной проверки целостности системы понятий был разработан и опробован автором в 2008 году (его описание было опубликовано в трудах конференции MeL-09). Компьютер помогает в реализации этого метода как при проведении проверки знаний, так и при обработке полученных результатов после ее завершения. В данной работе описаны более поздние результаты, которые были получены по предложенной методике в 2009-2010 годах. В ходе исследования проанализированы ответы более 50 студентов двух разных специальностей, которые изучали курс «Архитектура ЭВМ». Проверка знаний производилась дважды: до и после изучения курса; полученные данные сравнивались между собой. По результатам экспериментов построены серии диаграмм для каждой из групп студентов, принимавших участие в исследовании; различные показатели сопоставлены друг с другом. Анализ результатов показал, что существуют студенты, которые лучше, чем остальные, видят связи между понятиями, причем, как выяснилось, это совсем не обязательно наиболее успешные студенты. На итоговом обобщающем графике удалось выделить четыре области, характеризующиеся разной степенью успешности освоения курса, в каждой из которых полученные в эксперименте параметры проявляют определенные особенности. В частности, довольно неожиданным явился установленный факт надежной фиксации роста целостности знаний у самых слабых студентов.

Keywords: целостность, понятие, структура знаний, оценка, образование, курс..

ACM Classification Keywords: K.3.1 Computer Uses in Education; I.2.6 Learning – Knowledge acquisition.

Link:

ЭКСПЕРИМЕНТАЛЬНОЕ ИЗУЧЕНИЕ ЦЕЛОСТНОСТИ ЗНАНИЙ СТУДЕНТОВ

Евгений А. Еремин

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p09.pdf

Abstract: Управление данными на современном предприятии характеризуется наличием большого количества разнородных источников данных, не связанных едиными механизмами управления, в том числе и слабоструктурированных или неструктурированных данных и т.п. При этом модель данных, лежащая в основе большинства систем, – реляционная – не является эффективной для решения многих задач. Раздельно существуют системы аналитической обработки и оперативного управления данными, системы управления документами и пр. Различные задачи требуют использования различных моделей представления данных. На этом фоне ставится задача интеграции гетерогенных данных, эффективное решение которой требует создания модели интеграции (или «интеграции» различных моделей данных), которую можно было бы рассматривать как основу для реализации системы, поддерживающей оперативное управление разнородными данными и их аналитическую обработку. Предлагается модель интеграции данных, в которой должны поддерживаться унифицированное представление разнородных источников данных, управление ограничениями целостности, управление выполнением операций манипулирования данными и запросов, согласование данных из разных источников, возможность расширения и настройки на новые источники данных. Существующие подходы к интеграции гетерогенных данных имеют ограничения, которые не позволяют в полной мере говорить об их универсальности. Предлагаемый подход к интеграции основан на рекурсивной декомпозиции источников данных, при которой каждый источник данных последовательно разбивается на атомарные элементы данных, причем на каждом уровне рекурсивной вложенности данные и их описания представляются единообразно. Такая модель позволяет осуществлять интеграцию различных источников данных на любом уровне посредством задания связей между произвольными элементами схемы, ограничений целостности и допустимых операций. Разработанная модель представления источников данных, которая позволяет осуществлять многоуровневую интеграцию гетерогенных источников данных в единое информационное пространство, обеспечивает поддержку ограничений целостности на любом уровне интеграции источников данных, а также поддержку структурных и ассоциативных связей между источниками данных на любом уровне интеграции. Обеспечивается возможность динамического изменения схемы данных, а также расширяемость системы за счет новых моделей данных.

Keywords: модель данных, гетерогенные системы, интеграция.

ACM Classification Keywords: H. Information Systems: H.2. DATABASE MANAGEMENT (E.5): H.2.1. Logical Design – Data models.

Link:

ИНТЕГРАЦИЯ ГЕТЕРОГЕННЫХ ИСТОЧНИКОВ ДАННЫХ НА ОСНОВЕ РЕКУРСИВНОЙ ДЕКОМПОЗИЦИИ

Алексей Кашников, Людмила Лядова

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p08.pdf

Abstract: На основе анализа физики взаимодействий материальных объектов предложена крупноблочная мета-модель мира в виде множества Е-i-E-i-E компонент, содержащих каморки, в каждой из которых могут быть отображены объекты универсума. Каморки объединены в модули. 3-мерная композиция модулей отображает основные категории бытия и процесс взаимодействия объектов. Приведен пример конкретной модели, отображающей 16 категорий материальных и информационных объектов. Модель может быть реализована программно либо выполнена физически в виде кубуса, состоящего из 17 модулей.

Keywords: universum, OBJECT, INTERACTIONS, IMAGE, COMMUNICANT

ACM Classification Keywords: GIT 2011, H.1.1 Systems and Information Theory; I.2.4 Knowledge Representation Formalisms and Methods.

Link:

ФИЗИКО-ОНТОЛОГИЧЕСКИЙ ПОДХОД К ПОСТРОЕНИЮ ЦЕЛОСТНОЙ КАРТИНЫ МИРА

Meржвинский Анатолий Александрович

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p07.pdf

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

Keywords: интеллектуальные системы, онтология, база знаний, решатель задач, пользовательский интерфейс.

ACM Classification Keywords: D.1 Техника программирования D.2.2 Методы и средства проектирования D.2.10 Проектирование D.2.11 Программные архитектуры H.1 Модели и правила H.1.1 Теория систем и информации.

Link:

ПРОБЛЕМЫ СОЗДАНИЯ ЖИЗНЕСПОСОБНЫХ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ И МЕТОДЫ ИХ РЕШЕНИЯ

Валерия Грибова, Александр Клещев

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p06.pdf

Аннотация: Показано, что для нитей ДНК возможно два вида симметрии, но в природе реализован один более эффективный способ записи и считывания информации. Доказано, что из симметрии последовательностей оснований вытекает симметрия коротких последовательностей, в том числе отдельных оснований. На основе модели цепей Маркова показано, что симметрия последовательностей оснований вытекает из симметрии пар оснований.

Ключевые слова: основания, комплементарность, симметрия, цепь Маркова, переходные вероятности.

ACM Classification Keywords: G.3 Probability and statistics.

Link:

СИММЕТРИЯ В ЗАПИСИ ГЕНЕТИЧЕСКОЙ ИНФОРМАЦИИ В ДНК

Анатолий Гупал, Александра Вагис

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p05.pdf

Abstract: Обсуждаются проблемы мульти-агентной (групповой) навигации и интеллектуального управления движением мехатронных роботов в динамической среде с препятствиями. Определяются понятия глобальной управляемости и стабилизируемости программных движений мульти-агентных робототехнических систем и рассматриваются критерии оптимизации, устойчивости и синхронизации программных движений мехатронных роботов-агентов. Даётся сравнительный анализ четырёх поколений локальных систем навигации и управления движением и стратегий централизованного, децентрализованного и мульти-агентного управления информационными потоками в сложных робототехнических системах. Значительное внимание уделяется методам мульти-агентной навигации и интеллектуального управления и их приложениям в информатике и робототехнике.

Keywords: Интегрированные системы, интеллектуальное управление, групповая навигация, мехатронные агенты, мульти-агентные робототехнические системы.

ACM Classification Keywords: H.1.1 Systems and Information Theory

Link:

ПРИНЦИПЫ ПОСТРОЕНИЯ ИНТЕГРИРОВАННЫХ СИСТЕМ МУЛЬТИ-АГЕНТНОЙ НАВИГАЦИИ И ИНТЕЛЛЕКТУАЛЬНОГО УПРАВЛЕНИЯ МЕХАТРОННЫМИ РОБОТАМИ

Тимофеев Адиль Васильевич, Юсупов Рафаэль Мидхатович

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p04.pdf

Аннотация: Описывается абстрактный тип данных ``натуральное число'' как многоосновная алгебраическая система, пополненная операторами рекурсии и индукции. Исследуются пределы, до которых распространяется действие рекурсии и индукции на множества, отличные от множества натуральных чисел. Ключевые слова: многоосновные алгебры, абстрактный тип данных, трансфинитная рекурсия.

Keywords: MSC, verification, RAD.

ACM Classification Keywords: D.2.4 Software/Program Verification - Formal methods

Link:

МНОГООСНОВНЫЕ АЛГЕБРЫ, АБСТРАКТНЫЕ ТИПЫ ДАННЫХ И ТРАНСФИНИТНАЯ РЕКУРСИЯ

Крывый С.Л.

http://foibg.com/ijitk/ijitk-vol05/ijitk05-3-p03.pdf