Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Математикалық модельдеу бағдарламалық жасақтамасы
Mathematical modeling software
TK Solver (бастапқыда TK!Solver) – декларативті, ережелерге негізделген тілде жұмыс істейтін математикалық модельдеу және мәселелерді шешуге арналған бағдарламалық жүйе. Оны Universal Technical Systems, Inc. компаниясы коммерциялық түрде таратқан.
TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule based language, commercialized by Universal Technical Systems, Inc.
Ережелер, айнымалылар және бірліктер
Барлық ережелер Ереже парағына немесе пайдаланушы анықтаған функцияларға енгізіледі. Электрондық кестеден немесе императивті бағдарламалау ортасынан өзгеше, ережелер кез келген тәртіпте немесе реттілікте болуы мүмкін және олар міндеттемелер түрінде жазылмайды. "A + B = C / D" – TK Solver-де қолданылатын жарамды ереже және оның кез келген төрт айнымалысы бойынша шешім табуға болады. Ережелер қажет болған жағдайда Ереже парағына олардың орналасуына қарамастан қосылып, жойылып, басқа үлгілерге енгізілуі мүмкін. TK Solver моделіне дейін 32 000 ереже енгізілуі мүмкін, ал ағымдағы нұсқамен бірге келетін кітапхана жоғары математика, статистика, инженерия және ғылым, қаржы және бағдарламалау салаларындағы пайдалы құралдарды қамтиды. Ережедегі айнымалылар ереже енгізілген кезде автоматты түрде Айынымалылар парағына жіберіледі және ереже экранның төменгі жағындағы MathLook көрініс терезесінде математикалық форматта көрсетіледі. Кез келген айнымалы кіріс немесе шығыс ретінде жұмыс істей алады, ал модельге Advanced Spring Design, Integrated Gear Software, Interactive Roark’s Formulas, TK-дегі жылу алмасу және динамика мен діріл талдауы кіреді.
All rules are entered in the Rule Sheet or in user defined functions. Unlike a spreadsheet or imperative programming environment, the rules can be in any order or sequence and are not expressed as assignment statements. "A + B = C / D" is a valid rule in TK Solver and can be solved for any of its four variables. Rules can be added and removed as needed in the Rule Sheet without regard for their order and incorporated into other models. A TK Solver model can include up to 32,000 rules, and the library that ships with the current version includes utilities for higher mathematics, statistics, engineering and science, finances, and programming. Variables in a rule are automatically posted to the Variable Sheet when the rule is entered and the rule is displayed in mathematical format in the MathLook View window at the bottom of the screen. Any variable can operate as an input or an output, and the model including Advanced Spring Design, Integrated Gear Software, Interactive Roark’s Formulas, Heat Transfer on TK, and Dynamics and Vibration Analysis.
Деректерді көрсету және ортақтастыру
Таблицалар, сызбалар, түсініктемелер және MathLook белгілеу құралы TK Solver модельдерін толықтыру үшін қолданылуы мүмкін. Модельдерді Microsoft Visual Basic және NET құралдарымен басқа компоненттерге қосуға болады, немесе RuleMaster өнімі арқылы интернетке шығаруға, немесе Excel Toolkit өнімі арқылы Excel электрондық кестелерімен байланыстыруға болады. Сонымен қатар, TK Solver модельдерін CAD суреттерімен және үш өлшемді модельдермен байланыстыратын DesignLink мүмкіндігі де бар. Премиум нұсқасында, жеке модельдерді TK лицензиясы жоқ басқалармен бөлісуге болады, оларды Excel-де немесе тегін TK Player бағдарламасында ашуға болады.
Tables, plots, comments, and the MathLook notation display tool can be used to enrich TK Solver models. Models can be linked to other components with Microsoft Visual Basic and NET tools, or they can be web enabled using the RuleMaster product or linked with Excel spreadsheets using the Excel Toolkit product. There is also a DesignLink option linking TK Solver models with CAD drawings and solid models. In the premium version, standalone models can be shared with others who do not have a TK license, opening them in Excel or the free TK Player.
Қабылдау
BYTE журналы 1984 жылы "TK!Solver кез келген теңдеуді шешуге өте жақсы" деп мәлімдеді, бірақ ол матрицаларды өңдемейтін еді, ал Fortran немесе APL сияқты бағдарламалау тілдері сызықтық теңдеулерді бірдей шешу үшін артық мүмкіндіктерге ие болды. Журнал қорытындысында, шектеулеріне қарамастан, бұл "ғалымдар мен инженерлерге пайдалы, қуатты құрал" екенін айтты. Осыған ұқсас өнім болған жоқ. 5.0 нұсқасымен TK Solver матрицаларды өңдеу мүмкіндігін қосты. 1988 жылдың ортасына қарай Mathsoft компаниясының Mathcad және Borland компаниясының Eureka: The Solver сияқты бәсекелес өнімдер пайда болды. VisiCalc және TK Solver бағдарламасын Software Arts компаниясында бастап әзірлеген Дэн Бриклин, нарық "біз ойлағандай үлкен болған жоқ, себебі көп адам теңдеулермен ойламайды" деді.
BYTE in 1984 stated that "TK!Solver is superb for solving almost any kind of equation", but that it did not handle matrices, and that a programming language like Fortran or APL was superior for simultaneous solution of linear equations. The magazine concluded that despite limitations, it was a "powerful tool, useful for scientists and engineers. No similar product exists". By version 5.0, TK Solver added Matrix handling functionality. Competitive products appeared by mid 1988: Mathsoft's Mathcad and Borland's Eureka: The Solver. Dan Bricklin, known for VisiCalc and his Software Arts's initial development of TK Solver, was quoted as saying that the market "wasn't as big as we thought it would be because not that many people think in equations."