20.1 주요 릴리스(2001년 10월 31일)

목차

무료 슬롯 시스템

무료 슬롯

  • 모델 데이터 및 모델 구성요소를 무단 사용으로부터 제거, 숨기거나 보호할 수 있는 새로운 라이선스 개인정보 보호 및 보안 기능입니다. 개인 정보 보호 기능이 활성화된 상태로 저장된 모델과 데이터는 특정 라이선스로 잠겨 보호됩니다. 자세한 내용은 무료 슬롯 사용자 가이드의 해당 부록을 참조하세요.
  • 새로운 무료 슬롯 매개변수 EXECMODE를 사용하여 애플리케이션 서비스 환경에서 작동할 때 특정 기능을 재구성할 수 있습니다. $call/execute, $echo/put 및 $includes는 비활성화되거나 파일 시스템의 특정 하위 트리에서만 작동하도록 제한될 수 있습니다.
  • 모델 옵션은 IDE의 명령줄 또는 무료 슬롯 매개변수 창에서 초기화할 수 있습니다(bratio, iterlim, domlim, reslim, optcr, optca, sysout, solprint, optfile 및 모델 유형에 대한 모든 솔버). 예를 들면:
    무료 슬롯 myfile LP=BDMLP RESLIM=10
    기본 솔버를 BDMLP로 재정의하고 10초 후에 강제로 중단됩니다.
  • 기타 사소한 언어 개선 사항은 다음과 같습니다:
    • 팩토리얼 함수 FACT
    • 함축 연산자 (->또는imp)
    • 동등 연산자(<=>또는eqv)
    • $ECHON 및 EOL 없이 에코
    • 대소문자를 구분하지 않는 문자열 비교를 수행하는 $IFi
  • 다양한 제한이 완화되었습니다:
    • NLP 모델은 최대 800만 개의 상수를 가질 수 있습니다.
    • 무료 슬롯 프로그램에는 최대 100만 개의 무료 슬롯 기호 또는 고유 요소가 포함될 수 있습니다.
    • 내부 코드 공간이 3,200만 명령으로 늘어났습니다.
    • 모델 크기는 하드웨어 주소 지정 공간에 의해서만 제한됩니다.
  • 무료 슬롯 환경 변수는 이제 명령줄이나 매개변수 창에서 초기화하거나 재설정할 수 있습니다. 접두사--환경 변수를 신호합니다. 예를 들면:
    무료 슬롯 myfile --mypath="d:ab"

    삽입과 동일$set mypath d:a b24565_24795<식>**<정수 상수="">은 이제 -1,0,1 및 2 값에 대해 더 제한적으로 해석됩니다. 표현식 값이 음수가 되면 솔버는 도메인 위반을 발생시킵니다. 예를 들어, 이제 x**0에서는 x가 항상 0보다 크거나 같아야 합니다. 의도하지 않은 경우에는 power(expression,integer Constant) 함수를 사용해야 합니다.
  • 0**0에 대한 파생어는 정의되지 않았으며 해결 과정에서 문제를 일으킬 수 있습니다. 이 사건이 발생하면 경고가 발령됩니다.

IDE

  • 대체 라이센스 대화상자가 비활성화되었습니다.
  • '무료 슬롯 모델 라이브러리'를 선택하면 최근에 사용한 라이브러리 목록에 이 항목이 더 이상 추가되지 않습니다.
  • 편집기에서 텍스트를 선택할 때 찾기/바꾸기 대화상자가 더 이상 '선택한 텍스트'로 기본 설정되지 않습니다.

