Хамгийн их тайлбар. Максиматай хэрхэн ажиллах вэ

Maxima математикийн багц нь MathCAD-ийн хамгийн сайн үнэгүй орлуулалтын нэг юм.

Энэхүү сурах бичгийг (pdf форматаар) математикийн анализ, дифференциал тэгшитгэл, хэрэглээний програм хангамжийн багц гэх мэт чиглэлээр дээд мэргэжлийн боловсролын байгууллагуудын төрөл бүрийн мэргэжлээр ашиглаж болно, хэрэв улсын боловсролын стандартад "Дифференциал" хэсгийг судлахаар заасан бол. Тэгшитгэлүүд”, мөн сонгон судлах хичээлүүдэд. Энэ нь математик, компьютерийн шинжлэх ухааныг гүнзгийрүүлсэн ерөнхий боловсролын байгууллагуудын төрөлжсөн ангиудад компьютерийн математикийн системтэй танилцахад тустай.

  • Удиртгал
  • Бүлэг 1. Максима компьютерийн математикийн системд ажиллах үндэс
    • 1.1. Максима системийн тухай
    • 1.2. Maxima-г хувийн компьютер дээр суулгаж байна
    • 1.3. Maxima үндсэн цонхны интерфейс
    • 1.4. Максима дахь эсүүдтэй ажиллах
    • 1.5. Maxima тусламжийн системтэй ажиллах
    • 1.6. Maxima системийн функцууд ба тушаалууд
    • 1.7. Максима дахь тооцооллын процессыг удирдах
    • 1.8. Энгийн илэрхийлэл хувиргалт
    • 1.9. Алгебрийн тэгшитгэл ба тэдгээрийн системийг шийдвэрлэх
    • 1.10. Графикийн чадвар
  • Бүлэг 2. Дифференциал тэгшитгэлийг шийдвэрлэх тоон аргууд
    • 2.1. Дифференциал тэгшитгэлийн талаархи ерөнхий мэдээлэл
    • 2.2. Нэгдүгээр эрэмбийн энгийн дифференциал тэгшитгэлийн Коши бодлогыг шийдвэрлэх тоон аргууд
      • 2.2.1. Эйлерийн арга
      • 2.2.2. Эйлер-Коши арга
      • 2.2.3. Рунге-Кутта арга 4 нарийвчлалын дараалал
    • 2.3. Энгийн дифференциал тэгшитгэлийн хилийн бодлуудыг хязгаарлагдмал ялгавартай аргаар шийдвэрлэх
    • 2.4. Хэсэгчилсэн дифференциал тэгшитгэлийг шийдвэрлэх тор арга
  • Бүлэг 3. Максима систем дэх дифференциал тэгшитгэлийн шийдлийг олох
    • 3.1. Дифференциал тэгшитгэлийн шийдлийг олох функцууд
    • 3.2. Дифференциал тэгшитгэл ба тэдгээрийн системийг симбол хэлбэрээр шийдвэрлэх
    • 3.3. Дифференциал тэгшитгэлийн чиглэл ба чиглэлийн талбаруудыг байгуулах.
    • 3.4. Энгийн дифференциал тэгшитгэлийн Кошийн асуудлыг шийдвэрлэх тоон аргуудыг хэрэгжүүлэх
      • 3.4.1. Эйлерийн арга
      • 3.4.2. Эйлер-Коши арга
      • 3.4.3. Рунге-Кутта арга
    • 3.5. Энгийн дифференциал тэгшитгэлийн хилийн утгын асуудлыг шийдвэрлэх төгсгөлтэй ялгааны аргын хэрэгжилт
    • 3.6. Хэсэгчилсэн дифференциал тэгшитгэлийн сүлжээний аргыг хэрэгжүүлэх
  • Бие даасан шийдлийн даалгавар
  • Уран зохиол

Удиртгал

Дифференциал тэгшитгэлийн онол нь орчин үеийн математикийн хамгийн том салбаруудын нэг юм. Дифференциал тэгшитгэлийн гол шинж чанаруудын нэг нь дифференциал тэгшитгэлийн онол ба хэрэглээний хоорондын шууд холбоо юм. Аливаа физик үзэгдлийг судлахдаа судлаач юун түрүүнд түүний математик идеализаци буюу математик загварыг бий болгож, энэ үзэгдлийг зохицуулах үндсэн хуулиудыг математик хэлбэрээр бичдэг. Ихэнхдээ эдгээр хуулиудыг дифференциал тэгшитгэл хэлбэрээр илэрхийлж болно. Эдгээр нь тасралтгүй механик, химийн урвал, цахилгаан, соронзон үзэгдлүүд гэх мэт янз бүрийн үзэгдлийн загварууд болж хувирдаг. Үр дүнгийн дифференциал тэгшитгэлийг нэмэлт нөхцлийн хамт судалснаар дүрмээр бол анхны болон хилийн нөхцлийн хэлбэрээр тодорхойлогддог. , математикч болж буй үзэгдлийн талаар мэдээлэл авч, заримдаа түүний өнгөрсөн болон ирээдүйг олж мэдэх боломжтой.

Математик загварыг дифференциал тэгшитгэл хэлбэрээр эмхэтгэхийн тулд та зөвхөн орон нутгийн холболтыг мэдэх хэрэгтэй бөгөөд бүхэл бүтэн физик үзэгдлийн талаар мэдээлэл авах шаардлагагүй болно. Математик загвар нь аливаа үзэгдлийг бүхэлд нь судлах, түүний хөгжлийг урьдчилан таамаглах, цаг хугацааны явцад түүнд тохиолдож буй хэмжилтийн чанарын үнэлгээ хийх боломжийг олгодог. Дифференциал тэгшитгэлийн шинжилгээнд үндэслэн цахилгаан соронзон долгионыг нээсэн.

Механикийн хэрэгцээнд зориулж дифференциал тэгшитгэлийг шийдвэрлэх хэрэгцээ, өөрөөр хэлбэл хөдөлгөөний траекторийг олох хэрэгцээ нь эргээд Ньютоныг шинэ тооцооллыг бий болгоход түлхэц болсон гэж бид хэлж чадна. Шинэ тооцооллыг геометр, механикийн асуудалд ашиглах нь энгийн дифференциал тэгшитгэлээр хийгдсэн.

