TK솔버

TK Solver
TK솔버
개발자소프트웨어 아트; 범용 기술 시스템
안정적 해제
6.0
운영 체제창문들
유형수학/공학
웹사이트www.uts.com

TK솔버(원래 TK!솔버)[1]는 선언적 규칙 기반 언어를 기반으로 한 수학 모델링 및 문제 해결 소프트웨어 시스템으로 유니버설 테크니컬 시스템즈 주식회사가 상용화했다.[2]

역사

1970년대 후반 밀로스 코노파섹에 의해 발명되어 1982년 VisiCalc의 배후 회사인 Software Arts에 의해 처음 개발된 [1]TK Solver는 Software Arts가 자금난에 빠진 후 1984년 Universal Technical Systems에 인수되어 Lotus Software에 매각되었다.[3] 코노파섹이 TK솔버 개념을 창안한 목표는 특정 문제를 해결하기 위해 구축한 주어진 수학 모델을 (입출력 변수의 재분배로) 최소한의 추가 프로그래밍만으로 관련 문제를 해결할 수 있는 문제 해결 환경을 조성하는 것이었다.liver는 등가 부호의 한쪽에서 미지변수를 분리하지 않고 등식을 있는 그대로 평가할 수 있다.

Software Arts는 또한 일련의 "Solverpack" - "특정 응용 분야에서 가장 일반적으로 사용되는 몇 가지 공식의 미리 만들어진 버전"[4]을 발표했다.

뉴욕타임스는 TK솔버가 "단어처리가 기업의 공동화(sic)에 어떤 영향을 미쳤는지, 계산서 패키지가 금융에 어떤 영향을 미쳤는지 이공계를 위해" 하고 있다고 평가했다.[1]

범용 기술 시스템

1984년[3] TK솔버 등 소프트웨어 가든을 인수한 로투스는 2년도 안 돼 소프트웨어 소유권을 유니버설 테크니컬 시스템에 매각했다.[2] 릴리즈 5는 2012년에도 여전히 "현재 시장에서 가장 오래 지속되는 수학 방정식 해결사 중 하나"로 간주되었다.[5][6]

핵심기술

TK Solver의 핵심 기술은 선언적 프로그래밍 언어, 대수 방정식 해결사,[1] 반복 방정식 해결사, 명령 구조를 이용한 구조화된 객체 기반 인터페이스다.[1][7] 인터페이스는 다른 TK 파일 간에 공유 및 병합할 수 있는 9가지 클래스의 개체로 구성된다.

  • 규칙: 논리 조건을 포함할 수 있는 방정식, 공식, 함수 호출
  • 변수: 사용자가 입력했거나 소프트웨어에서 계산한 값(숫자 또는 비숫자)과 함께 규칙에 사용되는 변수의 목록
  • 단위: 단위가 변경될 때 값을 자동으로 업데이트할 수 있도록 단일 위치에서 모든 단위 변환 계수
  • 목록: 변수와 연관되거나 절차 함수에 의해 직접[1] 처리될 수 있는 숫자 및 숫자가 아닌 값의 범위
  • 표: 함께 표시된 목록 모음
  • 그림: 꺽은선형 차트, 산점도, 막대 차트 및 원형 차트
  • 기능: 규칙 기반, 테이블 조회 및 절차 프로그래밍 구성 요소
  • 형식: 숫자 및 문자열 값 표시 설정
  • 설명: 설명 및 문서화

각 객체 클래스는 규칙 시트, 변수 시트, 단위 시트 등 자체 워크시트에 나열되어 저장된다. 각 워크시트 내에서 각 개체는 하위 시트에 요약되거나 속성 창에서 볼 수 있는 속성을 가진다. 인터페이스는 Windows 탐색기의 왼쪽에 보이는 디렉토리 트리와 유사한 도구 모음과 계층 구조 탐색 막대를 사용한다.

