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

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

Browse

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Інтеграція знань у САПР ТП із використанням високорівневих мереж Петрі
    (Видавництво Львівської політехніки, 2010) Керницький, А. Б.
    Наведено інкрементаційний метод для побудови динамічного опису виробу та процесів його виготовлення у САПР ТП із використанням високорівневих мереж Петрі для інтеграції знань, поданих у вигляді продукційних правил і фреймів. Запропоновано методику вирішення конфліктів у моделях, побудованих із використанням високорівневих мереж Петрі. The work presented incremental method for dynamic description of the product and its manufacturing processes in CAD TP using high-level Petri nets for integration of knowledge represented as production rules and frames. The method of resolving conflicts in models has been built using high-level Petri nets.
  • Thumbnail Image
    Item
    Автоматизована система обробки інформації «Захист аудіоінформації»: реєстратори, канали витоку, засоби захисту
    (Видавництво Львівської політехніки, 2010) Дудикевич, В. Б.; Микитин, Г. В.; Гарасим, Ю. Р.
    Наведено інкрементаційний метод для побудови динамічного опису виробу та процесів його виготовлення у САПР ТП із використанням високорівневих мереж Петрі для інтеграції знань, поданих у вигляді продукційних правил і фреймів. Запропоновано методику вирішення конфліктів у моделях, побудованих із використанням високорівневих мереж Петрі. The work presented incremental method for dynamic description of the product and its manufacturing processes in CAD TP using high-level Petri nets for integration of knowledge represented as production rules and frames. The method of resolving conflicts in models has been built using high-level Petri nets.