Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики

Сердюк, П.; Том’як, О.


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

Сердюк П.
Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики / П. Сердюк, О. Том’як // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 107-111. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_18

Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв'язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв'язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2.

Повний текст PDF - 209.583 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Сердюк П.

Том’як О.

Бібліографічний опис для цитування:

Сердюк П. Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики / П. Сердюк, О. Том’як // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 107-111. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_18.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Сердюк Павло Віталійович (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача