Software & Systems

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

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

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

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

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

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

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

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

538. 27.05.2014
В Московском государственном техническом университете им. Баумана рассматривались вопросы анализа коллекции данных с использованием логико-множественного гистограммного представления.
Предложены два подхода к анализу коллекции данных посредством логико-множественного представления, которые базируются на поэлементном анализе данных. В качестве результата анализа коллекции определены список количественных значений присутствия при элементном запросе и значения схожести при данных-образцах, которые в процессе отображения пользователю в случае необходимости могут быть упорядочены по убыванию или возрастанию.

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

540. 27.05.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 | 79 | 80 | 81 | Следующая → ►