Омскийфилиа л
Скачать 0.58 Mb.
|
2.2. Научная работа лабораторийЛаборатория комбинаторных и вычислительных методов алгебры и логики (заведующий – д.ф.-м.н. Ремесленников В.Н.) В области исследований по комбинаторным проблемам топологии и связям с комбинаторной теорией групп получены следующие результаты: Берестовским В. Н. в совместной работе с К. Плаутом «Covering R-trees» авторы показывают, что каждое геодезическое метрическое пространство X является метрическим фактор-пространством полного R-дерева относительно некоторого свободного изометрического действия. Это дерево называется накрывающим R-деревом для X. Соответствующее фактор-отображение является субметрией. Аналогичное утверждение в немного ослабленной формулировке справедливо для каждого пространства с внутренней метрикой. В случае компактного 1-мерного геодезического пространства X, свободное изометрическое действие осуществляется подгруппой фундаментальной группы пространства X. В частности салфетка  и ковер Серпинского  , универсальная кривая Менгера  имеют одно и то же накрывающее полное R-дерево, исследованное в работе Дюбиной и Полтеровича, имеющее в каждой точке валентность континуум. В доказательствах используются свойства универсального накрытия из предыдущей статьи авторов. В связи с предыдущей работой получены некоторые результаты из метрической геометрии, топологии и комбинаторной теории групп, касающиеся фундаментальных групп кривых Пеано: а) Фундаментальная группа любого сепарабельного одномерного метрического пространства X изоморфна подгруппе (фундаментальной) группы  . б) Группы  для любой кривой Пеано (и любого сепарабельного одномерного метрического пространства) X fully residually free и локально свободна. в) Кривая Пеано X является пространством Пуанкаре (т.е. полулокально односвязна) тогда и только тогда, когда  (накрывающей группе из предыдущей работы авторов в Top. Appl.). В этом случае группа  свободная конечного ранга. (Вследствие одного давнего результата Кэртиса-Форта, в противном случае содержит (несвободную) подгруппу, изоморфную  , где H - гавайская серьга). г) Если кривая Пеано X не является пространством Пуанкаре, то группа  изоморфна обратному пределу F последовательности  свободных групп ранга n, связанных сюръективными гомоморфизмами  для  , отображающими в единицу в точности последние  свободных образующих группы  . д) Если кривая Пеано X не является пространством Пуанкаре, то  . В частности,  . Все эти группы не свободны и содержат некоторую свободную подгруппу  счетного ранга. е) Группа F (допускающая простое описание) содержит не меньше чем континуальное семейство попарно неизоморфных несчетно порожденных несвободных подгрупп (не допускающих никакого описания посредством высказывания из конечного числа слов). Берестовский В.Н. и Никоноров Ю.Г. доказали, что результат о существовании  -однородных ненормальных римановых метрик на многообразии  из работы в ДАН верен для всего семейства  ,  . Для завершения классификации -однородных компактных односвязных неприводимых римановых многообразий положительной эйлеровой характеристики остается проверить, верен ли этот результат для семейства  ,  . Носковым Г.А. получена следующая метризационная теорема, подводящая итог многочисленных исследований разных авторов: Для собственного непрерывного действия топологической группы Г на локально компактном сигма-компактном хаусдорфовом пространстве X существует собственная Г-инвариантная совместимая мульти-псевдометрика М на Х. Если Х еще и метризуемо, то М можно построить состоящим из одной метрики. Доказательство изложено в препринте: Herbert Abels, Antonios Manoussos, Gennady A. Noskov, Constructing G-invariant proper pseudometrics for proper G-spaces, 23 pages. По теории представлений колчанов получены результаты (Лопатин А.А.): 1. Классическая проблема остановки для машин Тьюринга неразрешима на любом строго генерическом множестве. 2. Формальная арифметика неразрешима на любом строго генерическом множестве формул. 3. Арифметика Пресбургера неразрешима за экспоненциальное время на любом строго генерическом множестве формул. Завершено описание верхней оценки на степени неразложимых инвариантов представлений колчанов размерности (2,2,…,2). Установлена точность данной оценки. Для нужд теории инвариантов, введено нетривиальное обобщение проблемы свадеб. Для этого обобщения найден критерий, аналогичный теореме Холла за 1935. В текущем году выполнен цикл исследований по алгебраической геометрии для конкретных алгебраических систем. Описаны координатные алгебры над свободной метабелевой алгеброй Ли конечного ранга над бесконечным полем (Даниярова Э.Ю.). Неприводимые координатные алгебры над свободной метабелевой алгеброй Ли конечного ранга над конечным полем были классифицированы в 2003 году в работах Дянияровой Э.Ю., Казачкова И.В., Ремесленникова В.Н. При этом случай бесконечного поля принципиально отличается от случая конечного поля. В 2007 году аналогичная классификация координатных алгебр была найдена для случая бесконечного поля. Оказалось, что алгебраическая геометрия над свободной метабелевой алгеброй Ли над полем k настолько богата, что включает в себя всю проективную диофантову алгебраическую геометрию основного поля k. Работа готовится к публикации. Данияровой Э.Ю., совместно с Онскулем И.В., студентом ОмГУ, описаны решения линейных алгебраических уравнений над свободной антикоммутативной алгеброй. Работа готовится к публикации. Ремесленниковым В.Н., совместно с Мясниковым А.Г., Харламповичем О.Г., Сербиным Д.А., описаны категории Z-конструируемых групп, которые получаются из бесконечной циклической группы с помощью Z-splitting’oв. Этот класс групп интересен тем, что он содержит все неприводимые координатные группы для алгебраических множеств над свободной группой. Аспирантами Мищенко А.А. и Трейером А.В. описаны централизаторы для частично коммутативных двуступенно нильпотентных Q-групп. Ремесленниковым В. Н. начато изучение таблиц умножения для групп, являющихся фундаментальными группами графа групп, вершинные подгруппы которого являются свободными. Найдены новые нормальные формы для этого класса групп и доказано, что таблица умножения относительно этих форм генерически является контекстно свободными языками. Есыпом Е.С. построена теория делимости для группы Томпсона и ее подполугруппы положительных элементов. При помощи этой теории решена частная проблема декомпозиции в группе Томпсона. Этот результат доложен на конференции "Алгебра и ее приложения", Красноярск, 12-18 августа 2007г., а также готовится к публикации в специальном выпуске Вестника Омского Университета, название работы "Теория делимости в полугруппе положительных элементов группы Томпсона". По теории сложности алгоритмов А.Н. Рыбаловым получены результаты: Приведем более подробное описание: Генерический подход к сложности алгоритмов - новое перспективное направление исследования алгоритмических проблем, имеющее важные приложения в криптографии и вычислительной алгебре. В отличие от классического подхода, генерический подход рассматривает поведение алгоритмов не на всем множестве входных данных, а на множествах "почти всех" или "типичных" входов (так называемых генерических и строго генерических множествах). Понятие "почти все" уточняется введением естественной меры на множестве входов. Такой подход оправдан в криптографии, где требуется, чтобы криптосистемы были основаны равномерно трудных проблемах, сложных на случайных входах. Генерический подход схож с подходом к сложности в среднем, но в отличие от последнего, более универсален, так как применим и к алгоритмически неразрешимым проблемам. Генерический подход сейчас активно развивается в работах Ремесленникова В.Н., Боровика А.В., Мясникова А.Г. (McGill, Canada), Гуревича Ю. (Microsoft), Гилмана Б., Мясникова А.Д., Ушакова А. (Stevens, USA), Шпильрайна В. (CUNY, USA), Рыбалова А.Н. К настоящему времени были предприняты исследования по генерической сложности многих классических алгоритмических проблем. Мясниковым и Хэмкинсом в 2004 году было доказано, что классическая проблема остановки для машин Тьюринга с односторонней лентой генерически разрешима. Пока неизвестно, верно ли это для машин Тьюринга с двусторонней лентой. Первый из полученных сотрудником лаборатории Рыбаловым А.Н. гласит, что проблема остановки генерически неразрешима на так называемых строго генерических множествах входов. Большой пласт алгоритмических проблем составляют проблемы разрешимости различных логических теорий первого порядка. Пусть T - неразрешимая теория первого порядка. Будет ли T генерически разрешима? Другими словами, существует ли алгоритм, который "почти всегда" может определить истинность "случайной" формулы языка теории T? Второй результат сотрудника лаборатории Рыбалова А.Н. говорит о том, что классическая неразрешимая теория - формальная арифметика - остается неразрешимой на строго генерических множествах формул. Если теория T разрешима, то, как правило, алгоритмы разрешения T имеют большую вычислительная сложность. Нетрудно показать, что если  , то не существует полиномиального алгоритма разрешения для любой теории первого порядка, модель которой состоит из более, чем одного элемента. Рабином и Фишером доказано, что сложность теории упорядоченного поля вещественных чисел (алгебры Тарского) экспоненциальна, а арифметики Пресбургера суперэкспоненциальна. Отсюда естественный вопрос для различных разрешимых теорий: будет ли разрешимая теория T генерически разрешима за полиномиальное время? Третий результат сотрудника лаборатории Рыбалова А.Н. утверждает, что арифметика Пресбургера остается неразрешимой даже за экспоненциальное время на строго генерических множествах формул.Морарем П.К. введен класс групп со слабым наложением кусков соотношений друг на друга и предложен алгоритм для нахождения нормальных форм для полугрупп их этого класса. Найдена оценка сложности для этого алгоритма. Лаборатория теоретико-вероятностных методов (заведующий – д.ф.-м.н. Топчий В.А.) Проводились теоретические и эмпирические исследования математических моделей эволюции популяций. Построен ряд моделей развития популяции моллюсков, прототипами которых являются колонии, обитающие на озере Байкал. Для последних начато создание имитационных моделей. Разработан алгоритм и моделирующая программа для расчета генетической эволюции популяции с двумя генами gA, gB. Программа оформлена в виде интернет-приложения и доступна по адресу http://iitam.omsk.net.ru/~pichugin/nwoapp/app1/index.htm (Клоков С.А., Пичугин Б.Ю.). Изучен ряд классов моделей: 1) численность популяции фиксирована и контролируются родственные связи. Для них найдены оценки среднего времени становления популяции однотипной. Проводились численные эксперименты, позволяющие исследовать точность оценок. 2) модели, где ветвление до определенного уровня надкритические, а далее либо срезаются, либо становятся докритическими (Топчий В.А., Клоков С.А.). Продолжено исследование поведение среднего для численности частиц, находящихся в нуле, у многомерных случайных блужданий с ветвлением в нуле получен ряд новых промежуточных результатов (Топчий В.А.). Получены оценки скорости перемешивания для семейства марковских процессов типа нелинейной авторегрессии в полиномиальном и субэкспоненциальном случаях. Доказано, что найденные оценки являются в некотором смысле оптимальными (Клоков С.А.). Выявлено, что наиболее перспективным представляется использование вейвлет – преобразования при анализе острых состояний сердечно-сосудистой системы, когда ведется поиск критериев переходных периодов – резких изменений структуры сердечного ритма, предшествующих развитию терминальных аритмий с последующей остановкой сердца. В результате применение этого метода на собственных данных рядов RR интервалов при остром инфаркте миокарда (ишемической болезни сердца) позволило наблюдать определенную последовательность в динамике спектральных компонент, предшествующих терминальной аритмии, сходную со сценарием перехода к так называемой «субгармонической бифуркации» известного из теории динамических систем. При этом в исследовании наиболее эффективным оказалось Daubechies вейвлет разложение 2-4 порядка. Так же осуществлена обработка электрокардиограмм выбранным вейвлет преобразованием Морле и получены соответствующие пространственно-временные представления соответствующих ЭКГ. По полученным пространственно-временным представлениям можно проводить предварительную визуальную диагностику заболеваний (Гольтяпин В.В.). Получен ряд результатов в области философских описаний природы: по тематикам принятия решений, моделирования сценариев движения, явлений бифуркации и катастроф (ДИС-технологий). Часть этих наработок включена в курсы и практику студентов и магистрантов ОмГУПС и ОмГАУ по информатике, программированию и теории принятия решений (Сизиков В.П.). Получены минимальные условия слабой зависимости для нестационарных, вообще говоря, последовательностей случайных величин, позволяющие доказывать некоторый вариант центральной предельной теоремы (Гринь А.Г.). Предложен подход к определению оптимальной структуры тестов на основе моделей дискретной оптимизации, которые являются некоторыми обобщениями задачи о наименьшем покрытии множества. На основе указанного подхода разработана версия автоматизированной тестирующей системы по одной из тем учебного курса «Экономико-математические методы» для студентов экономических специальностей. В системе реализованы алгоритмы формирования тестовых заданий с необходимыми свойствами, в которых часть или все исходные данные генерируются случайным образом из определенных диапазонов (Заозерская Л.А., Планкова В.А.). Лаборатория математического моделирования в механике (заведующий – д.ф.-м.н. Задорин А.И.) Предложен и исследован метод равномерно точной интерполяции для функции, соответствующей решению сингулярно-возмущенной краевой задачи. Производные интерполируемой функции не являются равномерно ограниченными, что приводит к значительным погрешностям при применении методов полиномиальной интерполяции на равномерной сетке. Для функции одной переменной обоснован третий порядок точности метода квадратичной интерполяции на априорно сгущающейся в пограничном слое сетке. Для функции двух переменных, соответствующей решению эллиптического уравнения с пограничным слоем, предложен и обоснован метод экспоненциальной интерполяции на равномерной сетке. В случае сгущающейся по погранслойной переменной сетки обоснована равномерная точность метода полиномиальной интерполяции. Построены формулы для вычисления производных на основе построенных интерполянтов и показана их равномерная точность (Задорин А.И.). Предложен численный метод решения параболической задачи с пограничными слоями вдоль полуполосы. На основе метода прямых по времени и ортогональной к полосе переменной исходная задача на каждом временном шаге сведена к краевой задаче на полубесконечном интервале для системы ОДУ второго порядка. Затем применен метод выделения многообразия решений, удовлетворяющих предельному условию на бесконечности, для редукции краевой задачи для системы ОДУ с полубесконечного интервала к конечному. В итоге построена равномерно сходящаяся конечно-разностная схема (Задорин А.И.). Построена разностная схема для расчета двумерного стационарного конвективно-диффузионного переноса при наличии внутреннего пограничного слоя. В случае постоянных коэффициентов конвекции и диффузии построенная конечно-разностная схема имеет второй порядок точности, равномерно по коэффициенту диффузии. Проведены сравнительные расчеты по различным схемам для задачи с внутренним погранслоем и для задачи переноса субстанции от точечного источника, моделируемого дельта-функцией. Показано преимущество предлагаемой расчетной схемы в сравнении с другими (Паничкин А.В.). Разработан общий алгоритм решения нелинейных начально-краевых задач теории крыла. Рассмотрена общая постановка нелинейной начально-краевой задачи нестационарного отрывного обтекания профиля потоком идеальной несжимаемой жидкости для комплексной скорости. Основные трудности при решении этого класса задач связаны с учетом схода вихревых следов с профиля, характеристики которых меняются с течением времени в зависимости от решения начально-краевой задачи. Проведен детальный анализ условий схода вихревых следов с профиля, которые являются дополнительными к краевым и начальным условиям. Получена система нелинейных соотношений, позволяющая строить алгоритмы решения конкретных начально-краевых задач. Применена известная процедура пошагового решения начальной задачи для ряда дискретных моментов времени. Краевая задача на каждом шаге по времени сведена к сингулярным интегральным уравнениям первого и второго рода, в которых искомой функцией является интенсивность вихревого слоя, моделирующего контур профиля. Для решения этих уравнений предложен метод криволинейных панелей. Получены формулы для расчета распределения давления по контуру профиля на режимах отрывного нестационарного обтекания. Дополнительно к плану продолжались исследования в области ветроэнергетики (Горелов Д.Н.). Решена нестационарная кинематическая задача для произвольного плоского движения телесного профиля в идеальной несжимаемой жидкости с образованием одного и двух вихревых следов. Применение метода конформного отображения области течения на внешность круга, анализ особенности решения в окрестности острой кромки, а также учет начальной асимптотики решения позволили получить хорошее соответствие результатов расчетов с имеющимися экспериментальными данными по визуализации картины течения. Выяснилась важность корректного моделирования начальной стадии формирования вихревых следов. Установлено, что регулярная картина течения вполне формируется после трех и более периодов колебаний. Расчеты и сравнения проводились для крутильных колебаний с большой амплитудой и для профиля, совершающего круговые движения (лопасть ветроколеса ортогонального типа) (Зобнин А.И.). Лаборатория моделирования сложных систем (заведующий – д.т.н. Чуканов С.Н. Предложен алгоритм классификации плоских полных лоренцевых строго причинных многообразий (Гичев В.М.). Расширены возможности информационной системы, предназначенной для моделирования процессов управления сложной нелинейной динамической системой. Разработанное управляющее устройство включает в себя нейросетевой регулятор и нейросетевой идентификатор объекта управления. Регулятор представляет собой двухслойную нейросетевую модель авторегрессии с внешними входами (NARX), идентификатор объекта – 2 каскадно-соединенные сети NARX. Алгоритмы адаптивного управления с идентификацией основаны на рекуррентном методе наименьших квадратов и динамическом обратном распространении ошибки. Программная реализация методов адаптивной нейросетевой идентификации апробирована на обработке данных натурного эксперимента. Программно реализована и исследована адаптивная нейросетевая экстремальная система управления имитационной моделью сложного нелинейного динамического объекта (Мещеряков В.А.). Метод чередования прямой и обратной задач в оптимизации начального размещения управляемых динамических объектов. Продолжена разработка метода направленной оптимизации начального размещения управляемых динамических объектов, основанного на чередовании решений исходной (прямой) и специальной двойственной (обратной) задач управления траекториями объектов и обеспечивающего монотонную сходимость к оптимальным или локально оптимальным начальным условиям. Управляемая гладкая динамическая система исходной задачи описывает изменение характеристик объектов в результате воздействия других объектов и влияния внешних факторов. Двойственная (обратная) задача отличается от исходной обращением знаков правых частей исходной системы дифференциальных уравнений и знака функционала качества управления, а также обращением заданных процессов (например, заданных на интервале управления движений объектов, противодействующих управляемым). В процессе оптимизации, в шагах которого чередуются решения исходной и двойственной задач, в качестве начальных условий очередного шага используется часть конечных значений предыдущего. Для задач неавтономной динамики со свободным правым концом разработан алгоритм направленной оптимизации начального вектора управления (начальных координат объектов) при сохранении начального вектора состояния (начальных характеристик объектов). Формализован в виде задачи оптимального управления частный случай задачи поиска неподвижных точечных целей с риском гибели поисковых единиц (Нартов Б.К.). Предложен алгоритм определения характеристик векторного поля системы управления динамическими объектами инвариантные по отношению к группам RTS-преобразований (rotation-translation-scaling). Алгоритм может быть использован для решения проблемы инвариантности по отношению к переносам, вращениям и масштабированию систем управления динамическими объектами (Чуканов С.Н.). Работа выполнялась на основе нового подхода – обобщения радиолокационного соотношения неопределенности (ОРСН), выполненного в ОФ ИМ СО РАН ранее. Следствия ОРСН приводят к возможности адаптации параметров сигнала к параметрам среды распространения и/или линии связи, что, в частности, позволяет вести указанную адаптацию с целью повышения пропускной способности канала связи. Проведено моделирование коротковолнового ионосферного канала связи для радиолиний малой дальности. Показана возможность работы на данных линиях с использованием необыкновенной компоненты отраженной от ионосферы радиоволны вблизи максимально-применимой частоты, что позволяет в 2 раза уменьшить количество принимаемых радиолучей и повысить скорость передачи информации. Получены оценки пропускной способности одномодовой волоконно-оптической линии связи (ВОЛС) при адаптации параметров оптического сигнала к параметрам ВОЛС. Адаптация позволяет повысить битовую скорость передачи информации примерно в 1,5 раза (Зачатейский Д.Е., Маренко В.А., Терехов Л.С.). Лаборатория методов преобразования и представления информации (заведующий – к.ф.-м.н. Зыкин С.В.) Проведено исследование свойств ссылочной целостности на схемах баз данных. Получены результаты: сформулированы правила автоматического определения ограничений целостности на схеме БД; определено условие ацикличности схемы БД; на основе ограничений целостности получено условие для определения избыточных связей на схеме БД; разработан полиномиальный алгоритм удаления избыточных связей. Разработан алгоритм обратного преобразования данных из гиперкубического представления данных в реляционное (Зыкин С.В.). Предложен способ построения иерархической сети доминантных словосочетаний. Разработан метод определения тематической близости групп доминантных словосочетаний, идентифицированных кардинальным словом (однословным термином). Разработана терминологическая ИПС. Разработан метод автоматического извлечения доминантных словосочетаний из текстов, представляющих предметную область (Чанышев О.Г.). Разработана имитационная модель типового провайдера Интернет. Проведены эксперименты, демонстрирующие влияние различных этапов передачи данных на время выполнения запросов пользователей. В рамках ГИС «Археологические памятники Омской области» методами кластерного анализа была получена информация о связи характеристик памятников с их географическим положением (Пуртов А.М.). Проведены исследования по направлению «Ситуационные центры» (СЦ) в двух аспектах: 1) создание СЦ и их компонентов, 2) применение СЦ. Данная тема продолжает исследования в области применения СЦ для чрезвычайных ситуаций. Разработана концепция исследовательского комплекса «Ген гуру» в форме ситуационного центра для многодисциплинарных исследований (Филимонов В.А.). Лаборатория дискретной оптимизации (заведующий – д.ф.-м.н. Колоколов А.А.) Проведено исследование ряда известных алгоритмов целочисленного линейного программирования, основанных на использовании релаксационных множеств задач (отсечения, ветвей и границ, перебора L-классов) с использованием L-разбиения и унимодулярных преобразований пространства. Получены оценки числа итераций, показана неустойчивость первого алгоритма Гомори (Колоколов А.А., Колосов А.П.). Рассмотрены задачи размещения опасных объектов на плоскости. Предложены: алгоритм решения задачи для модели целочисленного линейного программирования; полиномиальный комбинаторный алгоритм для размещения одного объекта (Забудский Г.Г., Крикун Ю.В., Мархоцкая Н.В.). Разработан комбинаторный алгоритм ветвей и границ для размещения объектов на плоскости с учетом запрещенных зон и реализован метод уступок решения для двухкритериальной задачи размещения объектов на параллельных линиях. Получены верхние оценки числа разрешенных областей в случае специального расположения запрещенных зон (Забудский Г.Г., Амзин И.В., Соловьев М.С.). Предложены схемы декомпозиции Бендерса для ряда моделей двухстадийной задачи размещения предприятий, разработан декомпозиционный алгоритм решения этой задачи с использованием метода перебора L-классов (Колоколов А.А., Леванова Т.В., Федоренко А.С.). Предложен точный алгоритм решения взвешенной задачи максимальной выполнимости, выполнена программная реализация алгоритма, проведены экспериментальные расчеты (Адельшин А.В., Кучин А.К.). Установлена сильная NP-трудность задачи календарного планирования с критерием чистой приведенной прибыли и ограничениями на ресурсы складируемого типа (Сервах В.В., Щербинина Т.А.). Доказана сильная NP-трудность задачи построения циклических расписаний при выпуске однотипных деталей с дополнительными ограничениями на время ожидания между различными операциями одной детали (Сервах В.В., Межецкая М.А.). Предложен подход к определению оптимальной структуры тестов на основе моделей дискретной оптимизации, которые являются некоторыми обобщениями задачи о наименьшем покрытии множества. На основе указанного подхода разработана версия автоматизированной тестирующей системы по одной из тем учебного курса «Экономико-математические методы» для студентов экономических специальностей (Заозерская Л.А., Планкова В.А.). Разработаны новые варианты алгоритмов и программный комплекс для решения задач проектирования одежды с использованием дискретной оптимизации (Колоколов А.А., Гуселетова О.Н., Орлова Т.М.). Предложен подход и построены математические модели дискретной оптимизации для проектирования серий моделей одежды (Колоколов А.А., Ярош А.В., Ларькина Л.В.). Разработаны и реализованы гибридные алгоритмы для решения некоторых задач построения производственных расписаний с использованием частично целочисленного программирования (Еремеев А.В., Борисовский П.А., Талевнин А.С.). Центр информационного обеспечения научных исследований (заведующий – к.ф.-м.н. Алгазин В.А.) В Омском компоненте системы корпоративной видеоконференцсвязи СПД СО РАН было выполнено тестирование программного клиента видеоконференций Polycom PVX. Был выявлен основной недостаток программного подхода, заключающийся в невозможности во всех случаях поднять разрешение выше CIF в силу ограничений использованного для захвата видео TV-тюнера и его ПО. В ходе проведения экспериментов было выяснено, что камера Panasonic NV-GS500 обеспечивает разрешение 4CIF и стабильную работу с ПО Polycom PVX только с одним из 3-х имеющихся в ОФ ИМ тюнеров, а именно только с AverMedia PCI TV+FM 509 и его программным обеспечением. Однако при передаче видео по сети при помощи ПО Polycom PVX разрешение уже не поднималось выше CIF. В то же время, заявленная производителем ПО Polycom PVX поддержка протокола H.264 теоретически должна обеспечивать более высокие разрешения видео. Созданная простейшая система видеоконференц-связи была использована во время защиты докторской диссертации Е.Е. Витяева 28.12.2006г. В защите, кроме сотрудников ИВТ (Новосибирск) принял участие Е.П. Гордов (Томск). В апреле 2007 г. по просьбе Министерства здравоохранения Омской области была проведена видеоконференция со Щелковским витаминным заводом Московской области для представителей ряда фармацевтических организаций г. Омска, которые собрались в видео конференц-зале ОФ ИМ. В результате работ, проведённых в 2007 году, по сопровождению узлов сети ОНЦ СО РАН повысилось качество предоставления телекоммуникационных и информационных услуг:
Завершены работы по тестированию ядра системы в режиме непрерывной эксплуатации. Ядро тестировалось в круглосуточном режиме двумя пользователями (суммарно несколько соединений на протяжении суток), в том числе с контролем баланса в режиме реального времени. Время непрерывной работы ядра варьировалось от 2 до 100 дней без остановок и перезапуска. В результате тестирования удалось выявить несколько технических проблем и привести программный код ядра к состоянию, в котором оно способно обеспечивать непрерывную работу пользователей в круглосуточном режиме. Модули взаимодействия с базой данных и сервером доступа (NAS) были доработаны с целью обеспечения большей устойчивости ядра к сетевым отказам. Улучшена поддержка управления ядром по протоколу SSL. Разработана структура БД, отражающая взаимодействие с пользователями, созданы подсистемы учёта платежей (добавление новых платежей, обновление баланса), сопровождения статистики по списанию средств со счетов пользователей. В соответствии с разработанной структурой, на сервере баз данных создан набор таблиц для поддержки взаимодействия с пользователями. Проведён сравнительный анализ различных методов программного создания печатных форм, использующих данные из таблиц БД. Продолжены работы по созданию пользовательского интерфейса системы. Создан интерфейс к подсистеме учёта платежей. Начаты работы по созданию печатных форм. |
Похожие:
 | Омскийфилиа л В отчете представлены результаты фундаментальных и прикладных исследований и разработок, проведенных в 2009 г. Омским филиалом Института... | | Омскийфилиа л В отчете представлены результаты фундаментальных и прикладных исследований и разработок, проведенных в 2008 г. Омским филиалом Института... |
| Омскийфилиа л В отчете представлены результаты фундаментальных и прикладных исследований и разработок, проведенных в 2011 г. Омским филиалом Института... |
