TK Solver
টি কে সলভার (মূলত টি কে! সলভার) একটি গাণিতিক মডেলিং এবং সমস্যা সমাধানের সফ্টওয়্যার সিস্টেম যা একটি ঘোষণামূলক, নিয়ম-ভিত্তিক ভাষার উপর ভিত্তি করে তৈরি করা হয়েছে, যা ইউনিভার্সাল টেকনিক্যাল সিস্টেমস, ইনকর্পোরেটেড দ্বারা বাণিজ্যিকীকরণ করা হয়েছে। ইতিহাস 1970-এর দশকের শেষের দিকে মিলোস কোনোপাসেক দ্বারা উদ্ভাবিত এবং প্রাথমিকভাবে 1982 সালে সফ্টওয়্যার আর্টস দ্বারা বিকশিত হয়েছিল, ভিসিকাল্কের পিছনে থাকা সংস্থা, টি কে সলভার 1984 সালে ইউনিভার্সাল টেকনিক্যাল সিস্টেমস দ্বারা সফ্টওয়্যার আর্টস আর্থিক সমস্যায় পড়ার পরে অধিগ্রহণ করা হয়েছিল এবং লোটাস সফ্টওয়্যারের কাছে বিক্রি করা হয়েছিল। কোনোপাসেকের টি কে সলভার ধারণা উদ্ভাবনের লক্ষ্য ছিল একটি সমস্যা সমাধানের পরিবেশ তৈরি করা যেখানে একটি নির্দিষ্ট সমস্যা সমাধানের জন্য নির্মিত একটি প্রদত্ত গাণিতিক মডেলকে ন্যূনতম বা কোনও অতিরিক্ত প্রোগ্রামিংয়ের প্রয়োজন ছাড়াই সম্পর্কিত সমস্যাগুলি (ইনপুট এবং আউটপুট ভেরিয়েবলগুলির পুনর্বণ্টন সহ) সমাধান করতে ব্যবহার করা যেতে পারেঃ একবার কোনও ব্যবহারকারী একটি সমীকরণে প্রবেশ করলে, টি কে সলভার সেই সমীকরণটিকে মূল্যায়ন করতে পারে-সমান চিহ্নের একপাশে অজানা ভেরিয়েবলগুলিকে বিচ্ছিন্ন না করে। সফ্টওয়্যার আর্টস "সলভারপ্যাকস"-এর একটি সিরিজও প্রকাশ করেছে-"প্রয়োগের নির্দিষ্ট ক্ষেত্রে সর্বাধিক ব্যবহৃত কিছু সূত্রের তৈরি সংস্করণ"। নিউইয়র্ক টাইমস টি কে সলভারকে "বিজ্ঞান ও প্রকৌশলের জন্য যা করছিল তা কর্পোরেট সম্প্রদায়ের জন্য ওয়ার্ড প্রসেসিং এবং ক্যাল্ক প্যাকেজগুলি অর্থের জন্য করেছিল" বলে বর্ণনা করেছে। ইউনিভার্সাল টেকনিক্যাল সিস্টেমস লোটাস, যা টি কে সলভার সহ সফ্টওয়্যার আর্টস অর্জন করেছিল, 1984 সালে দুই বছরেরও কম সময়ের মধ্যে ইউনিভার্সাল টেকনিক্যাল সিস্টেমের কাছে সফ্টওয়্যারটির মালিকানা বিক্রি করে দেয়। 2012 সালে রিলিজ 5 এখনও "আজকের বাজারে দীর্ঘতম স্থায়ী গাণিতিক সমীকরণ সমাধানকারীগুলির মধ্যে একটি" হিসাবে বিবেচিত হয়েছিল। মূল প্রযুক্তি টি কে সলভারের মূল প্রযুক্তিগুলি হল একটি ঘোষণাত্মক প্রোগ্রামিং ভাষা, বীজগাণিতিক সমীকরণ সমাধানকারী, একটি পুনরাবৃত্তিমূলক সমীকরণ সমাধানকারী এবং একটি কমান্ড কাঠামো ব্যবহার করে একটি কাঠামোগত, বস্তু-ভিত্তিক ইন্টারফেস। ইন্টারফেসে নয়টি শ্রেণীর বস্তু রয়েছে যা অন্যান্য টি কে ফাইলের মধ্যে ভাগ করা যেতে পারে এবং একীভূত করা যেতে পারেঃ নিয়মঃ সমীকরণ, সূত্র, ফাংশন কল যা যৌক্তিক শর্তগুলি অন্তর্ভুক্ত করতে পারে পরিবর্তনশীলঃ নিয়মে ব্যবহৃত ভেরিয়েবলগুলির একটি তালিকা, সেই সাথে ব্যবহারকারীর দ্বারা প্রবেশ করা বা সফ্টওয়্যার ইউনিট দ্বারা গণনা করা মানগুলি (সংখ্যাসূচক বা অ-সংখ্যাসূচক): একক পরিবর্তনের সময় মানগুলির স্বয়ংক্রিয় আপডেটের অনুমতি দেওয়ার জন্য একক স্থানে সমস্ত ইউনিট রূপান্তর কারণ তালিকাঃ সংখ্যাসূচক এবং অ-সংখ্যাসূচক মানগুলির পরিসীমা যা একটি পরিবর্তনশীলের সাথে যুক্ত হতে পারে বা পদ্ধতি ফাংশন দ্বারা সরাসরি প্রক্রিয়া করা যেতে পারে টেবিলঃ একসাথে প্রদর্শিত তালিকার সংগ্রহ প্লটঃ লাইন চার্ট, স্ক্যাটারপ্লট, বার চার্ট এবং পাই চার্ট ফাংশনঃ নিয়ম ভিত্তিক টেবিল, টেবিল প্রতিটি ওয়ার্কশীটের মধ্যে, প্রতিটি বস্তুর বৈশিষ্ট্যগুলি সাবশিটে সংক্ষিপ্ত করা থাকে বা একটি সম্পত্তি উইন্ডোতে দেখা যায়। ইন্টারফেসটি টুলবার এবং একটি হায়ারার্কাল নেভিগেশন বার ব্যবহার করে যা উইন্ডোজ এক্সপ্লোরারের বাম দিকে দেখা ডিরেক্টরি ট্রি-র অনুরূপ। ঘোষণাত্মক প্রোগ্রামিং কাঠামো নিয়ম, ফাংশন এবং ভেরিয়েবলের মধ্যে মূর্ত যা একটি গাণিতিক মডেলের মূল গঠন করে। নিয়ম, পরিবর্তনশীল এবং একক সমস্ত নিয়ম নিয়মাবলীতে বা ব্যবহারকারী-সংজ্ঞায়িত ফাংশনে প্রবেশ করা হয়। স্প্রেডশিট বা অপরিহার্য প্রোগ্রামিং পরিবেশের বিপরীতে, নিয়মগুলি যে কোনও ক্রম বা ক্রমে হতে পারে এবং অ্যাসাইনমেন্ট বিবৃতি হিসাবে প্রকাশ করা হয় না। "এ + বি = সি/ডি" টি কে সলভারের একটি বৈধ নিয়ম এবং এর চারটি চলকের যে কোনও একটির জন্য সমাধান করা যেতে পারে। নিয়মগুলি তাদের অর্ডার বিবেচনা না করে এবং অন্যান্য মডেলগুলিতে অন্তর্ভুক্ত না করে রুল শীটে প্রয়োজনীয় হিসাবে যুক্ত এবং অপসারণ করা যেতে পারে। একটি টি কে সলভার মডেল 32,000 পর্যন্ত নিয়ম অন্তর্ভুক্ত করতে পারে এবং বর্তমান সংস্করণের সাথে যে গ্রন্থাগারটি পাঠায় তাতে উচ্চতর গণিত, পরিসংখ্যান, প্রকৌশল ও বিজ্ঞান, অর্থ এবং প্রোগ্রামিংয়ের উপযোগিতা অন্তর্ভুক্ত রয়েছে। একটি নিয়মের ভেরিয়েবলগুলি স্বয়ংক্রিয়ভাবে ভেরিয়েবল শীটে পোস্ট করা হয় যখন নিয়মটি প্রবেশ করা হয় এবং নিয়মটি পর্দার নীচে ম্যাথলুক ভিউ উইন্ডোতে গাণিতিক বিন্যাসে প্রদর্শিত হয়। যে কোনও পরিবর্তনশীল একটি ইনপুট বা আউটপুট হিসাবে কাজ করতে পারে এবং ইনপুটগুলির পছন্দের উপর নির্ভর করে আউটপুট ভেরিয়েবলের জন্য মডেলটি সমাধান করা হবে। ইউনিট রূপান্তর কারণগুলির একটি ডাটাবেস টি কে সলভারের সাথেও প্রেরণ করা হয় এবং ব্যবহারকারীরা নিয়মের মতো একইভাবে ইউনিট রূপান্তরগুলি যুক্ত, মুছে ফেলতে বা আমদানি করতে পারেন। প্রতিটি পরিবর্তনশীল একটি "গণনা" ইউনিটের সাথে যুক্ত, তবে পরিবর্তনশীলগুলিকে "প্রদর্শন" ইউনিটও বরাদ্দ করা যেতে পারে এবং টি কে স্বয়ংক্রিয়ভাবে মানগুলিকে রূপান্তরিত করে। উদাহরণস্বরূপ, নিয়মগুলি মিটার এবং কিলোগ্রামের উপর ভিত্তি করে হতে পারে, তবে ইনপুট এবং আউটপুটের জন্য ইঞ্চি এবং পাউন্ডের একক ব্যবহার করা যেতে পারে। সমস্যা সমাধানকারী টি কে সলভারের সমীকরণের পদ্ধতিগুলি সমাধান করার তিনটি উপায় রয়েছে। "ডাইরেক্ট সলভার" ধারাবাহিক প্রতিস্থাপনের নীতি দ্বারা একটি সিস্টেমকে বীজগাণিতিকভাবে সমাধান করে। যখন একাধিক নিয়মে একাধিক অজানা থাকে, তখন প্রোগ্রামটি একটি পুনরাবৃত্তিমূলক সমাধানকারীকে ট্রিগার করতে পারে যা নিউটন-রাফসন অ্যালগরিদম ব্যবহার করে এক বা একাধিক আউটপুট ভেরিয়েবলের প্রাথমিক অনুমানের উপর ভিত্তি করে ধারাবাহিকভাবে আনুমানিক অনুমান করতে পারে। পদ্ধতির ফাংশনগুলি সমীকরণের পদ্ধতিগুলি সমাধান করতেও ব্যবহার করা যেতে পারে। এই ধরনের পদ্ধতির গ্রন্থাগারগুলি প্রোগ্রামের সাথে অন্তর্ভুক্ত করা হয় এবং প্রয়োজন অনুযায়ী ফাইলগুলিতে একত্রিত করা যেতে পারে। একটি তালিকা সমাধানকারী বৈশিষ্ট্য ভেরিয়েবলগুলিকে ডেটা বা সম্ভাব্যতা বিতরণের পরিসরের সাথে যুক্ত করার অনুমতি দেয়, একাধিক মানের জন্য সমাধান করে, যা টেবিল এবং প্লট তৈরি করতে এবং মন্টে কার্লো সিমুলেশন চালানোর জন্য দরকারী। প্রিমিয়াম সংস্করণে এখন ন্যূনতম, সর্বাধিক বা নির্দিষ্ট শর্তের জন্য মডেলগুলি সমাধান করার ক্ষেত্রে সীমা এবং সীমাবদ্ধতার সরাসরি নির্ধারণের জন্য একটি "সলিউশন অপ্টিমাইজার" অন্তর্ভুক্ত রয়েছে। টি কে সলভার প্রায় 150 টি অন্তর্নির্মিত ফাংশন অন্তর্ভুক্ত করেঃ গাণিতিক, ত্রিকোণমিতিক, বুলিয়ান, সংখ্যাসূচক ক্যালকুলাস, ম্যাট্রিক্স অপারেশন, ডাটাবেস অ্যাক্সেস এবং প্রোগ্রামিং ফাংশন, স্ট্রিং হ্যান্ডলিং এবং বাহ্যিকভাবে সংকলিত রুটিনে কল সহ। ব্যবহারকারীরা তিন ধরনের ফাংশনও সংজ্ঞায়িত করতে পারেনঃ ঘোষনামূলক নিয়ম ফাংশন; তালিকা ফাংশন, টেবিল সন্ধানের জন্য এবং তালিকার জোড়া জড়িত অন্যান্য ক্রিয়াকলাপের জন্য; এবং পদ্ধতি ফাংশন, লুপ এবং অন্যান্য পদ্ধতিগত ক্রিয়াকলাপের জন্য যা অ্যারে (তালিকার তালিকা) প্রক্রিয়া করতে পারে বা ফলাফল হতে পারে। তাপগতিবিদ্যা এবং পরিবহন বৈশিষ্ট্যগুলির সম্পূর্ণ এনআইএসটি ডাটাবেস অন্তর্ভুক্ত করা হয়েছে, এটি অ্যাক্সেস করার জন্য অন্তর্নির্মিত ফাংশন সহ। উন্নত স্প্রিং ডিজাইন, ইন্টিগ্রেটেড গিয়ার সফ্টওয়্যার, ইন্টারেক্টিভ রোর্কের সূত্র, টি. কে-তে হিট ট্রান্সফার এবং ডায়নামিক্স এবং ভাইব্রেশন বিশ্লেষণ সহ ইউ. টি. এস দ্বারা বিপণন করা ইঞ্জিনিয়ারিং অ্যাপ্লিকেশনের জন্যও টি. কে. সলভার একটি প্ল্যাটফর্ম। তথ্য প্রদর্শন এবং ভাগ করে নেওয়ার টেবিল, প্লট, মন্তব্য এবং ম্যাথলুক নোটেশন ডিসপ্লে টুল টি কে সলভার মডেলগুলিকে সমৃদ্ধ করতে ব্যবহার করা যেতে পারে। মডেলগুলি মাইক্রোসফ্ট ভিজ্যুয়াল বেসিক এবং. নেট সরঞ্জামগুলির সাথে অন্যান্য উপাদানগুলির সাথে লিঙ্ক করা যেতে পারে, অথবা এগুলি রুলমাস্টার পণ্য ব্যবহার করে ওয়েব-সক্ষম করা যেতে পারে বা এক্সেল টুলকিট পণ্য ব্যবহার করে এক্সেল স্প্রেডশিটের সাথে লিঙ্ক করা যেতে পারে। টি কে সলভার মডেলগুলিকে সিএডি অঙ্কন এবং কঠিন মডেলের সঙ্গে যুক্ত করার জন্য একটি ডিজাইনলিঙ্ক বিকল্পও রয়েছে। প্রিমিয়াম সংস্করণে, স্বতন্ত্র মডেলগুলি অন্যদের সাথে ভাগ করা যেতে পারে যাদের টি কে লাইসেন্স নেই, তাদের এক্সেল বা বিনামূল্যে টি কে প্লেয়ারে খোলা যেতে পারে। 1984 সালে রিসেপশন বিওয়াইটিই বলেছিল যে "টি কে! সলভার প্রায় যে কোনও ধরনের সমীকরণ সমাধানের জন্য দুর্দান্ত", তবে এটি ম্যাট্রিক্স পরিচালনা করে না এবং ফোরট্রান বা এপিএল-এর মতো একটি প্রোগ্রামিং ভাষা রৈখিক সমীকরণের একযোগে সমাধানের জন্য উচ্চতর ছিল। ম্যাগাজিনটি এই উপসংহারে পৌঁছেছিল যে সীমাবদ্ধতা সত্ত্বেও, এটি একটি "শক্তিশালী হাতিয়ার, যা বিজ্ঞানী এবং প্রকৌশলীদের জন্য দরকারী।" অনুরূপ কোনও পণ্য নেই। " সংস্করণ 5 দ্বারা, টি কে সলভার ম্যাট্রিক্স পরিচালনা কার্যকারিতা যোগ করেছে। প্রতিযোগিতামূলক পণ্যগুলি 1988 সালের মাঝামাঝি সময়ে আবির্ভূত হয়েছিলঃ ম্যাথসফ্টের ম্যাথক্যাড এবং বোরল্যান্ডের ইউরেকাঃ দ্য সলভার। ড্যান ব্রিকলিন, যিনি ভিসিকাল্ক এবং তাঁর সফ্টওয়্যার আর্টসের টি কে সলভারের প্রাথমিক বিকাশের জন্য পরিচিত, বলেছেন যে বাজারটি "ততটা বড় ছিল না যতটা আমরা ভেবেছিলাম যে এটি হবে কারণ অনেক লোক সমীকরণে চিন্তা করে না"। আরও দেখুন অপ্টিমাইজেশন (গণিত) মাল্টিডিসিপ্লিনারি ডিজাইন অপ্টিমাইজেশন রেফারেন্স 1982 সফ্টওয়্যার সংখ্যাসূচক সফ্টওয়্যার