Алгоритмично картографиране - Голямата енциклопедия на нефта и газа, статия, страница 1
Алгоритмично картографиране
Алгоритмичното картографиране е както следва. [1]
Не се изисква затвореност на алгоритмичното преобразуване. Горната дискусия показва как теоремата за сходимост C ще обобщи условие 2a от теоремата за сходимост A - изискването за подобрение. Остава само да разгледаме как би било възможно да се елиминира изискването преобразуването да е затворено - условие 3 от теоремата за сходимост A. Новото условие, наложено от теоремата за сходимост C, основно се свежда до следното. [2]
Сега нека дефинираме алгоритмично картографиране. [3]
За съжаление, алгоритмичното картографиране, което генерира xk l дадено xh, не трябва да бъде затворено. Тази липса на затваряне причинява сериозни затруднения в методите на възможните посоки и може да наруши тяхната конвергенция. Когато възникне заглушаване, алгоритъмът генерира поредица от точки xh f, която се събира до точка, която не е решение на проблема. По този начин алгоритъмът не се сближава. След като обсъдим различните начини, по които може да се избегне заглушаването, ще бъде доказана теорема за конвергенция, специално адаптирана към възможните методи за насочване. [4]
Да приемем, че алгоритмичното преобразуване A може да се изрази като композиция от няколко преобразувания, всяко от които е затворено. Следващата лема установява, че при определени условия A също ще бъде затворено. Тази лема може да се разглежда и като обобщение на теоремата, според която съставът на две непрекъснати функции е непрекъснат. И така, лемата гласи, че композицията запазва затваряне. [5]
Пряко доказателство за затвореността на алгоритмичното преобразуване A обикновено се извършва трудно, тъй като A може да бъде съставено от няколкочасти. [6]
Сега можем строго да дефинираме алгоритмичното картографиране A за методите на рязане. [7]
Последният въпрос се отнася до конкретното определение на алгоритмичното картографиране. [8]
Преобразувания A], се наричат алгоритмични преобразувания. [9]
Условие 3 следва директно, тъй като алгоритмичното картографиране е непрекъсната функция. [10]
Използвайки лема 7.3, докажете, че това алгоритмично преобразуване е затворено. [единадесет]
За всички k s дефинираме множеството FftcrV и алгоритмичното преобразуване Ah : Vh - fr - Vfc i. Тогава алгоритъмът работи по следния начин. [12]
Обърнете внимание, че и k, и k са необходими за дефиниране на алгоритмично картографиране. [13]
Това включва логически оператори, базирани на алгоритмичното показване на интуицията на геолозите и използването на нови математически методи, които правят възможно най-точното формализиране на опита от геоложки и технически операции. [14]
В такива случаи може да бъде полезен следният трик: сложно алгоритмично картографиране се разделя на няколко съставни части, чиято затвореност е относително лесна за доказване; след това се прави опит за настройка на желаното свойство - и на оригиналния дисплей. [15]