Комп'ютерні системи проектування теорія і практика

Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/3173

Browse

Search Results

Now showing 1 - 10 of 11
  • Thumbnail Image
    Item
    Аналіз і синтез архітектури складних апаратних і програмних систем
    (Видавництво Національного університету “Львівська політехніка”, 2004-02-18) Корпильов, Д. В.; Ткаченко, С. П.; Свірідова, Т. В.; Національний університет “Львівська політехніка”
    Проаналізовано актуальну тему синтезу архітектури програмних і апаратних систем, моделювання й верифікацію розроблювальних програмних систем.
  • Thumbnail Image
    Item
    Критерії вибору алгоритму для розв’язання задачі розкрою матеріалів
    (Видавництво Національного університету «Львівська політехніка», 2006) Грицишин, Я. М.; Ткаченко, С. П.
    Запропоновано критерії та здійснено класифікацію задач розкрою матеріалів. Запропоновано методи та підходи до розв’язання таких задач. Обґрунтовано утворення класу задач багатовимірного розкрою і сфер його застосування. Offered criteria and classified problems of materials cutting. Offered methods and approaches to solving such problems. Grounded creation of the class of problems of multidimensional cutting and spheres of its use.
  • Thumbnail Image
    Item
    Концептуальна та об’єктна моделі системного середовища САПР гібридних інтегральних схем «TOPOS»
    (Видавництво Національного університету «Львівська політехніка», 2000) Корпильов, Д. В.; Ткаченко, С. П.
    Розглянуті концептуальна та об’єктна моделі системного середовища конструкторського проектування САПР гібридних інтегральних схем “TOPOS’. Системне середовище реалізує узагальнену концепцію моделювання, яка подібна діакоптиці Крона та є системою класів об’ єктів, яка виражає основні її поняття.
  • Thumbnail Image
    Item
    Автоматична оптимізація розміщення за критерієм рівномірності розподілу елементів на підшарку
    (Видавництво Національного університету «Львівська політехніка», 2000) Ткаченко, С. П.; Якименко, В. І.
    Приведено опис методики, за допомогою якої здійснюється автоматичне перерозміщення різногабаритних елементів та компонентів з метою їх рівномірного розташування на підшарку мікрозбірки.
  • Thumbnail Image
    Item
    Багаторівнева об’ єктно-орієнтована архітектура системного середовища САПР гібридних інтегральних схем
    (Видавництво Національного університету "Львівська політехніка", 2003) Корпильов, Д. В.; Ткаченко, С. П.; Теслюк, В. М.
    Для об’єктно-орієнтованих інформаційних систем рекомендується використання багаторівневої архітектури, яка виконує розподіл обов’язків, виконуваних об’єктами класичної трирівневої архітектури. Розподілена обробка даних в сучасних комп’ютерних системах на даний час стає актуальною. Використання індустріальних стандартів для створення розподілених систем, таких як ОЬ]есі Мападетепі Стоир (ОМС) СОКВА, дозволяє робити системи “відкритими” в умовах гетерогенного розподіленого оточення. Стандарт СОКВА розрахований на створення нових об’єктно-орієнтованих прикладних застосувань, він може успішно використовуватися і для розподілення існуючих об’єктних систем. Allotted data treatment becomes actual in contemporary computer systems for a given while. Use of industrial standards for creation of allotted systems, such as Object Management Group (OMG) CORBA, allows to make the systems “open" in conditions geteregenion of distributed environment. A CORBA Standard is counted on creation of new object-orientated applied applications, it can be successfully used a for allotting of objective systems.
  • Thumbnail Image
    Item
    Застосування генетичного алгоритму прямокутного розміщення для гільйотинного розкрою
    (Видавництво Львівської політехніки, 2010) Кривий, Р. З.; Лобур, М. М.; Ткаченко, С. П.
    Розглянуто особливості розкрою матеріалу на прямокутні заготовки. Описано розроблений генетичний алгоритм, за допомогою якого можна поліпшити результат гільйотинного розкрою на прямокутні заготовки.The algorithm for solving location of arbitrary shape blanks based on the theory of genetic algorithms is used for cut problem solving.
  • Thumbnail Image
    Item
    Розв'язання задачі типізації схем
    (Видавництво Національного університету “Львівська політехніка”, 2009) Білаль, Раді А'Ггель Аль-Забі; Керницький, А. Б.; Ткаченко, С. П.
    Розглянуто питання типізації схем РЕА і встановлення їх еквівалентності. The problem of radioelectronic scheme typization and finding their eqivalence are considered in actual paper.
  • Thumbnail Image
    Item
    Розробка підсистеми для дослідження генетичних алгоритмів з використанням шаблонів
    (Видавництво Національного університету “Львівська політехніка”, 2009) Кривий, Р. З.; Лобур, М. М.; Ткаченко, С. П.
    Розгорнуто особливості програмної реалізації підсистем для дослідження генетичних алгоритмів.Описано роботу,розроблено підсистеми і виконано аналіз її ефективності.The features of subsystems program implementation are considered for research of genetic algorithm.The work of developed subsystem is descrided and analyzed its effectiveness.
  • Thumbnail Image
    Item
    Шаблони проектування у веб-орієнтованій системі розкрою
    (Видавництво Національного університету “Львівська політехніка”, 2007) Грицишин, Я. М.; Ткаченко, С. П.
    Наведено спрощену функціональну схему веб-орієнтованої системи розкрою. Описано та обґрунтовано використання шаблонів для проектування її підсистем. Reductive functional schema of web-oriented cutting system is shown in this article. Using of design patterns in this system is described and grounded below.
  • Thumbnail Image
    Item
    Встановлення існування необхідних умов еквівалентності схем
    (Видавництво Національного університету “Львівська політехніка”, 2007) Білаль, Аль-Забі; Керницький, А. Б.; Ткаченко, С. П.
    Розглянуті можливі шляхи встановлення існування необхідних умов еквівалентності схем РЕА під час розв’язання задач верифікації і функціональної декомпозиції схем. У першому випадку необхідно реалізувати класифікатор схемних елементів. Інший варіант розв’язання задачі – реалізація класифікатора схемних ланцюгів. Some possible ways to determine scheme equivalence necessary conditions have been considered. Scheme equivalence is to be checked while solving the problems of verification or functional decomposition of schemes. In the first case, a scheme element classifier is to be realized. Another solution variant applies net classifier.