НАУКОВІ РОБОТИ ЗДОБУВАЧІВ ВИЩОЇ ОСВІТИ

Permanent URI for this communityhttps://ekhsuir.kspu.edu/handle/123456789/10243

Browse

Search Results

Now showing 1 - 2 of 2
  • Item
    Аналіз та побудова інсерційної моделі апаратури інтегральної схеми
    (2020) Болгарін, Т. О.
    Робота присвячена аналізу та розробці інсерційної моделі апаратури інтегральної схеми. Метою роботи є створення інсерційної семантики мови VHDL, а також розробка транслятора, здатного перетворювати проєкти VHDL у інсерційну модель. Наукова новизна у тому, що було вперше проведено опис інсерційної семантики мови VHDL. Практичне значення роботи полягає у тому, що отриману семантику та транслятор можна використовувати для побудови інсерційних моделей проєктів VHDL для формальної верифікації. The work is devoted to the analysis and development of an insertion model of hardware of an integrated circuit. The aim of the work is to create the insertion semantics of the VHDL language, as well as to develop a translator capable of converting VHDL projects into an insertion model. The scientific novelty is that the insertion semantics of the VHDL language was described for the first time. The practical significance of the work is that the obtained semantics and translator can be used to build insertion models of VHDL projects for formal verification.
  • Item
    ЛЕКСИКО-СЕМАНТИЧНІ ЗМІНИ У СТРУКТУРІ СУСПІЛЬНО-ПОЛІТИЧНОЇ ЛЕКСИКИ
    (2020) Макаренко, О. О.
    У кваліфікаційній роботі досліджено зміни у функціонуванні суспільно-політичної лексики у засобах масової інформації України. Авторка розмежувала поняття «суспільно-політична лексика» та «суспільно-політична термінологія», а також проаналізувала функціювання досліджуваних мовних одиниць та лексико—семантичну трансформацію в їхній структурі. The qualification work examines the changes in the functioning of socio-political vocabulary in the media of Ukraine. The author distinguished between the concepts of "socio-political vocabulary" and "socio-political terminology", as well as analyzed the functioning of the studied language units and lexical-semantic transformation in their structure.