Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57




НазваниеНаукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57
страница7/41
Дата12.10.2012
Размер5.12 Mb.
ТипДокументы
1   2   3   4   5   6   7   8   9   10   ...   41

ОЦЕНКА НАДЁЖНОСТИ СИСТЕМЫ С ПОМОЩЬЮ ТОПОЛОГИЧЕСКИХ УРАВНЕНИЙ

Лобатый А.А., Икуас Ю.Ф.

Белорусский национальный технический университет, г. Минск

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

,

где – вектор, состоящий из вероятностей нахождения -х подсистем в -х состояниях (i = , s = ), характеризующих их надёжность (исправное, неисправное, работоспособное, неработоспособное); – вектор интенсивностей переходов -х подсистем в -е состояния под действием своих внутренних факторов; – вектор интенсивностей переходов в -е состояния смежных с -ми подсистем; – вектор интенсивностей переходов в -е состояния каналов связи, инцидентных -й подсистеме; – транспонированная матрица смежности системы размерности (рассматривается ориентированный граф системы); – матрица инцидентности системы, в которой все положительные элементы заменены нулями.

Вывод топологических уравнений основан на рассмотрении эволюции сложной стохастической системы на элементарном (бесконечно малом) интервале времени. Уравнения для вероятностей состояний подсистем получены из уравнения Фоккера-Планка-Колмогорова с учётом поглощения и восстановления реализаций.

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


ПОВЫШЕНИЕ ТОЧНОСТИ ВРЕМЕННЫХ ЗАМЕРОВ В СОВРЕМЕННЫХ ОПЕРАЦИОННЫХ СИСТЕМАХ

Лобода Е.А.

Национальный технический университет

"Харьковский политехнический институт", г. Харьков

В олимпиадах по Программированию (по АСМ правилам) обязательно необходимо измерять продолжительность времени выполнения каждого теста для всех исполняемых файлов созданных участниками олимпиады.

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

Для преодоления этого тупика, резкого повышения достоверности результатов временных замеров были введены следующие особенности тестирования:

1) Тестирование выполняется не в обычном режиме работы операционной системы, а в режиме Safe Mode (Защищенном режиме). В результате этого число посторонних запущенных процессов уменьшается в 5-7 раз! Не работают антивирусы, подключения к сети … . Число “лишних” процессов обычно не более 10. Большинство из них пассивны - не используют процессорные ресурсы, поэтому операционная система фактически становится максимально идентичной классической однопроцессной DOS-системе.

2) Каждый тест выполняется не один раз, а несколько раз. Число повторных выполнений теста можно задать любым. Каждый из этих повторных выполнений теста имеет свою длительность. Результатом тестирования считается тот, который имеет минимальную длительность, т.е. внешние процессы практически не исказили замеры при его выполнении. Чем больше число повторных запусков теста, тем больше замеров с этой минимальной величиной. Опыт проведения олимпиад показал, что вполне достаточно выполнять 10 повторных запусков каждого теста в режиме Safe Mode.

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


ПРОБЛЕМИ ЗАХИСТУ ІНФОРМАЦІЇ ДИСТАНЦІЙНИХ КУРСІВ, ЯКА ЗНАХОДИТЬСЯ В МОНОПОЛЬНОМУ КОРИСТУВАННІ ЗА МЕЖАМИ ДОВІРЕНОЇ ЗОНИ

Лимаренко В.В., Гугнін В.М.

Національний технічний університет

"Харківський політехнічний інститут", м. Харків

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

Дуже важливою проблемою в області організації самостійної роботи і, особливо, комп'ютерного зовнішнього контролю являється слабка захищеність освітнього програмного забезпечення від "злому" з метою доступу до правильних відповідей і підробки результатів контролю. Ця проблема витікає з того, що в основному сучасні контролюючі системи будуються на антропоморфному принципі, суть якого стосовно автоматизації навчання полягає у використанні пам'яті комп'ютера для зберігання еталонних відповідей разом із завданнями. Як правило, вони шифруються, але, як показує практика, їх завжди можна розшифрувати.

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