무료 슬롯 모델 라이브러리

  • 기존 모델에 대한 참조가 업데이트되어 작성자별 색인이 가능해졌습니다.
  • 몇 가지 MINLP 모델을 추가했습니다:
    • 연속 병렬 장치의 CSCHED 순환 스케줄링
    • 가스 전송 네트워크의 GASNET 최적 설계
    • 전기 기계의 WINDFAC 권선 계수
    • STOCKCC 총 평균 주기 재고 최소화
    • 일반 증류 시퀀스의 NSHARPX 합성
    • MINLPHIX 열 통합 증류 시퀀스
  • 새로운 모델 CESAM은 초기 데이터가 일관되지 않고 오류가 있다고 가정하고 일관된 사회 회계 매트릭스(SAM)의 셀을 추정하기 위한 교차 엔트로피 기술을 보여줍니다.
  • COPS 모델이 추가되었습니다:
    • POLYGON 가장 큰 작은 다각형 COPS 2.0 #1
    • ELEC 구면에서의 전자 분포 COPS 2.0 #2
    • CHAIN 행잉 체인 COPS 2.0 #3
    • 캠의 CAMSHAPE 형상 최적화 COPS 2.0 #4
    • PINENE 알파-피넨 COPS 2.0의 등거리화 #5
    • POPDYNM 해양 개체군 역학 COPS 2.0 #6
    • FLOWCHAN 채널 COPS 2.0 #7의 흐름입니다. 새로운 기능 사실을 사용합니다.
    • ROBOT 로봇팔 COPS 2.0 #8
    • LNTS 입자 조향 COPS 2.0 #9
    • ROCKET 고다드 로켓 COPS 2.0 #10
    • GLIDER 행글라이더 COPS 2.0 #11
    • GASOIL 경유 COPS 2.0 #12의 접촉분해 분해
    • 메탄올 메탄올에서 탄화수소로 COPS 2.0 #13
    • CATMIX 촉매 혼합 COPS 2.0 #14
    • TORSION 탄성-소성 비틀림 COPS 2.0 #15
    • JBEARING 저널 베어링 COPS 2.0 #16
    • MINSURF 장애물이 있는 최소 표면 COPS 2.0 #17

해결사

변환

  • 이 솔버는 무료 슬롯 모델 인스턴스를 다른 모델링 및 솔루션 시스템에서 사용하는 형식으로 변환합니다. 변환된 모델에는 원래 이름이 모두 제거된 스칼라 방정식과 변수만 있습니다. 이 '스칼라' 형식은 원래 모델과 데이터 개발을 숨기고 솔버 튜닝 및 연구를 위해 기밀 모델을 교환할 수 있게 해줍니다. 현재 CONVERT는 무료 슬롯 모델을 다음 형식으로 변환할 수 있습니다.
    • AMPL
    • 바론
    • CplexLP
    • CplexMPS
    • 무료 슬롯
    • LGO
    • LINGO
    • MINOPT
  • 이 솔버는 무료 슬롯 World의 이메일 기반 서비스로도 제공됩니다.

CPLEX 7.1

  • 자세한 출시 노트 찾기여기

MPSGE/MCP 솔버

  • MCP/MPSGE 솔버가 재구성되었습니다. 이것의 핵심은 MPSGE 모델을 위한 새로운 핵심 라이브러리의 도입입니다. 이 새로운 체계와 호환되는 두 가지 MCP 솔버는 PATHC와 MILESE입니다. 이 두 솔버 모두 이전 버전인 PATH 및 MILES와 동일한 알고리즘을 구현합니다. 내부 인터페이스만 변경됩니다. 당분간은 기존 인터페이스를 사용하는 기존 솔버를 계속 사용할 수 있습니다. 그러나 새로운 솔버는 몇 가지 장점을 제공합니다. 예를 들어 PATHC에는 이전 인터페이스의 구조로 인해 불가능했던 MCP 모델의 선택적 전처리가 포함되어 있습니다. 또한 새로운 인터페이스는 무료 슬롯 기본 모듈을 사용하여 MCP 공식에 대한 더 많은 일관성 검사를 수행하고 모델링 오류가 발생할 때 보다 즉각적이고 광범위한 진단 정보를 제공합니다. 마지막으로, 새로운 인터페이스를 사용하면 MPSGE 핵심 라이브러리의 대체 버전을 "플러그인"하여 다양한 MPSGE 기능 형식을 실험할 수 있습니다.
  • 이전 버전과의 호환성이 유지되며 4개의 솔버(PATH, PATHC, MILES 및 MILESE) 모두 동일한 무료 슬롯 파일을 입력으로 허용한다는 점에 유의하는 것이 중요합니다. 위에 언급된 인터페이스 변경 사항은 모두 내부적인 것입니다.

