Mathematical modeling — ریاضیاتی ماڈل سازی
ریاضیاتی ماڈل سازی ایک تحقیقی طریقہ ہے جس میں کسی حقیقی شے، عمل یا مظہر کو اس کے ریاضیاتی ماڈل سے بدل دیا جاتا ہے، جو ریاضیاتی طریقوں کے ذریعے نظام کے رویے کا تجزیہ کرنے کی اجازت دیتا ہے۔
ریاضیاتی ماڈل سازی کا جوہر
ریاضیاتی ماڈل سازی میں شامل ہیں:
- زیرِ مطالعہ شے کی اہم خصوصیات کی رسمی صورت گری؛
- ریاضیاتی ماڈل کی تعمیر جو پیرامیٹرز کے درمیان تعلقات کو ظاہر کرے؛
- تجزیاتی، عددی یا تخلیقی طریقوں سے ماڈل کا مطالعہ؛
- حقیقی نظام کے سیاق میں نتائج کی تعبیر۔
ماڈل ہمیشہ حقیقت کا ایک سادہ کردہ روپ ہوتا ہے، جو تحقیق یا ڈیزائن کے مقاصد کے لیے صرف انہی پہلوؤں کو نمایاں طور پر پیش کرتا ہے جو اہم ہوں۔
ریاضیاتی ماڈل سازی کے مقاصد
ریاضیاتی ماڈل درج ذیل مقاصد کے لیے تیار کیے جاتے ہیں:
- نظاموں کی ساخت، خصوصیات اور کارکردگی کی وضاحت؛
- قانونی ضابطوں کی دریافت کے ذریعے مشاہدہ شدہ مظاہر کی تشریح؛
- دیے گئے اثرات کے تحت نظاموں کے مستقبل کے رویے کی پیش گوئی؛
- عملوں اور کنٹرول نظاموں کی اصلاح؛
- ایسے مجازی تجربات کا انعقاد جو حقیقت میں ناممکن یا ناقابلِ قبول ہوں۔
ریاضیاتی ماڈلوں کی درجہ بندی
- وضاحت کے طریقے کے لحاظ سے: تعین پذیر اور اتفاقی (احتمالی)۔
- وقت کی نوعیت کے لحاظ سے: جامد اور حرکی۔
- متغیرات کی نوعیت کے لحاظ سے: مجرد اور پیوستہ۔
- تفصیل کی سطح کے لحاظ سے: میکرواسکوپک، مائیکرواسکوپک، میزواسکوپک۔
- استعمال شدہ طریقہ کار کے لحاظ سے: تجزیاتی، عددی، تخلیقی۔
- مقصد کے لحاظ سے: وضاحتی، پیش گوئی کنندہ، اصلاحی، تخلیقی۔
- ساخت کے لحاظ سے: خطی اور غیر خطی۔
- تعمیر کے نقطہ نظر کے لحاظ سے: مظہریاتی (تجرباتی) اور میکانیکی (نظریاتی)۔
ریاضیاتی ماڈل سازی کے مراحل
عمومی طور پر، ریاضیاتی ماڈل سازی کے مراحل درج ذیل ہیں:
- مسئلے کا تعین:
- ماڈل سازی کا مقصد متعین کرنا (ہم کیا جاننا یا کرنا چاہتے ہیں؟)۔
- شے یا عمل اور اس کی حدود کی وضاحت۔
- اہم عوامل اور خصوصیات کی نشاندہی جن کا خیال رکھنا ضروری ہے۔
- ماڈل کی تعمیر (یا انتخاب):
- رسمی صورت گری: شے کی وضاحت اور تعلقات کو ریاضی کی زبان میں منتقل کرنا (مساواتیں، فنکشنز، منطقی قوانین، الگورتھم وغیرہ)۔
- بنیادی پہلوؤں کو اجاگر کرنے کے لیے مفروضات اور سادگیوں کا تعارف۔
- ماڈل کے پیرامیٹرز اور ان کے باہمی تعلقات کا تعین۔
- ماڈل کا مطالعہ:
- ریاضیاتی مسئلے کا حل (تجزیاتی، عددی، تخلیقی طریقے سے)۔
- مختلف حالات میں ماڈل کے رویے کا مطالعہ کرنے کے لیے حسابی تجربات کا انعقاد۔
- ماڈل کی مناسبت کی جانچ (validation):
- ماڈل سازی کے نتائج کا حقیقی اعداد و شمار (تجرباتی، مشاہداتی) یا معلوم حقائق سے موازنہ۔
- اندازہ لگانا کہ ماڈل مقررہ مقصد کے لیے حقیقت کو کتنی اچھی طرح ظاہر کرتا ہے۔
- نتائج کی تعبیر اور اطلاق:
- ماڈل سازی سے حاصل شدہ اعداد و شمار کا تجزیہ۔
- نتائج کو اصل مسئلے کی زبان میں منتقل کرنا۔
- نتیجہ جات، پیش گوئیاں مرتب کرنا، سفارشات تیار کرنا یا ماڈل کی بنیاد پر فیصلے کرنا۔
یہ عمل اکثر تکراری ہوتا ہے۔ validation یا تعبیر کے غیر تسلی بخش نتائج پچھلے مراحل (مسئلے کے تعین کو بہتر بنانے، مفروضات تبدیل کرنے، ماڈل میں ترمیم) کی طرف واپسی کا تقاضا کر سکتے ہیں۔
اصولی نقطہ نظر
کلائیو ڈائم کے کاموں (Principles of Mathematical Modeling) پر مبنی اصولی نقطہ نظر، ماڈل سازی کو اہم سوالات کے سلسلہ وار جوابات کے طور پر دیکھنے کی تجویز دیتا ہے:
- Why? (کیوں؟): ماڈل کی ضرورت کیا ہے؟ ماڈل سازی کا مقصد اور وہ مسئلہ جسے ماڈل حل کرنے میں مدد دے، واضح طور پر متعین کرنا ضروری ہے۔
- Find? (تلاش؟): ہم کیا جاننا چاہتے ہیں؟ ماڈل کو مقصد کے حصول کے لیے کونسی مخصوص آؤٹ پٹ، خصوصیات یا معلومات فراہم کرنی چاہئیں؟
- Given? (دیا گیا؟): ہمیں کیا معلوم ہے؟ نظام کے بارے میں کونسی معلومات، اعداد و شمار (تجرباتی، شماریاتی)، علم اور دستیاب وسائل پہلے سے موجود ہیں؟
- Assume? (مفروضات؟): ہم کونسے مفروضات اپناتے ہیں؟ نظام کے رویے اور ماڈل کی اطلاق کی حدود کے بارے میں سادگیوں، مثالی تصورات اور مفروضات کا تعین۔ یہ قدم انتہائی اہم ہے کیونکہ یہ ماڈل کی مناسبت کا تعین کرتا ہے۔
- How? (کیسے؟): نظام کیسے کام کرتا ہے؟ ماڈل سازی کی شے کے رویے کو کنٹرول کرنے والے بنیادی قوانین (طبیعی، کیمیائی، حیاتیاتی، اقتصادی وغیرہ)، میکانزم اور باہمی تعلقات کی نشاندہی۔
- Predict? (پیش گوئی؟): ماڈل کیا پیش گوئی کرے گا؟ ریاضیاتی مساواتوں، عدم مساواتوں، منطقی قوانین یا الگورتھم کی تشکیل جو ماڈل کا مرکزہ بنتے ہیں، اور ان حسابات کا تعین جو انجام دیے جائیں گے۔
- Valid? (درستگی؟): ماڈل کی پیش گوئیاں حقیقت سے کس حد تک مطابقت رکھتی ہیں؟ ماڈل کی مناسبت کی جانچ کے لیے ماڈل سازی کے نتائج کا حقیقی اعداد و شمار یا معلوم حقائق سے موازنہ۔
- Verified? (افادیت/جانچ؟): کیا ماڈل اصل مقصد (Why?) کے حصول کے لیے مفید ہے؟ کیا حاصل شدہ نتائج اور ماڈل کی درستگی اصل ضرورت کو پورا کرتی ہے؟ (اس مرحلے پر verification بھی کی جا سکتی ہے — ریاضیاتی حسابات اور پروگرامی نفاذ کی درستگی کی جانچ)۔
- Improve? (بہتری؟): کیا ماڈل کو بہتر کیا جا سکتا ہے اور کیا ضرورت ہے؟ ان پیرامیٹرز کی شناخت جن کو بہتر بنانا ضروری ہے، ان مفروضات کی جو ڈھیلے کیے جا سکتے ہیں، یا ان پہلوؤں کی جو زیادہ درستگی یا وسیع تر اطلاق کے لیے شامل کیے جائیں۔
- Use? (استعمال؟): نتائج کو کیسے استعمال کیا جائے؟ فیصلہ سازی، نئے علم کے حصول، پیش گوئی، اصلاح یا نظام کے کنٹرول کے لیے ماڈل کی پیش گوئیوں اور نتیجہ جات کی تعبیر۔
ریاضیاتی ماڈل سازی کے براہِ راست اور الٹے مسائل
روایتی طور پر ریاضیاتی ماڈلوں سے متعلق دو بنیادی قسم کے مسائل کو الگ کیا جاتا ہے:
- براہِ راست مسئلہ میں پہلے سے طے شدہ ساخت اور معلوم پیرامیٹرز کے ساتھ ماڈل کا مطالعہ کیا جاتا ہے تاکہ شے کے رویے کے بارے میں معلومات حاصل کی جا سکیں۔
- الٹا مسئلہ میں دستیاب تجرباتی یا تجربی اعداد و شمار کی بنیاد پر کسی مخصوص ماڈل کا انتخاب یا اس کے پیرامیٹرز کا تعین کیا جاتا ہے۔
براہِ راست مسئلہ
براہِ راست مسئلے کا مقصد — نظام کی معلوم خصوصیات کی بنیاد پر بیرونی اثرات کے لیے اس کے ردِ عمل کا جواب دینا یا مختلف حالات میں اس کی خصوصیات کا تعین کرنا ہے۔ براہِ راست مسئلے کے مقصد کے اہم پہلو:
- معلوم ساخت اور پیرامیٹرز کے ساتھ دیے گئے ریاضیاتی ماڈل کی بنیاد پر شے کے رویے کا مطالعہ۔
- نظام کی مقداری یا معیاری خصوصیات حاصل کرنا: مثلاً دباؤ، درجہ حرارت کے میدانوں، بوجھ کے لیے حرکی ردعمل وغیرہ کا تعین۔
- مختلف بیرونی اثرات (بوجھ، ماحولیاتی حالات میں تبدیلی، کنٹرولڈ اقدامات) کے تحت شے کی حالت کی پیش گوئی۔
- نظاموں کے استحکام اور قابلِ اعتمادی کا تجزیہ، ان کے حدی کارکردگی طریقوں کا تعین۔
- ماڈل کی بنیاد پر مرتب کردہ شے کے رویے کے بارے میں مفروضات کی جانچ۔
- کنٹرول اثرات کے لیے ماڈل کے ردعمل کی گنتی کے ذریعے کنٹرول عملوں کی اصلاح۔
- ابتدائی حالات اور ماڈل پیرامیٹرز میں تبدیلیوں کے لیے حلوں کی حساسیت کا اندازہ۔
الٹا مسئلہ
الٹے مسئلے کا مقصد — حقیقی نظام کے رویے کے بارے میں دستیاب اعداد و شمار کی بنیاد پر ماڈل کی ساخت یا اس کے پیرامیٹرز کا تعین کرنا ہے۔
الٹے مسئلے کے مقصد کے اہم پہلو:
- ماڈل کے نامعلوم پیرامیٹرز تلاش کرنا (مثلاً لچک، حرارتی چالکیت، مزاحمت کے گُنانک وغیرہ)۔
- مشاہدہ شدہ آؤٹ پٹ اعداد و شمار کی بنیاد پر عملوں کی پوشیدہ ساخت کا تعین۔
- ریاضیاتی ماڈل کو اس طرح تعمیر یا درست کرنا کہ اس کا رویہ تجرباتی یا تجربی اعداد و شمار سے مطابقت رکھے۔
- مشاہدات اور تجربات کے اعداد و شمار کی پروسیسنگ اور تعبیر کے مناسب طریقے تیار کرنا۔
Verification اور Validation
ریاضیاتی ماڈل کی تعمیر اور اس کے پروگرامی یا الگورتھمی نفاذ کے بعد، اس کی درستگی اور اطلاق پذیری کا اندازہ لگانا ایک انتہائی اہم قدم ہے۔ اس کے لیے دو باہم جڑے ہوئے لیکن مختلف عمل استعمال کیے جاتے ہیں: verification اور validation۔
- Verification (تصدیق):
- سوال: کیا ہم ماڈل کو صحیح طریقے سے نافذ (تعمیر) کر رہے ہیں؟
- مفہوم: اس بات کی جانچ کہ ماڈل کا پروگرامی نفاذ یا حسابی الگورتھم اس کی ریاضیاتی تشکیل اور تصوراتی وضاحت سے بالکل مطابقت رکھتا ہے۔ دوسرے الفاظ میں، verification اس بات کی تصدیق کرتی ہے کہ مساواتیں صحیح طریقے سے حل کی جا رہی ہیں اور الگورتھم طے شدہ منطق کے مطابق بغیر غلطی کے کام کرتا ہے۔
- طریقے: کوڈ کا تجزیہ اور جانچ، معلوم تجزیاتی حلوں پر آزمائش (اگر موجود ہوں)، دیگر جانچے گئے پروگراموں کے نتائج سے موازنہ، الگورتھم کے عددی استحکام اور یکجائی کی جانچ۔
- Validation (توثیق):
- سوال: کیا ہم نے صحیح ماڈل تعمیر کیا ہے؟
- مفہوم: ماڈل سازی کے مقاصد کے اعتبار سے ماڈل کی اس حقیقی شے، عمل یا مظہر سے مطابقت کی سطح کا تعین جسے یہ بیان کرنے کے لیے بنایا گیا ہے۔ Validation اس سوال کا جواب دیتی ہے کہ ماڈل حقیقت کے ان پہلوؤں کو کتنی اچھی طرح ظاہر کرتا ہے جن میں ہم دلچسپی رکھتے ہیں۔
- طریقے: ماڈل سازی کے نتائج کا تجرباتی اعداد و شمار، حقیقی نظام کے مشاہداتی اعداد و شمار، شماریاتی اعداد و شمار، معلوم حقائق یا دیگر آزمودہ ماڈلوں کے نتائج سے موازنہ۔ پیرامیٹرز کی تبدیلی کے لیے ماڈل کی حساسیت کا اندازہ۔
بنیادی فرق:
- Verification ماڈل کے نفاذ کا اس کی تخصیص (ریاضیاتی وضاحت) سے موازنہ کرتی ہے۔
- Validation ماڈل (مجموعی طور پر) کا حقیقت سے موازنہ کرتی ہے۔
کوئی ریاضیاتی طور پر درست لیکن حقیقی عمل کے لیے غیر مناسب ماڈل ہو سکتا ہے (verified لیکن validated نہیں)، یا ایسا ماڈل جو مناسب سمجھا گیا لیکن غلطیوں کے ساتھ نافذ کیا گیا (verified نہیں)۔
Verification اور validation کے عمل ریاضیاتی ماڈل سازی کے عمل کا لازمی حصہ ہیں۔ یہ ماڈل سازی کے نتائج پر اعتماد کو یقینی بناتے ہیں اور ماڈل کے اطلاق کی حدود کا اندازہ لگانے کی اجازت دیتے ہیں۔ ان کے بغیر پیش گوئی، اصلاح یا فیصلہ سازی کے لیے ماڈل کا استعمال غلط ہو سکتا ہے۔
حدود اور مفروضات
ہر ریاضیاتی ماڈل ایک تجرید ہے — زیرِ مطالعہ حقیقت کا ایک مقصدی سادہ کردہ روپ۔ یہ متعدد مفروضات پر مبنی ہوتا ہے اور کسی بھی نقشے کی طرح خود وہ علاقہ نہیں ہوتا بلکہ مخصوص مقاصد کے لیے اس کی محض ایک وضاحت ہوتی ہے۔ اس سے درج ذیل حدود عائد ہوتی ہیں:
- نامکمل ہونا: ماڈل صرف (تحقیق کے مقصد اور کیے گئے مفروضات کے نقطہ نظر سے) اہم عوامل اور تعلقات کو مدنظر رکھتا ہے، تجزیے کو آسان بنانے کے لیے دیگر تفصیلات کو جان بوجھ کر نظرانداز کرتا ہے۔
- مفروضات پر انحصار: ماڈل کی درستگی، صحت اور اطلاق کا دائرہ کیے گئے مفروضات کے جواز پر براہ راست منحصر ہے۔ غلط یا خلاف ورزی شدہ مفروضات غیر درست یا غلط نتائج کا باعث بنتے ہیں۔
- محدود اطلاق پذیری: ماڈل صرف مخصوص حالات (مفروضات کے مطابق) اور ان مسائل کے مخصوص دائرے کے حل کے لیے جن کے لیے اسے بنایا اور آزمایا گیا، حقیقت کو مناسب طریقے سے بیان کرتا ہے۔ ان حدود سے باہر اضافہ غلط ہے۔
- غلطی: سادگیوں کی وجہ سے، ماڈل سازی کے نتائج ہمیشہ شے کے حقیقی رویے کے مقابلے میں کچھ غلطی رکھتے ہیں۔
- Validation کی ضرورت: چونکہ ماڈل ایک سادہ کردہ روپ ہے، اس لیے اس کی مناسبت کو ہمیشہ حقیقی (تجرباتی یا مشاہداتی) اعداد و شمار کی بنیاد پر جانچنے (validate کرنے) کی ضرورت ہوتی ہے۔
- حساسیت: ماڈل سازی کے نتائج ان پٹ اعداد و شمار، ماڈل کے پیرامیٹرز اور کیے گئے مفروضات میں تبدیلیوں کے لیے حساس ہو سکتے ہیں، جس کے لیے اکثر حساسیت کے تجزیے کا انعقاد ضروری ہوتا ہے۔
اطلاق کی مثالیں
- طبیعیات میں: حرارتی چالکیت، ہائیڈروڈائنامکس، برقی مقناطیسی عملوں کی ماڈل سازی۔
- انجینئرنگ میں: ساختوں کی مضبوطی کا حساب، تکنیکی عملوں کی اصلاح۔
- حیاتیات میں: آبادی کی حرکیات اور بیماریوں کے پھیلاؤ کی ماڈل سازی۔
- معاشیات میں: میکرو اکنامک ماڈلوں اور زیادہ سے زیادہ کنٹرول کے ماڈلوں کی تعمیر۔
- سماجیات میں: نقل مکانی کے عملوں اور سماجی حرکیات کی ماڈل سازی۔
کتابیات
- ریاضیاتی ماڈل سازی کا تعارف / مدیر: پی وی ٹروسوف۔ — ماسکو: یونیورسٹی کتاب، لوگوس، 2007۔
- ریاضیاتی ماڈل سازی۔ خیالات۔ طریقے۔ مثالیں۔ موئیسیف این این — ماسکو: ناؤکا، 1981۔
- ریاضیاتی ماڈل سازی۔ گالانن ایم پی، گالانینا ای ایم، سرگیف اے وی، شالائیوا اے کے — ماسکو: ایل کے آئی، 2022۔
- Principles of Mathematical Modeling Dym, C.L. (2004)
دیگر تصورات سے ربط
- ریاضیاتی ماڈل
- نظام کا ماڈل
- ماڈل سازی کا عمل
- نظاموں کے ماڈلوں کی رسمی صورت گری
- ماڈل سازی
- آپریشنز ریسرچ