Анотації 

Овсяк О. В. Моделювання транслятора структур даних електромеханічних схем друкарських машин. - Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 01.05.02 - математичне моделювання та обчислювальні методи. - Національний університет “Львівська політехніка”, Львів, 2002.

   Дисертаційна робота присвячена синтезу, мінімізації за кількістю термів та дослідженню математичної моделі транслятора символьних даних, спроектованих в комп'ютерно-інтегрованій системі ACCEL EDA електромеханічних схем друкарських машин, у структури даних спеціалізованої підсистеми моделювання. Синтез і мінімізація структури транслятора за кількістю термів виконані засобами теорії секвенційних алгоритмів. Дослідження математичної моделі транслятора проведено методом математичної індукції. Математична модель транслятора програмно реалізована і апробована.
   Ключові слова: математична модель, моделювання, синтез, мінімізація, терми, структури даних, дослідження, транслятор.

Овсяк О.В. Моделирование транслятора структур данных электромеханических схем печатных машин.

Диссертация на соискание учёной степени кандидата технических наук по специальности 01.05.02-математическое моделирование и вычислительные методы. - Национальный университет "Львівська політехніка", Львов 2002.

   Диссертационная робота посвящена математическому моделированию транслятора символьных данных спроектированных в компютерно-интегрированной системе ACCEL EDA электромеханических схем печатных машин в структуры данных подсистемы их моделирования.
   Электромеханические схемы печатных машин отличаются большим количеством параметров компонент, значения которых находятся в разных диапазонах, значительной разностью значений параметров, влиянием свойств (упругость, инерционность) и геометрических размеров валопроводов на качество продукции, необходимостью синхронизации разных электромеханических систем.
   Анализом установлено, что универсальные системы такие как MATLAB и MATHCAD в случае их использования для моделирования таких схем не проверяют параметры на допустимые значения, а в специализированной системе автоматизации проектирования электромеханических схем печатных машин отсутствует графический интерфейс ввода схемы. По этому в диссертационной работе решена научная задача математического моделирования транслятора графики компютерно-интегрированой системы ACCL EDA в структуры данных подсистемы моделирования электромеханических схем печатных машин.
   Синтезированная методами теории секвенционных алгоритмов структура транслятора минимизирована за количеством термов.
   Построена математическая модель структуры транслятора описывает идентификацию типов и параметров компонент та связей между ними, автоматическое выявление ошибок, допущенных при проектировании схемы и задании параметров компонент, преобразование символьных данных спроектированных в компютерно-интегрированой системе ACCEL EDA электромеханических схем печатных машин в структуры данных моделирующей программы системы автоматизации проектирования электромеханических схем печатных машин.
   Исследование математической модели методом трансфинитной математической индукции обеспечило ещё до её практической реализации и апробации выявление допущенных при синтезе структуры транслятора ошибок.
   Разработаны правила описания электромеханических схем в среде ACCEL EDA , которые обеспечивают описание типов и параметров компонент схемы, задания вывода результатов моделирования. Синтаксис и семантика правил описаны теорией секвенционных алгоритмов.
   Математическая модель программно реализована и апробирована.
   Внедрена программа транслятора.
   Ключевые слова: математическая модель, моделирование, синтез, минимизация, термы, структуры данных, исследование, транслятор.

Ovsiak O.V. Modelling of data structures translator for electromechanical circuits of printing machines. - Manuscript.

The thesis submitted for the degree of candidate of engineering sciences, specialty 01.05.02 – mathematical modeling and computing methods. – National University “Lvivska polytechnica”, Lviv, 2002.

   The problems of synthesis, minimization by therm number and investigation of the translator mathematical model for symbolic description of electromechanical circuits for printing machines are considered. The circuits are to be designed by the computer integrated ACCEL EDA system. The output data structures from the translator are to be or input data for modeling sybsystem. The sequence algorithm theory to construct the translator is used. The mathematical induction theory to investigate a mathematical model is accepted. The translator model is realized by software and tested.
   Keywords: mathematical model, simulation, synthesis, minimization, therms, data structures, research, translator.

Скачати автореферат дисертації безкоштовно (повна версія)
Моделювання транслятора структур даних електромеханічних схем друкарських машин