Browsing by Author "Овсяк, О."
Now showing 1 - 8 of 8
- Results Per Page
- Sort Options
Item Алгоритми графічного інтерфейсу транслятора(Видавництво Національного університету "Львівська політехніка", 2001) Овсяк, О.Описано [1] систему моделювання електромеханічних схем друкарських машин, яка базується на використанні комп’ютерної графіки відомої [2] інтегрованої системи ACCEL EDA.Item Методологія синтезу моделей алгоритмічної складової автоматів(Видавництво Львівської політехніки, 2012) Драган, Я.; Овсяк, В.; Овсяк, О.Описано етапи синтезу, оптимізації і дослідження математичних моделей алгоритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції. There is describe by the stages of synthesis, optimization and study mathematical models machine algorithmic component by the methods of algorithm algebra, decomposition and mathematical induction..Item Модель інформаційної технології опрацювння формул алгоритмів(Видавництво Львівської політехніки, 2011) Овсяк, О.Модель інформаційної технології опрацювання формул алгоритмів описано розширеною алгеброю алгоритмів у вигляді рекурентно-декомпозиційної моделі. За ознакою функціонального призначення модель декомпоновано на субмоделі. Описано візуальну і функціональну підмоделі інформаційної технології. Наведено фрагмент програмної реалізації моделі. Described the extended algebra algorithms recurrent-decomposition model of information technology for synthesis and processing algorithms formulas. Model by functional appointment of the decomposing at sub models. Described visual and functional sub models information technology. An piece of software implementation model.Item Модель інформаційної технології формування операції секвентування(Видавництво Львівської політехніки, 2011) Овсяк, О.Засобами розширеної алгебри алгоритмів описано модель комп’ютерного рисування знаків операції горизонтального і вертикального секвентування. Мовою об’єктного програмування С# наведено код моделі знака операції горизонтального секвентування. By means of the extended algebra algorithms described model of a computer drawing operation marks the horizontal and vertical sequencing. Object language programming with C # code is an operator model horizontal sequencing.Item Моделі схем реляційних баз даних, поданих модифікованою алгеброю алгоритмів(Видавництво Львівської політехніки, 2013) Драґан, Я.; Кулик, С.; Овсяк, В.; Овсяк, О.Обґрунтовано використання модифікованої алгебри алгоритмів для побудови математичних моделей схем реляційних баз даних. Побудовані математичні моделі схем абстрактних баз даних з одним і багатьма відношеннями та абстрактної схеми сховища даних. There гіштп of the modified algorithms algebra for constructing mathematical models of patterns of relational databases is grounded. Mathematical models of abstract database schemes with one or many relations and abstract schema data warehouse are constructed.Item Несуперечність алгебри секвенційних алгоритмів(Видавництво Львівської політехніки, 2012) Овсяк, О.; Овсяк, В.; Петрушка, Ю.Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. Sequential consistency algebra algorithms under logical variables and functional variables and there is only one index procedure proved mixing operations algebra sequential algorithms for operations consistent logic.Item Порівняння алгебричних методів подань алгоритмів(Видавництво Львівської політехніки, 2013) Драґан, Я.; Овсяк, В.; Овсяк, О.Порівняннями за системами операцій та їхніми властивостями та побудованими моделями абстрактної комп’ютерної системи дано оцінку таких відомих алгебричних методів опису алгоритмів, якими є модифікована система алгоритмічних алгебр, модифікована алгебра алгоритмів та алгебра алгоритмів. Bi comparison under the systems operations and their properties and constructed abstract models of computer systems estimations of such well-known algebraic methods for describing algorithms, which are modified systems of algorithmic algebras, modified algebra algorithms and algebra algorithms are given.Item Синтез моделей транслятора системи автоматизованого проектування електромеханічних схем друкарських машин(Видавництво Національного університету "Львівська політехніка", 2001) Овсяк, О.Описано синтез моделей транслятора, який стикує системи автоматизованого проектування САПР ЕМС та ACCEL EDA.