Разработки СО РАН - каталоги программ и БД

Назначение - Программа предназначена для поиска математических описаний частично определенных (недоопределенных) функций, содержащих неизвестные параметры и формулы.

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

Алгоритм опубликован в статье:  Монахов О.Г. Эволюционный синтез алгоритмов на основе шаблонов.   Автометрия. N 1, 2006. с.116-126.

В приложении приведен пример работы программы.

Назначение - Программа предназначена для вычисления структурных характеристик циркулянтных сетей (графов), задаваемых с помощью компактного параметрического описания: числа вершин и множества образующих.

Область применения - системы информатики; теория графов; сети связи.

Программа вычисляет следующие структурные характеристики:
- диаметр и средний диаметр заданной циркулянтной сети,
- нижние границы характеристик (диаметра и среднего диаметра) в классе циркулянтных сетей с данными числом вершин и степенями вершин,
- величину отклонения характеристик заданной сети от полученных оценок, 
- распределение вершин по ярусам в заданной сети.

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

Программа рассчитывает числовую характеристику доступа к информации на основе списков контроля доступа с помощью модели Take-Grant.
Данная характеристика была введена в статье "Численная характеристика возможности доступа к информации в расширенной модели Take-Grant" авторами С.В. Белимом и В.Ю. Бардычевым. Такая характеристика позволяет правильно оценивать вероятность доступа, а также, как изменяется система безопасности при введении нового исполняемого файла в информационную систему. Использование числовой характеристики возможности доступа позволяет выявить не очевидные с первого взгляда, но весьма вероятные каналы утечки информации.
Областью применения может быть система безопасности, используемая в семействе операционных систем Microsoft Windows.