авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 | 2 ||

«ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ И ИННОВАЦИИ В НАЦИОНАЛЬНЫХ ИССЛЕДОВАТЕЛЬСКИХ УНИВЕРСИТЕТАХ Материалы Всероссийской научно-методической конференции ...»

-- [ Страница 3 ] --

Рис. 2. Результаты моделирования во временной области Сравнение схем проводилось с помощью средней работы переклю чения Аперекл (power-delay product [1, 5]) и средних времен задержек форми рования суммы t здS и переноса t здCO. Элементы исключающее ИЛИ схем [6, 7] реализованы согласно [1, 8]. Анализ таблицы 1 показывает, что схе ма рис. 1 по сравнению с [1-7] уменьшает задержки формирования суммы на 34-42 % и переноса на 16-21%, при этом Аперекл схем [1] и рис. 1 близки.

При близких t здS и t здCO схемы [2-7], по сравнению с [1] отличаются боль шей Аперекл и, следовательно, большей потребляемой мощностью.

Таблица Характеристики схем одноразрядных сумматоров Аперекл, фДж t здS, пс t здCO, пс Схема [1] 110,7 271,0 164, [2, 5] 129,9 265,7 172, [3, 4] 123,8 283,3 170, [6] 133,3 300,1 166, [7] 123,0 301,4 162, рис. 1 107,0 174,2 136, Моделирование многоразрядных сумматоров на основе одноразряд ных схем [1-7] и рис. 1 проводилось с использованием аналогичной [5] тестовой схемы для наихудшего случая по быстродействию, при котором переключение сигнала в младшем разряде приводит к последовательному переносу во всех разрядах вплоть до старшего. В младшем разряде сигнал B 0 1, а в остальных разрядах сумма слагаемых Ai Bi 1, где i 131.

Переключение сигнала A0 либо 0 1, либо 1 0 определяет появление сигнала переноса в ячейках одноразрядных сумматоров либо 1, либо 0 со ответственно. Результаты моделирования времен задержек переключения выходных сигналов суммы t здS 31 и переноса t здCO 31 ячейки старшего разряда представлены в табл. 2. Анализ показывает, что схемы [2-7] превосходят [1] по быстродействию. Однако с помощью схемы рис. 1 достигается уменьшение t здS 31 и t здCO 31 на 6-17 % по сравнению с [1-7].

Заключение Предложено схемотехническое решение одноразрядного двоичного КМОП сумматора. Представлены результаты моделирования схем для 0,18 мкм МОП технологии при питании 1,8 В. Приведено сравнение сред ней работы переключения и средних времен задержек формирования сиг налов суммы и переноса. За счет параллельной работы цепей формирова ния сигналов суммы и переноса, уменьшения числа транзисторов и ис ключения паразитных емкостей путем соединения стоков и подложек транзисторов в предложенном сумматоре достигается уменьшение за держки формирования суммы на 34 % и переноса на 16 %.

Таблица Характеристики схем 32-разрядных сумматоров A0 0 1 A0 1 одноразрядная S 31 1 0 CO31 0 1 S 31 0 1 CO31 1 схема t здS 31, нс t здCO 31, нс t здS 31, нс t здCO 31, нс [1] 4,25 4,08 7,43 7, [2, 5] 4,00 3,82 7,01 6, [3, 4] 3,93 3,76 6,96 6, [6] 4,03 3,81 7,02 6, [7] 4,03 3,82 7,03 6, рис. 1 3,66 3,57 6,08 6, Литература:

1. Zimmermann R., Fichtner W. Low-power logic styles: CMOS versus pass-transistor logic / IEEE J. of Solid-State Circuits. 1997. № 7.

pp. 1079–1090.

2. Патент на изобретение № RU2380739, Сумматор, Шубин В. В.

ФГУ ФИПС, бюл. № 3. 27.01.2010.

3. Патент на изобретение № RU2408058, Одноразрядный сумматор, Шубин В. В. ФГУ ФИПС, бюл. № 36. 27.12.2010.

4. Патент на изобретение № RU2408922, Одноразрядный двоичный сумматор, Шубин В. В., Лебедев Ю. П. ФГУ ФИПС, бюл. № 1. 10.01.2011.

5. Шубин В. В. Новое схемотехническое решение одноразрядного полного КМОП-сумматора / Микроэлектроника. 2011. т. 40. № 2, с. 130–139.

6. Патент на изобретение № RU2435196, Сумматор, Шубин В. В.

ФГУ ФИПС, бюл. № 33. 27.11.2011.

7. Патент на изобретение № RU2444050, Одноразрядный сумматор, Шубин В. В. ФГУ ФИПС, бюл. № 6. 27.02.2012.

8. Wang J. M. et al. New efficient designs for XOR and XNOR functions on the transistor level / IEEE J. of Solid-State Circuits. 1994. v. 29. № 7.

pp. 780–786.

ИСПОЛЬЗОВАНИЕ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ ДЛЯ ОЦЕНКИ ОДНОРОДНОСТИ ПРОСТРАНСТВЕННО-РАСПРЕДЕЛЕННЫХ ДАННЫХ В ЭКОСИСТЕМЕ Пивоварова И. И.

Национальный минерально-сырьевой университет «Горный»

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

