2-laboratoriya mashg‘uloti: katta til modellari (LLM) va teskari muhandislik

LLM (ChatGPT yoki Claude) yordamida tanlangan fizik jarayonning matematik modeli, formulalari va algoritmini mantiqiy ketma-ketlikda tuzish

Mazkur laboratoriya mashg‘ulotida talabalar tayyor interaktiv simulyatsiyalarni (PhET Interactive Simulations yoki Vascak.cz) “Teskari Muhandislik” (Reverse Engineering) usulida dekonstruksiya qiladi: kirish parametrlari (slayderlar, knopkalar) va chiqish grafiklarini kuzatib, tizim ortida yotgan differensial tenglama va formulalarni mustaqil tiklaydi. Claude talaba tiklagan formulalarni tekshiruvchi ilmiy konsultant, Gemini / ChatGPT esa IMRaD standartidagi hisobot tuzilmasini yaratuvchi tahlilchi sifatida integratsiya qilinadi.

📋 2-laboratoriya mashg‘uloti rejasi va AI integratsiya arxitekturasi:

1. AI diagnostika va individual reja:
Talabaning bilim darajasini test orqali baholash va Vygotskiy ZPD asosida individual topshiriq klasterini (A, B, C) belgilash.

2. Simulyatsiya tahlil bazasi:
Vascak.cz yoki PhET simulyatsiyalarini tanlash, slayder va grafiklarni kuzatish orqali formulalarni teskari tiklash (Reverse Engineering).

3. Formulalarni tekshirish (Claude):
Tiklagan formulalarni o‘lchov birligi, limit holatlar va Eyler–Kromer simplektik algoritmi bo‘yicha Claude orqali tekshirish.

4. Hisobot tuzilmasi (Gemini / ChatGPT):
IMRaD va IEEE standarti bo‘yicha to‘liq akademik hisobot shablonini, parametrlar xaritasini va xatoliklar tahlilini shakllantirish.

2. Simulyatsiya tahlil bazasi: Vascak.cz yoki PhET Interactive Simulations

Teskari muhandislik (Reverse Engineering) metodologiyasi

Teskari muhandislik (Reverse Engineering) — bu tayyor tizimning tashqi xatti-harakati, kirish boshqaruvlari va chiqish ma’lumotlarini o‘rganish orqali uning ichki arxitekturasi va fundamental qonuniyatlarini mustaqil tiklash jarayonidir. Fizika ta’limida ushbu metod talabani dasturiy ta’minotning passiv tomoshabinidan tizimning matematik yadrosini kashf etuvchi tadqiqotchiga aylantiradi.

2.1. Tahlil platformalarining qiyosiy xarakteristikasi:

🌐 PhET Interactive Simulations

phet.colorado.edu ↗

Tashkilot: University of Colorado Boulder (Nobel mukofoti sovrindori Karl Viman tashabbusi);
Texnologiya: HTML5, Canvas, WebGL, SVG, ochiq manbali Scenery.js dvigateli;
Afzalligi: Ko‘p parametrli slayderlar, o‘lchov asboblari (chizg‘ich, sekundomer, fotodetektor), real vaqtli energiya gistogrammalari;
Tavsiya etilgan modellar: Masses and Springs, Pendulum Lab, Projectile Motion, Charges and Fields.

🌐 Vascak.cz (Physics at School)

havola berilmagan (reklama)

Muallif: RNDr. Vladimír Vaščák (Chexiya ta’lim portali);
Texnologiya: Sof yengil HTML5 Canvas animatsiyalari, ko‘p tilli qo‘llab-quvvatlash;
Afzalligi: Har bir fizik hodisaning lakonik va o‘ta aniq 2D/3D ko‘rinishi, mexanizmlar va elektrodinamika sxemalarining ravshanligi;
Tavsiya etilgan modellar: Qiya tekislikdagi ishqalanish, Mass-spektrometr, Damped harmonic oscillator, Kulon maydoni.

2.2. Teskari muhandislikning 4 bosqichli dekompozitsiya protokoli:

1-Qadam: UI/UX va Kirish Parametrlarini Identifikatsiya Qilish

