solver

0열

1답변

방금 벡터가있는 곡선 아래 영역을 찾기 위해 Matlab에서 trapz 함수를 사용할 수 있다는 것을 알았습니다. 이 벡터의 값을 정규화하여 곡선 아래의 영역이 1이되도록하고 싶습니다. Area_Under_curve(x * V) = 1 는 어떻게 X를 찾을 수의이 x는 것을 하나의 스케일링 계수 등이라고 가정 해 봅시다?

0열

2답변

VB.NET에서 CPLEX와 같은 선형 프로그래밍 솔버를 어떻게 통합합니까?

VB.NET을 통해 빌드되는 선형 프로그래밍 모델을 해결하고 싶습니다. 이 맥락에서 나는 다음과 같은 질문을 가지고있다. a) VB.NET을 통해 CPLEX 또는 그와 같은 솔버 (코인 - OR)를 호출하는 방법? (CPLEX 창이 열리는 것을 원하지 않습니다. 즉, 백그라운드에서 해결해야합니다.) b) LP 모델을 CPLEX로 전송하는 방법은 무엇입니까?

9열

2답변

vs12에서 Microsoft.Solver.Foundation을 참조하는 방법?

Visual Studio 2012에서 작업중인 프로젝트에 해 찾기 재단을 추가하려고하지만 목록에서 찾을 수 없습니다. 예제 프로젝트 중 하나를 열었습니다. 참조는 Microsoft.Solver.Foundation이지만 프로젝트에서 사용 가능한 모든 목록에 대해 Microsoft.Search를 검색해 보았습니다. 어떻게 프로젝트에 Solver Foundati

0열

1답변

VBA + 솔버 루프가 각 행에 대해 결과를 인쇄하지 않습니다.

저는 Visual Basic for Application 초보자이며 다음과 같은 문제가 있습니다. Excel 솔버를 사용하여 하나의 행에서 두 개의 변수 셀을 변경하여 다른 행의 셀을 같은 행에서 0으로 놓아야합니다. 셀은 Excel 자체에서 간단한 계산으로 연결됩니다. 또한 몇 가지 제약 조건을 정의해야합니다. 아래 코드를 사용하면 마지막으로 정의 된 행

0열

1답변

솔버 기초 목표에서 천장 기능을 사용 하시겠습니까?

내 솔버 목표 함수에서 내 결정 변수 시간 2.5의 한도를 초과하려고 시도하지만 foobar 변수가 두 배가 아니기 때문에 Math.Ceiling() 함수를 적용 할 수 없습니다. "용어"변수. 솔버에서 작동하는 동일한 코드를 표현할 수있는 또 다른 방법이 있습니까? S : Decision foo = new Decision(Domain.IntegerNonn

0열

1답변

엑셀 솔버 사용법 - 간단한 커브 피팅

Excel 솔버 사용의 간단한 예를 찾고 있습니다. 나는 Y 데이터를 가지고있다. 이 데이터에 모델 '두 지수의 합'을 맞추고 싶습니다. 모델을 작성하는 방법? 설정된 목표 상자와 '값 변경'에 무엇이 있습니까? 저는 Office 2010입니다. 감사합니다.

3열

1답변

문자열을 Solver Foundation의 "Term"제약 조건으로 변환

Solver Foundation을 사용하여 선형 프로그래밍 문제를 해결할 수있는 응용 프로그램을 만들려고합니다. 길고 짧은 이야기 문자열 표현식을 Microsoft.SolverFoundation.Services.Term으로 변환하려고 할 때 막혔습니다. 내가 원하는 것은 문자열을 제약 조건으로 모델에 추가하는 것입니다.하지만 먼저이를 "용어"로 변환해야합니

2열

2답변

순수 정수 MIP에 대한 모든 해를 찾기위한 해 찾기 소프트웨어

모든 변수가 정수 여야하고 극히 많은 해가 있다는 일련의 문제 (방정식과 부등식 세트)가 있습니다. 임의의 목적 함수를 취해 그것에 lp 또는 mip solver를 적용하면 솔루션을 찾을 수 있지만, 모두 해결책을 최대한 효율적으로 찾고 싶습니다. 나는 무엇이든을 낙관하기에 진짜로 걱정하지 않는다, 그러나 명백하게 그것을 취급하는 소프트웨어의 대부분은한다.

3열

2답변

시트의 일부 숫자가 바뀔 때 엑셀 솔버가 자동으로 실행됩니다.

Excel에서 학교의 비용 분석을 실행하려고합니다. 각기 다른 수의 학생들이 각기 다른 수의 교수진을 고용하기 위해 비용을 분석해야합니다. 솔버를 사용하여 각 부서의 요구 사항을 계산합니다. 그리고 10 년 동안 비용을 계산하기 위해 솔버를 10 번 실행해야합니다. 그리고 우리는이 절차를 반복하는 데 필요한 수수료를 변경합니다. 솔버 트리거를 자동화 할 수

2열

1답변

Z3 SMT 솔버의 상수에 대한 동일성

Microsoft에서 Z3 SMT 솔버를 사용하고 있으며 사용자 정의 정렬의 상수를 정의하려고합니다. 그러한 상수는 기본적으로 불평등하지 않은 것처럼 보입니다. 이 같은 종류의 두 상수가 동일한 것을 완벽하게 물론 가능하기 때문에, (declare-sort S 0) (declare-const x S) (declare-const y S) (asser