Декомпиляция – одна из сложнейших задач обратной инженерии. В задаче декомпиляции можно выделить подзадачу – восстановление типов данных. Данная статья посвящена методам восстановления высокоуровневых типов данных языка C по низкоуровневому представлению программы на языке ассемблера. В статье подробно описан метод восстановления базовых типов языка C и производных, таких как структуры, массивы, массивы структур и т. д. Также представлено опис ...
Работа посвящена методам автоматической структуризации данных и формирования категорных моделей баз знаний, построению и исследованию методов формирования многомодельных комплексов, основанных на синтезе дедуктивных и индуктивных методов логического вывода. ...
Задача автоматизации построения адекватных геометрических моделей различных объектов сложной формы часто возникает в математическом и компьютерном моделировании, САПР, а также различных приложениях компьютерной графики. Теория R-функций позволяет получать функциональное представление сложного объекта в виде единой действительной функции. R-функции являются действительными функциями, знак которых полностью определяется знаками их аргументов (в о ...
В основу пособия легли материалы авторских курсов по подготовке к ЕГЭ, учебные материалы и методика которых позволяют значительно повысить текущий уровень подготовки. Материалы охватывают курс алгебры 10—11 классов и затрагивают темы 8—9 классов: действия со степенями, логарифмы, решение уравнений, решение неравенств, графики функций, тригонометрия, производная функции, текстовые задачи. Материал закрепляется с помощью упражнений, мини-тестов, д ...
Современные информационные технологии достаточно адекватно решают многие сложные технические задачи автоматизированного проектирования технологических и механических систем, обеспечивая поэтапный процесс их параметрической оптимизации, достигая экстремальных значений принимаемых критериев качества. В статье представлены математическая постановка и результаты компьютерного решения задачи оптимизации кинематических параметров четырехзвенного механ ...
Совместно рассмотрены способы синтеза и представления структуры технических систем (ТС) в реляционных базах данных. В качестве способа представления структуры ТС выбран N-ориентированный гиперграф, синтез структуры ТС осуществляется с помощью продукционных правил. В формате SQL представлен синтаксис правил и алгоритм их обработки. Область применения – разработка САПР: конструирование оборудования, проектирование технологических схем, размещение ...
В статье представлены результаты разработки и исследования математических моделей представления структуры изображений. Предложены методы и алгоритмы их формирования, преобразования и анализа пространственных объектов с использованием тетроидных регулярных сетей. ...
Предложен алгоритм вычисления топологий конечного множества и их исследования: проверки T 0 –аксиомы отделимости и связности, определения связности подмножеств, вычисления связных компонент, баз и гомеоморфизмов топологического пространства в себя. Представлено разработанное авторами программное обеспечение, реализующее предложенные модели. ...
Автором анализируются вычислительные схемы представления набора элементов комбинаций вектора, перестановки, сочетания и размещения в виде одного числа на основе процедур кодирования. Предлагаются процедуры обратного преобразования заданного кода в элементы исходных комбинаций. Даются рекомендации по использованию приведенных вариативных процедур в алгоритмах оптимизации прикладных задач на рассмотренных комбинаторных структурах. ...