Simulyatsiyadagi barcha boshqaruv elementlarini xatlovdan o‘tkazish: Slayderlar (massa $m$, uzunlik $L$, prujina bikrligi $k$, muhit yopishqoqligi $b$, burchak $\alpha$, kuchlanish $U$). Ularning minimal, maksimal va standart o‘lchov birliklarini SI tizimida yozib olish.

2-Qadam: Holat O‘zgaruvchilari (State Variables) Telemetriyasi

Vaqt bo‘yicha o‘zgaruvchi kattaliklarni aniqlash: Koordinata $x(t), y(t)$, burchak siljishi $\theta(t)$, chiziqli va burchakli tezliklar $v(t), \omega(t)$, to‘la mexanik energiya $E(t) = E_k + E_p$.

3-Qadam: Chiqish Grafiklarini Dinamik Kuzatish

Slayderlarni o‘zgartirib grafiklardagi o‘zgarishlarni qayd etish: Tebranish davri $T$ qaysi parametrga to‘g‘ri yoki teskari proporsional? Amplituda qanday qonuniyat bo‘yicha eksponensial so‘nmoqda ($A(t) = A_0 e^{-\beta t}$)?

4-Qadam: "Black Box" dan "White Box" Modeliga O‘tish

Kuzatilgan xatti-harakat asosida Nyuton qonunlari yoki Lagranj mexanikasi tenglamasini mustaqil shakllantirish va differensial shaklga keltirish.

2.3. Talaba uchun kuzatuv protokoli namunaviy jadvali:

№	Tajriba parametri	Kiritilgan qiymat (input)	Simulyatsiya javobi (output grafik)	Tiklanayotgan matematik bog‘liqlik
1	Massa ($m$) oshirilganda	$m = 0.5 \to 2.0 \text{ kg}$ ($k = \text{const}$)	Tebranish sekinlashdi, davr $T$ 2 barobarga ortdi	$T \propto \sqrt{m} \implies \omega_0 = \sqrt{k/m}$
2	Prujina bikrligi ($k$)	$k = 10 \to 40 \text{ N/m}$ ($m = \text{const}$)	Tebranish tezlashdi, davr 2 barobarga kamaydi	$T \propto 1/\sqrt{k} \implies T = 2\pi\sqrt{m/k}$
3	Muhit qarshiligi ($b$)	$b = 0 \to 0.5 \text{ kg/s}$	Amplituda eksponensial pasaydi, energiya kamaydi	$F_{\text{damp}} = -b v \implies x(t) = A_0 e^{-\frac{b}{2m}t}\cos(\omega_d t + \varphi)$
4	Energiya balansi	$E_{\text{tot}} = E_k + E_p$	Ishqalanishsiz: $E=\text{const}$; Ishqalanishda: $dE/dt < 0$	$\frac{dE}{dt} = -b v^2$ (Dissipatsiya quvvati)

🌐 WWW Ilmiy-Uslubiy Manba va Simulyatsiya Tahlili (2-Reja):

Wieman, C. E., Adams, W. K., va Perkins, K. K. (2008). PhET: Simulations That Enhance Learning. Science, 322(5902), 682–683. https://doi.org/10.1126/science.1161948
Vaščák, V. (n.d.). Physics Animations/Simulations [HTML5 animatsiyalar]. Vascak.cz. https://www.vascak.cz/physicsanimations.php (saytda reklama bor, shuning uchun bu yerda havola berilmagan)
Manba mazmuni: PhET simulyatsiyalari ko‘rinmas jarayonlarni vizuallashtirish, darhol qayta aloqa beruvchi interaktiv boshqaruv va talabaning mustaqil tadqiqotini rag‘batlantirish tamoyillari asosida loyihalangan. Bu aynan teskari muhandislik — kirish parametrlarini o‘zgartirib, chiqishdagi qonuniyatni kashf etish — uchun qulay muhit yaratadi.

3. Formulalarni tekshirish va tasdiqlash: Claude

Sokratik ilmiy konsultant va ramziy matematika