На основі аналізу запропонований ряд заходів, що дозволяють підвищити захищеність АСДН (автоматичних систем дистанційного навчання). Запропоновані програмні засоби, які ґрунтуються на методі поліморфних алгоритмів шифрування та призначені для інтеграції у навчальні системи з метою їх захисту при використанні поза довіреним обчислювальним середовищем, та що перешкоджають створенню універсальних засобів обходу системи захисту.

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


СТВОРЕННЯ МАТЕРІАЛІВ ТА ЗАСОБІВ ТЕСТУВАННЯ ДЛЯ ДИСТАНЦІЙНОГО НАВЧАННЯ НА БАЗІ ТЕХНОЛОГІЇ FLASH 

Лимаренко В.В., Гугнін В.М.

Національний технічний університет

"Харківський політехнічний інститут", м. Харків

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

– маленький розмір файлів і, відповідно, більш швидке завантаження з мережі. Flash використовує векторний формат зображень і стискає растрові і звукові файли (які також можуть використовуватися в сторінках Flash);

– інтерактивність. Окрім простої графіки – малюнків і тексту – можна використовувати повнофункціональні навігаційні властивості: анімовані кнопки, спливаючі підказки, зручні ієрархічні меню, що, в цілому, полегшить кінцевому користувачу завдання навігації;

– усунення проблем сумісності між браузерами. На відміну від HTML, Flash однаково працює в будь-яких сучасних браузерах;

– потужна подієво-керована мова. У Macromedia Flash використовується спеціальна мова, за допомогою якої можна створювати "інтелект" для своєї сторінки. Починаючи з Flash 5, впроваджена технологія ActionScript, що дозволяє здійснювати повноцінне програмування, в тому числі з підтримкою умовного і циклічного переходу, масивів, функцій і класів, які можна успадковувати і набагато більш зручним інтерфейсом.

В ході роботи за допомогою технології Flash була реалізована система тестування знань учнів. Розроблена система тестування задовольняє основним вимогам до тестових компонентів для дистанційного навчання: тестовий матеріал повністю відповідає програмі курсу, учень має можливість контролювати себе самостійно, оболонка тестового матеріалу зручна і проста для розуміння без попереднього навчання. Після проходження тесту учень має можливість побачити оцінку своїх знань, а також переглянути всі питання тесту з правильними відповідями.


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

Лысенко А.Н.Романов А.Ю.

Национальный технический университет Украины "Киевский политехнический інститут", г. Киев

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

Решение этой проблемы состоит в объединении IP-ядер c помощью специализированных роутеров в сеть NoC (Network on Chip) [1]. Однако наиболее распространенной архитектуре NoC с коммутацией пакетов и whormhole-технологией соединения присущ недостаток, состоящий в том, что классический роутер представляет собой матрицу, коммутирующую потоки флитов с входов на соответствующие выходы (рис. 1). Необходимость их буферизации приводит к большим затратам ресурсов [1, 3 – 6].

С целью уменьшения буферной памяти предложено архитектру ресурсоэффективного роутера, в которой разделены функции коммутационной части на входной и выходной блоки, соединенные между собой буферной памятью типа FIFO (рис. 2). При этом вместо пяти буферных элементов для пяти портового роутера требуется всего один. Управление коммутацией осуществляется с помощью сигналов разрешения и подтверждения приема/передачи, а коммутация осуществляется по детерминистическому алгоритму XY.

Предложенный роутер был синтезирован в среде проектирования Quartus II для FPGA Cyclone II фирмы Altera, занимает 250 Les, 592 бита памяти. Статическое и динамическое потребление энергии – 40,43 мВт и 81,44 мВт, максимальная частота работы – 200 МГц, а пропускная способность достигает 2,13 Гбит/с. Это соизмеримо с существующими аналогами [5, 6], в то время как ресурсные затраты в разы меньше.