선언적 프로그래밍 구조는 수학적 모델의 핵심을 이루는 규칙, 기능, 변수에 구현되어 있다.[8]

규칙, 변수 및 단위

모든 규칙은 규칙 시트 또는 사용자 정의 함수에 입력된다. 스프레드시트나 필수 프로그래밍 환경과 달리 규칙은 어떤 순서나 순서가 될 수 있으며 할당 문으로 표현되지 않는다. 'A + B = C / D'는 TK 솔버에서 유효한 규칙으로, 4개 변수 중 어느 하나라도 해결할 수 있다. 규칙은 순서와 관계없이 규칙 시트에서 필요에 따라 추가 및 제거할 수 있으며 다른 모델에 통합될 수 있다. TK Solver 모델은 최대 32,000개의 규칙을 포함할 수 있으며, 현재 버전과 함께 제공되는 라이브러리에는 고등 수학, 통계, 공학 및 과학, 재정, 프로그래밍을 위한 유틸리티가 포함되어 있다.

규칙의 변수는 규칙이 입력되고 규칙은 화면 하단의 MathLook View 창에 수학적 형식으로 표시될 때 Variable Sheet에 자동으로 게시된다. 어떤 변수든 입력 또는 출력으로 작동할 수 있으며, 모델은 입력 선택에 따라[8] 출력 변수에 대해 해결된다.

단위 변환 인자의 데이터베이스도 TK Solver와 함께 제공되며 사용자는 규칙의 그것과 유사한 방식으로 단위 변환을 추가, 삭제 또는 가져올 수 있다. 각 변수는 "계산" 단위와 연관되지만 변수에도 "표시" 단위를 할당할 수 있고 TK는 자동으로 값을 변환한다. 예를 들어, 규칙은 미터와 킬로그램에 기초할 수 있지만 인치와 파운드의 단위는 입력과 출력에 사용될 수 있다.

문제 해결

TK Solver는 방정식의 시스템을 푸는 세 가지 방법을 가지고 있다. "직접 해결사"는 연속적인 대체의 원리에 의해 시스템을 대수적으로 해결한다. 여러 규칙이 여러 개의 알 수 없는 것을 포함할 경우 프로그램은 하나 이상의 출력 변수에 대한 초기 추측에 기초하여 연속적으로 근사치를 얻기 위해 뉴턴-랩슨 알고리즘을 사용하는 반복 해결사를 트리거할 수 있다. 절차 함수는 방정식의 시스템을 푸는 데도 사용될 수 있다. 이러한 절차의 라이브러리는 프로그램에 포함되며 필요에 따라 파일로 병합할 수 있다. 목록 해결사 기능은 변수를 데이터 범위 또는 확률 분포와 연관시킬 수 있도록 하며, 다중 값에 대한 해결은 표와 그림을 생성하고 몬테카를로 시뮬레이션을 실행하는 데 유용하다. 프리미엄 버전은 또한 최소, 최대 또는 특정 조건에 대한 모델[8] 해결의 한계 및 제약 조건을 직접 설정하기 위한 "솔루션 옵티마이저"를 포함하고 있다.

TK Solver는 약 150개의 내장 함수를 포함한다: 수학, 삼각, 부울, 수치 미적분, 매트릭스 연산, 데이터베이스 액세스, 프로그래밍 기능, 문자열 처리 및 외부 컴파일된 루틴에 대한 호출을 포함한다. 사용자는 또한 선언적 규칙 기능, 목록 기능, 테이블 검색 및 목록 쌍을 포함하는 기타 작업을 위한 목록 기능, 그리고 루프 및 기타 절차적 운영을 위한 절차 기능 등 세 가지 유형의 기능(목록 목록)을 정의할 수 있다. 열역학 및 수송 속성의 완전한 NIST 데이터베이스가 포함되어 있으며, 여기에 접속하기 위한 기능이 내장되어 있다. TK Solver는 고급 스프링 설계, 통합 기어 소프트웨어, 인터랙티브 로어크의 공식, TK에서의 열전달, 동적 및 진동 분석 [9]등 UTS가 판매하는 엔지니어링 애플리케이션의 플랫폼이기도 하다.

