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

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


Главное Меню



Новости

Все Выпуски

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

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

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


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

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


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




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


 Ramblers Top100

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

ТВИМ №1 за 2006



УДК: 658.012.011.56, стр.: 116-126
Атоев Константин Леонович, Пепеляев Владимир Анатольевич

Математическая модель для исследования влияния флуктуации на трансформацию пространства безопасности



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

Запропонована математична модель для дослідження виливу флуктуацій різного ге-незу на трансформацію полей техногенних, соціогенних, економічних та природних ризиків за допомогою методів теорії катастроф, теорії хаосу та біфуркацій. Модель дозволяє проводити дослідження нелінійної динаміки виникнення катастроф, оцінювати рівні техногенної та природної вразливості та ефективності політики у сфері соціальної та економічної безпеки.
УДК: 519.7, стр.: 55-61
Дюличева Юлия Юрьевна

Применение эмпирического решающего леса для фильтрации обучающих данных



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

У статті запропановано алгоритм виявлення чистих викідів на основі емпіричного роз`вязуючого лісу рангу r. Емпірично обгрунтовано збільшення узагальнюючої здатності роз`вязуючого дерева після фільтрації у порівнянні з роз`вязуючим деревом, побудованим до фільтрації.
УДК: 004.934.1`1, стр.: 127-132
Ермоленко Татьяна Владимировна

Методика формирования эталонов фонем, базирующаяся на вейвлет-преобразовании Морле



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

При створенні систем розпізнавання мови важливу роль грає вибір ознак, на основі яких формуються еталони звуків мови. Для рішення цієї задачі в статті розроблена методика формування еталонів фонем, що базується на вейвлет-перетворенні. Для підвищення імовірності розпізнавання для кожної пари класів фонем з наявного набору ознак вибирається оптимальний, по якому виробляється поділ цих класів
УДК: 519.68: 681.513.7, стр.: 44-49
Файзулин Рашит Тагирович

Применение метода последовательных приближений с инерцией к решению задачи 3-ЗАТ



Рассмотрен переход от задачи ВЫПОЛНИМОСТЬ к задаче минимизации функционала специального вида. Исследованы уравнение относительно стационарных точек функционала и производные операторы ассоциированного с уравнением оператора. Предложена модификация метода последовательных приближений для решения уравнения относительно стационарных точек.

Розглянуто перехід від задачі ЗДІЙСНЕННІСТЬ до задачі мінімізації функціонала спеціального виду . Досліджено рівняння щодо стаціонарних крапок функціонала і похідні оператори асоційованого з рівнянням оператора. Запропоновано модифікацію методу послідовних наближень для рішення рівняння щодо стаціонарних крапок.
УДК: 004.934.1`1, стр.: 97-108
Федоров Евгений Евгениевимч

Проблема естественно-языковых интерфейсов в системах управления



Для разработки естественно-языкового интерфейса автоматизированной системы управления (АСУ) в статье предлагается методология создания семиотико-алгебраической (СЕМАЛ) модели технического языка, на котором осуществляется взаимодействие между человеком и АСУ. В рамках этой методологии излагается методика анализа и синтеза форм слов.

Для розробки природно-мовного інтерфейсу автоматизованої системи керування (АСУ) у статті пропонується методологія створення семіотико-алгебраїчної (СЕМАЛ) моделі технічної мови, на якому здійснюється взаємодія між людиною й АСУ. У рамках цієї методології викладається методика аналізу і синтезу форм слів.
УДК: 517, стр.: 71-79
Ильченко Анатолий Васильевич

Оценка неслучайности интервальных импликативных зависимостей, содержащихся в булевых таблицах данных



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

У статті розглядається поняття інтервальної імлікативної залежності і статистична оцінка невипадковості виникнення такої залежності у булевих таблицях емпіричних даних.
УДК: 519.8, стр.: 34-43
Хачай Михаил Юрьевич

О вычислительной и аппроксимационной сложности задачи о минимальном аффинном разделяющем комитете



Рассматриваются две комбинаторных задачи, связанные с обучением распознаванию образов: задача проверки существования аффинного разделяющего комитета из 3-х элементов (3-А8С) и задача о минимальном по числу элементов аффинном разделяющем комитете (МА8С). Показано, что задача 3-А8С ЖР-полна, а задача МА8С .ЛГР-трудна и не принадлежит классу Арх. Обсуждается новый приближенный алгоритм для задачи МА8С.

Розглянуто дві комбінаторні задачі пов`язані з навчанням розпізнаванню образів: задача перевірки існування аффінного поділяючого комітету з 3-х елементів (3-АSС) і задача про мінімальний за числом елементів аффінний поділяючий комітет (МАSС). Показано, що задача 3-АSС NP-повна, а задача МАSС NP-важка і не належить до класу Арх. Обговорюється новий наближений алгоритм для задачі МАSС.
УДК: 519.21, стр.: 14-22
Кнопов Павел Соломонович, Пепеляева Татьяна Владимировна

Выделение точек, обладающих принципом "Ц"



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

У статті пропонується досить простий для реалізації алгоритм розвєязку дуже важливої при розпізнаванні невідомих обїєктів задачі визначення ступені залежності між віпадковими вібірками спостережень для випадку гаусівських випадкових величин.
УДК: 519.8, стр.: 133-138
Козлова Маргарита Геннадьевна

Программный комплекс MULTIBOOL решения задачи многокритериальной псевдобулевой оптимизации с неполной начальной информацией о критериях



В статье приведено описание программной реализации задачи многокритериальной псевдобулевой оптимизации с неполной начальной информацией о критериях. Основные теоретические результаты изложены в [8], приведены описания алгоритмов решения таких задач в случае с полной и частичной информацией о критериях. Алгоритмы полного перебора, линейной свертки критериев и локального поиска реализованы программно в среде Visual С++6.

