автореферат разослан «13» марта 2012 года 




Скачать 138.79 Kb.
PDF просмотр
Название  автореферат разослан «13» марта 2012 года 
страница1/8
Дата конвертации05.10.2012
Размер138.79 Kb.
ТипАвтореферат
  1   2   3   4   5   6   7   8

На правах рукописи 
 
 
 
 
 
 
Рогова Ольга Александровна 
 
 
 
 
ПОДХОД К ОЦЕНКЕ РЕПРЕЗЕНТАТИВНОСТИ 
СЛУЧАЙНО СГЕНЕРИРОВАННЫХ 
ДИСКРЕТНЫХ СТРУКТУР 
НА ПРИМЕРЕ НЕДЕТЕРМИНИРОВАННЫХ 
КОНЕЧНЫХ АВТОМАТОВ 
 
 
05.13.18 – математическое моделирование,  
численные методы и комплексы программ 
 
 
АВТОРЕФЕРАТ 
диссертации на соискание ученой степени 
кандидата физико-математических наук 
 
 
 
 
Тольятти – 2012 


Работа  выполнена  в  ФГБОУ  ВПО  «Тольяттинский  государственный  
университет» 
 
 
Научный руководитель: 
доктор физико-математических наук,  
профессор Мельников Борис Феликсович 
 
Официальные оппоненты: 
доктор технических наук,  
профессор Кацюба Олег Алексеевич 
 
 
 
 
 
 
кандидат физико-математических наук,  
доцент Михеева Елизавета Алексеевна 
 
Ведущая организация:   
Ульяновский государственный 
педагогический университет им. И.Н.Ульянова 
 
Защита  диссертации  состоится  «13»  апреля  2012  года  в  15:00  часов  на  заседа-
нии диссертационного совета Д212.264.03 при Тольяттинском государственном 
университете по адресу: 445667, Тольятти, ул. Белорусская, 14. 
С  диссертацией  можно  ознакомиться  в  библиотеке  Тольяттинского  государст-
венного  университета,  с  авторефератом  –  на  сайте  диссертационного  совета 
http://edu.tltsu.ru/sites/site.php?s=1496. 
Отзывы  по  данной  работе    в  двух  экземплярах,  заверенные  печатью  организа-
ции, просим направлять по адресу: 445667, Тольятти,  ул. Белорусская, 14, ТГУ, 
диссертационный совет Д 212.264.03. 
 
 
Автореферат разослан «_13_» марта 2012 года 
 
 
Учёный секретарь 
диссертационного совета Д 212.264.03                                         
к.п.н., доцент  
 
 
 
 
 
 
 
Пивнева С.В. 


1. 
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ 
Актуальность темы 
Тематика  настоящей  работы  (исследование  репрезентативности  случайно  сге-
нерированных  входных  данных,  применяемое  для  различных  задач  дискретной 
оптимизации)  в  настоящее  время  считается  специалистами  практически  неис-
следованной. Это в первую очередь касается отсутствия общей теории, которую 
фактически  приходится  создавать  заново  для  каждой  рассматриваемой  пред-
метной области1. Данная работа не претендует на создание такой общей теории 
–  однако  может  рассматриваться  как  начало  работ  в  данном  направлении;  она 
фактически формулирует необходимый подход для целого класса задач, связан-
ных  с  исследованием  репрезентативности  случайно  сгенерированных  дискрет-
ных структур. В представляемой работе этот подход рассматривается на приме-
ре недетерминированных конечных автоматов (ниже – НКА). 
В реальных задачах требуется рассматривать конечные автоматы с доста-
точно  большим  количеством  состояний.  Сразу  отметим  только  некоторые  из 
возможных  областей  применения  НКА:  они  используются,  например,  в  лекси-
ческих анализаторах – для компиляции языков программирования и для реали-
зации  человеко-машинного  интерфейса;  при  тестировании  программного  обес-
печения  на  основе  моделей  проверяемой  системы2;  при  проектировании  инте-
гральных микросхем3; при редактировании текста и сравнении образов4; при ав-
томатном программировании5.  
Для проверки различных алгоритмов необходимы входные данные. Но во 
многих  задачах  невозможно  хранение  набора  (наборов)  входных  данных  –  на-
пример,  из-за  ограничений  памяти  системы.  Поэтому  становится  актуальным 
исследование  методов  получения  входных  данных  для  решения  различных  за-
дач. Одним из таких методов является метод случайной генерации данных. 
Ввиду того, что в конкретных задачах используются НКА с большим чис-
лом  состояний,  в  программах,  предназначенных  для  имитационного  моделиро-
вания, необходимо генерировать  НКА также с большим числом состояний. Ос-
новной  целью  комплекса  работ,  проводимых  в  данном  направлении,  является 
применение к сгенерированным дискретным структурам (в частности – к НКА) 
конкретных  характеристик – для их сравнения с соответствующими  характери-
стиками реальных объектов. 
Цель работы 
Целью  работы  является  описание  подхода  к  оценке  репрезентативности  слу-
чайно сгенерированных дискретных математических структур – на основе алго-
                         
