TK Solver
ٹی کے سولور (اصل میں ٹی کے! سولور) ایک ریاضیاتی ماڈلنگ اور مسئلہ حل کرنے والا سافٹ ویئر سسٹم ہے جو ایک اعلانیہ، اصول پر مبنی زبان پر مبنی ہے، جسے یونیورسل ٹیکنیکل سسٹمز انکارپوریٹڈ نے تجارتی بنایا۔ تاریخ کی ایجاد 1970 کی دہائی کے آخر میں میلوس کونوپاسک نے کی تھی اور ابتدائی طور پر 1982 میں سافٹ ویئر آرٹس نے تیار کیا تھا، ویسی کیلک کے پیچھے کمپنی، ٹی کے سولور کو یونیورسل ٹیکنیکل سسٹمز نے 1984 میں سافٹ ویئر آرٹس کے مالی مشکلات میں پڑنے کے بعد حاصل کیا تھا اور اسے لوٹس سافٹ ویئر کو فروخت کر دیا گیا تھا۔ ٹی کے سولور تصور ایجاد کرنے میں کونوپاسک کا مقصد ایک مسئلہ حل کرنے والا ماحول پیدا کرنا تھا جس میں کسی مخصوص مسئلے کو حل کرنے کے لیے بنایا گیا ایک ریاضیاتی ماڈل متعلقہ مسائل کو حل کرنے کے لیے استعمال کیا جا سکتا ہے (ان پٹ اور آؤٹ پٹ متغیرات کی دوبارہ تقسیم کے ساتھ) جس میں کم سے کم یا کوئی اضافی پروگرامنگ درکار نہیں ہے: ایک بار جب صارف کسی مساوات میں داخل ہوتا ہے، تو ٹی کے سولور اس مساوات کا اندازہ کر سکتا ہے-مساوی علامت کے ایک طرف نامعلوم متغیرات کو الگ کیے بغیر۔ سافٹ ویئر آرٹس نے "سولورپیکس" کا ایک سلسلہ بھی جاری کیا-"درخواست کے مخصوص شعبوں میں عام طور پر استعمال ہونے والے کچھ فارمولوں کے تیار شدہ ورژن"۔ نیویارک ٹائمز نے ٹی کے سولور کو "سائنس اور انجینئرنگ کے لیے وہی کام کرنے کے طور پر بیان کیا جو ورڈ پروسیسنگ نے کارپوریٹ کمیونیکیشنز کے لیے کیا [sic] اور کیلک پیکجوں نے مالیات کے لیے کیا"۔ یونیورسل ٹیکنیکل سسٹمز لوٹس، جس نے ٹی کے سولور سمیت سافٹ ویئر آرٹس حاصل کیا تھا، نے 1984 میں سافٹ ویئر کی اپنی ملکیت یونیورسل ٹیکنیکل سسٹمز کو دو سال سے بھی کم عرصے بعد فروخت کر دی۔ ریلیز 5 کو اب بھی 2012 میں "آج مارکیٹ میں سب سے طویل عرصے تک قائم ریاضیاتی مساوات حل کرنے والوں میں سے ایک" سمجھا جاتا تھا۔ بنیادی ٹیکنالوجی ٹی کے سولور کی بنیادی ٹیکنالوجیز ایک اعلانیہ پروگرامنگ زبان، الجبرائی مساوات حل کرنے والا، ایک تکراری مساوات حل کرنے والا، اور کمانڈ ڈھانچے کا استعمال کرتے ہوئے ایک منظم، آبجیکٹ پر مبنی انٹرفیس ہیں۔ انٹرفیس اشیاء کی نو کلاسوں پر مشتمل ہوتا ہے جنہیں دوسرے ٹی کے فائلوں کے درمیان شیئر کیا جا سکتا ہے اور ان میں ضم کیا جا سکتا ہے: قواعد: مساوات، فارمولے، فنکشن کالز جن میں منطقی حالات شامل ہو سکتے ہیں متغیرات: قواعد میں استعمال ہونے والے متغیرات کی فہرست، ان اقدار کے ساتھ (عددی یا غیر عددی) جو صارف کے ذریعے درج کی گئی ہیں یا سافٹ ویئر یونٹس کے ذریعے شمار کی گئی ہیں: تمام یونٹس کے تبادلے کے عوامل، ایک ہی مقام پر، جب یونٹس کو تبدیل کیا جاتا ہے تو اقدار کی خودکار اپ ڈیٹ کی اجازت دینے کے لیے فہرستیں: عددی اور غیر عددی اقدار کی حدود جو متغیر سے وابستہ ہو سکتی ہیں یا طریقہ کار کے افعال کے ذریعے براہ راست کارروائی کی جا سکتی ہیں ٹیبلز: فہرستوں کا مجموعہ جو ایک ساتھ دکھائے جاتے ہیں پلاٹ: لائن چارٹ، اسکیٹر پلاٹ، بار چارٹ اور پائی چارٹ ہر ورک شیٹ کے اندر، ہر آبجیکٹ کی خصوصیات کا خلاصہ ذیلی شیٹ پر ہوتا ہے یا اسے پراپرٹی ونڈو میں دیکھا جاتا ہے۔ انٹرفیس ٹول بار اور ایک درجہ بندی نیویگیشن بار کا استعمال کرتا ہے جو ونڈوز ایکسپلورر کے بائیں طرف نظر آنے والے ڈائرکٹری ٹری سے ملتا جلتا ہے۔ اعلانیہ پروگرامنگ ڈھانچہ ان اصولوں، افعال اور متغیرات میں شامل ہے جو ریاضیاتی ماڈل کا بنیادی حصہ بناتے ہیں۔ قواعد، متغیرات اور یونٹس تمام قواعد رول شیٹ میں یا صارف کے طے شدہ افعال میں درج کیے جاتے ہیں۔ اسپریڈشیٹ یا لازمی پروگرامنگ ماحول کے برعکس، قواعد کسی بھی ترتیب یا ترتیب میں ہو سکتے ہیں اور تفویض کے بیانات کے طور پر ظاہر نہیں کیے جاتے ہیں۔ "اے + بی = سی/ڈی" ٹی کے سالور میں ایک درست قاعدہ ہے اور اسے اس کے چار متغیرات میں سے کسی کے لیے بھی حل کیا جا سکتا ہے۔ قواعد کو ان کے آرڈر کی پرواہ کیے بغیر رول شیٹ میں ضرورت کے مطابق شامل اور ہٹایا جا سکتا ہے اور دوسرے ماڈلز میں شامل کیا جا سکتا ہے۔ ایک ٹی کے سولور ماڈل میں 32,000 قواعد شامل ہو سکتے ہیں، اور موجودہ ورژن کے ساتھ جو لائبریری بھیجتی ہے اس میں اعلی ریاضی، شماریات، انجینئرنگ اور سائنس، مالیات اور پروگرامنگ کے لیے افادیت شامل ہیں۔ جب قاعدہ درج کیا جاتا ہے تو قاعدے میں متغیرات خود بخود متغیر شیٹ پر پوسٹ ہو جاتے ہیں اور قاعدہ اسکرین کے نچلے حصے میں میتھ لک ویو ونڈو میں ریاضیاتی شکل میں ظاہر ہوتا ہے۔ کوئی بھی متغیر ان پٹ یا آؤٹ پٹ کے طور پر کام کر سکتا ہے، اور ماڈل کو ان پٹ کے انتخاب کے لحاظ سے آؤٹ پٹ متغیرات کے لیے حل کیا جائے گا۔ یونٹ کے تبادلے کے عوامل کا ڈیٹا بیس بھی ٹی کے سولور کے ساتھ آتا ہے، اور صارفین قواعد کی طرح یونٹ کے تبادلوں کو شامل، حذف یا درآمد کر سکتے ہیں۔ ہر متغیر "حساب" اکائی سے وابستہ ہوتا ہے، لیکن متغیرات کو "ڈسپلے" اکائیاں بھی تفویض کی جا سکتی ہیں اور ٹی کے خود بخود اقدار کو تبدیل کر دیتا ہے۔ مثال کے طور پر، قوانین میٹر اور کلوگرام پر مبنی ہو سکتے ہیں، لیکن انچ اور پاؤنڈ کی اکائیوں کو ان پٹ اور آؤٹ پٹ کے لیے استعمال کیا جا سکتا ہے۔ مسئلہ حل کرنے والے ٹی کے سولور کے پاس مساوات کے نظام کو حل کرنے کے تین طریقے ہیں۔ "براہ راست حل کنندہ" ایک نظام کو الجبرائی طور پر مسلسل متبادل کے اصول سے حل کرتا ہے۔ جب متعدد قواعد میں متعدد نامعلوم ہوتے ہیں، تو پروگرام ایک تکراری حل کنندہ کو متحرک کر سکتا ہے جو ایک یا زیادہ آؤٹ پٹ متغیرات کے ابتدائی اندازوں کی بنیاد پر نیوٹن-رافسن الگورتھم کا استعمال کرتا ہے۔ طریقہ کار کے افعال کو مساوات کے نظام کو حل کرنے کے لیے بھی استعمال کیا جا سکتا ہے۔ اس طرح کے طریقہ کار کی لائبریریوں کو پروگرام کے ساتھ شامل کیا جاتا ہے اور ضرورت کے مطابق فائلوں میں ضم کیا جا سکتا ہے۔ فہرست حل کرنے والی خصوصیت متغیرات کو اعداد و شمار کی حدود یا امکانات کی تقسیم کے ساتھ منسلک کرنے کی اجازت دیتی ہے، متعدد اقدار کے لیے حل کرنا، جو میزیں اور پلاٹ تیار کرنے اور مونٹی کارلو تخروپن کو چلانے کے لیے مفید ہے۔ پریمیم ورژن میں اب کم سے کم، زیادہ سے زیادہ، یا مخصوص شرائط کے لیے ماڈلز کو حل کرنے میں حدود اور رکاوٹوں کی براہ راست ترتیب کے لیے "سولیوشن آپٹیمائزر" بھی شامل ہے۔ ٹی کے سولور میں تقریبا 150 بلٹ ان فنکشنز شامل ہیں: ریاضیاتی، مثلثی، بولین، عددی کیلکولس، میٹرکس آپریشنز، ڈیٹا بیس تک رسائی، اور پروگرامنگ فنکشنز، بشمول سٹرنگ ہینڈلنگ اور بیرونی طور پر مرتب کردہ معمولات پر کالز۔ صارفین تین قسم کے فنکشنز کی وضاحت بھی کر سکتے ہیں: ڈیکلیریٹو رول فنکشنز ؛ لسٹ فنکشنز، ٹیبل لک اپس اور دیگر آپریشنز کے لیے جن میں فہرستوں کے جوڑے شامل ہیں ؛ اور پروسیجر فنکشنز، لوپس اور دیگر پروسیجرل آپریشنز کے لیے جو صفوں (فہرستوں کی فہرستیں) پر بھی عمل کر سکتے ہیں یا اس کا نتیجہ ہو سکتے ہیں۔ تھرموڈینامک اور ٹرانسپورٹ کی خصوصیات کا مکمل این آئی ایس ٹی ڈیٹا بیس شامل ہے، جس تک رسائی کے لیے بلٹ ان افعال ہیں۔ ٹی کے سولور یو ٹی ایس کے ذریعے مارکیٹنگ کی جانے والی انجینئرنگ ایپلی کیشنز کے لیے بھی پلیٹ فارم ہے، جس میں ایڈوانسڈ اسپرنگ ڈیزائن، انٹیگریٹڈ گیئر سافٹ ویئر، انٹرایکٹو روارک کے فارمولے، ٹی کے پر ہیٹ ٹرانسفر، اور ڈائنامکس اینڈ وائبریشن اینالیسس شامل ہیں۔ ڈیٹا ڈسپلے اور شیئرنگ ٹیبلز، پلاٹس، تبصرے، اور میتھ لک نوٹیشن ڈسپلے ٹول کو ٹی کے سولور ماڈلز کو بہتر بنانے کے لیے استعمال کیا جا سکتا ہے۔ ماڈلز کو مائیکروسافٹ ویژول بیسک اور. NET ٹولز کے ساتھ دوسرے اجزاء سے منسلک کیا جا سکتا ہے، یا انہیں رول ماسٹر پروڈکٹ کا استعمال کرتے ہوئے ویب سے فعال کیا جا سکتا ہے یا ایکسل ٹول کٹ پروڈکٹ کا استعمال کرتے ہوئے ایکسل اسپریڈشیٹ سے منسلک کیا جا سکتا ہے۔ سی اے ڈی ڈرائنگ اور ٹھوس ماڈلز کے ساتھ ٹی کے سولور ماڈلز کو جوڑنے کا ایک ڈیزائن لنک آپشن بھی ہے۔ پریمیم ورژن میں، اسٹینڈ لون ماڈلز کو دوسروں کے ساتھ شیئر کیا جا سکتا ہے جن کے پاس ٹی کے لائسنس نہیں ہے، انہیں ایکسل یا مفت ٹی کے پلیئر میں کھول کر۔ 1984 میں ریسیپشن بائیٹ نے کہا کہ "ٹی کے! سولور تقریبا کسی بھی قسم کی مساوات کو حل کرنے کے لیے بہت اچھا ہے"، لیکن یہ کہ یہ میٹرکس کو نہیں سنبھالتا تھا، اور یہ کہ فورٹرن یا اے پی ایل جیسی پروگرامنگ زبان لکیری مساوات کے بیک وقت حل کے لیے بہتر تھی۔ میگزین نے یہ نتیجہ اخذ کیا کہ حدود کے باوجود، یہ ایک "طاقتور ذریعہ تھا، جو سائنسدانوں اور انجینئروں کے لیے مفید تھا۔ ایسا کوئی پروڈکٹ موجود نہیں ہے۔ " ورژن 5 تک، ٹی کے سولور نے میٹرکس ہینڈلنگ کی فعالیت کو شامل کیا۔ مسابقتی مصنوعات 1988 کے وسط تک نمودار ہوئیں: میتھ سافٹ کا میتھکیڈ اور بورلینڈ کا یوریکا: دی سولور۔ ڈین برکلن، جو ویسی کیلک اور ان کے سافٹ ویئر آرٹس کی ٹی کے سولور کی ابتدائی ترقی کے لیے جانا جاتا ہے، کے حوالے سے کہا گیا کہ مارکیٹ "اتنی بڑی نہیں تھی جتنی ہم نے سوچا تھا کہ ایسا نہیں ہوگا کیونکہ بہت سے لوگ مساوات میں سوچتے ہیں"۔ آپٹیمائزیشن (ریاضی) ملٹی ڈسپلنری ڈیزائن آپٹیمائزیشن حوالہ جات 1982 سافٹ ویئر عددی سافٹ ویئر بھی دیکھیں