Программные продукты и системы

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

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

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

503. 14.07.2014
В Академии Федеральной службы охраны Российской Федерации представлена эталонная модель САУ типа «виртуальное предприятие», основанная на методологии коллаборативных сетевых организаций ARCON.
Абстрактные параметры модели заполнены конкретными значениями, характерными для виртуальных системы административного управления ИТ-инфраструктурой.

504. 10.07.2014
В Национальном исследовательском университете «Московский энергетический институт» разработаны методы и алгоритм статического (до выполнения программы) контроля типов функциональных программ на созданном языке функционального параллельного программирования FPTL.
В существующей реализации языка на многоядерных компьютерах тип о-вой контроль осуществляется в процессе выполнения программы, что занимает около 30 % времени ее выполнения.

505. 02.07.2014
В Российском государственном социальном университете исследован формальный метод анализа свойств параллельных и распределенных программ.
Предложен метод верификации технических систем на выполнимость различных временных свойств, в частности, свойства безопасности (типичный пример свойства безопасности – свобода от блокировок).

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

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

508. 18.06.2014
В Институте химии нефти СО РАН рассмотрены возможности нечетких систем для решения задач восстановления пропущенных значений в многомерных массивах данных.
Предложены алгоритм идентификации нечеткой системы на основе метода эволюционной стратегии для настройки параметров и алгоритм импутирования.

509. 10.06.2014
В Сибирском государственном аэрокосмическом университете им. академика М.Ф. Решетнева рассмотрены стандартные методы решения задач условной оптимизации на основе искусственного ухудшения значения целевой функции при нарушении заданных ограничений, а именно методов назначения динамических и адаптивных штрафов.
По результатам исследования делается вывод о том, что наибольшую эффективность показывает комбинация динамического штрафа и модификации алгоритма, выраженной в переходе в подмножество S k только тех решений, которые удовлетворяют заданным критериям.

510. 05.06.2014
В Академии Федеральной службы охраны Российской Федерации рассмотрено применение технологических моделей АСУ предприятием на уровне выделенных информатизированных бизнес-процессов в процессе управления развитием.
Выделено четыре уровня технологических моделей, которые отражают качественные оценки состояния и эффективности информатизированных бизнес-процессов. Наличие таких технологических моделей позволяет оценивать мгновенные и интегрированные значения показателей эффективности применения средств автоматизации и информатизации для достижения целей и задач предприятия в рамках всего жизненного цикла.

◄ ← Предыдущая | 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 | Следующая → ►