Рис. 2. Предложенная структура роутера

Рис. 1. Классическая структура роутера


Список літератури: 1. Axel J., Hannu T. Networks on Chip // Kluwer Academic Publishers. – Dordrecht, 2003. – 303 p. 2. Angiolini F., et al. A layout-aware analysis of networks-on-chip and traditional interconnects for mpsocs // IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems. – 2007. – Vol. 26, №3. – P. 421–434. 3. Bjerregaard T., Mahadevan S. A survey of research and practices of Network-on-chip // ACM Computing Surveys. – 2006. – Vol. 38 (1). – 51 p. 4. Ankur A., et al. Survey of Network on Chip (NoC) Architectures & Contributions // Engineering, Computing & Architecture. – 2009. – Vol. 3 (1). – 15 p. 5. Moraes F., et al. HERMES: an Infrastructure for Low Area Overhead Packet-switching Networks on Chip // Integration, the VLSI Journal. – 2004. – Vol. 38. – No. 1. – P. 69 93. 6. Marescaux T. Interconnection Networks Enable Fine-Grain Dynamic Multi-Tasking on FPGAs // FPL’02. – 2002. – P. 795-805.

ПРЕДСТАВЛЕНИЕ АЛГЕБРАИЧЕСКИХ ТИПОВ ДАННЫХ

Лыках Б.В., Козина О.А.,

Национальный технический университет

"Харьковский политехнический институт", г. Харьков

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

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

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

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

1   2   3   4   5   6   7   8   9   10   ...   41

Похожие:

Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconНаукове видання Матеріали ХVIII міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2010 ббк 73 І 57
...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconМатеріали ХVI i міжнародної науково-практичної конференції у двох частинах Ч. I харків 2009 ббк 73 І 57
...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconВикладання мов
Міжпредметні зв’язки: Тези XVI міжнародної науково- практичної конференції. 31 травня -1 червня 2012 року. Харків
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconМіжнародна науково-практична інтернет-конференція викладачів, аспірантів І студентів
У збірнику опубліковані тези доповідей викладачів, аспірантів та студентів які беруть участь у роботі Міжнародної науково-практичної...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconМіжнародна науково-практична інтернет-конференція викладачів, аспірантів І студентів
У збірнику опубліковані тези доповідей викладачів, аспірантів та студентів які беруть участь у роботі Міжнародної науково-практичної...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconМіжнародна науково-практична інтернет-конференція викладачів, аспірантів І студентів
У збірнику опубліковані тези доповідей викладачів, аспірантів та студентів які беруть участь у роботі Міжнародної науково-практичної...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconГо в и бор у матеріали II і міжнародної науково-практичної конференції 25-27 вересня 2009 р. Сімферополь Алушта isbn 978-066-2364-01-9
Регіональні аспекти розвитку в умовах європейського вибору / Матеріали ІІІ міжнародної науково-практичної конференції 25-27 вересня...
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconVііі науково-практичної конференції молодих учених «Методологія сучасних наукових досліджень»
Матеріали VІІІ науково-практичної конференції молодих учених «Методологія сучасних наукових досліджень» (17-18 жовтня 2011 р., м....
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconПрограма Х ix міжнародної Науково-практичної конференції Інформаційні технології : Наука, техніка, технологія, освіта, здоров’я
Україна, 61002, Харків, вул. Фрунзе, 21, Національний технічний університет «Харківський політехнічний інститут»
Наукове видання Тези доповідей ХIX міжнародної науково-практичної конференції у чотирьох частинах Ч. IV харків 2011 ббк 73 І 57 iconМатеріали ІV міжнародної науково-практичної конференції 21-23 жовтня 2010 р. – Сімферополь: ВіТроПринт, 2010. – 232 с. Редакційна колегія
Управлінські аспекти підвищення національної конкурентоспроможності / Матеріали ІV міжнародної науково-практичної конференції 21-23...
Разместите кнопку на своём сайте:
Библиотека


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