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

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

711. 25.08.2010
В Пензенском государственном педагогическом университете им. В.Г. Белинского предложена реализация открытости на основе обобщенной операции абстрагирования
Реализация открытости позволит формировать образы объектов, обладающие большой выразительной способностью. На примерах показано формирование образов с отбрасыванием несущественных свойств, интегральными и усредненными свойствами и др.

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

713. 11.08.2010
В Национальном исследовательском ядерном университете «МИФИ» (г. Москва) предложен подход к определению подмножества компонент системы, достаточного для оценки состояния системы по результатам регрессионного анализа
Подход позволит снизить трудозатраты и увеличить точность при построении оценки состояния проекта с фиксированным технологическим циклом, а также обеспечит дополнительную информационную поддержку принятия решений при управлении изменениями.

714. 04.08.2010
В Российском университете кооперации (г. Смоленск) предложена оригинальная трактовка мер возможности и необходимости
Рассмотрены и уточнены основные аксиомы теории возможностей при использовании мер возможности и необходимости в оценочном аппарате математического обеспечения АСУ управления организационно-техническими системами.

715. 28.07.2010
В Алтайском государственном техническом университете им. И.И. Ползунова создан программный комплекс, обеспечивающий взаимодействие производственных предприятий и научно-технических организаций
Программное обеспечение комплекса позволяет определить уровень инновационного потенциала организации с применением технологии гибридных экспертных систем и нейронных сетей.

716. 21.07.2010
В НИИСИ РАН для реализации задачи стохастического тестирования микропроцессоров с архитектурой MIPS64 была разработана интегрируемая система INTEG
Используемый в системе INTEG подход к верификации микропроцессорных средств основан на массовом прогоне тестов на различных моделях микропроцессора (в частности, на RTL и эталонной моделях) и сравнении результатов прогона.

717. 07.07.2010
В НИИ системных исследований РАН построена модель вычислений, описывающая основные аспекты контролируемого выполнения распределенных ответственных приложений реального времени
Модель построена на основе формального описания устойчивой системы реального времени, включающего восстановление системы после сбоев, временные свойства и планируемость.

718. 16.06.2010
В Пензенском государственном университете предложена новая модель расписаний, учитывающая сложную структуру связей между элементами расписаний
Модель позволяет описывать широкий класс таких прикладных задач, в которых древовидная

719. 09.06.2010
В Стерлитамакском филиале Уфимского государственного нефтяного технического университета предложено с помощью дискретно-логического регулятора сократить потери быстродействия системы регулирования, основанной на системе типовых продукционных правил
Дискретно-логический регулятор по быстродействию более чем в четыре раза превосходит регулятор, основанный на системе типовых продукционных правил.

720. 02.06.2010
В Пензенском государственном педагогическом университете им. В.Г. Белинского на основе анализа существенных свойств самоорганизующихся информационных систем предложена модель динамического соответствия концептуальной модели предметной области и схемы БД, поддерживаемая в рамках системного изоморфизма
Найдены допустимые операции модификации модели предметной области и схемы БД, обеспечивающие их независимую эволюцию и учитываемые в модели динамического соответствия.

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