데이터 표시 및 공유

표, 플롯, 주석 및 MathLook 표기법 표시 도구를 사용하여 TK Solver 모델을 풍부하게 만들 수 있다. 모델은 마이크로소프트 Visual Basic 및 를 통해 다른 컴포넌트에 연결될 수 있다.NET Tools 또는 RuleMaster 제품을 사용하여 웹을 활성화하거나 Excel Toolkit 제품을 사용하여 Excel 스프레드시트와 연결할 수 있다. TK Solver 모델과 CAD 도면 및 솔리드 모델을 연결하는 DesignLink 옵션도 있다. 프리미엄 버전에서는 독립형 모델을 TK 라이선스가 없는 다른 모델과 공유할 수 있어 엑셀이나 무료 TK 플레이어에 오픈할 수 있다.

리셉션

1984년의 바이트는 "TK!솔버는 거의 모든 종류의 방정식을 해결하는데 탁월하지만 행렬을 처리하지 않았고, 포르트란이나 APL과 같은 프로그래밍 언어가 선형 방정식의 동시 해법에 우위에 있었다는 것이다. 이 잡지는 한계에도 불구하고 "강력한 도구, 과학자와 엔지니어에게 유용하다"고 결론지었다. 유사한 제품이 존재하지 않는다."[10] 버전 5.0으로, TK Solver는 매트릭스 처리 기능을 추가했다.[6]

경쟁제품은 1988년 중반까지 등장하였다: Mathsoft의 Mathcad와 Borland의 Eureka: 해결사.[11][12][13]

비시칼크와 그의 소프트웨어 아츠가 TK 솔버를 처음 개발한 것으로 알려진 댄 브릭린은 시장이 "우리가 생각했던 것만큼 크지 않았다"고 말한 것으로 인용되었다.[13]

참고 항목

참조

  1. ^ a b c d e f Erik Sandberg-Diment (August 2, 1983). "New software for science and engineering". The New York Times. Retrieved July 23, 2019.
  2. ^ a b "Briefs: Lotus sold its TKSolver software program to Universal Technical Systems". The New York Times. January 1, 1986.
  3. ^ a b David E. Sanger (April 9, 1985). "Lotus Set to Acquire Software Arts". The New York Times.
  4. ^ Erik Sandberg-Diment (August 9, 1983). "Ready-to-use formulas for finance to physics". The New York Times.
  5. ^ "TK Solver R5". Springs. Spring Manufacturers Institute. Summer 2012.
  6. ^ a b "TK Solver 5.0 Premium (Standalone) from Universal Technical Systems". uts.com. Retrieved April 20, 2017.
  7. ^ /M은 이동, /I는 삽입... "비시칼렉에서 차를 타고 왔어."
  8. ^ a b c Nirmala Khandan (2001). Modeling Tools for Environmental Engineers and Scientists. ISBN 1420003399.
  9. ^ "Universal Technical Systems' TK! Solver Plus". PC Magazine. March 14, 1989. p. 310. There is much to admire in Universal Technical Systems' $395 TK! Solver Plus ...
  10. ^ Miller, Alan R. (December 1984). "TK!Solver". BYTE. pp. 263–272.
  11. ^ Ronald Bried, "Software for Solution 방정식: 유레카: "솔버, TK 솔버 플러스 및 매스캐드", 경제 조사 저널 3:1:83–95 doi:10.111/j.1467-641989.tb00059.x (1989년 3월)
  12. ^ "매스캐드, 캠브리지의 Mathsoft Inc.에 의해, 미사. 캘리포니아 스코츠 밸리의 볼랜드 인터내셔널의 유레카.
  13. ^ a b Andrew Pollack (June 24, 1988). "A Top Scientist's Latest: Math Software". The New York Times.