OSL3

  • 무료 슬롯/OSL 링크는 IBM의 새로운 OSL3 라이브러리를 사용하도록 업데이트되었습니다.

PATHNLP

  • PATHNLP는 무료 슬롯의 최신 NLP 솔버입니다. 기본적으로 NLP 문제를 보완성 문제로 자동 재구성하고 입증되고 신뢰할 수 있는 PATH 솔버를 사용하여 이를 해결함으로써 SQP 알고리즘을 구현합니다. 이를 통해 모델 솔루션에 2차 정보를 사용할 수 있으며, 이는 종종 솔루션 효율성을 높이는 결과를 낳습니다. 또한 주변 값은 1차 방법에서 제공되는 값보다 더 정확한 경우도 있습니다. 이 접근 방식의 장점은 비선형 변수와 자유도가 많은 매우 크고 희박한 모델에서 가장 분명합니다. 이러한 경우 다른 NLP 코드의 초기본 제한으로 인해 효율성이 제한되지만 PATHNLP를 사용할 때 장애가 되지는 않습니다. 새로운 PATHNLP 솔버를 사용하면 이전에 풀 수 없었던 특정 모델(예: 최대 엔트로피 모델)의 솔루션을 사용할 수 있습니다.

SBB

  • SBB는 모델에 개별 목표 행이 있는 경우 암시적 절대 종료 허용 오차를 파생합니다. 사용자의 종료 허용 범위(optca, optcr)가 엄격한 경우 전체 시간이 단축될 수 있습니다.
  • SBB는 도메인 위반이 있는 행의 색인을 LST 파일로 다시 전달합니다. 루트 노드와 모든 하위 노드의 모든 도메인 위반이 보고되며 사용자는 이 정보를 활용하여 이러한 위반을 극복할 수 있습니다.

익스프레스

  • 무료 슬롯/XPRESS 링크는 XPRESS의 새로운 12.50 솔버 라이브러리를 사용하도록 업데이트되었습니다. 이점에는 듀얼 심플렉스의 향상된 가격 책정 알고리즘, 모든 심플렉스 코드의 향상된 희소/밀도 데이터 처리, 심플렉스 해결 시간의 일반적인 30% 감소 등이 포함됩니다. 장벽 솔버에는 행별 Cholesky 분해가 통합되어 있어 많은 문제에 대한 성능이 향상되고 메모리 사용이 더욱 효율적입니다. presolve는 보다 효율적인 메모리 관리를 제공하며 Eliminator 단계가 개선되었습니다. 분기 및 경계 알고리즘은 컷 선택을 개선하고 파벌 컷 생성을 더욱 빠르게 했습니다.
  • 링크 자체의 개선으로 제한이 없거나 실행 불가능한 모델을 더 잘 감지하고 보고할 수 있습니다.

베타 버전의 해결사

바론

  • BARON은 비볼록 최적화 문제를 전역 최적으로 해결하기 위한 계산 시스템입니다. 순수 연속, 순수 정수 및 혼합 정수 비선형 문제를 소프트웨어로 해결할 수 있습니다. 분기 및 축소 최적화 네비게이터는 글로벌 솔루션을 찾기 위해 복잡한 최적화 문제의 언덕과 계곡을 통과하면서 향상된 분기 및 경계 개념을 갖춘 감소 무기고의 간격 분석과 이중성을 결합한 것에서 이름이 유래되었습니다.
  • 이 솔버의 데모 크기는 변수 10개와 방정식 10개로 축소되었습니다. BARON의 베타 버전은 Windows, Linux 및 AIX에서 사용할 수 있습니다.

CONOPT3

CONOPT의 새 버전이 베타 테스트에 사용 가능합니다. 릴리스 노트를 찾으세요여기. Windows에서만 사용할 수 있습니다.