EIRNUZP – Електронний інституційний репозитарій Національного університету «Запорізька політехніка»
Інституційний репозитарій Національного університету «Запорізька політехніка» – це електронний архів, що накопичує, систематизує, зберігає та забезпечує довготривалий відкритий доступ до електронних публікацій та електронних версій документів наукового та навчально-методичного призначення, авторами яких є співробітники, аспіранти, докторанти та студенти Національного університету «Запорізька політехніка».
Communities in DSpace
Select a community to browse its collections.
Recent Submissions
Информационная модель процесса испытаний газотурбинных установок наземного применения
(Національний університет «Запорізька політехніка», 2013) Шитикова, Елена Викторовна; Табунщик, Галина Владимировна; Шитікова, Олена Вікторівна; Табунщик, Галина Володимирівна; Shitikova, Y. V.; Tabunshchik, G. V.
RU: Рассмотрена проблема повышения эффективности управления процессом испытаний газотурбинных установок наземного применения посредством формализации процессов испытаний газотурбинных установок наземного применения. В работе была выполнена декомпозиция данного процесса. Построенные бизнес-модели процессов испытаний и модель предметной области в комплексе образуют информационную модель процесса испытаний ГТУ НП. Авторами предложена архитектура системы мониторинга процесса испытаний и реализованы подсистемы обработки данных по результатам испытаний.
UK: Розглянуті проблеми підвищення ефективності керування процесом випробувань газотурбінних установок наземного використання за допомогою формалізації процесів випробувань газотурбінних установок наземного використання. В роботі була виконана декомпозиція зазначеного процесу. Збудовані бізнес-моделі процесів випробувань і модель предметної області разом складають інформаційну модель процесу випробувань ГТУ НВ. Авторами запропонована архітектура системи моніторингу процесу випробувань і реалізовані підсистеми обробки даних за результатами випробувань.
EN: The problems of increasing the efficiency of controlling the testing process of gas turbine installations for ground use by means of formalizing the testing processes of gas turbine installations for ground use are considered. The work has performed a decomposition of the specified process. The built business models of the testing processes and the model of the subject area together constitute the information model of the testing process of the GTU NV. The authors have proposed the architecture of the testing process monitoring system and implemented subsystems for processing data based on the test results.
Модель TLA-спецификации композитного веб-сервиса с множеством динамик
(Національний університет «Запорізька політехніка», 2013) Шкарупило, Вадим Викторович; Шкарупило, Вадим Вікторович; Shkarupylo, V. V.
RU: Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек.
UK: Розроблено формальну модель специфікування властивостей композитних веб-сервісів на основі формалізму темпоральної логіки TLA. На окремому прикладі виконано верифікацію TLA-специфікації композитного веб-сервіса із множиною властивостей в автоматизованому режимі з використанням реалізації методу Model Checking у складі програмного засобу TLA Toolbox (TLC, TLA Checker). Проведено оцінювання супутніх витрат часу.
EN: Despite the fact that today we have plenty of formal methods to be used during engineering process, the question of automation is still open and there is still the need to reduce Validation costs.
In order to specify the behaviors of Composite Web Service the TLA-formalism has been chosen and, as a consequence, the TLA-verification problem definition has been given. TLA-based Model for the Composite Web Services functional properties formal specification has been proposed: Kripke structure has been chosen as the basis. As a Case Study the Verification of Multi-behavioral Composite Web Service TLA-specification has been conducted. It has been done in an automated manner by TLA Toolbox Model Checking method implementation (TLC, TLA Checker) usage. The associated time costs estimation has been conducted.
Математическая модель оптимизационной задачи размещения пожароопасных объектов с учетом рельефа области размещения
(Національний університет «Запорізька політехніка», 2013) Чуб, И. А.; Чуб, І. А.; Chub, I. A.
RU: Проведены построение и анализ оптимизационной математической модели размещения пожароопасных объектов, являющихся в случае пожара источниками загрязняющих аэрозольных выбросов, с учетом рельефа области размещения. Рассматриваемая задача сводится к оптимизационной задаче размещения многоугольных объектов с изменяемыми метрическими характеристиками и пространственной формой.
UK: Проведено побудова та аналіз оптимізаційної математичної моделі розміщення пожежонебезпечних об’єктів, що є у випадку пожежі джерелами забруднюючих аерозольних викидів, з урахуванням рельєфу області розміщення. Розглянута задача зводиться до оптимізаційної задачі розміщення багатокутних об’єктів із змінними метричними характеристиками і просторової формою.
EN: Carried out the construction and analysis of the optimization mathematical model of placing flammable objects, which in case of fire are the sources of pollution aerosol emissions, taking into account the topography of the placement region. The problem reduces to the optimization problem of placing polygonal objects with variable metric characteristics and spatial form. A system of constraints of the problem was studied. Based on the analysis of the features of the optimization problem a method of searching for a local minimum of the objective function, which consists of three stages, was developed.
Схема контактного взаимодействия в трехмерной постановке в системе МIРЕЛА+
(2013) Решевская, Е. С.; Решевська, К. С.; Reshevskaya, E. S.
RU: В статье предложена постановка контактной задачи в трехмерной постановке. Для решения поставленной задачи был использован метод конечных элементов на основе интерполяционного полинома Эрмита. Численные расчеты проведены в рамках системы МIРЕЛА+. В работе приведены тестовые примеры расчета параметров контактного взаимодействия эластомерных элементов конструкций. Полученные результаты сравнены с имеющимися классическими решениями.
UK: У статті запропоновано постановку контактної задачі в тривимірній постановці. Для вирішення поставленого завдання був використаний метод скінченних елементів на основі інтерполяційного полінома Ерміта. Чисельні розрахунки проведені в рамках системи МIРЕЛА+. У роботі наведені тестові приклади розрахунку параметрів контактної взаємодії еластомерних елементів конструкцій. Отримані результати порівняні з наявними класичними рішеннями.
EN: The paper proposes a formulation of the contact problem in the three-dimensional formulation. To solve the problem the finite element method based on the Hermite interpolation polynomial was used. Introduced Hermite polynomial approximation yielded faster convergence than conventional Lagrange polynomials. For the solution of the contact problem by the finite element problem is presented in the form of a variational inequality. Numerical calculations are carried out within the MIRELA +, which is a specialized system for the calculation of weak-materials. The paper presents the test cases for calculating the parameters of contact interaction of elastomeric structural elements. The results are compared with the existing classical solutions.
Топологические методы построения рисунка графа
(Національний університет «Запорізька політехніка», 2013) Курапов, С. В.; Чеченя, В. С.; Курапов, С. В.; Чеченя, В. С.; Kurapov, S. V.; Chechenja, V. S.
RU: В данной работе рассматривается математическая модель для построения рисунка графа с минимальным числом пересечений. Представлена схема выполнения этапов построения топологического рисунка непланарного графа. Рассмотрена математическая модель перехода от топологического рисунка графа к геометрическому рисунку используя силовую модель, представляющую ребра графа как пружины с заданным модулем упругости.
UK: У даній роботі розглядається математична модель для побудови рисунка графа з мінімальним числом перетинів. Представлена схема виконання етапів побудови топологічного малюнка непланарного графа. Розглянута математична модель переходу від топологічного малюнка графа до геометричного малюнка використовуючи силову модель, що представляє ребра графа як пружини з заданим модулем пружності.
EN: In this work a mathematical model for the construction drawing of a graph with the minimum number of intersections is presented. The construction of picture of graph is executed in a few stages, in the beginning is maximally planar sugraph for a nonplanar count, on the second stage the construction of picture of graph is produced, with the minimum number of intersections in relation to selected maximally planar sugraph. After the construction of picture of graph with the minimum number of intersecting ribs, the task of breaking up of picture of graph decides on the minimum number of non-overlapping planar subsets.
Next the process of transition from the topological picture of the graph is further executed with the revolved tops to the geometrical picture. For the geometrical image of picture of graph on a plane it is required to find the coordinates of every top of graph. For this purpose as a power model, presenting the ribs of count as springs with the set module of resiliency, serves as a mathematical model of transition from the topological picture of graph to the geometrical picture, thus, tops, belongings the selected cycle (to the rim), are hardly fastened. And then every rib of graph appears the vector of force straight proportional his length.