Комп'ютерні системи проектування теорія і практика. – 2008. – №626

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/3339

Вісник Національного університету "Львівська політехніка"

У віснику розглянуто питання теорії і практики моделювання складних об`єктів процесів і систем, а також розробки та використання програмно-технічних засобів автоматизованого проектування. Для наукових працівників, інженерів, аспірантів і студентів старших курсів, а також спеціалістів-розробників і користувачів комп`ютерних систем проектування.

Вісник Національного університету "Львівська політехніка" : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет "Львівська політехніка. – Львів : Видавництво Національного університету “Львівська політехніка”, 2008. – № 626 : Комп'ютерні системи проектування. Теорія і практика / відповідальний редактор М. В. Лобур. – 134 с. : іл.

Browse

Filters

20082

Settings

Author: search.filters.author.Керницький, А. Б.Start date: 2008

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Автоматизована навчальна система "Числові методи в інформаційних технологіях"
    (Видавництво Національного університету "Львівська політехніка", 2008) Каркульовський, В. І.; Керницький, А. Б.; Мотика, І. І.; Каркульовський, Б. В.; Кісь, Я. П.
    Розглянуто особливості застосування методу діакоптики та об’єктно-орієнтованого підходу під час створення навчальних систем. Розроблена структура та описана реалізація основних компонент навчальної системи для вивчення застосування базових числових методів в інформаційних технологіях. The application of diacoptic method and object-oriented approach at creation of the educational systems are examined. The structure of educational system for the study of application of base numerical methods in IT is developed and realization of basic component is described.
  • Thumbnail Image
    Item
    Нові інваріанти встановлення ізоморфізму графів
    (Видавництво Національного університету "Львівська політехніка", 2008) Білаль Раді А’Ґґель Аль-Забі; Керницький, А. Б.; Лобур, М. В.; Ткаченко, С. П.
    Проблеми встановлення ізоморфізму графів стосується доволі велика кількість робіт, одними з найхарактерніших є [1–4]. Низка узагальнень наводиться також у таких роботах, як [5–9]. Показано [3], що подібні задачі є комбінаторними важкорозв’язуваними задачами факторіального ступеня складності, у зв’язку з чим для їхнього розв’язання прийнятними залишаються лише евристичні прийоми [1, 10, 11]. Тому тут не будуть ефективними ні метод гілок і границь, ні методи математичногом програмування, які у кращому випадку понижують складність задачі від факторіальної залежності до показникової (відносно, як правило, кількості вершин графа), а це є неприйнятним для задач практичної розмірності. Водночас існуючі евристичні прийоми розв’язання задачі (а точніше, спроби її розв’язання) мають, як правило, часову складність O(Nc), де с=4¸6 [3, 8], що також різко обмежує розмірність задач, які розв’язуються, оскільки для розв’язання задач за прийнятний час необхідно, щоб було с≤3.