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

Статьи из выпуска № 1 за 2012 год.

Упорядочить результаты по: Дате публикации | Заголовку статьи | Авторам |

31. Методика оценки реального уровня защищенности автоматизированных систем [№1 за 2012 год]
Авторы: Мукминов В.А., Хуцишвили В.М., Лобузько А.В.
Просмотров: 15273
Рассмотрена методика оценки реального уровня защищенности АСУ в условиях моделирования компьютерных атак. Приведен перечень инструментальных средств, используемых для проведения оценки, включая средства моде-лирования компьютерных атак. Предложено комплексное использование новых форм испытаний и тестирования программных средств АСУ на основе натурного и имитационного моделирования. Применение новой методики оценки реального уровня защищенности позволит повысить эффективность работы служб информационной безо-пасности при эксплуатации АСУ.

32. Инструментальные средства автоматизации параллельного решения булевых уравнений на многоядерных процессорах [№1 за 2012 год]
Авторы: Опарин Г.А., Богданова В.Г.
Просмотров: 8960
Рассматриваются принципы организации, основные функции и структурные компоненты инструментального комплекса для автоматизации параллельного решения булевых уравнений на многоядерных процессорах, в частно-сти, технология автоматизации булева моделирования.

33. Входной язык объектно-ориентированной базы знаний GRID-системы [№1 за 2012 год]
Авторы: Опарин Г.А., Феоктистов А.Г., Вартанян Э.К.
Просмотров: 7995
Рассматривается язык описания знаний об экспериментальной Grid-системе. Описание таких знаний базируется на объектно-ориентированной модели данных.

34. Контроль целостности входных данных при проведении автоматизированного анализа программного обеспечения [№1 за 2012 год]
Автор: Поляничко М.А.
Просмотров: 12413
Рассматривается возможность введения этапа контроля целостности данных при проведении автоматизированно-го исследования ПО на наличие уязвимостей и ошибок. Приводится оценка временных затрат при различных объе-мах входных данных.

35. Механизм реализации мандатной политики безопасности в АСУП на базе Oracle ECM 11G [№1 за 2012 год]
Авторы: Проскуряков М.А., Палюх Б.В., Мельникова В.В., Котов С.Л.
Просмотров: 12001
Рассматривается проблема обеспечения соответствия подсистемы мандатного контроля доступа в Oracle ECM 11g требованиям РД СВТ, предъявляемым к данной подсистеме. Предложен механизм реализации мандатной поли-тики разграничения доступа в Oracle ECM 11g.

36. Выделение областей интереса на основе классификации изолиний [№1 за 2012 год]
Авторы: Сенюкова О.В., Галанин В.Е.
Просмотров: 14022
Предлагается новый подход к выделению областей интереса на изображениях. Показано применение разработан-ного алгоритма к задаче выделения очагов поражения на изображениях магнитно-резонансной томографии мозга. Ре-зультаты тестирования разработанного алгоритма на реальных данных продемонстрировали его превосходство над аналогами.

37. Метод планирования размещения группы виртуальных машин с перераспределением ресурсов [№1 за 2012 год]
Авторы: Соловьев В.П., Удовиченко А.О.
Просмотров: 12735
Предложен метод планирования размещения группы виртуальных машин с перераспределением ресурсов. Рас-смотрена задача размещения группы виртуальных машин, представлен разработанный метод и приведены результа-ты экспериментов, которые подтверждают его эффективность.

38. Инновационный подход к определению структуры программных решений для бизнес-процессов промышленного предприятия [№1 за 2012 год]
Авторы: Федунец Н.И., Гончаренко А.Н.
Просмотров: 7505
Представлен инновационный подход к созданию единой структуры программных решений для повышения эффективности функционирования промышленного предприятия. Интеграция разработанной модели определения оптимальной структуры программно-инструментальных средств в бизнес-процессы промышленного предприятия позволила улучшить технико-экономические, организационные и финансовые показатели.

39. Автоматическое построение и обобщение схемных решений при проектировании систем управления [№1 за 2012 год]
Авторы: Филатова Н.Н., Требухин А.Г.
Просмотров: 10724
Рассмотрен программный комплекс, расширяющий возможности САПР систем управления путем автоматиче-ской генерации объемов понятий о заданном классе функциональных схем автоматизации и автоматически унифи-цирующий и расширяющий свой опыт.

40. Компактная модель графенового полевого транзистора на языке Verilog-A [№1 за 2012 год]
Авторы: Целыковский А.А., Данилов И.А., Зебрев Г.И.
Просмотров: 16408
Представлены компактная модель графенового полевого транзистора и ее реализация на языке Verilog-A. На примере моделирования ряда аналоговых схем на основе графеновых транзисторов продемонстрирована возмож-ность использования модели в промышленных САПР.

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | Следующая → ►