Другие журналы
|
Дикопалова Татьяна Сергеевна
Методы проверки на останов программного кода
Молодежный научно-технический вестник # 10, октябрь 2015 УДК: 519.686.4 Верификация программного обеспечения подразумевает доказательство определённых свойств. Одним из таких свойств является завершаемость. В данной статье рассматриваются основные методы анализа на завершаемость как программ в целом, так и их подмножеств, допускающие ошибку первого рода (вынесение суждения о том, что анализируемый код не завершается, в то время как он на самом деле завершается).
Применение систем переписывания термов для анализа на останов программ с переполняющей арифметикой
Молодежный научно-технический вестник # 12, декабрь 2014 УДК: 519.686.4 Практически все существующие на текущий момент времени методы анализа программ на останов используют в качестве промежуточного представления системы переписывания термов. Данная абстракция в общем случае не учитывает конечность ресурсов вычислительной машины, в том числе разрядной сетки. Переполняющая арифметика широко встречается в реальных программах и может порождать неявные ошибки, в том числе влекущие незавершаемость программы. Представляет интерес рассмотрение способа модификации систем переписывания термов таким образом, чтобы учитывалась конечность реальных типов данных.
Методы усреднения ошибки и многомерной линейной регрессии для статистической обработки численных прогнозов погоды
Молодежный научно-технический вестник # 09, сентябрь 2014 УДК: 004.67 Существующие численные модели прогнозирования выдают прогнозы с систематической ошибкой, для снижения которой могут быть использованы статистические методы обработки. В данной работе рассмотрено применение методов усреднения ошибки и многомерной линейной регрессии для коррекции численных прогнозов погоды. На основе глобальных данных по наблюдениям и прогнозам с помощью разработанного программного обеспечения для этих методов был определён необходимый для обучения объем статистических данных. Проведены эксперименты по определению радиуса окрестности точки, влияющей на ошибку прогноза в данной точке. Для метода линейной регрессии было определено множество факторов, влияющих на ошибку прогноза температуры.
|
|
||||||||||||||||||||||||||||||||
|