Компьютерийн технологийн орчин үеийн хөгжил, шинэ чиглэл болох компьютерийн математикийн эрчимтэй хөгжлийг харгалзан компьютерийн математикийн систем гэж нэрлэгддэг програм хангамжийн багцууд өргөн тархаж, эрэлт хэрэгцээтэй болсон.

Компьютерийн математик бол суурь математик, мэдээлэл, компьютерийн технологийн уулзвар дээр үүссэн шинжлэх ухаан, боловсролын шинэ чиглэл юм. Компьютерийн математикийн систем (SCM) нь нөхцөлийг тусгайлан боловсруулсан хэлээр тодорхойлохдоо математикийн бодлогуудыг автоматжуулсан, технологийн хувьд нэгдмэл, хаалттай циклээр боловсруулах боломжийг олгодог програмуудын багц юм.

Орчин үеийн компьютерийн математикийн системүүд нь олон цонхны график интерфэйстэй, хөгжүүлсэн тусламжийн системтэй программууд бөгөөд тэдгээрийг сурах, ашиглахад хялбар болгодог. SCM-ийн хөгжлийн гол чиг хандлага нь математикийн чадавхи, ялангуяа аналитик болон бэлгэдлийн тооцооллын салбарт өсөлт, тооцооллын бүх үе шатанд дүрслэх хэрэгслийг мэдэгдэхүйц өргөжүүлэх, 2D ба 3D графикийг өргөнөөр ашиглах, төрөл бүрийн интеграцчлал юм. системүүд хоорондоо болон бусад програм хангамж, интернетэд өргөн нэвтрэх, интернет дэх боловсрол, шинжлэх ухааны төслүүд дээр хамтран ажиллах, хөдөлгөөнт дүрс, дүрс боловсруулах хэрэгсэл, мультимедиа хэрэгслийг ашиглах гэх мэт.

