[№4 за 2009 год] Авторы: Синюк В.Г. (lysevi@gmail.com) - Белгородский государственный технологический университет им. В.Г. Шухова, Северо-Кавказский филиал, г. Минеральные Воды, кандидат технических наук; Любимов С.В. (lysevi@gmail.com) - Белгородский государственный технологический университет им. В.Г. Шухова, Северо-Кавказский филиал, г. Минеральные Воды; Аннотация: В статье приводятся постановка задачи и ее описание. Выделяются основные параметры для описания. Для решения представленной задачи предлагается генетический алгоритм с измененными генетическими операторами. Приводятся описания алгоритма и всех изменений в операторах, а также его тестирование на тестовых задачах Соломона. Результаты сравниваются с лучшими мировыми достижениями.
Abstract: The article provides a problem statement and its description. There are the basic parameters for the description. To solve the problem of the proposed genetic algorithm with modified genetic operators. A description of the algorithm, a description of all changes in the operators, as well as testing for test problems of Solomon. The results are compared with the best global results
В статье приводятся постановка задачи и ее описание. Выделяются основные параметры для описания. Для решения представленной задачи предлагается генетический алгоритм с измененными генетическими операторами. Приводятся описания алгоритма и всех изменений в операторах, а также его тестирование на тестовых задачах Соломона. Результаты сравниваются с лучшими мировыми достижениями.
Синюк В.Г. (lysevi@gmail.com) - Белгородский государственный технологический университет им. В.Г. Шухова, Северо-Кавказский филиал, г. Минеральные Воды, кандидат технических наук; Любимов С.В. (lysevi@gmail.com) - Белгородский государственный технологический университет им. В.Г. Шухова, Северо-Кавказский филиал, г. Минеральные Воды;
[№4 за 2009 год] Авторы: Манцивода А.В. (stukushin@ya.ru) - Иркутский государственный университет, доктор физико-математических наук; Стукушин Н.О. (stukushin@ya.ru) - Иркутский государственный университет; Аннотация: В статье развивается подход к формализации спецификаций, основанный на методах семантического веба (Semantic Web, SW) и онтологиях. Во-первых, онтологии хороши для описания строгой формальной семантики спецификаций. Во-вторых, представление конкретных конструкций, описываемых в спецификациях, в виде компонент онтологий может использоваться как инструмент прямого действия в соответствующих реализациях.
Abstract: In this paper we consider an approach to formalization of specifications based on the Semantic Web methods and ontologies. First, ontologies are good for the description of the formal and strict semantics of specifications. Second, specification constructs represented as components of ontologies can be directly used in relevant implementations, making these implementations also part of the SW.
В статье развивается подход к формализации спецификаций, основанный на методах семантического веба (Semantic Web, SW) и онтологиях. Во-первых, онтологии хороши для описания строгой формальной семантики спецификаций. Во-вторых, представление конкретных конструкций, описываемых в спецификациях, в виде компонент онтологий может использоваться как инструмент прямого действия в соответствующих реализациях.
[№4 за 2009 год] Авторы: Рыбина Г.В. (sspar@aplana.com) - Национальный исследовательский ядерный университет (МИФИ), доктор технических наук; Паронджанов С.С. (sspar@aplana.com) - Национальный исследовательский ядерный университет (МИФИ), кандидат технических наук; Аннотация: Описывается опыт применения системы имитационного моделирования взаимодействия интеллектуальных агентов. Основными целями создания системы является проверка применимости предлагаемых моделей, методов и алгоритмов взаимодействия интеллектуальных агентов и их архитектур при разработке прототипов многоагентных систем для различных проблемных областей. Приводятся примеры из реализованных прототипов многоагентных систем для нескольких приложений.
Abstract: The paper describes the experience of usage of the system of imitational modeling for interaction in intelligent agents (IMIIA). The main objective of the IMIIA design is to check the applicability of the proposed models, methods and algorithms for intelligent agents interaction and their architectures in the development of MAS prototypes for various problem areas. Examples of implemented MAS prototypes for several applications have been provided.
Описывается опыт применения системы имитационного моделирования взаимодействия интеллектуальных агентов. Основными целями создания системы является проверка применимости предлагаемых моделей, методов и алгоритмов взаимодействия интеллектуальных агентов и их архитектур при разработке прототипов многоагентных систем для различных проблемных областей. Приводятся примеры из реализованных прототипов многоагентных систем для нескольких приложений.
[№4 за 2009 год] Авторы: Чернова Е.В. (echernova@masu-inform.ru) - Магнитогорский государственный университет, кандидат педагогических наук; Попова Е.В. (echernova@masu-inform.ru) - Магнитогорский государственный университет; Попова И.В. (echernova@masu-inform.ru) - Магнитогорский государственный университет, кандидат педагогических наук; Зленко И.В. (echernova@masu-inform.ru) - Магнитогорский государственный университет; Аннотация: В статье рассмотрены основные угрозы безопасности информационной системы поддержки научных исследований вуза, приводятся требования политики информационной безопасности системы, позволяющие снизить вероятность реализации выявленных угроз.
Abstract: In article the main threats of an intelligence system of support of researches of high school are considered, requirements of a policy of informational safety of the system are resulted, allowing to lower probability of implementation of the revealed threats.
В статье рассмотрены основные угрозы безопасности информационной системы поддержки научных исследований вуза, приводятся требования политики информационной безопасности системы, позволяющие снизить вероятность реализации выявленных угроз.
[№4 за 2009 год] Авторы: Гаджиев Б.Р. (gadjiev@uni-dubna.ru) - Международный университет природы, общества и человека, г. Дубна, доктор физико-математических наук; Гибина Е.Ю. (gadjiev@uni-dubna.ru) - Международный университет природы, общества и человека, г. Дубна; Прогулова Т.Б. (gadjiev@uni-dubna.ru) - Международный университет природы, общества и человека, г. Дубна, кандидат технических наук; Щетинина Д.П. (gadjiev@uni-dubna.ru) - Международный университет природы, общества и человека, г. Дубна; Аннотация: Исследованы топология и устойчивость локально-мировых сетей. Рассмотрены различные стратегии формирования локального мира. Определены распределения степеней и характер корреляций в рассматриваемых сетях. Обсуждается устойчивость локально-мировых сетей к случайным отказам и направленным атакам.
Abstract: The topology and the resistance of local-world networks are investigated. Different strategies of the local-world forming are analyzed. The degree distribution and the correlation type in considered networks are defined. The resistance of local-world networks to random failures and targeted attacks is considered.
Keywords: complex networks, scale-free networks, local-world networks, degree distribution, correlated networks, random failures, targeted attacks, resistance of networks.
Исследованы топология и устойчивость локально-мировых сетей. Рассмотрены различные стратегии формирования локального мира. Определены распределения степеней и характер корреляций в рассматриваемых сетях. Обсуждается устойчивость локально-мировых сетей к случайным отказам и направленным атакам.
[№4 за 2009 год] Авторы: Чернецова Е.А. (chernetsova@list.ru) - Российский государственный гидрометеорологический университет, г. Санкт-Петербург, кандидат технических наук; Аннотация: Предложена информационная система взаимодействия с базой данных ГИС. Она представляет собой сетевое приложение и позволяет получать доступ к спутниковой мониторинговой информации многим пользователям, которые могут анализировать изображения и сохранять результаты анализа для эффективного и быстрого обнаружения объектов. Предлагаемая информационная система имеет программную реализацию.
Abstract: An informational System of GIS database interaction is proposed. It represents web-application and allows to access satellite monitoring information for many users which can analyze images and store their analysis results for effective and quick object detection. The proposed informational System has a program realization.
Предложена информационная система взаимодействия с базой данных ГИС. Она представляет собой сетевое приложение и позволяет получать доступ к спутниковой мониторинговой информации многим пользователям, которые могут анализировать изображения и сохранять результаты анализа для эффективного и быстрого обнаружения объектов. Предлагаемая информационная система имеет программную реализацию.
Чернецова Е.А. (chernetsova@list.ru) - Российский государственный гидрометеорологический университет, г. Санкт-Петербург, кандидат технических наук;
[№4 за 2009 год] Авторы: Суконщиков А.А. (avt@vstu.edu.ru) - Вологодский государственный технический университет, кандидат технических наук; Суконщиков К.А. (avt@vstu.edu.ru) - Вологодский государственный технический университет; Аннотация: В статье рассматриваются вопросы построения интегрированной системы проектирования ситуационного агентного моделирования. Модели агентов позволяют провести исследование различных ситуаций, которые возникают в сложной динамической системе. Все модели агентов выполнены на базе единого математического аппарата – интегрированных атрибутных сетей Петри, которые включают в себя такие расширения, как нечеткие сети Петри, предикатно-переходные сети, нейронные сети Петри.
Abstract: In article questions of construction of the integrated system of designing situational agent modelling are considered. Models of agents allow to carry out research of various situations which arise in complex dynamic system. All models of agents are executed on the basis of the uniform mathematical device – integrated attribute networks Petri which include such expansions as the indistinct networks Petri, predicate-transitive networks, the neural networks Petri.
В статье рассматриваются вопросы построения интегрированной системы проектирования ситуационного агентного моделирования. Модели агентов позволяют провести исследование различных ситуаций, которые возникают в сложной динамической системе. Все модели агентов выполнены на базе единого математического аппарата – интегрированных атрибутных сетей Петри, которые включают в себя такие расширения, как нечеткие сети Петри, предикатно-переходные сети, нейронные сети Петри.
[№4 за 2009 год] Авторы: Афанасьев А.П. (apa@isa.ru) - Институт проблем передачи информации им. А.А. Харкевича РАН (ИППИ РАН), Московский государственный университет им. М.В. Ломоносова (профессор), доктор физико-математических наук; Посыпкин М.А. (mposypkin@mail.ru) - Институт системного анализа РАН, Центр грид-технологий и распределенных вычислений, г. Москва; Хританков А.С. (ahritankov@hotmail.ru) - Московский физико-технический институт; Аннотация: В работе рассматривается подход к определению понятия производительности в распределенных вычислительных системах и к анализу эффективности их работы. Отсутствие адекватных характеристик ограничивает возможности для количественного анализа эффективности систем данного класса, которые становятся все более распространенными.
Abstract: Parallel computing allows for solving large problems much faster and the efficiency metrics are defined and well-known. There are no such metrics or performance models for distributed systems that are becoming more widely spread. In this paper, we address the problem of defining what does it mean a distributed system is efficient or has high performance? We propose a natural extension of a classical analytical performance model to distributed systems.
В работе рассматривается подход к определению понятия производительности в распределенных вычислительных системах и к анализу эффективности их работы. Отсутствие адекватных характеристик ограничивает возможности для количественного анализа эффективности систем данного класса, которые становятся все более распространенными.
Афанасьев А.П. (apa@isa.ru) - Институт проблем передачи информации им. А.А. Харкевича РАН (ИППИ РАН), Московский государственный университет им. М.В. Ломоносова (профессор), доктор физико-математических наук; Посыпкин М.А. (mposypkin@mail.ru) - Институт системного анализа РАН, Центр грид-технологий и распределенных вычислений, г. Москва; Хританков А.С. (ahritankov@hotmail.ru) - Московский физико-технический институт;
[№4 за 2009 год] Авторы: Пономарев Д.Ю. (dupon777@mail.ru) - Сибирский федеральный университет, г. Красноярск, кандидат технических наук; Аннотация: Представлены результаты разработки программной системы для определения вероятностно-временных характеристик пакетных сетей узловым методом тензорного анализа. Разработанная программа определяет загрузку узлов сетей тензорным методом с целью использования полученных результатов для нахождения исследуемых параметров систем: длины очередей, времени задержки в ветвях, вероятности переполнения и стационарных вероятностей состояний для каждой системы.
Abstract: There is presents results of program system engineering for packet networks probability-time characteristics estimation with using “nodal” method of tensor analysis. Developed program compute network nodes utilization with tensor method for the purpose of using derived results for determination of systems parameters: queue lengths, systems delay time, overflow and stationary probabilities for every of systems.
Представлены результаты разработки программной системы для определения вероятностно-временных характеристик пакетных сетей узловым методом тензорного анализа. Разработанная программа определяет загрузку узлов сетей тензорным методом с целью использования полученных результатов для нахождения исследуемых параметров систем: длины очередей, времени задержки в ветвях, вероятности переполнения и стационарных вероятностей состояний для каждой системы.
[№4 за 2009 год] Авторы: Бояринов Ю.Г. (byg@yandex.ru) - Филиал Московского энергетического института (технического университета) в г. Смоленске, кандидат технических наук; Дли М.И. (midli@mail.ru) - Филиал Московского энергетического института (технического университета) в г. Смоленске (профессор, зам. директора по научной работе), доктор технических наук; Аннотация: Рассмотрен поисковый алгоритм минимизации скалярной функции многих переменных при неявном задании функции и интервальных ограничениях на переменные. Суть алгоритма, в предположении, что наименьшее значение функция принимает в одной из вершин гиперпараллелепипеда – области допустимых значений аргументов, состоит в последовательном обходе вершин из начальной точки в сторону убывания функции. Предложена программная реализация алгоритма в среде MATLAB.
Abstract: The article deals with the search scalar function algorithm minimization of many variables with implicit function and interval limitation on variables. The main idea of algorithm, that the least value the function takes at one of the hypeparallelepiped apexes – the area of possible values argument, is in successive bypass of apexes from the initial point to the function decrease. The program algorithm realization is suggested in the MATLAB sphere.
Рассмотрен поисковый алгоритм минимизации скалярной функции многих переменных при неявном задании функции и интервальных ограничениях на переменные. Суть алгоритма, в предположении, что наименьшее значение функция принимает в одной из вершин гиперпараллелепипеда – области допустимых значений аргументов, состоит в последовательном обходе вершин из начальной точки в сторону убывания функции. Предложена программная реализация алгоритма в среде MATLAB.
Бояринов Ю.Г. (byg@yandex.ru) - Филиал Московского энергетического института (технического университета) в г. Смоленске, кандидат технических наук; Дли М.И. (midli@mail.ru) - Филиал Московского энергетического института (технического университета) в г. Смоленске (профессор, зам. директора по научной работе), доктор технических наук;