Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики
dc.contributor.author | Сердюк, П. | |
dc.contributor.author | Том’як, О. | |
dc.date.accessioned | 2014-11-27T10:56:12Z | |
dc.date.available | 2014-11-27T10:56:12Z | |
dc.date.issued | 2013 | |
dc.description.abstract | Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв’язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв’язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2. The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2. | uk_UA |
dc.identifier.citation | Сердюк П. Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики / П. Сердюк, О. Том’як // Вісник Національного університету «Львівська політехніка». – 2013. – № 771 : Комп'ютерні науки та інформаційні технології. – С. 107–111. – Бібліографія: 6 назв. | uk_UA |
dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/25381 | |
dc.language.iso | ua | uk_UA |
dc.publisher | Видавництво Львівської політехніки | uk_UA |
dc.subject | автоматизоване тестування | uk_UA |
dc.subject | диференціальні рівняння | uk_UA |
dc.subject | математична фізика | uk_UA |
dc.subject | верифікація | uk_UA |
dc.subject | automated testing | uk_UA |
dc.subject | differential equations | uk_UA |
dc.subject | mathematical physics | uk_UA |
dc.subject | verification | uk_UA |
dc.title | Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики | uk_UA |
dc.type | Article | uk_UA |