Саяхныг хүртэл SCM-ийг боловсролд өргөн ашиглахаас сэргийлж байсан чухал нөхцөл байдал нь мэргэжлийн шинжлэх ухааны математикийн програм хангамжийн өндөр өртөг юм. Гэсэн хэдий ч саяхан ийм хөтөлбөр боловсруулж, түгээж буй олон компаниуд (Интернэтээр дамжуулан - http://www.softline.ru) програмынхаа өмнөх хувилбаруудыг үнэ төлбөргүй ашиглах, боловсролын байгууллагуудад зориулсан хөнгөлөлтийн системийг өргөнөөр ашиглаж, үзүүлэн эсвэл түгээх боломжтой. үнэгүй програмуудын туршилтын хувилбарууд

Нэмж дурдахад компьютерийн математикийн системийн үнэгүй аналогууд гарч ирдэг, жишээлбэл, Maxima, Scilab, Octave гэх мэт.

Энэхүү заавар нь дифференциал тэгшитгэлийн шийдлийг олох Maxima компьютерийн математикийн системийн чадавхийг авч үздэг.

Яагаад Максим гэж?

Нэгдүгээрт, Максима систем нь ашгийн бус нээлттэй эхийн төсөл юм. Maxima нь GNU GPL (General Public License) дагуу түгээгддэг програм хангамжийн бүтээгдэхүүний ангилалд багтдаг.

Хоёрдугаарт, Максима бол математикийн асуудлыг тоон болон бэлгэдлийн хэлбэрээр шийдвэрлэх програм юм. Түүний чадамжийн хүрээ маш өргөн: илэрхийллийг хувиргах үйлдлүүд, илэрхийллийн хэсгүүдтэй ажиллах, шугаман алгебрийн асуудлыг шийдвэрлэх, математик анализ, комбинаторик, тооны онол, тензорын анализ, статистикийн бодлого, хавтгай ба орон зайд функцийн график байгуулах. янз бүрийн координатын системд гэх мэт d.

Гуравдугаарт, Maxima одоо WxMaxima (http://wxmaxima.sourceforge.net) нэртэй хүчирхэг, үр ашигтай, хэрэглэгчдэд ээлтэй хөндлөн платформ GUI-тэй болсон.

Номын зохиогчид арван жилийн турш Mathematica, Maple, MathCad зэрэг компьютерийн математикийн системийг судалж байна. Тиймээс эдгээр програм хангамжийн бүтээгдэхүүнүүд, ялангуяа дифференциал тэгшитгэлийн шийдлийг олох чадварыг мэддэг учраас би чөлөөтэй тархсан компьютерийн математикийн системд симбол хэлбэрээр тооцооллыг зохион байгуулахтай холбоотой асуудлыг судлахыг хүссэн.

Энэхүү гарын авлага нь Maxima систем дээр суурилсан дифференциал тэгшитгэлийн шийдлийг хайх үйл явцыг зохион байгуулах боломжуудын талаар өгүүлсэн бөгөөд систем дэх ажлыг зохион байгуулах ерөнхий мэдээллийг агуулдаг.

Энэхүү гарын авлага нь 3 бүлгээс бүрдэнэ. Эхний бүлэгт уншигчдад Maxima системийн wxMaxima график интерфэйс, түүн дээр ажиллах онцлог, системийн хэлний синтаксийг танилцуулна. Системийг авч үзэх нь системийн түгээлтийг хаанаас олж болох, хэрхэн суулгахаас эхэлдэг. Хоёрдугаар бүлэгт дифференциал тэгшитгэлийн онолын ерөнхий асуудлууд, тэдгээрийг шийдвэрлэх тоон аргуудыг авч үзнэ.

Гурав дахь бүлэг нь 1 ба 2-р эрэмбийн ердийн дифференциал тэгшитгэлийн шийдлийг симбол хэлбэрээр олох Максима компьютерийн математикийн системийн суурилагдсан функцүүдэд зориулагдсан болно. Мөн гуравдугаар бүлэгт Максима систем дэх дифференциал тэгшитгэлийг шийдвэрлэх тоон аргын хэрэгжилтийг харуулав. Гарын авлагын төгсгөлд бие даасан шийдвэрлэх даалгаврууд байдаг.

Энэхүү гарын авлагыг өргөн хүрээний хэрэглэгчид сонирхож, математикийн асуудлыг шийдвэрлэх шинэ хэрэгслийг эзэмшихэд нь туслах болно гэдэгт найдаж байна.

Т.Н. Губина, Е.В. Андропова
Елец, 2009 оны 7-р сар

P.S. Хурдан эхлэх: тушаалуудыг гүйцэтгэхболон mwMaxima дахь функцүүдийн хувьд та эхлээд командаа өөрөө оруулаад дараа нь crtl+Enter дарна.


Математик анализын үйлдлүүд

Дүн

Нийлбэрийг олохын тулд нийлбэр функцийг ашигладаг. Функцийн синтакс:

Нийлбэр(илэрхийлэл, хувьсагч, хувьсагчийн өөрчлөлтийн доод хязгаар, хувьсагчийн өөрчлөлтийн дээд хязгаар)

Жишээлбэл:

Хэрэв та системийн хувьсагчийн эерэг хязгааргүй "inf"-ийн утгыг сүүлийн аргументад өгвөл энэ нь дээд хязгаар байхгүйг илтгэх бөгөөд хязгааргүй нийлбэрийг тооцоолох болно. Мөн сөрөг хязгааргүй системийн хувьсагчийн "minf"-ийн утгыг "хувьсагчийн өөрчлөлтийн доод хязгаар" гэсэн аргументад өгвөл хязгааргүй нийлбэрийг тооцох болно. Үүнтэй ижил утгыг бусад математикийн шинжилгээний функцүүдэд ашигладаг.

Жишээлбэл:


Ажилладаг

Хязгаарлагдмал ба хязгааргүй бүтээгдэхүүнийг олохын тулд бүтээгдэхүүний функцийг ашиглана уу. Энэ нь нийлбэр функцтэй ижил аргументуудтай.

Жишээлбэл:


Хязгаарлалт

Хязгаарыг олохын тулд хязгаарлах функцийг ашиглана уу.

Функцийн синтакс:

хязгаар (илэрхийлэл, хувьсагч, таслах цэг)

Хэрэв "таслах цэг" аргументыг "inf" гэж тохируулсан бол энэ нь хил байхгүй байгааг илтгэнэ.

Жишээлбэл:

Нэг талын хязгаарыг тооцоолохын тулд нэмэлт аргументыг ашигладаг бөгөөд энэ нь баруун талд хязгаарыг тооцоход нэмэх, зүүн талд хасах утгатай байна.

Жишээлбэл, arctan(1/(x - 4)) функцийн тасралтгүй байдлыг судалъя. Энэ функц нь x = 4 цэг дээр тодорхойгүй байна. Баруун болон зүүн талын хязгаарыг тооцоолъё:

Бидний харж байгаагаар x = 4 цэг нь энэ функцийн хувьд эхний төрлийн тасалдал юм, учир нь зүүн болон баруун талд тус тус -PI/2 ба PI/2-тэй тэнцүү хил хязгаарууд байдаг.


Дифференциалууд

Дифференциалыг олохын тулд diff функцийг ашигладаг. Функцийн синтакс:

ялгаа(илэрхийлэл, хувьсагч1, хувьсагч1-ийн деривативын дараалал [, хувьсагч2, хувьсагч2-ын деривативын дараалал,...])

Энд илэрхийлэл нь ялгагдах функц бол хоёр дахь аргумент нь деривативыг авах ёстой хувьсагч, гурав дахь (заавал биш) нь деривативын дараалал (анхдагчаар - эхний дараалал).

Жишээлбэл:

Ерөнхийдөө диффункцид зөвхөн эхний аргумент шаардлагатай. Энэ тохиолдолд функц нь илэрхийллийн дифференциалыг буцаана. Харгалзах хувьсагчийн дифференциалыг del (хувьсагчийн нэр) гэж тэмдэглэнэ:

Функцийн синтаксаас харахад хэрэглэгч хэд хэдэн ялгах хувьсагчийг нэгэн зэрэг тодорхойлж, тэдгээрийн дарааллыг тохируулах боломжтой.

Хэрэв та параметрийн функц ашигладаг бол функцийг бичих хэлбэр өөрчлөгдөнө: функцийн нэрний дараа ":=" тэмдэгтүүд бичигдэх ба функцэд өөрийн нэрээр дамжуулан параметрээр хандана:

Өгөгдсөн цэг дээр деривативыг тооцоолж болно. Үүнийг дараах байдлаар хийдэг.

Дифференциал тэгшитгэлд деривативыг тэмдэглэхэд мөн ялгаа функцийг ашигладаг.


Интеграл

Систем дэх интегралуудыг олохын тулд интеграл функцийг ашиглана. Функцийн тодорхойгүй интегралыг олохын тулд функцийн нэр ба интеграл явагдаж буй хувьсагч гэсэн хоёр аргументыг ашиглана. Жишээлбэл:

Хэрэв хариулт хоёрдмол утгатай бол Максима нэмэлт асуулт асууж болно:

Хариулт нь асуултын текстийг агуулсан байх ёстой. Энэ тохиолдолд y хувьсагчийн утга "0"-ээс их байвал "эерэг", өөрөөр хэлбэл "сөрөг" болно. Энэ тохиолдолд зөвхөн үгийн эхний үсгийг оруулж болно.

Функцээс тодорхой интеграл олохын тулд нэмэлт аргументуудыг зааж өгөх ёстой: интегралын хязгаар:

Maxima нь мөн хязгааргүй интеграцийн хязгаарыг зөвшөөрдөг. Үүнийг хийхийн тулд "-inf" ба "inf" утгуудыг функцийн гурав, дөрөв дэх аргументуудад ашиглана.

Өмнө дурьдсанчлан интегралын ойролцоо утгыг тоон хэлбэрээр олохын тулд гаралтын нүдэн дэх үр дүнг сонгож, контекст цэс рүү залгаж, "Хөвөгч цэгийн тоо руу хөрвүүлэх" хэсгийг сонгоно уу. .

Мөн систем нь олон интегралыг тооцоолох чадвартай. Үүнийг хийхийн тулд интеграцийн функцуудыг нэг нэгээр нь байрлуулна. Давхар тодорхойгүй интеграл ба давхар тодорхойгүй интегралыг тооцоолох жишээг доор харуулав.


Дифференциал тэгшитгэлийн шийдлүүд

Дифференциал тэгшитгэлийг шийдвэрлэх чадварын хувьд Максима, жишээлбэл, Maple-ээс мэдэгдэхүйц доогуур байдаг. Гэхдээ Максима нь ердийн нэг ба хоёрдугаар эрэмбийн дифференциал тэгшитгэл, тэдгээрийн системийг шийдвэрлэх боломжийг танд олгодог хэвээр байна. Үүнийг хийхийн тулд зорилгоос хамааран хоёр функцийг ашигладаг. Энгийн дифференциал тэгшитгэлийн ерөнхий шийдлийн хувьд ode2 функцийг, анхны нөхцөл дээр үндэслэн тэгшитгэл эсвэл тэгшитгэлийн системийн шийдийг олоход задлах функцийг ашигладаг.

ode2 функц нь дараах синтакстай байна:

ode2(тэгшитгэл, хамааралтай хувьсагч, бие даасан хувьсагч);

Дифференциал тэгшитгэл дэх деривативыг илэрхийлэхийн тулд диф функцийг ашигладаг. Харин энэ тохиолдолд функцийн аргументаас хамаарлыг харуулахын тулд “diff(f(x), x) гэж бичих ба функц нь өөрөө f(x).

Жишээ. Энгийн нэгдүгээр эрэмбийн дифференциал тэгшитгэлийн ерөнхий шийдийг ол y" - ax = 0.

Хэрэв тэгшитгэлийн баруун талын утга тэг байвал үүнийг бүхэлд нь орхиж болно. Мэдээжийн хэрэг тэгшитгэлийн баруун талд илэрхийлэл байж болно.

Таны харж байгаагаар дифференциал тэгшитгэлийг шийдвэрлэхдээ Максима %c интеграцийн тогтмолыг ашигладаг бөгөөд энэ нь математикийн үүднээс авч үзвэл нэмэлт нөхцлөөр тодорхойлогддог дурын тогтмол юм.

Энгийн дифференциал тэгшитгэлийг шийдэх өөр нэг арга бий бөгөөд энэ нь хэрэглэгчдэд илүү хялбар байдаг. Үүнийг хийхийн тулд Equations > Solve ODE командыг ажиллуулаад Solve ODE цонхонд ode2 функцын аргументуудыг оруулна.

Maxima нь хоёр дахь эрэмбийн дифференциал тэгшитгэлийг шийдэх боломжийг танд олгоно. Үүний тулд ode2 функцийг бас ашигладаг. Дифференциал тэгшитгэл дэх деривативыг тэмдэглэхийн тулд дифференциал функцийг ашигладаг бөгөөд үүнд өөр нэг аргументыг нэмдэг - тэгшитгэлийн дараалал: "diff(f(x), x, 2). Жишээлбэл, энгийн секундын шийдэл- a·y"" + b·y" = 0 дарааллын дифференциал тэгшитгэл нь дараах байдлаар харагдана.

Ode2 функцтэй хамт та гурван функцийг ашиглаж болох бөгөөд тэдгээрийн хэрэглээ нь ode2 функцээр олж авсан дифференциал тэгшитгэлийн ерөнхий шийдэлд үндэслэн тодорхой хязгаарлалтын дагуу шийдлийг олох боломжийг олгодог.

  1. ic1 (ode2 функцын үр дүн, x = x 0 хэлбэрийн бие даасан хувьсагчийн анхны утга, y = y 0 хэлбэрийн x 0 цэг дэх функцийн утга). Анхны нөхцөл бүхий нэгдүгээр эрэмбийн дифференциал тэгшитгэлийг шийдвэрлэхэд зориулагдсан.
  2. ic2(ode2 функцын үр дүн, x = x 0 хэлбэрийн бие даасан хувьсагчийн анхны утга, y = y 0 хэлбэрийн x 0 цэг дэх функцийн утга, хамааралтай хувьсагчийн эхний деривативын анхны утга. (y,x) = dy 0) хэлбэрийн бие даасан хувьсагч. Анхны нөхцөл бүхий хоёр дахь эрэмбийн дифференциал тэгшитгэлийг шийдвэрлэхэд зориулагдсан
  3. bc2(ode2 функцын үр дүн, x = x 0 хэлбэрийн бие даасан хувьсагчийн анхны утга, y = y 0 хэлбэрийн x 0 цэг дэх функцийн утга, x = x n хэлбэрийн бие даасан хувьсагчийн эцсийн утга, y = y n хэлбэрийн x n цэг дэх функцийн утга). Хоёрдахь эрэмбийн дифференциал тэгшитгэлийн хилийн утгын бодлогыг шийдвэрлэхэд зориулагдсан.

Эдгээр функцүүдийн нарийвчилсан синтаксийг системийн баримт бичгээс олж болно.

Анхны y(n) = 1 нөхцөлтэй y" - ax = 0 гэсэн нэгдүгээр эрэмбийн тэгшитгэлийн Кошигийн бодлогыг шийдье.

Хоёрдахь эрэмбийн дифференциал тэгшитгэлийн y""+y=x y(o) = 0 анхны нөхцөлтэй хилийн утгын бодлого бодох жишээг өгье; y(4)=1.

Ихэнх тохиолдолд систем нь дифференциал тэгшитгэлийг шийдэж чадахгүй гэдгийг санах нь зүйтэй. Жишээлбэл, энгийн нэгдүгээр эрэмбийн дифференциал тэгшитгэлийн ерөнхий шийдлийг олоход бид дараахь зүйлийг олж авна.

Ийм тохиолдолд Максима алдааны мэдэгдэл гаргадаг (энэ жишээн дээрх шиг) эсвэл зүгээр л "худал" гэж буцаадаг.

Энгийн нэг ба хоёрдугаар эрэмбийн дифференциал тэгшитгэлийг шийдэх өөр нэг хувилбар нь анхны нөхцөл бүхий шийдлийг олоход зориулагдсан болно. Энэ нь desolve функцийг ашиглан хэрэгждэг.

Функцийн синтакс:

задлах(дифференциал тэгшитгэл, хувьсагч);

Хэрэв дифференциал тэгшитгэлийн системийг шийдэж байгаа эсвэл хэд хэдэн хувьсагчтай бол тэгшитгэл ба/эсвэл хувьсагчдыг жагсаалт хэлбэрээр үзүүлэв.

desolve([тэгшитгэлийн жагсаалт], [хувьсагч1, хувьсагч2,...]);

Өмнөх хувилбарын нэгэн адил дифференциал тэгшитгэл дэх деривативуудыг тэмдэглэхэд диффункцийг ашигладаг бөгөөд энэ нь “diff(f(x), x) хэлбэртэй байна.

Хувьсагчийн анхны утгыг atvalue функцээр хангадаг. Энэ функц нь дараах синтакстай байна:

atvalue(функц, хувьсагч = цэг, цэг дээрх утга);

Энэ тохиолдолд функцын утгууд ба (эсвэл) тэдгээрийн деривативуудыг тэг болгон тохируулсан тул atvalue функцийн синтакс нь:

atvalue(функц, хувьсагч = 0, "0" цэг дээрх утга);

Жишээ. Анхны нөхцөлтэй y"=sin(x) нэгдүгээр эрэмбийн дифференциал тэгшитгэлийн шийдийг ол.

Анхны нөхцөл байхгүй байсан ч функц ажиллаж, үр дүнг гаргах болно гэдгийг анхаарна уу:

Энэ нь шийдлийг тодорхой анхны утгыг турших боломжийг олгодог. Үнэхээр y(0) = 4 утгыг үр дүнд нь орлуулснаар бид y(x) = 5 - cos(x) болно.

Таслах функц нь анхны нөхцөл бүхий дифференциал тэгшитгэлийн системийг шийдвэрлэх боломжийг олгодог.

Дифференциал тэгшитгэлийн системийг шийдэх жишээг өгье y(0) = 0 анхны нөхцөлтэй; z(0) = 1.


Мэдээлэл боловсруулах

Статистикийн дүн шинжилгээ

Энэхүү систем нь статистикийн үндсэн статистикийг тооцоолох боломжийг олгодог бөгөөд үүний тусламжтайгаар эмпирик мэдээллийн хамгийн ерөнхий шинж чанарыг тодорхойлсон болно. Дүрслэх үндсэн статистикт дундаж, дисперс, стандарт хазайлт, медиан, горим, хамгийн их ба хамгийн бага утгууд, хэлбэлзлийн муж, квартил зэрэг орно. Энэ талаар Максимагийн чадвар бага зэрэг боловч эдгээр статистикийн ихэнхийг түүний тусламжтайгаар тооцоолоход хялбар байдаг.

Статистикийн тодорхойлолтын статистикийг тооцоолох хамгийн хялбар арга бол Статистикийн палитрыг ашиглах явдал юм.

Самбар нь дөрвөн бүлэгт бүлэглэсэн хэд хэдэн хэрэгслийг агуулдаг.

  1. Статистик үзүүлэлтүүд (дүрслэх статистик):
    • дундаж (арифметик дундаж);
    • дундаж (дундаж);
    • хэлбэлзэл (зөрчил);
    • хазайлт (стандарт хазайлт).
  2. Туршилтууд.
  3. Таван төрлийн график бүтээх:
    • гистограм. Энэ нь үндсэндээ статистикт тархалтын интервалын цувааг дүрслэхэд ашиглагддаг. Барилга угсралтын явцад ординатын тэнхлэгийн дагуу хэсгүүд эсвэл давтамжийг зурж, абсцисса тэнхлэг дээр шинж чанарын утгыг зурдаг;
    • scatter plot (корреляцийн диаграмм, корреляцийн талбар, Scatter Plot) - цэгүүд холбогдоогүй үед цэгүүдийн график. Хоёр хувьсагчийн өгөгдлийг харуулахад ашигладаг бөгөөд тэдгээрийн нэг нь хүчин зүйл, нөгөө нь үр дүн юм. Үүний тусламжтайгаар өгөгдлийн хосуудын график дүрслэлийг координатын хавтгай дээрх цэгүүдийн багц ("үүл") хэлбэрээр гүйцэтгэдэг;
    • Bar Chart - босоо багана хэлбэрийн график;
    • салбар эсвэл дугуй диаграм (Дугуй диаграм). Ийм диаграммыг хэд хэдэн сегмент-салбаруудад хуваадаг бөгөөд тус бүрийн талбай нь тэдгээрийн хэсэгтэй пропорциональ байна;
    • хайрцагны зураг (сахалтай хайрцаг, сахалтай хайрцаг, Хайрцагны зураг, хайрцаг ба сахал диаграм). Энэ нь статистик мэдээллийг харуулахад хамгийн түгээмэл хэрэглэгддэг зүйл юм. Энэ хүснэгтэд байгаа мэдээлэл нь маш их мэдээлэлтэй бөгөөд хэрэгтэй. Энэ нь вариацын цувралыг тодорхойлдог хэд хэдэн утгыг нэгэн зэрэг харуулдаг: хамгийн бага ба хамгийн их утга, дундаж ба медиан, эхний ба гурав дахь квартил.
  4. Унших, матриц үүсгэх хэрэгслүүд. Палетт хэрэгслийг ашиглахын тулд та матриц хэлбэрээр анхны өгөгдөлтэй байх ёстой - нэг хэмжээст массив. Та үүнийг одоогийн сессээр баримт бичигт үүсгэж, дараа нь ерөнхий математикийн самбар ашиглан тэгшитгэлийг шийдвэрлэхтэй адилаар палитр хэрэгслийн цонхонд нэрийг нь орлуулах боломжтой. Та мөн өгөгдөл оруулах цонхонд өгөгдлийг шууд оруулах боломжтой. Энэ тохиолдолд тэдгээрийг системд хүлээн зөвшөөрөгдсөн хэлбэрээр, өөрөөр хэлбэл дөрвөлжин хаалтанд оруулж, таслалаар тусгаарлана. Эхний сонголт нь зөвхөн нэг удаагийн өгөгдөл оруулах шаардлагатай тул хамаагүй дээр гэдэг нь тодорхой байна.

Самбараас гадна статистикийн бүх хэрэгслийг холбогдох функцийг ашиглан ашиглаж болно.

Максима- симбол болон тоон илэрхийлэлтэй ажиллах боломжийг олгодог компьютерийн систем. Цуврал өргөтгөх, ялгах, Лаплас хувиргах, нэгтгэх үйлдлүүдийг дэмждэг. Хөтөлбөр нь энгийн дифференциал тэгшитгэл, матриц ба тензор, шугаман тэгшитгэлийн систем, жагсаалт, вектор, олон гишүүнт, олонлогоос айдаггүй. Компьютерийн тооцооллын систем нь өндөр нарийвчлалтай тооцоолол хийх боломжтой. Бүхэл тоо болон бутархай илэрхийлэл ашигладаг. Уг програм нь хоёр буюу гурван хэмжээст график бүтээх боломжтой. Математик үйлдлийн системээр ямар операторууд дэмжигддэг, хэрэгсэлтэй хэрхэн ажиллах талаар дэлгэрэнгүй тайлбарласан гарын авлагатай. Энэ програм нь компьютерийн алгебр сонирхогчдод төгс төгөлдөр юм: оюутнууд, багш нар, төгсөх ангийн оюутнууд.



- Математикийн тоон болон бэлгэдлийн илэрхийлэлтэй ажилладаг.
- Жагсаалт, олон гишүүнт, матриц, тензор, дифференциал тэгшитгэл, шугаман тэгшитгэлийн системтэй ажиллахыг дэмждэг.
- Цуврал өргөтгөх, ялгах, Лаплас хувиргах, нэгтгэх үйлдлүүдийг дэмждэг.
- Тооцоололыг өндөр нарийвчлалтай гүйцэтгэдэг.
- Бүхэл тоо, бутархай илэрхийлэл ашигладаг.
- Хоёр хэмжээст эсвэл гурван хэмжээст график бүтээх чадвартай.
- Компьютерийн алгебр сонирхогчдод тохиромжтой.
- Системийн ажиллагаатай танилцах боломжтой баримт бичигтэй.
- Үйл ажиллагааны орчны гүйцэтгэл, хурдад нөлөөлөхгүй.
-Орос хэлийг дэмждэг.

Хөтөлбөрийн сул тал

- Зөөврийн хувилбар байхгүй.

- 1200 МГц ба түүнээс дээш давтамжтай процессор.
- RAM 256 MB буюу түүнээс дээш.
- 185 МБ-аас хатуу дискний сул зай.
- 32 эсвэл 64 битийн архитектур (x86 эсвэл x64).
- Үйлдлийн систем Windows XP, Windows Vista, Windows 7, Windows 8

Олон үйлдэлт тооцоолуур: Харьцуулах хүснэгт

Програмын нэр Орос хэл дээр Хуваарилалт Суулгагч Алдартай байдал Хэмжээ Индекс
★ ★ ★ ★ ★ 48.7 MB 100
★ ★ ★ ★ ★ 59.8 MB 99
★ ★ ★ ★ ★ 1.3 MB 86

Maxima систем нь олон функцтэй. Тусламжийн системд агуулагдах баримт бичигт суулгасан функц бүрийг тайлбарлаж болно. F1 функцийн товчлуурыг ашиглан тусламж авах боломжтой. Maxima нь мөн тусгай функцтэй бөгөөд тодорхой үгсийн баримт бичгээс мэдээлэл өгдөг. Энэ функцийн дуудлагын товчилсон хувилбар: ?? нэр (Зураг 12). Энд?? нь операторын нэр бөгөөд аргументыг түүнээс зайгаар тусгаарлах ёстой. Оператор?? Туслах хэсэг болон заасан текстийг агуулсан функцын нэрсийн жагсаалтыг харуулах ба үүний дараа тэдгээр нь таны харахыг хүсэж буй хэсгийн дугаар эсвэл функцийн тайлбарыг оруулахыг хүсэх болно:

12-р зураг. Maxima системийн сонирхсон команд дээр тусламж дуудаж байна

Maxima системд операторууд болон функцуудын хооронд тодорхой ялгаа байхгүй гэдгийг анхаарна уу. Түүнээс гадна, мэдэгдэл бүр нь үнэндээ функц юм.

Maxima-ийн бүх функц, операторууд зөвхөн бодит тоогоор зогсохгүй нийлмэл тоонуудтай ажилладаг. Цогцолбор тоонууд нь өөрөө алгебрийн хэлбэрээр бичигдсэн бөгөөд төсөөллийн нэгжийг % i гэж тэмдэглэнэ; өөрөөр хэлбэл a+b*%i хэлбэрээр, хаана АТэгээд бнь тооны бодит ба төсөөллийн хэсгүүд юм.

Ингээд авч үзье үндсэн функцийн синтаксМаксима системүүд.

1. Арифметик операторууд: + , -, *, /, -->. Жишээ:

3. Логик операторууд: and, or, not. Жишээ:

4. Тооны факториал олох функц: !

Факториал нь хамгийн ерөнхий хэлбэрээр өгөгдсөн бөгөөд үнэн хэрэгтээ гамма функц (илүү нарийвчлалтай, x! = гамма(x+1)), өөрөөр хэлбэл сөрөг бүхэл тооноос бусад бүх комплекс тоонуудын олонлог дээр тодорхойлогддог. Натурал тооны (болон тэг) факториал нь ижил натурал тоо руу автоматаар хялбаршдаг.

5. Хагас хүчин зүйлийг олох функц нь: !! (бүх тэгш (тэгш операнд) эсвэл өгөгдсөнөөс бага буюу тэнцүү сондгой тоонуудын үржвэр).

6. Үг хэллэгийн тэгш байдлыг үгүйсгэх функц: # a#b тэмдэглэгээ нь a=b биштэй тэнцүү.

7. x тооны модулийг олох функц: abs(x) Бүх комплекс тоонуудад модуль тодорхойлогддог. Жишээ:

8. X тооны тэмдгийг буцаадаг функц: signum(x)

9. Өгөгдсөн бодит тоонуудын хамгийн том ба хамгийн бага утгыг буцаадаг функцууд: max(x1,...,xn) ба min(x1,...,xn).

10. Зарим суурилагдсан математикийн функцууд:

sqrt(x) x-ийн квадрат язгуур
acos(x) Аргументийн арккосинус x
acosh (x) Х-ийн гипербол нуман косинус
acot(x) Аргументийн арккотангенс x
acoth (x) Аргумент x-ийн гипербол нуман котангенс
acsc(x) Аргументийн арккосекант x
acsch(x) Аргументийн гипербол арккосекант x
asec(x) Аргументийн нум х
asech(x) Аргументийн гипербол нуман х
asin(x) Аргументийн арксинус x
asinh(x) Аргументийн гипербол арксинус x
атан(x) Аргументийн арктангенс x
атанх (х) Аргументийн гипербол артангенс x
cosh(x) Аргументийн гипербол косинус x
coth(x) Аргументын гипербол котангенс x
csc(x) Аргументийн косекант x
csch(x) Аргументийн гипербол косекант x
сек(x) Аргументийн хэсэг x
sech(x) Аргументийн гипербол секант x
нүгэл(х) х-ийн синус
sinh(x) Аргументийн гипербол синус x
бор(x) Тангенс x
tanh(x) Аргумент x-ийн гипербол тангенс
бүртгэл(x) х-ийн натурал логарифм
exp(x) Экспонент x

11. Матрицтай ажиллах функцууд:

тодорхойлогч – матрицын тодорхойлогчийг олох:

eigenvallues - матрицын хувийн утгыг олох:

урвуу- урвуу матрицыг олж авах:

бага– матрицын минорыг тодорхойлно. Эхний аргумент нь матриц, хоёр дахь нь ба

гурав дахь нь мөр ба баганын индексүүд юм:

зэрэглэл- матрицын зэрэглэл:

дэд матриц– хассанаар эх хувилбараас авсан матрицыг буцаана

харгалзах мөр ба/эсвэл багана. Параметрүүд нь:

устгах мөрийн тоо, эх матриц, устгах баганын тоо.

шилжүүлэн суулгах- матрицын шилжүүлэг:

Maxima системийн хэл нь ямар ч програмчлалын хэлэнд байдаг үндсэн гүйцэтгэх операторуудыг агуулдаг. Тэднийг харцгаая.

Утга хуваарилах операторууд (илэрхийлэлийг нэрлэх).

1. Оператор “:” (хувьсагчийн утгыг тохируулах оператор).

2. Оператор “:=” (хэрэглэгчийн функцийг зааж өгөх оператор).

3.:: ба::= гэж тус тус тэмдэглэсэн оноолт болон функц хуваарилалтын операторуудын өргөтгөсөн хувилбарууд.

Хэрэглэгчийн функцийн багц операторыг ашиглах нь түүнтэй ажиллахад илүү хялбар болгодог, учир нь та үүнийг нэрээр нь дурдаж, өгөгдсөн цэгүүдэд функцийн утгыг хялбар, хялбар тооцоолох боломжтой.

Жишээ нь: функцийн утгыг ол е (x,y)=cosx + нүгэл yцэг дээр

Давталтын оператор.Давталтын операторыг хэд хэдэн аргаар тодорхойлж болно. Тодорхойлох арга нь давталтын биеийг хэдэн удаа гүйцэтгэх шаардлагатайг урьдчилан мэдэж байгаа эсэхээс хамаарна.

Жишээ: Хувьсагчийн утгыг харуулах гогцоо тохируулах А-3-аас 10 хүртэлх зайд 5 алхамаар:

Maxima системийн дараагийн чухал онцлог нь жагсаалт болон массивтай ажиллах.

Жагсаалт үүсгэхийн тулд makelist командыг ашиглана уу. Жишээлбэл, командыг ашиглан

Бид томъёоны дагуу утгууд нь олдсон арван элементээс бүрдсэн x нэртэй жагсаалтыг үүсгэв.

Массив үүсгэхийн тулд массив командыг ашиглана уу. Жишээлбэл, тушаалыг ашиглан,

Бид 10 мөр, 5 баганаас бүрдэх хоёр хэмжээст А массивыг үүсгэв. Массивыг элементүүдээр дүүргэхийн тулд бид параметр бүхий гогцоо ашиглана. Жишээлбэл,

Дэлгэц дээр массивын элементүүдийг харуулахын тулд та дараах тушаалыг ашиглаж болно.

Массивыг урьдчилан мэдэгдэлгүйгээр үүсгэж болно. Дараах жишээнд бид 5 элементээс бүрдэх нэг хэмжээст x массивыг үүсгэсэн бөгөөд тэдгээрийн утгыг x(x) томъёогоор тооцдог. би)=нүгэл би

Массивтай ажиллахад тохиромжгүй тал нь массивын элементүүдийн утгыг баганад харуулах явдал юм. Хэрэв (хоёр хэмжээст) массивын утгыг матриц хэлбэрээр харуулах нь илүү тохиромжтой. Эдгээр зорилгоор та genmatrix командыг ашиглаж болно. Жишээлбэл, хоёр хэмжээст массив (матриц) үүсгэхийн тулд та дараах хэлбэрээр командыг зааж өгөх хэрэгтэй.

Үүссэн массивыг гаргацгаая:

6. Илэрхийллийн хамгийн энгийн хувиргалтууд.

Анхдагч байдлаар, Autosimplification функц нь Maxima системд идэвхтэй байдаг, i.e. систем нь оруулсан илэрхийллийг ямар ч тушаалгүйгээр хялбарчлахыг оролддог.

Жишээ. Та дараах тоон илэрхийллийн утгыг олох хэрэгтэй гэж бодъё.

Maxima системийн хэлний дүрмийн дагуу илэрхийллийг тохируулъя.

Таны харж байгаагаар систем нь илэрхийллийн утгыг хариулсан боловч бид ямар ч тушаал заагаагүй болно.

Үр дүнг биш харин илэрхийллийг өөрөө гаргахын тулд системийг яаж албадах вэ? Үүнийг хийхийн тулд simp: false$ командыг ашиглан хялбаршуулах функцийг идэвхгүй болгох шаардлагатай. Дараа нь бид авна:

Хялбаршуулах функцийг идэвхжүүлэхийн тулд та simp:true$ командыг зааж өгөх ёстой. Автомат хялбаршуулах функц нь тоон болон зарим тоон бус илэрхийлэлтэй ажиллах боломжтой. Жишээлбэл,

Орохдоо бид өмнөх нүднүүдийн аль нэгийг нэрээр нь дурдаж, түүнийг дурын хэллэгээр сольж болно. Нэмж хэлэхэд сүүлийн гаралтын нүдийг %, сүүлийн оролтын нүдийг _ гэж тэмдэглэнэ. Энэ нь хамгийн сүүлийн үр дүнгийн тоонд анхаарал сарниулахгүйгээр үзэх боломжийг танд олгоно. Гэхдээ бүхэл баримт бичгийг эсвэл түүний бие даасан оролтын нүднүүдийг дахин үнэлэх үед нүдний дугааруудын хооронд зөрүү гарч болзошгүй тул нүд рүү ийм дуудлага хийхийг буруугаар ашиглах ёсгүй.

Жишээ. Илэрхийллийн утгыг олоод үр дүнг 5 дахин нэмэгдүүлнэ.

Нүдний нэрний оронд хувьсагчийг ашиглах, тэдгээрийн нэрийг дурын илэрхийлэлд өгөхийг зөвлөж байна. Энэ тохиолдолд аливаа математик илэрхийлэл хувьсагчийн утгын үүрэг гүйцэтгэж болно.

Хувьсагчийн нэрсийн утгууд нь баримт бичигтэй ажиллах бүх хугацаанд хадгалагдана. Хэрэв хувьсагчаас тодорхойлолтыг хасах шаардлагатай бол үүнийг kill(name) функцийг ашиглан хийж болно гэдгийг санацгаая, энд нэр нь устгах илэрхийллийн нэр юм; үүнээс гадна энэ нь таны өгсөн нэр эсвэл оролт гаралтын нүд байж болно. Үүний нэгэн адил та kill(all) командыг (эсвэл цэсийг сонгон) оруулснаар бүх санах ойг цэвэрлэж, бүх нэрийг чөлөөлж болно. Махта->Цахилгаан санах ой(Санах ойг цэвэрлэх)). Энэ тохиолдолд бүх оролт/гаралтын нүднүүд мөн цэвэрлэгдэх бөгөөд тэдгээрийн дугаарлалт дахин нэгээс эхэлнэ.