Talaba teskari muhandislik jarayonida differensial tenglamalarni va ularning yechimini mustaqil tuzgach, ularni tekshirish va xatoliklarni bartaraf etish uchun Claude modelidan "Sokratik Ilmiy Konsultant" sifatida foydalanadi. Claude tayyor javobni to‘g‘ridan-to‘g‘ri aytib qo‘ymaydi, balki savollar va ilmiy qiyoslashlar orqali talabaning xulosalarini tekshiradi.

3.1. Claude bilan formulalarni tasdiqlashning 4 bosqichi:

1. O‘lchov birliklari tahlili (Dimensional Analysis)

Tenglamaning har ikkala tomoni SI tizimida bir xil o‘lchov birligiga egaligini tekshirish (o‘lchamlar bir jinsliligi prinsipi). Masalan: $$[\omega_0] = \left[\sqrt{\frac{k}{m}}\right] = \sqrt{\frac{\text{N/m}}{\text{kg}}} = \sqrt{\frac{\text{kg}\cdot\text{m/s}^2}{\text{m}\cdot\text{kg}}} = \text{s}^{-1} = \text{rad/s}$$

2. Chegaraviy / limit holatlar (Asymptotic Analysis)

Parametrlarning chekka qiymatlarida formula o‘zini qanday tutishi: $$\lim_{b \to 0} \omega_d = \lim_{b \to 0} \sqrt{\frac{k}{m} - \frac{b^2}{4m^2}} = \omega_0 \quad (\text{Erkin tebranish})$$ $$\lim_{t \to \infty} x(t) = 0 \;\; (b > 0) \quad (\text{To‘liq to‘xtash})$$

3. Saqlanish qonunlari va invariantlar

Konservativ tizimlarda to‘la mexanik energiya o‘zgarmasligi lozim: $$\frac{d}{dt}(E_k + E_p) = 0 \implies m v \frac{dv}{dt} + k x \frac{dx}{dt} = v (m a + k x) = 0$$

4. Sonli integrallash algoritmi tanlovi

Klassik (oshkor) Eyler usulida garmonik ossillyator energiyasi har qadamda $(1 + \omega_0^2 \Delta t^2)$ marta ortadi, ya’ni eksponensial o‘sadi. Simplektik Eyler–Kromer (Semi-implicit Euler) esa faza fazosi yuzini saqlaydi va energiya xatosi chegaralangan holda tebranadi (Cromer, 1981): $$v_{n+1} = v_n + a_n \Delta t, \quad x_{n+1} = x_n + v_{n+1} \Delta t$$

3.2. Claude uchun sokratik tizimli prompt andazasi:

Tizimli prompt (System Prompt: Claude Validator)

