टीके सॉल्वर

टीके सॉल्वर (मूल रूप से टीके! सॉल्वर) यूनिवर्सल टेक्निकल सिस्टम्स, इंक द्वारा व्यावसायीकृत एक घोषणात्मक प्रोग्रामिंग, नियम-आधारित भाषा पर आधारित एक गणितीय मॉडलिंग और समस्या निवारण सॉफ्टवेयर सिस्टम है।

इतिहास
1970 के दशक के अंत में मिलोस कोनोपासेक द्वारा खोजा गया और शुरू में 1982 में सॉफ्टवेयर कला  द्वारा विकसित किया गया, जो कि VisiCalc के पीछे की कंपनी है। 1984 में यूनिवर्सल टेक्निकल सिस्टम्स द्वारा TK सॉल्वर का अधिग्रहण किया गया था, जब सॉफ्टवेयर आर्ट्स वित्तीय कठिनाई में पड़ गया और लोटस सॉफ्टवेयर को बेच दिया गया। टीके सॉल्वर अवधारणा का आविष्कार करने में कोनोपासेक का लक्ष्य एक समस्या निवारण वातावरण बनाना था जिसमें एक विशिष्ट समस्या को हल करने के लिए बनाए गए गणितीय मॉडल का उपयोग संबंधित समस्याओं को हल करने के लिए किया जा सकता है (इनपुट और आउटपुट चर के पुनर्वितरण के साथ) न्यूनतम या कोई अतिरिक्त प्रोग्रामिंग के साथ आवश्यक: एक बार जब कोई उपयोगकर्ता एक समीकरण में प्रवेश करता है, तो टीके सॉल्वर उस समीकरण का मूल्यांकन कर सकता है, जैसा कि बराबर चिह्न के एक तरफ अज्ञात चर को अलग किए बिना।

सॉफ्टवेयर आर्ट्स ने सॉल्वरपैक्स की एक श्रृंखला भी जारी की - आवेदन के विशिष्ट क्षेत्रों में आमतौर पर उपयोग किए जाने वाले कुछ सूत्रों के तैयार संस्करण। न्यूयॉर्क टाइम्स ने TK सॉल्वर को विज्ञान और इंजीनियरिंग के लिए वैसा ही करने के लिए वर्णित किया जैसा शब्द संसाधन कॉर्पोरेट संचार [एसआईसी] और कैल्क पैकेजों ने वित्त के लिए किया।

यूनिवर्सल टेक्निकल सिस्टम्स
लोटस, जिसने 1984 में टीके सॉल्वर सहित सॉफ्टवेयर आर्ट्स का अधिग्रहण किया था दो साल से भी कम समय के बाद सॉफ्टवेयर के अपने स्वामित्व को यूनिवर्सल टेक्निकल सिस्टम्स को बेच दिया। रिलीज 5 को आज भी 2012 में बाजार में सबसे लंबे समय तक चलने वाले गणितीय समीकरण सॉल्वरों में से एक माना जाता था।

कोर प्रौद्योगिकी
टीके सॉल्वर की मुख्य प्रौद्योगिकियां एक घोषणात्मक प्रोग्रामिंग भाषा, बीजगणितीय समीकरण सॉल्वर, कमांड संरचना का उपयोग करके एक पुनरावृत्त समीकरण सॉल्वर और एक संरचित, ऑब्जेक्ट-आधारित इंटरफ़ेस। इंटरफ़ेस में वस्तुओं के नौ वर्ग शामिल हैं जिन्हें अन्य TK फ़ाइलों के बीच साझा और मर्ज किया जा सकता है:
 * नियम: समीकरण, सूत्र, फ़ंक्शन कॉल जिनमें तार्किक स्थितियाँ शामिल हो सकती हैं
 * वेरिएबल्स: नियमों में उपयोग किए जाने वाले वेरिएबल्स की एक सूची, मूल्यों (संख्यात्मक या गैर-संख्यात्मक) के साथ जो उपयोगकर्ता द्वारा दर्ज की गई है या सॉफ़्टवेयर द्वारा गणना की गई है
 * इकाइयाँ: सभी इकाइयाँ रूपांतरण कारक, एक ही स्थान पर, जब इकाइयाँ बदली जाती हैं तो मूल्यों के स्वत: अद्यतन की अनुमति देने के लिए
 * सूचियाँ: संख्यात्मक और गैर-संख्यात्मक मानों की श्रेणियाँ जो एक चर के साथ संबद्ध या सीधे संसाधित की जा सकती हैं प्रक्रिया कार्यों द्वारा
 * टेबल्स: एक साथ प्रदर्शित सूचियों का संग्रह
 * प्लॉट: लाइन चार्ट, स्कैटरप्लॉट, बार चार्ट और पाई चार्ट
 * कार्य: नियम-आधारित, टेबल लुक-अप और प्रक्रियात्मक प्रोग्रामिंग घटक
 * प्रारूप: संख्यात्मक और स्ट्रिंग मान प्रदर्शित करने के लिए सेटिंग्स
 * टिप्पणियाँ: स्पष्टीकरण और प्रलेखन के लिए