Автомат хялбаршуулах функц нь илэрхийллийг хялбарчлах боломжгүй байдаг. Үүнээс гадна илэрхийлэлтэй ажиллахад зориулагдсан хэд хэдэн тушаалууд байдаг: оновчтой ба иррациональ. Тэдгээрийн заримыг нь харцгаая.

харх (илэрхийлэл) - оновчтой илэрхийллийг каноник хэлбэрт шилжүүлдэг: бүх хаалтыг нээж, дараа нь бүх зүйлийг нийтлэг хуваагч руу авчирч, нийлбэр ба бууруулна; Төгсгөлтэй аравтын тэмдэглэгээний бүх тоог рационал тоо руу хөрвүүлдэг. Ямар ч оновчтой бус өөрчлөлт гарсан тохиолдолд каноник хэлбэр нь автоматаар "цуцлагдсан"

ratsimp (илэрхийлэл) - оновчтой хувиргалтаар илэрхийллийг хялбаршуулдаг. Энэ нь мөн "гүнзгий" ажилладаг, өөрөөр хэлбэл илэрхийллийн иррационал хэсгүүдийг атом гэж үздэггүй, харин тэдгээрийн доторх бүх оновчтой элементүүдийг хялбаршуулсан байдаг.

fullratsimp(илэрхийлэл) - дамжуулсан илэрхийлэлд ratsimp() функцийг дараалан хэрэглэх замаар оновчтой илэрхийллийг хялбарчлах функц. Үүнээс болж функц нь ratsimp()-ээс арай удаан боловч илүү найдвартай үр дүнг өгдөг.

