Software & Systems

Все новости информационных технологий

701. 21.07.2010
В НИИСИ РАН для реализации задачи стохастического тестирования микропроцессоров с архитектурой MIPS64 была разработана интегрируемая система INTEG
Используемый в системе INTEG подход к верификации микропроцессорных средств основан на массовом прогоне тестов на различных моделях микропроцессора (в частности, на RTL и эталонной моделях) и сравнении результатов прогона.

702. 07.07.2010
В НИИ системных исследований РАН построена модель вычислений, описывающая основные аспекты контролируемого выполнения распределенных ответственных приложений реального времени
Модель построена на основе формального описания устойчивой системы реального времени, включающего восстановление системы после сбоев, временные свойства и планируемость.

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

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

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

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

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

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

709. 07.05.2010
В Волгоградском государственном техническом университете на кафедре САПР и ПК была разработана система поиска физических эффектов
Для поиска использовался метод дескрипторного поиска, что заставляло формализовать запросы в виде модели физического эффекта.

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

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | Следующая → ►