टीके सॉल्वर

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

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

सॉफ्टवेयर ने सॉल्वरपैक्स की एक श्रृंखला भी जारी की थी - आवेदन के विशिष्ट क्षेत्रों में सामान्यतः उपयोग किए जाने वाले कुछ सूत्रों के तैयार संस्करण होते है।

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

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

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

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

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

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

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

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

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

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

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

रिसेप्शन
1984 में बाइट ने कहा कि टीके सॉल्वर लगभग किसी भी तरह के समीकरण को हल करने के लिए शानदार होता है, लेकिन यह आव्यूह को नियंत्रित नही करता है, और यह कि फोरट्रान या एपीएल (प्रोग्रामिंग भाषा) रैखिक समीकरणों की प्रणाली के लिए बेहतर होता है। पत्रिका ने निष्कर्ष निकाला कि सीमाओं के अतिरिक्त, यह एक शक्तिशाली उपकरण था, जो वैज्ञानिकों और अनहियाँत्रिकों के लिए उपयोगी था। कोई समान उत्पाद उपस्थित नही होता है। संस्करण 5.0 तक, टीके सॉल्वर ने आव्यूह नियंत्रक कार्यक्षमता को जोड़ा था।

1988 के मध्य तक प्रतिस्पर्धी उत्पाद सामने आए थे: मैथसॉफ्ट का सीएडी और बोरलैंड का यूरेका: द सॉल्वर होता है।

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

यह भी देखें

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