solver

0熱度

1回答

我試圖用Benders分解解決能源模型。在模型中，我們正在創建一個主模型和幾個子模型。我想並行解決子模型，我看到一個例子here。這是我使用的代碼是什麼： from pyomo.opt.base import SolverFactory from pyomo.opt.parallel import SolverManagerFactory from pyomo.opt.parallel.

0熱度

1回答

最短流程佈局求解器

我在流水線上有一組機器的路由順序。每條路線都必須經過整條生產線（也就是說，如果您只運行第一臺和第二臺機器，您仍然需要考慮從第二臺到最後一臺的距離）。我有六個不同的機器（720個可能的機器組合），每條生產線之間有固定的距離。第一臺和第二臺機器之間的距離是100'，第二和第三臺之間的距離是75'，第三和第四臺是75'，第四和第五臺是25'，第五和第六臺是25'。我有4個不同的產品必須跑下來，他們每

0熱度

1回答

慢宏，解算器以及與UDF的

式我正在運行VBA代碼基本上是：集某些細胞等於一定值這些被饋送到產生一個數字用於求解器的模型改變輸入並獲得最終數字輸出循環次數約爲150次，不是太多次。這一切都發生在工作簿2中。計算髮生在工作簿1中。在工作簿1中，有相當多的具有用戶定義函數的單元格。總共約4000個。運行VBA代碼時，整個過程需要一分鐘才能完成。如果我刪除了Worksheet 1中的數據（因爲它不需要這個特定的宏），

1熱度

3回答

如何確定最好以擴大影響

免責聲明：這個問題更關係到比純Python編碼（或Excel的求解器）問題的算法問題目前，我們正在遷移600個網站，一個新的平臺。部分工作是將組件（30+）的代碼移植到新平臺。爲了解決這個工作，我們已經清點每個組件的使用在每個站點：現在，我們應該在我們要端口，以便部件找到。基本規則如下：只要給定網站使用的所有組件都移植完畢，就可以遷移該網站。我們的目標是最大限度地提高可以儘早遷移的網站數

0熱度

1回答

如何將之和與積約束轉化爲SMT-LIB2（對於Z3）

我不知道什麼是最好的方式來一筆轉換文件或類似產品成爲SMT-lib2表達式，專門用於解決與Z3（或甚至metitarski）。我認爲會有一個量詞的顯而易見的方法，但我在創建它時遇到了麻煩，並且在許多使用情況下，這樣的總和可能具有exprLB和exprUB的常量，這意味着我希望某種策略會簡單地將其展開成爲一個長長的添加序列，使用量詞可能會使這變得更加困難。例如，一個相當微不足道的戰術轉換成

1熱度

2回答

致命異常：java.lang.IllegalStateException：無法爲Android execute方法：的onClick

我得到的logcat的這些錯誤： FATAL EXCEPTION: main Process: com.sreekanth.gifapp, PID: 14761 java.lang.IllegalStateException: Could not execute method for android:onClick 我試圖改變方法的名字，但沒有奏效。這裏是我的代碼： XML： <?xml v

1熱度

1回答

在特徵::矩陣中轉換一個dolfin ::矩陣

我在C++中編碼，我使用的是FEniCS fenics/2016.1.0。我的代碼的一部分是 Matrix A; Vector f; std::vector<std::shared_ptr<const DirichletBC>> dirichlet_matrici({dirichlet}); assemble_system(A,f,a,L,dirichlet_matrici); solve

-1熱度

1回答

在RStudio中繪製兩個變量的非線性方程

我想在RStudio中繪製0.2 * ln（x/40）-0.02（x-40）= - 0.04ln（y/100）+0.004（y-100）。我安裝了「操縱」軟件包並使用了plotFun，但它沒有奏效。我嘗試使用plot.function，但我找不到解決方案。請幫忙

1熱度

1回答

使用Google優化工具的特殊求解器定義

我想學習一些東西。誰能告訴我下面的表達式的含義： from ortools.linear_solver import pywraplp def main(): solver=pywraplp.Solver('TravellingSalesmanProblemMIP', pywraplp.Solver.CBC_MIXED_INTEGER_PROGRAMMING) 它是用來創建求解器，我猜

0熱度

1回答

返回解決變量使用python

我想寫一個函數來解決從Python中的另一個函數的變量，有點像Excel解算器所做的。爲了簡化我的例子，我有一個函數需要幾個變量，然後計算一個價格。我將傳遞實際值（a，b，c，d，x）到該函數中，以便返回數值。 def calc_price(a,b,c,d,x): value = a+b*c-d + x return value 現在我給出了一個目標價格，a，b，c，d。