Software & Systems

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

301. 13.12.2017
В Научно-исследовательском институте системных исследований РАН (ФНЦ НИИСИ РАН) изучалась проблема отладки сложных многопроцессных систем.
Рассматривались существующие средства и методы отладки, выделялись их достоинства и недостатки.

302. 06.12.2017
В Научно-исследовательском институте системных исследований РАН (ФНЦ НИИСИ РАН) исследовались поведение потенциала в транзисторных структурах в области длин затворов менее 50 нм, его зависимости от смещений на стоке для различных конфигураций фронтального затвора.
Полученные результаты однозначно показывают, что применение двух материалов с разной работой выхода во фронтальном затворе приводит к эффективному подавлению короткоканальных эффектов из-за ступенчатой функции в профиле потенциала на границе раздела двух материалов.

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

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

305. 15.11.2017
В Российском государственном социальном университете рассматривалась реализация алгоритма верификации метода Model Checking для формул логики линейного времени LTL на базе новой нотации RLTL.
Данная нотация является рекурсивным представлением формул логики линейного времени. Поскольку на базе RLTL могут быть заданы как модель верифицируемой системы, так и требования к ней, можно избежать необходимости их предварительного преобразования к автоматам Бюхи и сразу приступать к процессу верификации, что упростит алгоритм метода и повысит его эффективность.

306. 08.11.2017
В Новосибирском государственном техническом университете проведен обзор автоматизированной оценки юзабилити.
Выделены подходы, основанные на взаимодействиях, метриках и моделировании, указаны возможности и ограничения каждого из них.

307. 01.11.2017
В Волгоградском государственном техническом университете разработанн фреймворк для автоматизации исследований в области проектирования математического и программное обеспечение проактивных систем поддержки принятия решений.
Предлагаемое программное решение, представляющее собой ПО на языке Python, позволяет автоматизировать процесс анализа временных рядов и формировать отчет в формате LaTeX. Формирование осуществляется в автоматическом режиме в соответствии с методологией CRISP-DM. Отчет содержит результат комплексного анализа временных рядов в соответствии с опубликованными и признанными методиками.

308. 25.10.2017
В Университете «Дубна» (Институте системного анализа и управления) разрабатывается система распознавания образов автономного робота, базирующегося на технологии стереозрения.
Создан программный модуль распознавания, разработанный с помощью языка программирования Python.

309. 18.10.2017
В Национальном исследовательском центре «Курчатовский институт» совместно с Национальным исследовательским университетом «Высшая школа экономики» исследовались механизмы, важные для адекватного моделирования группы искусственных агентов, особенно мобильных роботов, организованных в систему с элементами социальной структуры.
Сформулированы основные механизмы для моделирования искусственных коллективов с социальной структурой.

310. 11.10.2017
В Университете «Дубна», Институте системного анализа и управления исследовались возможности применения нейроинтерфейса совместно с различными типами регуляторов на типовом примере управления автономным транспортным средством.
Проведена оценка возможностей применения методов и средств технологии интеллектуальных вычислений для повышения надежности функционирования системы управления.

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