Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка 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 View в нижней части экрана. Любая переменная может выступать в качестве входных или выходных данных, а модель включает в себя расширенный дизайн пружин, интегрированное программное обеспечение для проектирования зубчатых передач, интерактивные формулы Рорка, расчет теплопередачи в 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 с помощью Excel Toolkit. Также доступна опция DesignLink, обеспечивающая связь моделей TK Solver с чертежами САПР и твердотельными моделями. В премиум-версии отдельные модели можно передавать другим пользователям, не имеющим лицензии TK Solver, для открытия в 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.
Прием
В 1984 году журнал BYTE отмечал, что "TK!Solver отлично подходит для решения практически любых уравнений", но не поддерживал работу с матрицами, и для одновременного решения систем линейных уравнений превосходили языки программирования, такие как Fortran или APL. Журнал заключил, что, несмотря на ограничения, это был "мощный инструмент, полезный для ученых и инженеров. Аналогов ему не существовало". К версии 5.0 в TK Solver была добавлена функциональность работы с матрицами. К середине 1988 года появились конкурирующие продукты: Mathcad от Mathsoft и Eureka: The Solver от Borland. Дэн Бриклин, известный благодаря 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."