Siz Oliy ta’lim fizika-matematika kafedrasi ilmiy konsultantisiz (Sokratik metod bo‘yicha).
Men [PhET yoki Vascak.cz] simulyatsiyasini teskari muhandislik qilib, quyidagi matematik modelni tikladim:
1. Fizik jarayon: [Mavzu nomi, masalan: Prujinali so‘nuvchi tebranish]
2. Men tiklagan differensial tenglama: [m*x'' + b*x' + k*x = 0]
3. Men topgan xos chastota va davr formulalari: [omega_d = sqrt(k/m - b^2/(4m^2)), T = 2*pi / omega_d]
4. Raqamli diskret algoritm: [Semi-implicit Euler / Eyler–Kromer]

Vazifangiz:
1. Menga to‘g‘ridan-to‘g‘ri to‘g‘ri/noto‘g‘ri deb hukm chiqarmang.
2. Mening formulamni o‘lchov birliklari tahlili (Dimensional analysis) va chegaraviy limitlar (b -> 0 va b -> kritik) orqali tekshirishim uchun 3 ta yo‘naltiruvchi Sokratik savol bering.
3. Diskret integratsiyada Eyler–Kromer algoritmi Forward Eylerdan qanday ustunlikka egaligini matematik jihatdan tushuntiring.

🌐 WWW Ilmiy-Uslubiy Manba va Claude Ramziy Fikrlash (3-Reja):

Anthropic. (2024). Claude Model Card Addendum. https://www-cdn.anthropic.com/fed9cc193a14b84131812372d8d5857f8f304c52/Model_Card_Claude_3_Addendum.pdf
Cromer, A. (1981). Stable Solutions Using the Euler Approximation. American Journal of Physics, 49(5), 455–459. https://doi.org/10.1119/1.12478
Hairer, E., Lubich, C., va Wanner, G. (2006). Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations (2nd ed.). Springer. https://doi.org/10.1007/3-540-30666-8
Manba mazmuni: Cromer (1981) oddiy Eyler usulidagi kichik o‘zgartirish — koordinatani yangilashda yangi tezlikdan foydalanish — tebranma masalalarda barqaror yechim berishini ko‘rsatgan. Hairer va hammualliflar bu usulning simplektik ekanini va energiya xatosi nima uchun chegaralangan qolishini nazariy asoslaydi. Model kartasi Claude imkoniyatlari va cheklovlarini tavsiflaydi: model xato qilishi mumkin, shu sababli uning javoblari o‘lchov birliklari va limit holatlar bilan mustaqil tekshirilishi shart.

4. Hisobot tuzilmasini yaratish: Gemini yoki ChatGPT

IMRaD va IEEE akademik hisobot standarti

Teskari muhandislik va formulalarni tasdiqlash yakunlangach, barcha natijalar xalqaro akademik talablar asosida rasmiylashtirilishi shart. Buning uchun Google Gemini yoki OpenAI ChatGPT kabi ilg‘or multimodal modellaridan foydalanib, IMRaD (Introduction, Methods, Results, and Discussion) strukturasidagi professional laboratoriya hisoboti shakllantiriladi.

4.1. IMRaD standartidagi hisobotning 6 ta majburiy bo‘limi:

Title va abstract (sarlavha va annotatsiya): Jarayon nomi, o‘rganilgan simulyatsiya platformasi (PhET/Vascak), qo‘llanilgan metod va 100-150 so‘zdan iborat asosiy ilmiy xulosa.
Introduction (kirish): Fizik hodisaning nazariy asosi, Nyuton/Kulon qonunlari, mavzuning dolzarbligi va tadqiqot maqsadi.
Reverse Engineering methodology (metodologiya): Simulyatsiyaning kirish slayderlari, o‘lchash vositalari, koordinata o‘qlari va kuzatuv bosqichlari protokoli.
Mathematical modeling va algorithms (matematik model va algoritm): Tiklangan differensial tenglamalar, analitik yechimlar, sonli integrallash algoritmi (Eyler–Kromer pseudokodi yoki blok-sxemasi).
Results va Error Analysis (natijalar va xatoliklar tahlili): Eksperimental va nazariy qiymatlar taqqoslama jadvali, nisbiy xatolik $\varepsilon = \frac{|x_{\text{sim}} - x_{\text{naz}}|}{|x_{\text{naz}}|} \times 100\%$, energiya dissipatsiyasi grafigi.
Discussion va conclusion (munozara va xulosa): Modelning chegaralari (cheklanishlari), kompyuter yaxlitlash xatoliklari, AI konsultanti (Claude) bergan tavsiyalar va xulosa.

4.2. Eyler–Kromer simplektik algoritmining mantiqiy blok-sxemasi:

// Boshlang‘ich shartlar va parametrlar
INPUT: m, k, b, x0, v0, dt, totalTime
x = x0; v = v0; t = 0;

WHILE (t < totalTime):
  1. Tezlanishni hisoblash: a = -(k * x + b * v) / m;
  2. Tezlikni yangilash: v = v + a * dt; // Yangi tezlik hisoblandi
  3. Koordinatani yangilash (Simplektik qadam): x = x + v * dt; // Yangilangan v ishlatiladi
  4. Telemetriya va energiya: Ek = 0.5 * m * v^2; Ep = 0.5 * k * x^2;
  5. Vaqt hisoblagichi: t = t + dt;
END WHILE

4.3. Gemini / ChatGPT uchun hisobot yaratuvchi tizimli prompt:

Tizimli prompt (academic report generator: Gemini / ChatGPT)

Siz xalqaro fizika ta’limi jurnallari taqrizchisi va akademik yozuv bo‘yicha ekspertsiz.
Talaba [Ismi Familiyasi] tomonidan [PhET / Vascak.cz] simulyatsiyasini teskari muhandislik qilish orqali bajarilgan 2-laboratoriya ishi ma’lumotlari:
- Fizik hodisa: [Prujinali va so‘nuvchi tebranishlar]
- Kirish parametrlari: m = [1.0 kg], k = [20 N/m], b = [0.35 kg/s], x0 = [1.2 m]
- Tiklangan formula: m * x'' + b * x' + k * x = 0, omega_d = sqrt(k/m - b^2/(4m^2))
- Algoritm: Semi-implicit Euler (Eyler–Kromer)
- Kuzatilgan xatolik: Delta_omega = [1.2%], Delta_E/E0 = [0.4%]

Vazifa:
Ushbu ma’lumotlar asosida IMRaD (Title, Abstract, Introduction, Reverse Engineering Methods, Mathematical Model va Algorithm, Results va Error Analysis, Conclusion) standartiga to‘liq mos keladigan, LaTeX formulalari bilan boyitilgan, Markdown formatidagi tayyor ilmiy laboratoriya hisobotini generatsiya qiling.

🌐 WWW Ilmiy-Uslubiy Manba va Akademik Hisobot (4-Reja):

Gemini Team, Google. (2024). Gemini 1.5: Unlocking Multimodal Understanding Across Millions of Tokens of Context (arXiv:2403.05530). arXiv. https://doi.org/10.48550/arXiv.2403.05530
OpenAI. (2024). ChatGPT System Card (arXiv:2410.21276). arXiv. https://doi.org/10.48550/arXiv.2410.21276
Sollaci, L. B., va Pereira, M. G. (2004). The Introduction, Methods, Results, and Discussion (IMRAD) Structure: A Fifty-Year Survey. Journal of the Medical Library Association, 92(3), 364–367.
Manba mazmuni: Sollaci va Pereira IMRAD tuzilmasining ilmiy maqolalarda standartga aylanish tarixini tahlil qilgan. Gemini 1.5 va ChatGPT hujjatlari esa hisobot tuzilmasini yaratishda ishlatiladigan modellarning imkoniyatlari va cheklovlarini tavsiflaydi. Model yaratgan matn talabaning o‘z o‘lchov natijalari bilan to‘ldiriladi va tekshiriladi.

5. Interaktiv dastgoh: teskari muhandislik va jonli validator

HTML5 Canvas va Claude sokratik tekshiruvi

Quyidagi laboratoriya stendida siz PhET / Vascak.cz tamoyilidagi so‘nuvchi tebranishlar simulyatsiyasini boshqarishingiz mumkin. Slayderlar yordamida parametrlarni o‘zgartiring, o‘ng tomondagi $x(t)$ va $v(t)$ grafiklarini hamda energiya telemetriyasini kuzating. So‘ngra mustaqil hisoblagan formulalaringizni kiritib, Claude Validator orqali tekshirib ko‘ring!

Vaqt: 0,00 s x: +1,200 m v: +0,000 m/s Ek: 0,000 J Ep: 14,400 J E: 14,400 J

Massa ($m$): 1,0 kg

Bikrlik ($k$): 20,0 N/m

Muhit qarshiligi ($b$): 0,35 kg/s

🤖 Claude — tiklangan formulalarni sinovdan o‘tkazish moduli

Simulyatsiya parametrlarini kuzatib chiqardingizmi? Yuqoridagi parametrlar bo‘yicha o‘zingiz hisoblab topgan siklik chastota $\omega_d$, so‘nish koeffitsiyenti $\beta$ va tebranish davri $T$ ni kiriting. SI maslahatchisi formulalaringiz to‘g‘riligini va xatolik foizini real vaqtda tekshirib beradi:

Siklik chastota $\omega_d$ (rad/s):

So‘nish koeffitsiyenti $\beta$ (s⁻¹):

Tebranish davri $T$ (sekund):

6. Baholash rubrikasi (100 ball) va ilmiy manbalar (APA 7)

Akademik baholash va bibliografiya

2-laboratoriya mashg‘uloti talabaning mustaqil ilmiy tadqiqot ko‘nikmalari, teskari muhandislik salohiyati, AI bilan hamkorlikda mantiqiy fikrlashi hamda akademik hisobot sifati bo‘yicha 100 ballik shkalada baholanadi:

📊 Interaktiv rubrika kalkulyatori:

1. Kognitiv Diagnostika va Individual Reja
Diagnostik testni to‘liq topshirish, individual kognitiv klaster (A, B yoki C) vazifasini aniqlash va qabul qilish.

Max: 15b

2. Simulyatsiyani Teskari Muhandislik Qilish (Reverse Engineering)
PhET yoki Vascak.cz platformasidan model tanlash, kirish slayderlari, chiqish grafiklarini dekonstruksiya qilish va kuzatuv jadvalini to‘ldirish.

Max: 30b

3. Formulalarni Tekshirish va Algoritm (Claude)
Differensial tenglamalarni tiklash, o‘lchov birliklari tahlili, limit holatlar va Simplektik Eyler–Kromer algoritmini asoslash.

Max: 25b

4. Akademik Hisobot Shakllantirish (Gemini / ChatGPT)
IMRaD standarti, LaTeX formulalar, xatoliklar tahlili ($\Delta x, \varepsilon\%$) va AI taqrizi asosida takomillashtirilgan hisobot.

Max: 20b

5. Xulosalar va Sokratik Himoya
O‘qituvchi va AI savollariga fizik-matematik asoslangan javob berish, model chegaralarini tushunish.

Max: 10b

Jami To‘plangan Ball: 100 / 100 ball

A (A’lo — 5)

📚 Foydalanilgan ilmiy-metodik adabiyotlar (APA 7 standarti):

Adams, W. K. (2010). Student Engagement and Learning with PhET Interactive Simulations. Il Nuovo Cimento C, 33(3), 21–32. https://doi.org/10.1393/ncc/i2010-10623-0
Anderson, L. W., va Krathwohl, D. R. (Eds.). (2001). A Taxonomy for Learning, Teaching, and Assessing: A Revision of Bloom’s Taxonomy of Educational Objectives. Longman.
Anthropic. (2024). Claude Model Card Addendum. https://www-cdn.anthropic.com/fed9cc193a14b84131812372d8d5857f8f304c52/Model_Card_Claude_3_Addendum.pdf
Cromer, A. (1981). Stable Solutions Using the Euler Approximation. American Journal of Physics, 49(5), 455–459. https://doi.org/10.1119/1.12478
Gemini Team, Google. (2024). Gemini 1.5: Unlocking Multimodal Understanding Across Millions of Tokens of Context (arXiv:2403.05530). arXiv. https://doi.org/10.48550/arXiv.2403.05530
Hairer, E., Lubich, C., va Wanner, G. (2006). Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations (2nd ed.). Springer. https://doi.org/10.1007/3-540-30666-8
OpenAI. (2024). ChatGPT System Card (arXiv:2410.21276). arXiv. https://doi.org/10.48550/arXiv.2410.21276
Sollaci, L. B., va Pereira, M. G. (2004). The Introduction, Methods, Results, and Discussion (IMRAD) Structure: A Fifty-Year Survey. Journal of the Medical Library Association, 92(3), 364–367.
Vaščák, V. (n.d.). Physics Animations/Simulations [HTML5 animatsiyalar]. Vascak.cz. https://www.vascak.cz/physicsanimations.php (saytda reklama bor, shuning uchun bu yerda havola berilmagan)
Vygotsky, L. S. (1978). Mind in Society: The Development of Higher Psychological Processes (M. Cole, V. John-Steiner, S. Scribner, va E. Souberman, Eds.). Harvard University Press.
Wieman, C. E., Adams, W. K., va Perkins, K. K. (2008). PhET: Simulations That Enhance Learning. Science, 322(5902), 682–683. https://doi.org/10.1126/science.1161948