1  Разборов  А.. Theoretical  Computer  Science:  взгляд  математика.  – Компьютерра.  –  2001.  –  № 2.  (Эту 
статью, по-видимому, нужно рассматривать как обзорную научную, а не как научно-популярную. Стó-
ит также отметить, что за прошедшие 11 лет подобная теория, по-видимому, не появилась.) 
2 Binder  R. Testing Object-Oriented Systems: Models, Patterns, and Tools. –  Addison-Wesley, 1999. 
3 Соловьев В., Климович А. Логическое проектирование цифровых систем на основе программируе-
мых логических интегральных схем. – Изд-во «Горячая линия – Телеком», 2007. – 636 с. 
4 Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. – МЦНМО, 2004. – 956 с.  
5 Поликарпова Н., Шалыто А. Автоматное программирование. – СПб.: Питер, 2009. –  176 с. 

  1   2   3   4   5   6   7   8

Похожие:

  автореферат разослан «13» марта 2012 года  icon  автореферат разослан «22»   марта 2012 года. 
Защита  диссертации  состоится  «  23  »      апреля      2012  г.  в        15. 00      на  заседании 
  автореферат разослан «13» марта 2012 года  iconАвтореферат разослан  «6»  марта  2012 г. 

  автореферат разослан «13» марта 2012 года  icon  автореферат разослан   «   »  марта  2012 г.  
Работа  выполнена  на  кафедре  экономических  и  финансовых  дисциплин             
  автореферат разослан «13» марта 2012 года  iconАвтореферат разослан «         » февраля 2011 года. 
Защита  состоится  «         »  марта 2011 года  в  «          »  часов  на  заседании 
  автореферат разослан «13» марта 2012 года  icon  автореферат разослан «1» марта 2009 года. 
...
  автореферат разослан «13» марта 2012 года  icon  автореферат разослан «10» апреля 2012 г. 
Защита  диссертации  состоится  «17»  мая  2012  г.  в  14  часов  на  заседании 
  автореферат разослан «13» марта 2012 года  icon  автореферат разослан “         ”               2012 г. 

  автореферат разослан «13» марта 2012 года  iconПриказ №162 по мку «Управления образования Буинского муниципального района» от 17 февраля 2012 года
С 20 февраля 2012 года по 28 марта 2012 года по итогам 2011-2012 учебного года провести конкурс профессионального мастерства «Воспитатель...
  автореферат разослан «13» марта 2012 года  icon  автореферат разослан «04» марта 2008 г. 
Д 212. 229. 11 в  гоу  впо  «Санкт- петербургский  Государственный  политехнический  университет»  по  адресу: 
  автореферат разослан «13» марта 2012 года  icon  автореферат разослан «02 »   марта   2009 г. 
Д 002. 240. 01  при  Институте  проблем  механики  им. А. Ю. Ишлинского  ран  по  адресу: 119526, г.  Москва,  проспект 
Разместите кнопку на своём сайте:
TopReferat


База данных защищена авторским правом ©topreferat.znate.ru 2012
обратиться к администрации
ТопРеферат
Главная страница