В качестве математического алгоритма решения поставленной зада чи предлагается использовать Z-распределение Фишера, когда полученное по сравниваемым группам данных значение статистики Фише ра F* сопоставляется с теоретическим значением F1, при принятом уровне значимости. Если F* F1, то разница дисперсий двух групп данных счита ется незначимой и гипотеза об их однородности по дисперсии (по крите рию Фишера) не опровергается [1]. Трудоемкость реализации достаточно громоздких математических вычислений и большой объем входных данных определили необходимость разработки программного приложе ния. Техническим средством выполнения поставленной задачи явилась реализация математического алгоритма вычислений в системе объектно ориентированного программирования C++. Преимущество использования объектно-ориентированного языка программирования С++ в данном кон тексте заключается в быстроте работы программы (исследователь освобо ждается от рутинных математических или статистических вычислений), удобстве проведения исследовательских проектов [2].

Для апробации методики и отработки механизма вычислений в ком пьютерном приложении была произведена оценка статистической одно родности пространственной корреляционной функции экологических ха рактеристик участка бассейна реки Ока. Были исследованы данные по за грязнению фенолами, взятые с 29 створов за совместный период наблюде ний 10 лет (с 2000 по 2009 гг.), рассчитаны 210 пар корреляционных соот ношений между массивами исходных данных. В результате проведенных расчетов был сделан вывод об условной однородности исследуемого уча стка водотока реки Ока, определены возможные причины квазиоднород ности.

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

Литература:

1. Рождественский А. Ф., Чеботарев А. И. Статистические методы в гидрологии. – Л.: Гидрометео-издат, 1974 г.

2. C++ для профессионалов. Николас А. Солтер, Скотт Дж. Клепер, 2010 г.

ИНТЕЛЛЕКТУАЛЬНЫЙ МОНИТОРИНГ ВЫЧИСЛИТЕЛЬНЫХ СЕТЕЙ Птицына Л. К., Птицын А. В.

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

Для достижения указанной цели решаются следующие задачи:

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

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

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

– формирование системно-аналитического ядра технологического сопровождения процессов проектирования математического обеспечения систем мониторинга крупномасштабных вычислительных сетей, обеспе чивающего соблюдение гарантий качества;

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

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

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

АНАЛИЗАТОР СПЕКТРА НА БАЗЕ ПРОЦЕССОРА ADSP-BF Тряпицын В. Л., Круглов С. К.

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

Для вычисления спектра при цифровой обработке сигналов исполь зуется дискретное преобразование Фурье (ДПФ), которое находит самое широкое применение в анализаторах спектра, устройствах обработки речи, изображений, сжатия информации и системах распознавания.

Для обеспечения функционирования в реальном масштабе времени полный расчет быстрого преобразования Фурье (БПФ) должен выполнять ся в промежутке, соответствующем времени накопления одного пакета данных. Пока производится вычисление БПФ текущего пакета данных, ЦСП накапливает данные для следующего пакета. Накопление данных яв ляется одной из сфер, где важную роль играют специальные архитектур ные особенности ЦСП. Непрерывное получение данных облегчается бла годаря возможностям гибкой адресации данных в ЦСП в сочетании с ис пользованием различных каналов прямого доступа к памяти (DMA).

Для достижения поставленной цели было реализовано следующее:

- создано программное обеспечение для сигнального процессора.

Данная программа реализует вычисление спектра сигнала, используя Быстрое Преобразование Фурье.

- организован интерфейс для вывода спектра на показывающее устройство и его наблюдения.

Для реализации анализатора спектра был выбран отладочный мо дуль BF561-EZ-Kite-lite на базе процессора ADSP-BF561. На плате этого модуля размещен аудиокодек AD1836, схемы усиления звуковых сигналов и соответствующие гнезда для подключения источников сигнала. Это уст ройство содержит три стерео ЦАП и два стерео АЦП на одном чипе.

AD1836 имеет управляющий SPI-порт, который позволяет программиро вать внутренние регистры ЦАП и АЦП. Также на плате отладочного моду ля присутствует видеокодек AD7179, с помощью которого мы будем вы водить видеоизображение спектральных линий на экран телевизора.

Двухъядерные процессоры, к которым относится и ADSP BF561-это симметричные процессоры, их ядра имеют одинаковую архитектуру. Та кая организация имеет свои преимущества. При написании программного обеспечения для симметричных процессоров не требуется применения двух разных наборов средств программирования.

Рис. 1. Функциональная схема комплекса анализатора спектра В приложениях обработки изображений видеокадр вводится при по мощи порта PPI в режиме DMA. Из-за существенных размеров кадра вво димого изображения, каждый кадр должен быть захвачен в SDRAM через PPI с использованием канала DMA. Алгоритм может считывать точки блок за блоком из SDRAM и обрабатывать каждый блок по мере его поступле ния. Каждый последующий кадр PPI захватывает в другой буфер, пока яд ро занято обработкой предыдущего.

Общая структурная модель программы - Инициализация флэш-памяти и аудиокодека - Настройка DMA и SPORT - Инициализация видеокодека и установка прерываний - Прием данных АЦП - Вычисление спектра - Формирование видеокадра формата PAL и передача его видеокодеку.

Вычисление БПФ разделено на три части.