ऑब्जेक्ट का प्रत्येक वर्ग अपने स्वयं के कार्यपत्रक पर सूचीबद्ध और संग्रहीत होता है - नियम पत्रक, चर पत्रक, इकाई पत्रक, आदि। प्रत्येक कार्यपत्रक के भीतर, प्रत्येक वस्तु में सबशीट पर सारांशित गुण होते हैं या एक संपत्ति विंडो में देखे जाते हैं। इंटरफ़ेस टूलबार और एक पदानुक्रमित नेविगेशन बार का उपयोग करता है जो विंडोज़ एक्सप्लोरर  के बाईं ओर दिखाई देने वाले डायरेक्टरी ट्री जैसा दिखता है।

घोषणात्मक प्रोग्रामिंग संरचना उन नियमों, कार्यों और चरों में सन्निहित है जो एक गणितीय मॉडल के मूल का निर्माण करते हैं।

नियम, चर और इकाइयां
सभी नियम नियम पत्रक या उपयोगकर्ता परिभाषित कार्यों में दर्ज किए गए हैं। एक स्प्रेडशीट या अनिवार्य प्रोग्रामिंग वातावरण के विपरीत, नियम किसी भी क्रम या क्रम में हो सकते हैं और असाइनमेंट स्टेटमेंट के रूप में व्यक्त नहीं किए जाते हैं। ए + बी = सी / डी टीके सॉल्वर में एक वैध नियम है और इसके चार चरों में से किसी के लिए हल किया जा सकता है। नियम शीट में आवश्यकतानुसार नियमों को जोड़ा और हटाया जा सकता है, उनके आदेश की परवाह किए बिना और अन्य मॉडलों में शामिल किया जा सकता है। एक टीके सॉल्वर मॉडल में 32,000 तक नियम शामिल हो सकते हैं, और वर्तमान संस्करण के साथ आने वाली लाइब्रेरी में उच्च गणित, सांख्यिकी, इंजीनियरिंग और विज्ञान, वित्त और प्रोग्रामिंग के लिए उपयोगिताएं शामिल हैं।

जब नियम दर्ज किया जाता है और नियम स्क्रीन के निचले भाग में मैथलुक व्यू विंडो में गणितीय प्रारूप में प्रदर्शित होता है, तो एक नियम में चर स्वचालित रूप से चर शीट पर पोस्ट हो जाते हैं। कोई भी चर इनपुट या आउटपुट और मॉडल के रूप में काम कर सकता है इनपुट की पसंद के आधार पर आउटपुट चर के लिए हल किया जाएगा।

इकाई रूपांतरण कारकों का एक डेटाबेस टीके सॉल्वर के साथ भी भेजा जाता है, और उपयोगकर्ता इकाई रूपांतरणों को नियमों के समान तरीके से जोड़, हटा या आयात कर सकते हैं। प्रत्येक चर एक गणना इकाई के साथ जुड़ा हुआ है, लेकिन चरों को प्रदर्शन इकाइयां भी सौंपी जा सकती हैं और TK स्वचालित रूप से मूल्यों को परिवर्तित करता है। उदाहरण के लिए, नियम मीटर और किलोग्राम पर आधारित हो सकते हैं, लेकिन इनपुट और आउटपुट के लिए इंच और पाउंड की इकाइयों का उपयोग किया जा सकता है।

समस्या-समाधान
टीके सॉल्वर के पास समीकरणों के सिस्टम को हल करने के तीन तरीके हैं। प्रत्यक्ष सॉल्वर निरंतर प्रतिस्थापन के सिद्धांत द्वारा बीजगणितीय रूप से एक प्रणाली को हल करता है। जब कई नियमों में कई अज्ञात होते हैं, तो प्रोग्राम एक पुनरावृत्त सॉल्वर को ट्रिगर कर सकता है जो आउटपुट चर के एक या अधिक के लिए प्रारंभिक अनुमानों के आधार पर क्रमिक रूप से अनुमान लगाने के लिए न्यूटन-रैफसन एल्गोरिथम का उपयोग करता है। प्रक्रिया कार्यों का उपयोग समीकरणों के सिस्टम को हल करने के लिए भी किया जा सकता है। ऐसी प्रक्रियाओं के पुस्तकालयों को कार्यक्रम के साथ शामिल किया गया है और आवश्यकतानुसार फाइलों में विलय किया जा सकता है। एक सूची सॉल्वर सुविधा चर को डेटा या संभाव्यता वितरण की श्रेणियों से संबद्ध करने की अनुमति देती है, जो कई मानों के लिए हल करती है, जो टेबल और प्लॉट बनाने और मोंटे कार्लो सिमुलेशन चलाने के लिए उपयोगी है। प्रीमियम संस्करण में अब समाधान अनुकूलक भी शामिल है जो मॉडलों को हल करने में सीमाओं और बाधाओं की सीधी सेटिंग के लिए है न्यूनतम, अधिकतम या विशिष्ट स्थितियों के लिए।