өргөтгөх (илэрхийлэл) - бүх үүрлэх түвшинд илэрхийлэл дэх хаалтуудыг өргөжүүлнэ. ratexpand() функцээс ялгаатай нь энэ нь бутархайг нийтлэг хуваагч болгон бууруулдаггүй.

radcan(илэрхийлэл) - логарифм, экспоненциал болон хүчний функцийг бүхэл бус рационал илтгэгч, өөрөөр хэлбэл үндэс (радикал) ашиглан хялбарчлах функц.

Ихэнхдээ, та Максима дахь илэрхийлэлийг хялбарчлахыг оролдох үед энэ нь зөвхөн илүү төвөгтэй болгодог. Илэрхийлэлд багтсан хувьсагчид ямар утгыг авч болох нь тодорхойгүй байгаа тул үр дүнгийн өсөлт гарч болзошгүй. Үүнээс зайлсхийхийн тулд та хувьсагчийн авч болох утгуудад хязгаарлалт тавих хэрэгтэй. Энэ нь assume (нөхцөл) функцийг ашиглан хийгддэг. Тиймээс зарим тохиолдолд radcan()-г ratsimp() эсвэл fullratsimp()-тэй хослуулснаар хамгийн сайн үр дүнд хүрч болно.



Холбогдох хэвлэлүүд