m3 Голосов: 1 Адрес блога: http://zagovor-2013.blogspot.com/ Добавлен: 2012-08-22 12:37:31 блограйдером 1234zz

Удостоверяющие федерации научно-образовательных сетей

2013-02-08 20:00:00 (читать в оригинале)




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








Принципы построения и формирования электронной библиотеки «научное наследие россии»
Проектирование тренажерно-моделирующих комплексов нового поколения
Качественные и количественные характеристики открытых информационных систем
Возможности прогнозирования динамики фондового индекса s
Реализация метода ляпунова по первому приближению в maple 12
Анализ связанности сложно-структурированных текстовых данных, характеризующих процессы формирования, размещения и исполнения государственных заказов в научно-технической сфере
Трехступенчатый эволюционный метод формирования коллективов нейронных сетей для решения задач классификации
Большой Адронный Коллайдер открыл ящик Пандоры.
Настройка выполнения параллельных программ
Исследование статистических свойств алгоритмов минимизации недетерминированных конечных автоматов с использованием программы refam

---

Метод построения интерактивных систем мониторинга на основе гибких технологических процессов

2013-02-08 20:00:00 (читать в оригинале)




Информационная система мониторинга предназначена для сбора и обработки информации о технологическом процессе (ТП) – workflow [1], происходящем в сторонней исходной системе (ИсС). Предполагается, что работа ИсС регламентируется совокупностью описан...








Качественные и количественные характеристики открытых информационных систем
Проектирование тренажерно-моделирующих комплексов нового поколения
Методы и инструменты реализации предметно-ориентированных компонентов обучающих систем
Оптимизация переходов в двоичном трансляторе для архитектуры «эльбрус»
Ископаемые инфекции из сердца Антарктиды.
Извлечение смысла из предложений естественного языка
Разработка раздела научного ежегодника для академического сайта на базе cms netcat
Cabelas Big Game Hunter: 2004 Season (2003/PC/RUS)
Большой Адронный Коллайдер открыл ящик Пандоры.
Редактор баз знаний в формате clips

---

Технологические процессы с гибкими связями типа «звезда» для интерактивных программных систем

2013-02-08 20:00:00 (читать в оригинале)




Управление технологическими процессами (ТП) – workflow – широко используется при разработке информационных систем в качестве промежуточного уровня абстракции, позволяющего отделить логику исполнения процессов от программного кода [1]. Изнача...








Настройка выполнения параллельных программ
Cabelas Big Game Hunter: 2004 Season (2003/PC/RUS)
Интеллектуальное управление многосвязными объектами, реализованное в ситуационных подпрограммах
Социальная сеть ран – единое информационное пространство для ученых
Параллельный программный комлекс оптимального развития динамической транспортной сети
Методы и инструменты реализации предметно-ориентированных компонентов обучающих систем
Убийственное донорство: мы знаем, как уничтожить генофонд нации.
Эволюционный метод ранжирования и классификации биологических объектов
Генетический алгоритм для задачи вершинной минимизации недетерминированных конечных автоматов
Матрично-топологический метод математического и компьютерного моделирования температурных полей в электронных модулях: программный комплекс stf-electronmod

---

Тенденции объектно-ориентированного программирования в разработке системы кумир

2013-02-08 20:00:00 (читать в оригинале)




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








Подходы к анализу точности мультиагентных моделей динамических систем
Программное обеспечение и алгоритмы для моделирования нелинейной динамики полиномами вольтерра
Анализ связанности сложно-структурированных текстовых данных, характеризующих процессы формирования, размещения и исполнения государственных заказов в научно-технической сфере
Большой Адронный Коллайдер открыл ящик Пандоры.
Нечеткая когнитивная карта как инструмент моделирования инновационной деятельности на региональном уровне
Cabelas Big Game Hunter: 2004 Season (2003/PC/RUS)
Комплекс программ и алгоритм расчета фрактальной размерности и линейного тренда временных рядов
Как гадать под Рождество? Рождественские гадания.
Матрично-топологический метод математического и компьютерного моделирования температурных полей в электронных модулях: программный комплекс stf-electronmod
Алгоритм эффективного размещения программ на ресурсах многопроцессорных вычислительных систем

---

Model-based verificaton with error localization and error correction for c designs

2013-02-08 20:00:00 (читать в оригинале)




In simulation-based verification, a digital system (design) looks like a black box, as it uses inputs and compares outputs. It’s entire design structure is irrelevant. If we want to debug this design, it should be transformed into a white box stru...








Анализ связанности сложно-структурированных текстовых данных, характеризующих процессы формирования, размещения и исполнения государственных заказов в научно-технической сфере
Настройка выполнения параллельных программ
Gardens Inc.: From rags to riches (2013/RUS)
Применение метода линейного программирования при автоматизированном проектировании дополнительных аэродинамических поверхностей
Информационная система мониторинга рынка государственных заказов с возможностью многокритериального поиска, поддержки принятия управленческих решений и персонификации результатов
Выбор вычислительной системы для решения научных задач
Как гадать под Рождество? Рождественские гадания.
Тенденции объектно-ориентированного программирования в разработке системы кумир
Интерактивное байесовское матирование изображений
Разработка раздела научного ежегодника для академического сайта на базе cms netcat