DOI: 10.7256/2306-4196.2013.4.8301

Аннотация: В проектной деятельности, связанной с созданием сложных технических объектов, применяются средства автоматизации проектирования. Процесс проектирования представляется различными моделями в зависимости от целей применения этих моделей, принятых форм или правил их построения. Концепция формального представления процесса проектирования, описанная в работах Иошикавы, получила дальнейшее развитие в теории автоматизированного проектирования. В процессе проектирования выделяют этапы, проектные процедуры и проектные операции. Этапы состоят из проектных процедур, каждая из которых, в свою очередь включает ряд проектных операций. Проектная операция представляет собой отдельный шаг при проектировании. Каждая проектная процеду-ра завершается проектным решением. В практике проектного управле-ния используются сетевые модели, которые являются организационным инструментом управления проектом. Основными элементами сетевой модели являются: работа, событие и путь. В модели сетевой график, комплекс проектных процедур изображается в виде ориентированного графа, отражающего его логическую последовательность, взаимосвязь и длительность. Диаграмма Ганта является самым наглядным способом представления проектного графика.

DOI: 10.7256/2306-4196.2013.1.8314

Аннотация: В работе представлен компонент и заголовочные модули, написанные на языке Object Pascal, обеспечивающие простое подключение функций и процедур таких библиотек численного решения задач линей-ной алгебры как BLAS, LAPACK, ARPACK и др., написанных на языке FORTRAN. Использование этих библиотек в современных языках программирования, например в C++ или Object Pascal, сталкивается с существенными проблемами, связанными с методами передачи параметров в подпрограммы, а также со способом представления массивов в оперативной памяти. Более серьезной проблемой является нумерация элементов с 1, принятая в FORTRAN. В Object Pascal учет этого условия может потребовать тщательного анализа и модификации алгоритма решения задачи. Это существенно увеличивает трудоемкость программирования и ведет к появлению скрытых, трудно обнаруживаемых алгоритмических ошибок. Для обеспечения прозрачного обращения к подпрограммам FORTRAN-библиотек из программ на языке Object Pascal среды Delphi разработаны два класса объектов для представления одномерных массивов TVector и двумерных массивов - TMatrix.

DOI: 10.7256/2306-4196.2014.2.11918

Аннотация: В качестве исходных данных используются таблицы истинности трехмерных функций двоичной, троичной и смешанных логик. Вычисление значений логических функций производится с помощью: геометрических интерпретаций, дизъюнктивных / конъюнктивных нормальных форм (ДНФ / КНФ), неполносвязанных искусственных нейронных сетей (ИНС) и персептронов со скрытым слоем. Подробно рассматриваются промежуточные результаты вычислений всеми приведенными способами. Изучаются свойства функций смешанных логик: двоично – троичной и 3 – 2 логики, в одномерном, двух и трехмерном случаях. Приводятся взаимно эквивалентные реализации логических функций в виде ДНФ и неполносвязанной нейронной сети. Осуществлена замена непрерывной функции активации на троичную пороговую. В исследовании используются методы построения ДНФ, прямой синтез матриц весов ИНС, персептрон обучается с помощью алгоритма Back Propagation, часть выводов формулируется по законам математической индукции. В работе показано, что: 1. минимизация количества нейронов в скрытом слое персептрона, в неявном виде, приводит к использованию многозначных логик; 2. некоторые функции двоично – троичной логики можно использовать для формирования дизъюнктивных форм; 3. существует взаимно однозначный способ преобразования ДНФ в ИНС и обратно; 4. в одномерной 3 – 2 логике имеется всего 8 функций и все они перечислены; 5. предложенная структура ИНС может реализовывать любую функцию троичной логики произвольной мерности.

DOI: 10.25136/2644-5522.2019.2.28272

Аннотация: Предмет исследования – методика разбиения дизассемблированного кода на логические блоки в автоматическом режиме, поиск уязвимостей программного обеспечения без использования исходного кода (с использованием бинарного файла либо его эквивалента, полученного реверс-инжинирингом). Объектом исследования являются существующие анализаторы кода и особенности их функционала. Целью исследования является рассмотреть возможность разбиения дизассемблированного кода на логические блоки в автоматическом режиме и некоторые связанные с этим возможные сложности. Постановка проблемы. Сложность анализа больших программных продуктов на уровне машинного кода обуславливает необходимость автоматизации данного процесса. Методология исследования основана на сочетании теоретического и эмпирического подходов с применением методов статического и динамического анализа, сравнения, обобщения, алгоритмизации, моделировании, синтеза. Ключевые выводы. Разбиение кода на блоки путем последовательного в режиме «строчка за строчкой» анализа машинного кода в некоторых случаях может привести к неверной интерпретации. Кроме того, анализ кода согласно выводам функций так же не гарантирует правильности определения границ функций. Однако в целом матричный метод может быть применен для анализа зависимостей функций по выделенным таким образом блокам кода. Научная новизна связана с определением автором перспективных векторов исследования программного кода на уязвимости, обоснованием подхода (построение матрицы переходов из целочисленных значений), который может являться начальной стадией подготовки к автоматизированному анализу дизассемблированного кода.

DOI: 10.7256/2306-4196.2016.5.20414

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