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

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

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

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

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

464. 29.07.2015
В Тверском государственном техническом университете совместно с Холдинговой компанией «Композит» разработана экспертная система, предназначенная для помощи в обработке и анализе данных технологам, работающим с процессами производства полиакрильного волокна или нити.
Экспертная система мониторинга предназначена для сбора, хранения и обработки данных о состоянии параметров технологического процесса.

465. 27.07.2015
В Национальном исследовательском университете «МЭИ» рассмотрены актуальные вопросы применения прецедентного подхода в современных интеллектуальных (экспертных) системах, в частности, в системах поддержки принятия решений.
Для реализации прецедентного подхода предлагается использовать сетевую (онтологическую) модель представления прецедентов и гибридный алгоритм извлечения прецедентов, базирующийся на теории структурного отображения и методе ближайшего соседа.

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

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

468. 24.06.2015
В Уфимском государственном авиационном техническом университете обоснована необходимость создания автоматизированной информационной системы оценки эффективности научной школы.
Применение системы позволит повысить качество управления университетом на всех уровнях, а также обеспечить эти уровни управления необходимой информацией.

469. 18.06.2015
В Оренбургском государственном университете рассмотрена проблема определения погрешности, возникающей при токарной обработке на станках с ЧПУ заготовок, длина которых во много раз превышает диаметр.
В результате анализа математических моделей, используемых для определения погрешностей при точении, установлено, что для рассматриваемых деталей определяющим фактором при образовании отклонения является жесткость системы Станок–Приспособление–Инструмент–Деталь.

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

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