Розглядається задача багатокритеріальної псевдобулевої оптимізації у випадку, коли цільові функції задані не повністю. Проведено аналіз алгоритмів (метод гілок і меж, лінійна згортка критеріїв, локальний пошук) розв`язку двокритеріальних задач псевдобулевої лінійної оптимізації, коли критерії представлені інформацією про знаки коефіцієнтів.
УДК: 51.681.3, стр.: 7-13
Кривой Сергей Лукьянович, Чеботарев Анатолий Николаевич

Усовершенствованный метод проверки выполнимости множества дизъюнктов в языке L.



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

Мова L використовується для специфікації скінченних автоматів і являє собою фрагмент логіки першого порядку з унарними предикатами. Перевірка викоуваності специфікації відіграє важливу роль при проектуванні реактивних алгоритмів. Обмеженність синтаксису цієї мови і її інтерпретація на мноєині цілих чисел дає можливість суттєво покращити резолюційні методи для перевірки виконуваності формул. В даній роботі пропонується удосконалений резолюційний метод для перевірки виконуваності формул, що грунтується на обмеженні вигліду атомів, за якими допускається резолюція.
УДК: 519.68: 681.513.7, стр.: 139-144
Махина Галина Анатольевна

Лексикографический подход к оптимизации множества кусочно-линейных ограничений



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

У роботі розгляда ється задача відновлення шматково-лінійно обмежень, що виникає в проблемах оптимизації з неповними даними. Для відновлення обмежень використовується перцептрон і пропонується лексикографічна процедура оптимизації одержанного рішення. На основі початкових даних і перцептрона будується квадратна матриця, яка приводиться до оптимального вігляду за рахунок виділення порівнянних пар векторів-рядків і викреслювання з матриці рядків і стовпців, відповідних нижньому вектору. При цьому з перцептрона також виключається відповідний віхідний нейрон.
УДК: 681.3.06, стр.: 80-89
Михайлов Дмитрий Владимирович, Емельянов Геннадий Мартинович

Модель сортовой системы языка в задаче построения семантического образа высказывания на уровне глубинного синтаксиса



В статье рассматривается (на материале русского языка) методика использования информации теории Семантического Класса (сорта) объекта реальности, обозначаемого словом, для устранения неоднозначностей при построении дерева глубинного синтаксиса анализируемой фразы Естественного Языка. Особое внимание уделяется формализованному описанию теорий для Лексических Значений слов и задаваемых ими отношений. Предлагается основанный на идеях и методах Формального Концептуального Анализа подход к систематизации указанных теорий.

У статті розглядається (на матеріалі російської мови) методика використання інформації теорії Семантичного Класу (сорту) об`єкту реальності, який позначається словом, для усунення багатозначностей при побудові дерева глибинного синтаксису аналізованої фрази Натуральної Мови. Особлива увага приділяється формалізованому опису теорій для Лексичних Значень слів і відносин, що задаються ними. Пропонується заснований на ідеях і методах Формального Концептуального Аналізу підхід до систематизації вказаних теорій.
УДК: 681.327.12, стр.: 109-115
Моттль Вадим Вячеславович, Сулимова Валенитина Вячеславовна, Татарчук Александр Игоревич

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



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

У статті запропановано підхід, який дозволяє здійснити автоматичний вибір найбільш інформативних елементів багатокомпонентних сигналів різної тривалості, визначених уздовж осі дискретного аргументуб а також приводиться приклад застосування даного підходу для веріфікації особистості за динамікою підпису.
УДК: 519.859, стр.: 23-33
Ногин Владимир Дмитриевич, Волкова Наталия Александровна

Эволюция принципа Эджворта-Парето



Прослеживается развитие известного в принятии решений принципа Эджворта-Парето от «наивной» версии девятнадцатого века до наиболее общего к настоящему времени его аксиоматического варианта в терминах нечеткой функции выбора.

У статті просліджується розвиток відомого у прийнятті рішень принципу Еджворта-Парето від «наївної» версії дев`ятнадцятого століття до більш загального до дійсного часу його аксіоматичного варіанту у термінах нечіткої функції вибору.
УДК: 519.8, стр.: 50-54
Сапоженко Александр Антонович

Верхняя оценка числа независимых множеств в квазирегулярных графах



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

У статті получено нові верхні оцінки для числа незалежних множин у графах великого мінімального ступеня вершини.
УДК: 004.932, стр.: 90-96
Снежко Эдуард Витальевич, Тузиков Александр Васильевич

Построение поверхностных и объемных моделей объектов медицинских изображений



В работе рассмотрены алгоритмы построения поверхностных моделей объектов трехмерных медицинских изображений при помощи деформируемых моделей — алгоритм, основанный на симплекс-сетях и на 2.5D активных контурах. Были проведены эксперименты по генерации объемных моделей по поверхностным моделям при помощи средств автоматизированного проектирования и моделированию реакции объектов на воздействие нагрузок.

У статті розглянуто алгоритми побудови поверхневих моделей об`єктів тривиміпних медичних зображень за допомогою деформуємих моделей — алгоритм, який засновано на симплекс-мережах і на 2.5D активних контурах. Було проведено експерименти по генерації об`ємних моделей по поверхневим моделям за допомогою засобів автома-тизованного проектування і моделювання реакції об`єктів на вплив навантажень.
УДК: 517.7, стр.: 62-70
Тихомиров Михаил Георгиевич

Об одном подходе к синтезу «простых» алгоритмов классификации



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

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


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