TK सॉल्वर में मोटे तौर पर 150 बिल्ट-इन सबरूटीन शामिल हैं: गणितीय, त्रिकोणमिति, बूलियन तर्क, गणना, मैट्रिक्स ऑपरेशंस, डेटाबेस एक्सेस और प्रोग्रामिंग फ़ंक्शंस, जिसमें स्ट्रिंग हैंडलिंग और बाहरी रूप से संकलित रूटीन को कॉल करना शामिल है। उपयोगकर्ता तीन प्रकार के कार्यों को भी परिभाषित कर सकते हैं: घोषणात्मक नियम कार्य; तालिका लुकअप और सूचियों के जोड़े से जुड़े अन्य कार्यों के लिए सूची कार्य; और प्रक्रिया कार्य, लूप और अन्य प्रक्रियात्मक संचालन के लिए जो कि सरणियों (सूचियों की सूची) में प्रक्रिया या परिणाम भी हो सकते हैं। इसे एक्सेस करने के लिए अंतर्निहित कार्यों के साथ थर्मोडायनामिक और परिवहन गुणों का पूरा राष्ट्रीय मानक और प्रौद्योगिकी डेटाबेस शामिल है। TK सॉल्वर UTS द्वारा विपणन किए गए इंजीनियरिंग अनुप्रयोगों के लिए भी एक मंच है, इसमें एडवांस्ड स्प्रिंग डिजाइन, इंटीग्रेटेड गियर सॉफ्टवेयर, इंटरएक्टिव रोर्क के फॉर्मूले, टीके पर हीट ट्रांसफर और डायनामिक्स और वाइब्रेशन एनालिसिस शामिल हैं।

डेटा प्रदर्शन और साझाकरण
TK सॉल्वर मॉडल को समृद्ध करने के लिए टेबल्स, प्लॉट्स, कमेंट्स और MathLook नोटेशन डिस्प्ले टूल का उपयोग किया जा सकता है। मॉडल को Microsoft Visual Basic और .NET Framework|.NET टूल के साथ अन्य घटकों से जोड़ा जा सकता है, या उन्हें रूलमास्टर उत्पाद का उपयोग करके वेब-सक्षम किया जा सकता है या Excel टूलकिट उत्पाद का उपयोग करके Microsoft Excel स्प्रेडशीट से जोड़ा जा सकता है। TK सॉल्वर मॉडल को CAD ड्रॉइंग और सॉलिड मॉडल से जोड़ने के लिए एक DesignLink विकल्प भी है। प्रीमियम संस्करण में, स्टैंडअलोन मॉडल दूसरों के साथ साझा किए जा सकते हैं जिनके पास टीके लाइसेंस नहीं है, उन्हें एक्सेल या मुफ्त टीके प्लेयर में खोलकर।

रिसेप्शन
1984 में BYTE ने कहा कि TK! सॉल्वर लगभग किसी भी तरह के समीकरण को हल करने के लिए शानदार है, लेकिन यह मैट्रिक्स (गणित) को हैंडल नहीं करता है, और यह कि फोरट्रान या APL (प्रोग्रामिंग लैंग्वेज) एपीएल (प्रोग्रामिंग भाषा) रैखिक समीकरणों की प्रणाली के लिए बेहतर थी। पत्रिका ने निष्कर्ष निकाला कि सीमाओं के बावजूद, यह एक शक्तिशाली उपकरण था, जो वैज्ञानिकों और इंजीनियरों के लिए उपयोगी था। कोई समान उत्पाद मौजूद नहीं है। संस्करण 5.0 तक, टीके सॉल्वर ने मैट्रिक्स हैंडलिंग कार्यक्षमता को जोड़ा। 1988 के मध्य तक प्रतिस्पर्धी उत्पाद सामने आए: मैथसॉफ्ट का MathCAD  और बोरलैंड का यूरेका: द सॉल्वर। VisiCalc और उनके सॉफ़्टवेयर आर्ट्स के TK सॉल्वर के शुरुआती विकास के लिए जाने जाने वाले डैन ब्रिकलिन को यह कहते हुए उद्धृत किया गया था कि बाज़ार उतना बड़ा नहीं था जितना हमने सोचा था क्योंकि ऐसा नहीं था कि बहुत से लोग समीकरणों में सोचते हैं।

यह भी देखें

 * अनुकूलन (गणित)
 * बहुआयामी डिजाइन अनुकूलन