TK Solver
ટીકે સોલ્વર (મૂળ ટીકે! સોલ્વર) એક ગાણિતિક મોડેલિંગ અને સમસ્યા હલ કરતી સોફ્ટવેર સિસ્ટમ છે, જે ઘોષણાત્મક, નિયમ-આધારિત ભાષા પર આધારિત છે, જેનું યુનિવર્સલ ટેકનિકલ સિસ્ટમ્સ, ઇન્ક દ્વારા વ્યાપારીકરણ કરવામાં આવ્યું છે. ઇતિહાસની શોધ 1970ના દાયકાના અંતમાં મિલોસ કોનોપાસેક દ્વારા કરવામાં આવી હતી અને શરૂઆતમાં 1982માં સોફ્ટવેર આર્ટ્સ દ્વારા વિકસાવવામાં આવી હતી, જે વિઝિકલ્ક પાછળની કંપની છે, ટીકે સોલ્વરને યુનિવર્સલ ટેકનિકલ સિસ્ટમ્સ દ્વારા 1984માં સોફ્ટવેર આર્ટ્સ નાણાકીય મુશ્કેલીમાં પડ્યા પછી હસ્તગત કરવામાં આવી હતી અને લોટસ સોફ્ટવેરને વેચવામાં આવી હતી. ટી. કે. સોલ્વર ખ્યાલની શોધમાં કોનોપાસેકનો ધ્યેય સમસ્યા હલ કરવા માટેનું વાતાવરણ ઊભું કરવાનો હતો જેમાં ચોક્કસ સમસ્યાને હલ કરવા માટે બનાવેલ આપેલ ગાણિતિક મોડેલનો ઉપયોગ સંબંધિત સમસ્યાઓને ઉકેલવા માટે (ઇનપુટ અને આઉટપુટ ચલોના પુનઃવિતરણ સાથે) ઓછામાં ઓછા અથવા કોઈ વધારાના પ્રોગ્રામિંગની જરૂર વગર કરી શકાયઃ એકવાર વપરાશકર્તા સમીકરણ દાખલ કરે, પછી ટી. કે. સોલ્વર તે સમીકરણનું મૂલ્યાંકન કરી શકે છે-સમાન ચિહ્નની એક બાજુએ અજ્ઞાત ચલોને અલગ કર્યા વિના. સોફ્ટવેર આર્ટ્સે "સોલ્વરપેક્સ" ની શ્રેણી પણ બહાર પાડી-"એપ્લિકેશનના ચોક્કસ ક્ષેત્રોમાં સામાન્ય રીતે ઉપયોગમાં લેવાતા કેટલાક સૂત્રોની તૈયાર આવૃત્તિઓ". ધ ન્યૂ યોર્ક ટાઇમ્સે ટીકે સોલવરનું વર્ણન "વિજ્ઞાન અને ઇજનેરી માટે તે જ કર્યું જે વર્ડ પ્રોસેસીંગે કોર્પોરેટ સમુદાયો માટે કર્યું [sic] અને કેલ્ક પેકેજોએ નાણાં માટે કર્યું". યુનિવર્સલ ટેકનિકલ સિસ્ટમ્સ લોટસ, જેણે ટીકે સોલ્વર સહિત સોફ્ટવેર આર્ટ્સ હસ્તગત કરી હતી, તેણે 1984માં બે વર્ષ કરતાં પણ ઓછા સમયમાં સોફ્ટવેરની પોતાની માલિકી યુનિવર્સલ ટેકનિકલ સિસ્ટમ્સને વેચી દીધી હતી. 2012 માં પ્રકાશન 5 ને હજુ પણ "આજે બજારમાં સૌથી લાંબા સમયથી ચાલતા ગાણિતિક સમીકરણ ઉકેલકોમાંનું એક" માનવામાં આવતું હતું. મુખ્ય ટેકનોલોજી TK સોલ્વરની મુખ્ય તકનીકો ઘોષણાત્મક પ્રોગ્રામિંગ લેંગ્વેજ, બીજગણિત સમીકરણ સોલ્વર, પુનરાવર્તિત સમીકરણ સોલ્વર અને આદેશ માળખાનો ઉપયોગ કરીને સંરચિત, ઑબ્જેક્ટ-આધારિત ઇન્ટરફેસ છે. ઇન્ટરફેસમાં વસ્તુઓના નવ વર્ગોનો સમાવેશ થાય છે જે વચ્ચે વહેંચી શકાય છે અને અન્ય ટી. કે. ફાઇલોમાં ભેળવી શકાય છેઃ નિયમોઃ સમીકરણો, સૂત્રો, કાર્ય કૉલ્સ જેમાં તાર્કિક શરતો શામેલ હોઈ શકે છે ચલઃ નિયમોમાં ઉપયોગમાં લેવાતા ચલની સૂચિ, મૂલ્યો સાથે (આંકડાકીય અથવા બિન-આંકડાકીય) જે વપરાશકર્તા દ્વારા દાખલ કરવામાં આવ્યા છે અથવા સોફ્ટવેર એકમો દ્વારા ગણતરી કરવામાં આવે છેઃ બધા એકમોના રૂપાંતરણ પરિબળો, એક જ સ્થાને, જ્યારે એકમો બદલવામાં આવે ત્યારે મૂલ્યોના સ્વચાલિત અપડેટને મંજૂરી આપવા માટે સૂચિઓઃ આંકડાકીય અને બિન-આંકડાકીય મૂલ્યોની શ્રેણી જે ચલ સાથે સંકળાયેલ હોઈ શકે છે અથવા પ્રક્રિયા કાર્યો દ્વારા સીધી પ્રક્રિયા કરી શકાય છે કોષ્ટકોઃ એકસાથે પ્રદર્શિત સૂચિઓનો સંગ્રહ પ્લોટ્સઃ લાઇન ચાર્ટ્સ, સ્કેટરપ્લોટ્સ, બાર ચાર્ટ્સ અને પાઇ ચાર્ટ્સ કાર્યોઃ નિયમ-આધારિત ટેબલ, દરેક કાર્યપત્રકની અંદર, દરેક પદાર્થમાં ઉપશીર્ષકો પર સારાંશિત ગુણધર્મો હોય છે અથવા મિલકત વિંડોમાં જોવામાં આવે છે. ઇન્ટરફેસ ટૂલબાર અને અધિક્રમિક નેવિગેશન બારનો ઉપયોગ કરે છે જે વિન્ડોઝ એક્સપ્લોરરની ડાબી બાજુએ દેખાતા ડિરેક્ટરી ટ્રી જેવું લાગે છે. ઘોષણાત્મક પ્રોગ્રામિંગ માળખું નિયમો, કાર્યો અને ચલમાં અંકિત છે જે ગાણિતિક મોડેલનો મુખ્ય ભાગ બનાવે છે. નિયમો, ચલ અને એકમો બધા નિયમો નિયમ પત્રકમાં અથવા વપરાશકર્તા-નિર્ધારિત કાર્યોમાં દાખલ કરવામાં આવે છે. સ્પ્રેડશીટ અથવા અનિવાર્ય પ્રોગ્રામિંગ વાતાવરણથી વિપરીત, નિયમો કોઈપણ ક્રમ અથવા ક્રમમાં હોઈ શકે છે અને સોંપણી નિવેદનો તરીકે વ્યક્ત કરવામાં આવતા નથી. "A + B = C/D" એ TK સોલ્વરમાં માન્ય નિયમ છે અને તેના ચાર ચલમાંથી કોઈપણ માટે ઉકેલી શકાય છે. નિયમોને તેમના ઓર્ડરને ધ્યાનમાં લીધા વિના નિયમ પત્રકમાં જરૂરિયાત મુજબ ઉમેરી અને દૂર કરી શકાય છે અને અન્ય મોડેલોમાં સામેલ કરી શકાય છે. ટીકે સોલ્વર મોડેલમાં 32,000 જેટલા નિયમોનો સમાવેશ થઈ શકે છે, અને વર્તમાન સંસ્કરણ સાથે જે પુસ્તકાલય આવે છે તેમાં ઉચ્ચ ગણિત, આંકડાશાસ્ત્ર, ઇજનેરી અને વિજ્ઞાન, નાણાકીય અને પ્રોગ્રામિંગ માટેની ઉપયોગિતાઓનો સમાવેશ થાય છે. જ્યારે નિયમ દાખલ કરવામાં આવે ત્યારે નિયમમાં ચલ આપમેળે ચલ પત્રક પર મૂકવામાં આવે છે અને નિયમ સ્ક્રીનના તળિયે મથલુક વ્યૂ વિંડોમાં ગાણિતિક સ્વરૂપમાં પ્રદર્શિત થાય છે. કોઈપણ ચલ ઇનપુટ અથવા આઉટપુટ તરીકે કામ કરી શકે છે, અને ઇનપુટની પસંદગીના આધારે આઉટપુટ ચલ માટે મોડેલ હલ કરવામાં આવશે. એકમ રૂપાંતર પરિબળોનો ડેટાબેઝ પણ ટીકે સોલ્વર સાથે આવે છે, અને વપરાશકર્તાઓ નિયમોની જેમ જ એકમ રૂપાંતરણો ઉમેરી, કાઢી અથવા આયાત કરી શકે છે. દરેક ચલ "ગણતરી" એકમ સાથે સંકળાયેલ છે, પરંતુ ચલને "પ્રદર્શન" એકમો પણ સોંપી શકાય છે અને TK આપમેળે મૂલ્યોને રૂપાંતરિત કરે છે. ઉદાહરણ તરીકે, નિયમો મીટર અને કિલોગ્રામ પર આધારિત હોઈ શકે છે, પરંતુ ઇંચ અને પાઉન્ડના એકમોનો ઉપયોગ ઇનપુટ અને આઉટપુટ માટે થઈ શકે છે. સમસ્યાનું નિરાકરણ TK સોલ્વર પાસે સમીકરણોની પ્રણાલીઓને ઉકેલવાની ત્રણ રીતો છે. "ડાયરેક્ટ સોલ્વર" સતત અવેજીના સિદ્ધાંત દ્વારા પ્રણાલીને બીજગણિત રીતે ઉકેલે છે. જ્યારે બહુવિધ નિયમોમાં બહુવિધ અજ્ઞાત હોય છે, ત્યારે પ્રોગ્રામ પુનરાવર્તિત સોલ્વરને ટ્રિગર કરી શકે છે જે એક અથવા વધુ આઉટપુટ ચલો માટે પ્રારંભિક અનુમાનના આધારે ક્રમિક અંદાજ માટે ન્યૂટન-રેફસન અલ્ગોરિધમનો ઉપયોગ કરે છે. પ્રક્રિયા કાર્યોનો ઉપયોગ સમીકરણોની પ્રણાલીઓને ઉકેલવા માટે પણ થઈ શકે છે. આવી પ્રક્રિયાઓના પુસ્તકાલયો કાર્યક્રમ સાથે સમાવિષ્ટ છે અને જરૂરિયાત મુજબ ફાઇલોમાં ભેળવી શકાય છે. સૂચિ ઉકેલક સુવિધા ચલને માહિતીની શ્રેણી અથવા સંભાવના વિતરણ સાથે સંકળવાની મંજૂરી આપે છે, બહુવિધ મૂલ્યો માટે ઉકેલ, જે કોષ્ટકો અને પ્લોટ બનાવવા માટે અને મોન્ટે કાર્લો સિમ્યુલેશન ચલાવવા માટે ઉપયોગી છે. પ્રીમિયમ સંસ્કરણમાં હવે લઘુત્તમ, મહત્તમ અથવા ચોક્કસ શરતો માટે મોડેલોને ઉકેલવામાં મર્યાદાઓ અને અવરોધોની સીધી ગોઠવણી માટે "સોલ્યુશન ઓપ્ટિમાઇઝર" નો પણ સમાવેશ થાય છે. ટીકે સોલ્વરમાં આશરે 150 બિલ્ટ-ઇન ફંક્શન્સનો સમાવેશ થાય છેઃ ગાણિતિક, ત્રિકોણમિતિ, બુલિયન, આંકડાકીય કલન, મેટ્રિક્સ ઓપરેશન્સ, ડેટાબેઝ એક્સેસ અને પ્રોગ્રામિંગ ફંક્શન્સ, જેમાં સ્ટ્રિંગ હેન્ડલિંગ અને બાહ્ય રીતે સંકલિત દિનચર્યાઓ માટેના કૉલ્સનો સમાવેશ થાય છે. વપરાશકર્તાઓ ત્રણ પ્રકારના કાર્યોને પણ વ્યાખ્યાયિત કરી શકે છેઃ ઘોષણાત્મક નિયમ કાર્યો; સૂચિ કાર્યો, ટેબલ લુકઅપ્સ માટે અને સૂચિઓની જોડી સાથે સંકળાયેલી અન્ય કામગીરીઓ માટે; અને પ્રક્રિયા કાર્યો, લૂપ્સ અને અન્ય પ્રક્રિયાગત કામગીરીઓ માટે કે જે એરે (સૂચિઓની સૂચિ) માં પણ પ્રક્રિયા કરી શકે છે અથવા પરિણમી શકે છે. થર્મોડાયનેમિક અને પરિવહન ગુણધર્મોનો સંપૂર્ણ એન. આઈ. એસ. ટી. ડેટાબેઝ સમાવિષ્ટ છે, જેમાં તેને ઍક્સેસ કરવા માટે બિલ્ટ-ઇન ફંક્શન્સ છે. ટીકે સોલ્વર એ યુટીએસ દ્વારા માર્કેટિંગ કરાયેલ ઇજનેરી કાર્યક્રમો માટેનું પ્લેટફોર્મ પણ છે, જેમાં એડવાન્સ્ડ સ્પ્રિંગ ડિઝાઇન, ઇન્ટિગ્રેટેડ ગિયર સોફ્ટવેર, ઇન્ટરેક્ટિવ રોર્કના સૂત્રો, ટીકે પર હીટ ટ્રાન્સફર અને ડાયનેમિક્સ અને વાઇબ્રેશન એનાલિસિસનો સમાવેશ થાય છે. ડેટા ડિસ્પ્લે અને શેરિંગ કોષ્ટકો, પ્લોટ્સ, ટિપ્પણીઓ અને મેથલૂક નોટેશન ડિસ્પ્લે ટૂલનો ઉપયોગ ટીકે સોલ્વર મોડેલોને સમૃદ્ધ બનાવવા માટે કરી શકાય છે. મોડેલોને માઈક્રોસોફ્ટ વિઝ્યુઅલ બેઝિક અને ડોટ નેટ ટૂલ્સ સાથે અન્ય ઘટકો સાથે જોડી શકાય છે, અથવા તેમને રૂલમાસ્ટર પ્રોડક્ટનો ઉપયોગ કરીને વેબ-સક્ષમ કરી શકાય છે અથવા એક્સેલ ટૂલકિટ પ્રોડક્ટનો ઉપયોગ કરીને એક્સેલ સ્પ્રેડશીટ્સ સાથે જોડી શકાય છે. ટી. કે. સોલ્વર મોડેલોને સી. એ. ડી. રેખાંકનો અને નક્કર મોડેલો સાથે જોડતો ડીઝાઈનલિંક વિકલ્પ પણ છે. પ્રીમિયમ સંસ્કરણમાં, એકલ મોડેલો અન્ય લોકો સાથે શેર કરી શકાય છે જેમની પાસે ટીકે લાઇસન્સ નથી, તેમને એક્સેલ અથવા મફત ટીકે પ્લેયરમાં ખોલી શકાય છે. 1984માં રિસેપ્શન બીવાયટીઇએ જણાવ્યું હતું કે "ટીકે! સોલ્વર લગભગ કોઈપણ પ્રકારના સમીકરણને ઉકેલવા માટે ઉત્તમ છે", પરંતુ તે મેટ્રિસીસને હેન્ડલ કરતું નથી, અને ફોરટ્રાન અથવા એપીએલ જેવી પ્રોગ્રામિંગ લેંગ્વેજ રેખીય સમીકરણોના એક સાથે ઉકેલ માટે શ્રેષ્ઠ હતી. સામયિકે તારણ કાઢ્યું હતું કે મર્યાદાઓ હોવા છતાં, તે એક "શક્તિશાળી સાધન હતું, જે વૈજ્ઞાનિકો અને ઇજનેરો માટે ઉપયોગી હતું. કોઈ સમાન ઉત્પાદન અસ્તિત્વમાં નથી. આવૃત્તિ 5 દ્વારા, ટીકે સોલવરે મેટ્રિક્સ હેન્ડલિંગ કાર્યક્ષમતા ઉમેરી. સ્પર્ધાત્મક ઉત્પાદનો 1988ના મધ્ય સુધીમાં દેખાયા હતાઃ મેથસોફ્ટનું મેથકેડ અને બોરલેન્ડનું યુરેકાઃ ધ સોલ્વર. વિઝિકલ્ક અને તેના સોફ્ટવેર આર્ટ્સના ટીકે સોલ્વરના પ્રારંભિક વિકાસ માટે જાણીતા ડેન બ્રિકલિને કહ્યું હતું કે બજાર "એટલું મોટું નહોતું જેટલું આપણે વિચાર્યું હતું કારણ કે ઘણા લોકો સમીકરણોમાં વિચારતા નથી". ઓપ્ટિમાઇઝેશન (ગણિત) મલ્ટિડિસિપ્લિનરી ડિઝાઇન ઓપ્ટિમાઇઝેશન સંદર્ભો 1982 સોફ્ટવેર આંકડાકીય સોફ્ટવેર પણ જુઓ.