НовостиВыпускиАвторыТребованияКонтакты

Таврический Вестник Информатики и Математики


Главное Меню



Новости

Все Выпуски

Авторы Публикаций

Члены Редакционного Совета

Требования К
Оформлению Статей


Адрес Редакции

Скачать
Стилевой Файл


Скачать Пример
Статьи в TEX




[Зайти На Сайт]


 Ramblers Top100

Rating@Mail.ru
  Информатика и программирование

ТВИМ №2 за 2006



УДК: 517.432, стр.: 42-46
Карпенко Ирина Ивановна

Дефектные подмодули кососимметрических операторов в гильбертовых кватернионных бимодулях



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

В роботі вводиться визначення дефектного підмодулю кососиметричного оператора, що дієть у гільбертовому кватерніонному бімодулі. Встановлений зв'язок між дефектними підмодулями кососіметричеського оператора та його сімплектичного образу, наведені формули фон Неймана для спряженого оператора.

In this paper the defect submodule of skew-symmetric operator acting in a quaternionic Hilbert bimodule is constructed. The relation between defect submodules of the such operator and its symplectic image is received, so the analogue of von Neumann formulaes for the adjoint operator are given.
УДК: 532.5: 517.98, стр.: 3-27
Копачевский Николай Дмитриевич

Собственные колебания вращающегося слоя идеальной жидкости



In the paper, eigenoscillations of a thin layer of a rotating ideal fluid (shallow water approximation) are considered. It's proved that this limitting case is an adequate model for investigating of surface waves and isn't an adequate one for study of inner inertial waves due to Corioles force.
УДК: 519.8, стр.: 85-88
Козлов Александр Иванович

ACM-Олимпиады как форма подготовки специалистов в области информационных технологий



Статья посвящена ACM-Олимпиадам как форме подготовки специалистов в области информационных технологий.

Стаття присвячена ACM-олімпіадам як формі підготовки фахівців в галузі інформаційних технологій.
УДК: 519.713.1: 51.681.3, стр.: 60-68
Лукьянова Елена Александровна

Метод верификации свойств реактивной системы на модели



В работе описывается подход к верификации асинхронных дискретных динамических реактивных систем, основанный на использовании темпоральной логики (CTL - Computation Tree Logic), сетей Петри (СП) и систем линейных диофантовых ограничений (СЛДО).

У роботі пропонується метод веріфікації асинхронних дискретних динамічних реактивних систем, що грунтується на використанні темпоральної логіки (CTL - Computation Tree Logic), мереж Петрі (МП) та систем лінійних однорідних діофантових обмежень (СЛОДО).
УДК: 519.68: 681.513.7, стр.: 69-74
Махина Галина Анатольевна

Тупиковые доопределения частичных монотонных булевых функций из класса (n,1,k)



В работе доказано, что любое тупиковое доопределение частичной булевой функции из класса (n,1,k) имеет нулевую область неопределенности. Выделены условия, при которых доопределение функции из класса (n,1,k) является однозначным.

У роботі доведено, що бедь-яке тупікове довизначення часткової булевої функції з класу (n,1,k) має нульову область невизначенності. Виділені умови, при яких довизначення функції з класу (n,1,k) є однозначним.
УДК: 517.98, стр.: 47-59
Муратов Мустафа Абдурешитович, Пашкова Юлия Сергеевна

Доминантная эргодическая теорема в пространствах Орлича измеримых функций на полуоси



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

У даніх роботі доведено аналог домінантної ергодичної теореми для абсолютних стисків у прострорах Орліча вимірних функцій на додатній напівосі.
УДК: 519.68, стр.: 28-41
Щербина Олег Александрович

Элиминационные алгоритмы декомпозиции



Рассмотрен класс элиминационных алгоритмов декомпозиции задач дискретной оптимизации, включающий локальные алгоритмы декомпозиции, алгоритмы несериального динамического программирования, алгоритмы сгментной элиминации, методы древовидной декомпозиции. Сделан обзор и описаны основные черты элиминационных алгоритмов декомпозиции, представляющих собой есьма перспективный подход к решению задач дискретной оптимизации большой размрности.

Розглянуто клас елімінаційних алгоритмів декомпозиції задач дискретної оптимізації, що включає локальні алгоритмм сегментної елімінації, методи деревоподібної декомпозиції. Зроблено огляд і описані основні риси елімінаційних алгоритмів декомпозиції, що представляють собою досить персективний підхід, який дозволяє в ряді випадків вирішувати задачі дискретної оптимізації великої розмірності.
УДК: 519.8, стр.: 75-84
Шульгин Виктор Викторович

Решение задачи преследования методами нейроэволюции



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

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


2003-2008, г. Симферополь ©Таврический Университет им. В.И.Вернадского,
© Крымский научный центр Национальной Академии наук и Министерства образования и науки Украины