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

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

441. 30.09.2015
В Обнинском институте атомной энергетики НИЯУ МИФИ предложены новые подходы к построению моделей и логических схем алгоритмов и процедур информационных технологий обработки, анализа и классификации больших потоков астрономических данных об орбитах и траекториях малых тел.
Методология построения таких моделей и схем основана на построении оценок критериев близости и связанности орбит и траекторий в пространстве возможных состояний с помощью соответствующего математического аппарата фрактальных размерностей.

442. 23.09.2015
В Кемеровском институте (филиал) «Российского экономического университета им. Г.В. Плеханова» разработана система поддержки принятия решений для учета экологического фактора административным центром при запуске инвестиционного проекта, включая как открытие новых производств, так и расширение действующих мощностей.
Система облегчает работу в получении точного, объективного, научно обоснованного результата, помогающего территории вести взвешенную политику по экономическому развитию с минимальным причинением вреда окружающей природной среде.

443. 16.09.2015
В Институте машиноведения Уральского отделения РАН разработан генетический алгоритм решения задачи проектирования подготовительных переходов ковки валов в САПР технологических процессов ковки на прессах.
Данный алгоритм обладает свойствами самоусовершенствования и автоподстройки к реальным условиям производства, что, в свою очередь, позволит изба-вить пользователей САПР от необходимости внесения большого количества корректировок в результаты проектирования.

444. 09.09.2015
В Тверском государственном техническом университете, совместно с ЗАО «Элвис-НеоТек», технопарк «Зеленоград» исследованы структура и виды представлений агента о ситуации целеустремленного состояния; формализована модель выбора на основе субъективных представлений о реальности.
Показано, что описание представлений средствами языка, которым располагает агент, образует модель, оценку которой он делает с помощью термов лингвистической переменной «убежденность в полезности». Такая оценка выражает уверенность агента в полезности модели-представления для перехода из одного целеустремленного состояния в другое.

445. 02.09.2015
В Тверском государственном техническом университете разработана система поддержки управления решений.
Предполагается, что агенты, управляющие своими подсистемами, на уровне своих представлений хорошо знают и чувствуют свои объекты управления, что позволяет им «проигрывать» производственные ситуации и оценивать полезность вариантов способов действия.

446. 26.08.2015
В МАТИ – Российском государственном технологическом университете им. К.Э. Циолковского. Разработана гибкая архитектура системы управления умным домом, интегрированной в облачную среду.
Данная облачная среда предоставляет пользователям инфраструктуру для удаленного управления исполнительными устройствами и для мониторинга и обработки данных с различных датчиков, которые составляют систему умного дома.

447. 19.08.2015
В Институте автоматики и процессов управления ДВО РАН разработан и реализован инструментальный комплекс ИРВИС (Интернет-разработка виртуальных интерактивных сред), предназначенного для разработки виртуальных сред.
Комплекс предназначен для разработки виртуальных сред на основе облачной платформы IACPaaS (Intellectual Applications, Control and Platform as a Service).

448. 12.08.2015
В Санкт-Петербургском национальном исследовательском университете информационных технологий, механики и оптики, совместно с «Тбрикс АБ» предложен критерий для оценки результатов профилирования памяти.
На примере системы алгоритмической торговли Tbricks показано, что синтетические тесты не обладают достаточной степенью адекватности для анализа влияния профилирования памяти на характеристики оперативности реального приложения.

449. 06.08.2015
В Российском государственном социальном университете разработан новый эффективный метод ограничений верифицируемых моделей.
Данный метод позволяет сформулировать совершенно иной подход, направленный на сокращение тех состояний модели, которые невыполнимы на практике или избыточны, а также на явное уменьшение числа вычислительных последовательностей до того минимума, которого будет достаточно для выполнения верификации тех или иных свойств.

450. 29.07.2015
В Национальном исследовательском университете «Московский энергетический институт» разработана модификация алгоритма Rete для нечеткой базы правил.
Данная модификация позволяет формулировать правила и заключения на ограниченном естественном языке и обеспечивающая ускорение процесса работы системы за счет однократного вычисления одинаковых условий в различных правилах.

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