Cтраница 4
Эксперименты показывают, что для многих теплотехнических задач разбиение области в направлении одной координаты на 8 - 10 элементарных слоев приводит к существенному уменьшению ошибки дискретизации. [46]
При достаточно больших скоростях вытеснения становится неправомерным само разбиение области движения на основную, где насыщенность меняется медленно, и узкие области фронтов, где она изменяется быстро. [47]
Из одних семантических абстракций возможно строить новые путем разбиения области абстракции, Получающаяся в результате этого техника доказательства напоминает человеческие рассуждения с помощью диаграмм. В частности, семантические абстракции с разбиением соответствуют неполностью определенным диаграммам наподобие тех, которые можно рисовать на доске из точек и каких-либо каракулей, обозначающих неопределенные части диаграммы. По-видимому, это соответствует такому способу рассуждений, который люди ( автор по крайней мере) используют для доказательства реальных теорем. [48]
Обыкновенные дифференциальные уравнения относительно неизвестных функций на линиях разбиения области должны образовывать замкнутую систему. [49]