Первая часть выполняет битовый реверс и копирует входные данные в выходной буфер (или размещает данные во входном буфере в обратном битовом порядке при обработке in-place FFT (тогда, когда входной буфер использован как выходной буфер также). Независимо от режима масшта бирования, величина тестируется для использования во второй части. Пер вый этап БПФ вычисляется отдельно во второй части. С данными коэффи циентов, имеющими постоянную величину 1 для вещественной части и для мнимой части, вычисление промежуточных значений может быть су щественно упрощено. Последняя часть вычисляет остальные этапы БПФ.

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

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

СИСТЕМА СБОРА И ОБРАБОТКИ ДАННЫХ ДЛЯ АКУСТООПТИЧЕСКОГО СПЕКТРОАНАЛИЗАТОРА Тряпицын В. Л., Круглов С. К.

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

Данная работа является продолжением предыдущих работ, выполненных на кафедре ИУС ФТК СПБГПУ и посвящена разработке методов построе ния системы сбора данных (ССД) для многоканальных акустооптических спектроанализаторов (АОС), которые позволяют реализовать необходи мые широкие полосы анализа, высокое пространственное, временное и частотное разрешение, а также высокую чувствительность. Для этой цели в наземном комплексе применялся АОС с полосой анализа 500 МГц для измерения спектральной линии излучения атмосферного озона с цен тральной частотой 142,175 ГГц. Разрабатываемые в течение ряда лет в СПбГТУ АОС успешно применялись в радиоастрономических приемных комплексах.

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

Структурная схема ССД Принятый сигнал после преобразования в диапазон частот 1,5-2,0 ГГц и усиления обрабатывается в АОС. АОС представляет собой систему, оптическая часть которой разработана по традиционной схеме акустооптического фурье-процессора с пространственным интегрировани ем и включает источник когерентного света (гелий-неоновый лазер), сис тему коллимации оптического пучка, акустооптический дефлектор и фурье-объектив. Конструктивно оптический процессор выполнен в виде модуля, содержащего несколько оптико-механических узлов. Считывание распределения освещенности, связанное со спектральным распределением мощности сигнала в выходной плоскости оптического процессора, его дискретизация и преобразование в электрический сигнал осуществляются ПЗС-фотоприемником. На рисунке выделены основные элементы АО спектрометра: СВЧ приемник, АО спектроанализатора и система сбора данных. Входным сигналом системы является сигнал с антенны радиоте лескопа, преобразованный к промежуточной частоте УПЧ. Сигнал, соот ветствующий спектру входного радиосигнала, накапливается параллельно в N сенсорных элементах ФПЗС, а затем благодаря наличию сдвигового регистра преобразуется из параллельной формы в последовательную и по ступает на АЦП, а затем на вход процессора.

Создание ССД на базе цифровых сигнальных процессоров (ЦСП) позволяет:

- Реализовать обработку сигналов в реальном времени при большом числе каналов практически без усложнения системы по сравнению с ана логовыми.

- Легко изменять последовательность и длительности управляющих сигналов АЦП различных типов.

В качестве ЦСП был выбран вариант на основе системы EZ-KIT Lite фирмы Analog Devices. Эта система, создана для облегчения разработки устройств на базе ЦСП, включает в себя процессор ADSP-2181, ориенти рованный на высокоскоростную обработку данных. Необходимость на дежного удаленного доступа к ССД от компьютера (более 100 м) потребо вало разработки специального канала связи. За основу аппаратной реали зации канала связи была выбрана специализированная микросхема W3100A компании WIZnet, в которой аппаратно реализованы стек сетевых протоколов TCP/IP и протокол канального уровня Ethernet.

Это позволило разработать и реализовать связь с ПК по локальной сети Ethernet 10/100BaseT. В нашем проекте использован интерфейс кос венный режим сопряжения с шиной. В интерфейсе Indirect Bus использу ются 2-х битная шина адреса и 8-ми битная шина данных, а так же сигна лы /CS, /RD, /WR и /INT.

Схема управления и приема данных с АЦП, а также интерфейс меж ду сигнальным процессором, модулем WizNet и ПЗС- матрицей. выполне на на базе ПЛИС фирмы ALTERA EPM3256. Использование ПЛИС дает возможность гибко и оперативно изменять алгоритм взаимодействия от дельных частей ССД. Проект, включающий шину данных, внутренние ре гистры, буферные элементы, дешифратор сигналов управления был создан в графическом редакторе схем программы Quartus, а делитель частоты на языке VHDL. Данная схема ССД обеспечивает возможность передачи ко эффициентов масштабирования, числа опрашиваемых каналов, периода опроса каналов, времени накопления данных в каждом канале. При этом удалось улучшить следующие характеристики спектрального комплекса:

надежность, гибкость, простоту перенастройки алгоритма работы аппара туры, компактность конструкции и малое энергопотребление.

При анализе задачи управления и обработки можно выделить сле дующие функциональные блоки ССД:

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

Он поддерживает работоспособность канала связи с ПК, последовательно выбирает и подготавливает для передачи отсчеты из буфера.

Управляющий блок поддерживает работу ССД в режиме реального времени. Он формирует сигналы управления для ССД при помощи деле ния входного сигнала тактовой частоты сигнального процессора и выпол нен на ПЛИС. В итоге формируются временные диаграммы нескольких управляющих линий в выходном регистре.

Всего требуется 4 управляющих линии:

1. CLK - фазовый сигнал сдвига ФПЗС.

2. ROG - сигнал переноса. Задаёт время накопления сигналов в мас сиве фоточувствительных элементов ФПЗС.

3. Start ADC - сигнал пуска АЦП.

4. SHUT - сигнал, определяющий время экспозиции Бо лк У р в я щй палю и пе врт лнй р д а ие ь о бо лк орбт б а о ки CK L Мс и о с е о ас в тч т в Б ф ро с е о у е тчтв RG O у р в я щх палю и с гн л в и ао S rt D ta A C Вко п ю е мь т р Пр д ю и е е а щй бо лк Ed D nA C Рис. 3. Функциональная схема ССД По сигналу ROG происходит перенос зарядов МОП ячеек из парал лельного регистра в выходной сдвиговый регистр ПЗС, по сигналу CLK происходит сдвиг сигналов и вывод на АЦП.

Передающий блок поддерживает работоспособность канала связи, последовательно выбирает и подготавливает для передачи отсчеты из бу фера и передаёт их в ПК. При модуляционном режиме спектральных из мерений в течение полупериода модуляции Tм/2 происходит накопление сигнала, соответствующего сигналу с антенны Uк(A). В следующий полу период накапливается сигнал с эквивалента - Uк (Э). Общее время накоп ления сигнала (Тн) определяется частотой модуляции Fмод = 1/Тм и чис лом циклов накопления m. Синхронное накопление сигнала с антенны и эквивалента дает результирующий сигнал U(A) и U(Э):

m m U (Э ) Uk (Э ), U ( А) Uk ( А).

k 1 k Детектируемый (разностный) сигнал имеет вид: U(I) = U(A) - U(Э).

По фронту Fмод происходит пуск АЦП и соответственно начинается накопление суммы во всех каналах. Эквивалент - представляет собой специально подобранные шумы приемника, таким образом, при вычитании его из сигнала с антенны, мы на выходе получаем более чистый сигнал.

T m Tm Tm 2 F м од t В рем я T IN T накопления t t tR ROG OG t Н акапливаем ы й заряд t1 t2 t Рис. 4. Временные диаграммы сигналов управления накоплением зарядов в ФПЗС Формирователь сигналов (ФС) служит для согласования по уров ням управляющего сигнала с регистра управления (РУ) и входов АЦП и ПЗС. Оцифрованные данные записываются в регистр данных (РД), хра нятся там и считываются в процессор в промежутках между изменениями значений в РУ. Каждому из регистров присвоен логический адрес. Выбор ку нужного регистра осуществляет дешифратор адреса.

Программное обеспечение акустооптического спектроанализатора Программное обеспечение (ПО) имеет два уровня. Нижний уровень обеспечивает начальную работу ССД, загрузку программ тестирования аппаратуры, управление ССД, и программы начальной обработки и пере дачи данных в ПК. Верхний уровень ПО ССД обеспечивает диалог опера тора, прием данных, начальную загрузку. Программа ССД условно разде лена на две части. Первая часть, написанная на языке ассемблера, отвечает за формирование управляющих сигналов для ПЗС Sony ILX703, АЦП, cинхронизацию управляющих сигналов по фронту сигнала Fмод, введение данных с АЦП во внутреннюю память ЦСП. Для контроля временных ин тервалов используется внутренний таймер сигнального процессора. Сиг налы SHUT и ROG, используемые для управления ПЗС, формируются по прерываниям таймера. Сигнал CLK тактовых импульсов формируется в ПЛИС. ЦСП считывает данные и записывает в свой буфер. При заполнении буфера вызывается подпрограмма передачи данных в микро схему Wiznet. Вторая часть программы ССД, написанная на языке С, отве чает за процесс приема передачи данных с ЦСП на ПК при помощи моду ля IIM7010A, с использованием библиотеки функций для работы с микро схемой W3100A. После запуска программа инициализирует микросхему W3100A. За это отвечает функция InitIMode (). После этого программа инициализирует модуль WizNet настройками сети, такими как IP-адрес, маска подсети, основной шлюз. За это отвечает функция InitW3100A();

После чего устанавливается соединение с сервером ПК для отправки дан ных. Цикл передачи данных выполняет функция mainloop. Цикл передачи параметров от персонального компьютера, и обновление настроек работы программы ССД происходит в paramsloop(). Программа ССД работает в двухпоточном режиме. Две задачи выполняются параллельно, а переклю чение между задачами происходит с использованием таймера.

Timer IRQ Управление ПЗС Передача данных.

WIZNET.

Управление АЦП End IRQ Накапливание данных Рис. 5. Алгоритм выполнения программы ЦСП Программа верхнего уровня выполняют следующие функции:

загрузка программ цифрового сигнального процессора;

прием данных по каналу связи из ССД, их обработку и запись в ПК;

обеспечивает диалог оператора с ПК;

изменение параметров работы ССД и системы регистрации данных;

отображение данных в процессе работы ССД в графическом виде.

Программа написана на языке Microsoft Visual Studio version 8.0. В главном окне программы можно наблюдать отображение спектра сигнала полученного от спектроанализатора.

Исследования характеристик ССД Экспериментально было измерена максимальная скорость обмена данными ССД и персонального компьютера (700 КБ/с в режиме без под тверждений). Была проверена корректность выполнения обеих задач ПО нижнего уровня ССД в зависимости от кванта времени выделяемого под программе формирования управляющих сигналов ПЗС. Минимальный пе риод выделяемого кванта времени - 15 мкс. Проводилась оценка уровня собственных шумов ССД. Средний уровень цифрового выходного сигнала при отсутствии входного сигнала («нулевой уровень») не зависит от вели чины входной нагрузки и составляет 416 единиц АЦП. Выборочное СКО выходной реализации при объеме выборки 200000 отсчетов составляет 0,3 единицы АЦП. Полученное значение уровня собственных шумов ССД согласуется с паспортным значением уровня шума АЦП AD9223.

УПРАВЛЕНИЕ СОГЛАШЕНИЕМ ОБ УРОВНЕ УСЛУГ В ИНФОРМАЦИОННО-ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМАХ Хлудова М. В.

Санкт-Петербургский государственный политехнический университет В концепции облачных вычислений соглашение об уровне услуг (англ. Service Level Agreement (SLA)) используется для контроля использо вания и качества предоставления информационно-телекоммуникационных (ИТ) ресурсов. Любая стратегия управления SLA должна содержать не сколько шагов: (1) разработка основы соглашения для данного клиента;

(2) переговоры для выработки приемлемого варианта соглашения с учетом штрафов при нарушениях;

(3) разработка топологии сети для заказывае мой услуги;

(4) мониторинг исполнения услуги в масштабе реального вре мени и фиксация нарушений согласованного уровня;

(5) анализ ситуации при деградации уровня услуги, выявление причины и выработка варианта его восстановления;

(6) подготовка отчетов клиенту по предоставленной услуге;

(7) расчет платежей и штрафов. С точки зрения предоставления вычислительных мощностей, наиболее выдающееся отличие концепции облачных вычислений от простого предоставления программно аппаратных вычислительных ресурсов заключается в иллюзии потреби теля о бесконечных объемах ресурсов поставщика услуг. Масштабируе мость и возможность выделения ресурсов по требованию – один из важ нейших атрибутов облачных вычислений. К сожалению, поставщик услуг не всегда может гарантировать, что требование клиента будет удовлетво рено в необходимые сроки, в необходимом количестве и качестве. Данная ситуация также должна быть предметом соглашения об уровне услуг, а процедура создания соглашения об уровне услуг должна быть формализо ванной и автоматизированной.


В настоящее время тенденцией развития информационно телекоммуникационных систем (ИТС) в общем и облачных вычислений в частности можно назвать распространение парадигмы сервис ориентированной архитектуры (англ. Service-oriented Architecture (SOA)) – модульный подход к разработке программного обеспечения, основанный на использовании сервисов со стандартизированными интерфейсами. В рамках SOA предлагается рассматривать управление SLA как дополни тельный сервис наряду с основными ИТ-услугами, предоставляемыми провайдером в виде некоторой совокупности программных, аппаратных и организационных решений для обеспечения бизнес-процессов потребите ля. Основной идеей управления SLA является предоставление сервисов (1) мониторинга ИТ-услуг;

(2) предложения вариантов восстановления уровня ИТ-услуги;

(3) подготовки отчетов;

(4) расчета платежей. Эти сервисы должны быть четко формализованы и реализованы технически. Возмож ность оценки качества предоставляемых услуг должна быть доступна про вайдеру, клиенту и, при необходимости, третьим сторонам. Параметры SLA описываются набором определенных метрик (доступность, доставка, производительность, полоса пропускания, безопасность, надежность), оп ределяющих количественную меру качества предоставляемых услуг. При чем каждая метрика сопровождается дополнительным пояснением, на пример, «доставка» в одном случае может означать гарантированную долю запросов, доставленных без потери пакетов, а в другом случае – до пустимую задержку пакетов.

Для характеристики эксплуатационных качеств ИТС также исполь зуется набор метрик: доступность, потери, задержки, уровень использова ния. Например, «задержки» характеризуются тремя показателями: задерж ка передачи пакета в одну сторону, круговая задержка и вариация задер жек в ИТС. Различные показатели функционирования ИТС собираются с помощью разных методов: активного, пассивного мониторинга или прото кола SNMP. В каждом клиентском соглашении должны быть указаны: (1) параметры SLA, которые будут отображены с помощью выбранных функ ций в предельно допустимые значения показателей функционирования ИТС для данного клиента;

(2) метод сбора показателей ИТС;

(3) формат хранения этих данных;

(4) интервал времени, в течение которого они должны храниться. Архитектура системы сбора текущих показателей функционирования ИТС должна: (1) минимизировать объем передаваемых для мониторинга данных;

(2) позволять гибко изменять число пользовате лей и количество параметров SLA в соглашении.

ВЕРИФИКАЦИЯ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ С УЧЕТОМ КОНТЕКСТА Шошмина И. В.

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

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

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

Существующая практика спецификации программных систем ориен тирована на требуемый от системы результат. Такие спецификации обыч но структурируются к более частным требованиям, относящимся к от дельным функциям, реализуемым программой. На практике функции, со ставляющие, так называемую, спецификацию системы, обычно задаются весьма тщательно, что приводит к описанию внушительных объемов. На пример, в спецификации программной бортовой системы управления бом бардировщика А-7Е спецификация функций системы занимает 80 % из 450 страниц [2]. В то же время, часть, связанная со спецификацией требо ваний к поведению, прорабатывается в значительно меньшей степени, час то указывается неточно и неформально, а иногда и вовсе отсутствует. В той же спецификации А-7Е спецификация требований составляет одну страницу. В результате, требования к программе в терминах ее поведения остаются несформулированными. При этом известно, что функции, выра женные в спецификации требований, не могут быть адекватно отражены спецификацией системы.

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

Обычно при составлении спецификации требований решается одна из проблем: классификация свойств для сокращения затрат на верифика цию, или формулировка наиболее характерных свойств для упрощения формализации, или разработка языка спецификации для удобства пред ставления свойств.

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

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


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

Литература:

1. Карпов Ю. Г. Model Checking. Верификация параллельных и рас пределенных программных систем / СПб: БХВ-Петербург, 2010, 560 с.

2. Alspaugh Т. A., Faulk S. R., Britton К. Н., Parker R. A., Parnas D. L.

Shore J. E. Software Requirements for the A-7E Aircraft / Naval Weapons Center, 1989.

3. Shoshmina I., Belyaev A. Symbolic algorithm for generation Buchi Automata from LTL formulas / Parallel Computing Technologies - 11th Interna tional Conference РАСГ2011, Springer, 2011, 6873.

УКАЗАТЕЛЬ УЧАСТНИКОВ КОНФЕРЕНЦИИ СЕКЦИЯ Физические и математические науки ……………………………… ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ПРИРОДНЫХ ДИСПЕРСНЫХ СИСТЕМ, СОДЕРЖАЩИХ НАНОЧАСТИЦЫ БЕЗРУКОВА А. Г................................................................................................................................... ИССЛЕДОВАНИЕ ВРЕМЕННОЙ ЗАВИСИМОСТИ СОПРОТИВЛЕНИЯ КАНАЛА МИКРОДУГОВОГО НАНОСЕКУНДНОГО РАЗРЯДА БЕЛЬКО В. О., ШЕМЕТ М. В................................................................................................................. АДРОННЫЕ И ЭЛЕКТРОМАГНИТНЫЕ ПРИЗНАКИ ОБРАЗОВАНИЯ КВАРК ГЛЮОННОЙ ПЛАЗМЫ В СТОЛКНОВЕНИЯХ ТЯЖЕЛЫХ РЕЛЯТИВИСТСКИХ ЯДЕР ПРИ ЭНЕРГИИ 62,4 ГЭВ БЕРДНИКОВ Я. А., ИВАНИЩЕВ Д. А., КОТОВ Д. О., РЯБОВ В. Г., РЯБОВ Ю. Г., САМСОНОВ В. М.... РОЖДЕНИЕ ДИЛЕПТОНОВ В СТОЛКНОВЕНИЯХ ТЯЖЕЛЫХ РЕЛЯТИВИСТСКИХ ЯДЕР ПРИ ЭНЕРГИИ 200 ГЭВ БЕРДНИКОВ А. Я., ИВАНИЩЕВ Д. А., КОТОВ Д. О., РЯБОВ В. Г., РЯБОВ Ю. Г., САМСОНОВ В. М.... МОНТЕ-КАРЛО МОДЕЛЬ ЛЕПТОН-ЯДЕРНЫХ СТОЛКНОВЕНИЙ ПРИ ВЫСОКИХ ЭНЕРГИЯХ БЕРДНИКОВ Я. А., ИВАНОВ А. Е., КИМ В. Т., САВДЕРОВА Н. В......................................................... АНАЛИЗ ИЗМЕНЕНИЙ ЭНЕРГЕТИЧЕСКОГО РАСПРЕДЕЛЕНИЯ ПОЛЕВОЙ ЭМИССИИ ТЕСТОВОГО ОБРАЗЦА ДЛЯ ЭЛЕКТРОННОГО СПЕКТРОМЕТРА БОНДАРЕНКО В. Б., ГНУЧЕВ Н. М., ДАВЫДОВ С. Н., СНИГИР Ф. Н.................................................. ИСПОЛЬЗОВАНИЕ ECLIPSE ДЛЯ РАБОТЫ С GEANT ВЫРЕЛКИН С. А., САФОНОВ А. С., БЕРДНИКОВ Я. А., ГОЛОВИН А. В............................................. ПОЛЕВАЯ ЭМИССИЯ НАНОРАЗМЕРНЫХ СТРУКТУР ГАБДУЛЛИН П. Г., ГНУЧЕВ Н. М., ДАВЫДОВ С. Н............................................................................ ПРИМЕНЕНИЕ МЕТОДА МНОГОЧАСТИЧНЫХ ФУНКЦИОНАЛОВ ПЛОТНОСТИ В ОПИСАНИИ ПОВЕРХНОСТИ МЕТАЛЛА ГЛУШКОВ В. Л................................................................................................................................... ПЛАЗМЕННАЯ АНТЕННА С МАЛЫМ ЭНЕРГОПОТРЕБЛЕНИЕМ ДЕМЕНТЬЕВА О. Б.............................................................................................................................. ПРИМЕНЕНИЕ МЕТОДА МНОГОЧАСТИЧНЫХ ФУНКЦИОНАЛОВ ПЛОТНОСТИ В ОПИСАНИИ МНОГОЭЛЕКТРОННЫХ АТОМОВ И ИОНОВ ЕРКОВИЧ О. С.................................................................................................................................... СТРУКТУРА ЭЛЕКТРОННОГО ГАЗА ВБЛИЗИ ПОВЕРХНОСТИ МЕТАЛЛА В ПРИСУТСТВИИ АДСОРБИРОВАННЫХ ИОНОВ ВОДОРОДА ЕРКОВИЧ О. С.................................................................................................................................... СКОРОСТЬ СХОДИМОСТИ ПРИБЛИЖЕННЫХ МЕТОДОВ РАСЧЁТА НЕСТАЦИОНАРНОЙ ЗАДАЧИ О ТЕЧЕНИИ СЖИМАЕМОЙ И НЕСЖИМАЕМОЙ ЖИДКОСТЕЙ ЕРУНОВА И. Б.................................................................................................................................... СПЕКТРАЛЬНЫЕ ХАРАКТЕРИСТИКИ ПОЛИМЕРНЫХ ОПТИЧЕСКИХ ВОЛОКОН, АКТИВИРОВАННЫХ РОДАМИНОМ КИЗЕВЕТТЕР Д. В., САВИНА А. Ю., ЛЕВИН В. М., БАСКАКОВ Г. Г................................................... ЖЕСТКИЕ СИСТЕМЫ УПРАВЛЕНИЯ И МЕТОДЫ ИХ ИНТЕГРИРОВАНИЯ КОЗЛОВА Н. Н.................................................................................................................................... ДЛИТЕЛЬНЫЕ ЭКСТРЕМУМЫ СОЛНЕЧНОЙ АКТИВНОСТИ ЛИОЗНОВА А. В., БЛИНОВ А. В......................................................................................................... РАЗРАБОТКА МОДЕЛИ ТЕРАПЕВТИЧЕСКОГО ПОЛЯ ОБЛУЧЕНИЯ НА ОСНОВЕ ФИЗИЧЕСКИХ И БИОЛОГИЧЕСКИХ ЦЕЛЕВЫХ ФУНКЦИЙ В ДИСТАНЦИОННОЙ ЛУЧЕВОЙ ТЕРАПИИ МИРОНОВ В. О., НАГИЕВ Р. Г............................................................................................................ ВЛИЯНИЕ КОНСТРУКЦИИ ПОЛУПРОВОДНИКОВОГО ДЕТЕКТОРА НА ФОРМУ АМПЛИТУДНОГО СПЕКТРА МОРОЗ А. П., СЕРЕБРЯКОВ А. С., БЕРДНИКОВ Я. А.......................................................................... РАЗРАБОТКА ТРЕНАЖЕРНОЙ МОДЕЛИ СЕРИИ ЭЛЕКТРОЛИЗЕРОВ ПРОИЗВОДСТВА ФТОРА НАГАЙЦЕВА О. В., ЛИВЕНЦОВА Н. В................................................................................................ ЭФФЕКТИВНОСТЬ -ТРИГГЕРА СПЕКТРОМЕТРА PHENIX ДЛЯ РЕГИСТРАЦИИ KS-МЕЗОНОВ В ПРОТОН-ПРОТОННЫХ СТОЛКНОВЕНИЯХ ПРИ ЭНЕРГИИ 500 ГЭВ САФОНОВ А. С., БЕРДНИКОВ Я. А., ИВАНИЩЕВ Д. А., КОТОВ Д. О., РЯБОВ В. Г., РЯБОВ Ю. Г., САМСОНОВ В. М.............................................................................................................................................. ПОСТРЕЛЯТИВИСТСКАЯ ЭЛЕКТРОДИНАМИКА: ПОЛЕ ЗАРЯДА, ДВИЖУЩЕГОСЯ РАВНОМЕРНО И ПРЯМОЛИНЕЙНО ШАПОШНИКОВ А. В.......................................................................................................................... КРУГЛЫЙ СТОЛ:

Актуальные проблемы реализации требований ФГОС в учебном процессе по общей физике……………………………………. О ДИСЦИПЛИНЕ «ФИЗИКА И ЕСТЕСТВОЗНАНИЕ» В ФГОС-3 ДЛЯ НАПРАВЛЕНИЯ «ИННОВАТИКА»

ВАВИЛОВА О. С................................................................................................................................. ФИЗИКА И ЛОГИКА. ПРОБЛЕМА ЛОГИЧЕСКОЙ КОГЕРЕНТНОСТИ В КУРСЕ ОБЩЕЙ ФИЗИКИ ИЛЬИН Н. П........................................................................................................................................ ПРЕПОДАВАНИЕ ФИЗИКИ В «НАУЧНОЙ МЕККЕ»

КОЖЕВНИКОВ Н. М............................................................................................................................ ОПЫТ ИСПОЛЬЗОВАНИЯ УСТАНОВОК ФИРМЫ PHYWE В ОПТИЧЕСКОЙ ЛАБОРАТОРИИ ФИЗИЧЕСКОГО ПРАКТИКУМА ЛИПОВСКАЯ М. Ю., ЯШИН Ю. П...................................................................................................... АНАЛИЗ СТРУКТУРЫ РАБОЧИХ ПРОГРАММ ДИСЦИПЛИНЫ «ФИЗИКА»

НАСРЕДИНОВ Ф. С............................................................................................................................. ОСОБЕННОСТИ ИСПОЛЬЗОВАНИЯ КОМПЬЮТЕРНЫХ ПРЕЗЕНТАЦИЙ В ЛЕКЦИОННОМ КУРСЕ ПЕРЛИН Е. Ю..................................................................................................................................... О ЛАЗЕРАХ В КУРСЕ ОБЩЕЙ ФИЗИКИ ПРИВАЛОВ В. Е.................................................................................................................................. РЕЙТИНГОВЫЙ АНАЛИЗ ОТЧЕТОВ ФИЗПРАКТИКУМА ДЛЯ ФГОС- ПРИХОДЬКО А. В., КОНЬКОВ О. И..................................................................................................... САМОСТОЯТЕЛЬНАЯ РАБОТА СТУДЕНТОВ С ОПИСАНИЯМИ К ЛАБОРАТОРНЫМ РАБОТАМ ФИЗИЧЕСКОГО ПРАКТИКУМА ХРУЩЕВА Т. А................................................................................................................................... СЕКЦИЯ Информационные технологии и вычислительные системы…... МОДЕЛИРОВАНИЕ И РАСЧЕТ СИНТЕЗАТОРОВ ЧАСТОТ С ДРОБНЫМ КОЭФФИЦИЕНТОМ ДЕЛЕНИЯ НА ОСНОВЕ ДЕЛЬТА-СИГМА МОДУЛЯТОРОВ АХМЕТОВ Д. Б., КОРОТКОВ А. С....................................................................................................... ПОДГОТОВКА ПРЕПОДАВАТЕЛЕЙ К ИСПОЛЬЗОВАНИЮ ИНФОРМАЦИОННО КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ БОБРОВА Л. В..................................................................................................................................... ПРИМЕНЕНИЕ СЕТЕЙ ЭЛЕМЕНТАРНЫХ НЕЧЕТКИХ ВЫЧИСЛИТЕЛЕЙ ВО ВСТРАИВАЕМЫХ МИКРОКОНТРОЛЛЕРНЫХ СИСТЕМАХ ИНТЕЛЛЕКТУАЛЬНОГО УПРАВЛЕНИЯ ВАСИЛЬЕВ А. Е., ДОНЦОВА А. В....................................................................................................... СОЗДАНИЕ ПРОГРАММНЫХ СРЕДСТВ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ РАЗВИТИЯ ПРОФЕССИОНАЛЬНЫХ КОМПЕТЕНЦИЙ СТУДЕНТОВ В ВУЗЕ ВЕРТЕШЕВ С. М., МОТАЙЛЕНКО Л. В., ПОЛЕТАЕВ Д. И................................................................... ИССЛЕДОВАНИЕ УСТОЙЧИВОСТИ ХАОТИЧЕСКОГО ОБНАРУЖИТЕЛЯ К ИЗМЕНЕНИЮ РАСПРЕДЕЛЕНИЯ ПОМЕХИ ВЕТРИНСКИЙ Ю. А., ГЛАДКОВА Е. О................................................................................................ ЛОГИЧЕСКАЯ СТРУКТУРА САЙТА ВИКТОРЕНКОВА С. В., РОМАНОВА Е. П............................................................................................ ИСПОЛЬЗОВАНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ДЛЯ ОБУЧЕНИЯ АГЕНТОВ В ДИНАМИЧЕСКОЙ ИГРОВОЙ СРЕДЕ ЕЛИСЕЕВА Т. В., СОРОКИН К. С........................................................................................................ АВТОМАТИЗИРОВАННАЯ РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МИКРОПРОЦЕССОРНЫХ СИСТЕМ С РАСПРЕДЕЛЕННОЙ АРХИТЕКТУРОЙ КАШЛИКОВ С. А................................................................................................................................ ОБЕСПЕЧЕНИЕ ВЫСОКОЙ ЗАЩИЩЕННОСТИ ИНФОРМАЦИОННО ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ КОНОПЛЕВ А. С.................................................................................................................................. СИСТЕМА СБОРА И ОБРАБОТКИ ДАННЫХ ДЛЯ АКУСТООПТИЧЕСКОГО СПЕКТРОАНАЛИЗАТОРА КРУГЛОВ С. К., ТРЯПИЦЫН В. Л....................................................................................................... ИСХОДНЫЕ ДАННЫЕ ПРИ ОЦЕНКЕ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С КЭШ-ПАМЯТЬЮ ПО КРИТЕРИЮ НАДЁЖНОСТЬ-ПРОИЗВОДИТЕЛЬНОСТЬ МАМУТОВА О. В., ФИЛИППОВ А. С.................................................................................................. СИСТЕМА ДЛЯ ДИСТАНЦИОННОГО ПРОВЕДЕНИЯ ЛЕКЦИЙ МАХОВИКОВ А. Б............................................................................................................................... ОДНОРАЗРЯДНЫЙ СУММАТОР С ПОВЫШЕННЫМ БЫСТРОДЕЙСТВИЕМ МОРОЗОВ Д. В., ПИЛИПКО М. М....................................................................................................... ИСПОЛЬЗОВАНИЕ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ ДЛЯ ОЦЕНКИ ОДНОРОДНОСТИ ПРОСТРАНСТВЕННО-РАСПРЕДЕЛЕННЫХ ДАННЫХ В ЭКОСИСТЕМЕ ПИВОВАРОВА И. И........................................................................................................................... ИНТЕЛЛЕКТУАЛЬНЫЙ МОНИТОРИНГ ВЫЧИСЛИТЕЛЬНЫХ СЕТЕЙ ПТИЦЫНА Л. К., ПТИЦЫН А. В........................................................................................................ АНАЛИЗАТОР СПЕКТРА НА БАЗЕ ПРОЦЕССОРА ADSP-BF ТРЯПИЦЫН В. Л., КРУГЛОВ С. К...................................................................................................... СИСТЕМА СБОРА И ОБРАБОТКИ ДАННЫХ ДЛЯ АКУСТООПТИЧЕСКОГО СПЕКТРОАНАЛИЗАТОРА ТРЯПИЦЫН В. Л., КРУГЛОВ С. К...................................................................................................... УПРАВЛЕНИЕ СОГЛАШЕНИЕМ ОБ УРОВНЕ УСЛУГ В ИНФОРМАЦИОННО ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМАХ ХЛУДОВА М. В................................................................................................................................. ВЕРИФИКАЦИЯ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ С УЧЕТОМ КОНТЕКСТА ШОШМИНА И. В..............................................................................................................................

Pages:     | 1 | 2 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.