Zobrazeno 1 - 10
of 135
pro vyhledávání: '"верифікація"'
Autor:
Olena Olifer, Nadiia Kozachenko
Publikováno v:
Актуальні проблеми духовності, Iss 24 (2023)
Переклад програмної статті Рудольфа Карнапа "Подолання метафізики логічним аналізом мови", здійснений за виданням Carnap R. Uberwindung der Metaphysik d
Externí odkaz:
https://doaj.org/article/8b2abfcdec444c4994b36acd8b7f0cb3
Publikováno v:
Економіка та суспільство, Iss 57 (2023)
Економічна експертиза передбачає дослідження даних бухгалтерського обліку, адже економічна діяльність і фінансово-кредитні операції
Externí odkaz:
https://doaj.org/article/1167f78826e341f4a6d67cb8645d49dd
Publikováno v:
Авіаційно-космічна техніка та технологія, Vol 0, Iss 1, Pp 78-87 (2023)
The subject matter of the article is the process of testing the objects of general use, aviation and space industry, railway transport, electric power industry, and nuclear industry on the impact of shock loads. The goal is to implement modern intern
Externí odkaz:
https://doaj.org/article/3f64089cde0942e4b773f092051b9b72
Autor:
Михайло Єнчев
Publikováno v:
Вісник КНУКіМ: Серія Мистецтвознавство, Iss 48 (2023)
Мета статті – проаналізувати різні стратегії сценічної верифікації дизайн-проєктів, зокрема використання передових технологій, ідейн
Externí odkaz:
https://doaj.org/article/e798a76b1f1346bdb86cfd13d0b212df
Autor:
С.В. Прокопченко
Publikováno v:
Збірник наукових праць Харківського національного університету Повітряних Сил, Iss 4(70), Pp 114-117 (2021)
У статті висвітлюються аспекти верифікації при розробленні та виробництві озброєння, військової техніки, а також іншої продукції оборо
Externí odkaz:
https://doaj.org/article/cab008a8b3d84e5a8e57b9c1abc3ee4e
Publikováno v:
Збірник наукових праць Харківського національного університету Повітряних Сил, Iss 1(67),, Pp 74-79 (2021)
В сучасних умовах проблема інформаційної безпеки системи управління набуває особливого значення в умовах широкого застосування автом
Externí odkaz:
https://doaj.org/article/7ce3e0a21ada4379b321ecef739ae94d
Publikováno v:
Збірник наукових праць Харківського національного університету Повітряних Сил, Vol 4(62), Pp 85-90 (2019)
Проведено аналіз способів формування цифрових вихідних даних, визначені їх переваги та недоліки. Розроблений методичний підхід та пред
Externí odkaz:
https://doaj.org/article/a965fded9c024c7db26afd66e9602a6d
Publikováno v:
Системи обробки інформації, Vol 4(159), Pp 65-81 (2019)
Верифікація моделі є дуже важливим кроком в методології моделювання поведінки антагоністичних агентів сис-тем безпеки в цілому і систе
Externí odkaz:
https://doaj.org/article/23db09ec8ae64117a2718dd6370e7b83
Autor:
Вячеслав Сергійович Харченко, Юрій Леонідович Поночовний, Артем Володимирович Боярчук, Ілона Олександрівна Черницька, Володимир Станіславович Воронянський
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 0, Iss 3, Pp 49-55 (2019)
The paper deals the multi-fragmental model of the two-channel space on-board information and control system of piloted spaceship. The model describes process of on-line software verification considering subsequent elimination of detected software fau
Externí odkaz:
https://doaj.org/article/584365e1e4844dfea75b29cc6f2b6deb
Publikováno v:
Вісник Черкаського державного технологічного університету, Iss 4 (2021)
У роботі представлено результати дослідження засад проєктування та створення веб-орієнтованого інформаційного сервісу з обміну валют
Externí odkaz:
https://doaj.org/article/2e85ef66705540b48ed6dc63c9ec11a9