В.С. Поляков, С.В. Поляков «Анализ и построение формального описания объекта, осуществляющего технологический процесс» 1. <...> Применение ЭИО как упрочняющего метода для лезвий режущих инструментов обеспечивает повышение их динамической микротвердости. <...> Наибольшее влияние на твердость лезвий оказывает не только величина приведенной энергии Wп, но и материал электродов. <...> Предложенным методом можно определять микротвердость различных лезвийных инструментов, изготовленных из материалов с твердостью меньше, чем твердость применяемого индентора. <...> Использование метода определения динамической микротвердости на кромках лезвий дает более точные результаты для расчета долговечности деревообрабатывающего инструмента по сравнению с результатами определения микротвердости на приборе ПМТ-3. <...> УДК 681.5 В.С. Поляков, С.В. Поляков (Волгоградский государственный технический университет) E-mail: vladstrix@mail.ru АНАЛИЗ И ПОСТРОЕНИЕ ФОРМАЛЬНОГО ОПИСАНИЯ ОБЪЕКТА, ОСУЩЕСТВЛЯЮЩЕГО ТЕХНОЛОГИЧЕСКИЙ ПРОЦЕСС, В ВИДЕ КОМПОЗИЦИИ ПАРАЛЛЕЛЬНО ФУНКЦИОНИРУЮЩИХ КОМПОНЕНТОВ Рассмотрена возможность представления модели сложных объектов с параллельно функционирующими компонентами в виде композиции графов. <...> Каждый из компонентов описывается графом в виде матрицы инцидентора. <...> Данная модель функционирует с использованием экстраполирующей процедуры на матрице инцидентора результирующего графа объекта. <...> Each component is described by the graph as a matrix incidentor. <...> This model operates using the extrapolating procedure on the matrix incidentor of resulting object graph. <...> Параллельно функционирующие в режиме реального времени системы и процессы часто представляют конечными временными автоматами [1] и алгебрами временных процессов (например, [2 – 4]). <...> Однако все эти формализмы базируются на интерлинговой семантике и не позволяют моделировать параллелизм естественным образом (напрямую) [5]. <...> Но это не настоящий, а так называемый псевдопараллелизм, где иллюзия параллельного функционирования достигается <...>