產品目錄

Miner3D Miner3D是一個功能強大、專業性強、海量數據存儲能力、三維可視化效果逼真的數據分析解決工具。Miner3D憑藉出色的圖形質量增強插件，短時間內迅速獲得了銀行投資分析師、藥劑師、生物技術及化學材料科研人員、工程師、銷售經理、地質學家和其他許多來自不同行業的專業人士的青睞。鑑於miner3D所提供的智能服務幾乎可以應用於各行各業。現在，miner3D的市場遍及十多個國家和地區、數千家企業、近萬名用戶。   Miner3D Basic 適用於所有人的可視化數據分析  Miner3D Basic可加快研究人員，分析師，經理，工程師，信息專家或知識工作者的數據分析速度，幫助他們在更短的時間內做出更好的決策。     系統需求 System requirements Intel Core or AMD processor 4GB RAM or more (8GB recommended) Display resolution 1280x1024 and higher 19"-24" monitor  Microsoft Windows 10, 8, 7, Vista, XP (32- or 64-bit versions) (Optional) Microsoft Excel 2016, 2013, 2010, 2007, 2003    Specs Data Input: MS Excel, clipboard, flat data files (TXT, CSV, DBF, XLS...) Visualizations: Scatter, Bar, Tower, Line, Surface, Heatmap, 2D and 3D versions Limits: 32-bit - approx. 800,000 rows; 64-bit - unlimited

SCINET Scientific Software Framework是由OBACS所開發的一套產品，它集合了各種科學專業，如數學、物理、化學、地理，成為一個單一又靈活的強大模組結構。使用Microsoft .NET和100%兼容mmon Language Infrastructure (CLI)規格為基礎所設計。近年來對於先進的計算軟體解決方案的研究和新產品開發的需求不斷增加，卻造成搭配軟體無法同步更新的負面影響。SCINET Scientific Software Framework不僅提供高性能高準確度的計算軟體解決方案，也可以和其他軟體完美搭配，對數據進行最精確的處理分析。 高性能/準確度高的計算功能 SCINET Scientific Software Framework 使用C#程式語言開發，可用於高精密度的浮點數(floating-point)運算 完美搭配任何SCINET解決方案 SCINET Scientific Software Framework可以完美的和其它Scinet搭配，當你在發開的時候，你可以把新的Scinet解決方案在不同的模組中進行資料轉移，減少你開發的成本，並提高生產力。 為了開發人員設計，並具備物件導向架構 SCINET是基於物件導向架構組成。在任何時間都能夠很容易找到並使用高階功能。 100%符合Common Language Infrastructure Specification SCINET Scientific Software Framework　100%符合C通用語言架構，提供跨平台和獨立的SCINET程式語言，你也可以使用任何20+ .NET程式語言。   Obacs Scinet內含兩個組件 Obacs Scinet Math Obacs Scinet Chart

LINDO 是一種專門用於求解數學規劃問題的軟體包。由於 LINDO 執行速度快，易於方便地輸入、求解和分析數學規劃問題，因此在教學、科研和工業界得到廣泛應用。 LINDO主要用於求解線性規劃、非線性規劃、二次規劃和整數規劃等問題，也可以用於一些線性和非線性方程組的求解以及代數方程求根等。LINDO中包含了一種建模語言和許多常用的數學函數(包括大量概率函數)，可供使用者建立數學規劃問題模型時調用。   新版功能 支援多核心 全新的Branch-and-Price求解器 改進MIP求解器 改進Multistart求解器 改進Stochastic求解器 支援更多的機率分配函數   特色 一、Lindo API 使用 Lindo API 可以建立求最佳解的應用程式。Lindo API 允許你將強大的線性、整數或非線性求解引擎掛入你已寫好的應用程式中。 二、迅速、容易的應用程式開發 Lindo API 可以使你容易地將最佳化的功能整合到你自己開發的應用程式中。 Lindo API 附有完整的文件和範例幫助您迅速上手。 三、強大的求解引擎 Lindo API 提供的強大求解引擎包括針對線性、非線性(convex和nonconvex)，二次和整數的最佳化。 四、完整的求解程式 Lindo API 提供了你需要的彈性和功能，不管你的應用程式是大或小，簡單或複雜。它包含了數十個程式(routine)來公式化、求解、查詢和修改你的問題。 五、廣泛的文件和HELP功能 Lindo API 提供的所有工具和文件可使你迅速入門和上手。 六、分析不可實行和無邊際模型(Infeasible and Unbounded Models) Lindo API 內含工具可以找出導致模型無合理解或無邊際模型的原因。 七、建立網際網路和企業內部網路的應用程式 Lindo API 允許你建立網際網路和企業內部網路的應用程式可同時供多人使用。

GAMS是一個高層次的數學規劃和優化建模系統。它是由一種語言的編譯器和一個穩定的集成了高性能求解器。 GAMS是專為複雜的，大型的建模應用程序，並允許你建立大維護的模型，可以很快地適應新的形勢。 GAMS以簡單清楚的使用者介面和強健穩定的數值分析能力見長。 GAMS事實上並不代表任何最佳化數值演算法，而是一個高階語言的使用者介面，利用GAMS可以很容易建立、修改、除錯你的最佳化模型輸入檔，而輸入檔經過編譯後，成為較低階的最佳化數值演算法程式所能接受的格式，再加以執行並寫出輸出檔。 數值演算法方面，對線性與非線性規劃問題，GAMS使用由新南威爾斯大學的Murtagh、及史丹福大學的Gill、Marray、Saunders、Wright等人所發展的MINOS [Murtagh and Saunders, 1983]演算法。MINOS是“Modular In-core Non-linear Optimization System”的縮寫，這個演算法綜合了縮減梯度法和準牛頓法，是專門為大型、複雜的線性與非線性問題設計的演算法。對混合整數規劃問題，則採用亞歷桑那大學的Marsten及巴爾第摩大學的Singhal[1987]共同發展的ZOOM(Zero/One Optimization Method)演算法。

GraFit version 7 for Microsoft© Windows™ 結合了展現高質量的科學圖形和全面的數據擬合。其結果是一個強大的軟件包，易於使用，產生驚人的輸出，也可以實現數據的需求進行定量分析。 數據可以安裝使用各種形式的理論模型，並且被提供的程式可以很容易地加入到你自己的公式。綜合圖繪製作功能允許你在螢幕上顯示你的數據和圖形編輯的交互使用。

DADiSP 軟體為一套專業的數位信號分析處理軟體，可以在一個螢幕上顯示一個或多個視窗，並在視窗中顯示多個通道的數據或圖形，最多可以打開99個視窗。在視窗中讀 入相應的數據後，就可以立即使用多達五百多種數位信號處理工具，包括：數據還原、排序、統計、數值、三角、雙曲線、複雜轉換、矩陣相關、峰值計算、 FFT、DFT、譜分析、功率譜估計、圖像處理、有限衝擊/無限衝擊回應、或其他數字濾波器、神經元網絡等等。用戶還可以通過功能表，內建功能或輸入用戶 自己的分析處理公式，使DADiSP使用起來更加個性化。用戶還可以通過SPL（Series Processing Language）語言，對DADiSP進行二次開發。在用戶分析結束後，DADiSP可提供一份高品質的圖形報告。   DADiSP可與微軟的Excel密切配合．使工程師能夠把從Excel電子表格收集來的數據傳輸給DADiSP，以利用其強有力的分析和圖形能力 DaDiSP is a popular graphical data analysis software program for scientists and engineers. DADiSP軟體由美國DSP Development Corporation公司研製，主要作為科學家和工程師用於數據分析和圖形顯示工具。它包括以下功能： ※ 數據分析、數據管理 ※ 矩陣運算 ※ 特徵向量與特徵值計算 ※ 圖形信號處理 ※ 一維、二維FFT與卷積 ※ 二維、三維、四維圖形顯示 ※ 生理學實驗 ※ 醫學研究和圖像處理 ※ 衛星遙感圖像處理 ※ 地震信號處理 ※ 統計分析與處理 ※ 測試和測量 ※ 實驗設計 ※ 假設檢驗 ※ 濾波器設計 ※ 品質管制 ※ 過程監視 ※ 聲納雷達信號分析處理 ※ 語音與通信信號處理 ※ 通訊語音分析 ※ 雜訊和振動分析   系統需求 Windows 7/9x/2000/NT/XP/Vista / Windows 10 

CenterSpace公司的NMath .NET math libraries提供.NET平臺上的數值數學、金融、工程和科學應用的數值組件。 NMath是一個.NET的數學庫，包含了NET平臺上物件導向的數字計算基礎。 產品特色 單精確度和雙精度複數類 為以下四種資料類型提供全功能的向量和矩陣類：單精確度浮點數，雙精度浮點數，單精確度複數和雙精度複數。 利用切片和排列靈活的標定指數。 重載那些傳統意義的運算子，使其支持.NET語言，相當於那些沒有的命名的方法（Add(), Subtract()等）。 結構稀疏的矩陣類的全部特徵包括，三角形矩陣，對稱矩陣，埃米特共軛矩陣，，三對角矩陣，帶狀對稱矩陣和帶狀埃米特共軛矩陣。 一般矩陣之間和結構疏鬆陣列類型之間的轉換函數。 結構疏鬆陣列置換，計算內積和計算矩陣範數的函數。 結構疏鬆陣列的分解類包括，帶狀矩陣和三對角線矩陣的LU分解，對稱矩陣和埃米特共軛矩陣的Bunch-Kaufman分解和對稱矩陣和埃米特共軛正定矩陣的Cholesky分解。這些矩陣分解一旦建成，就可以用來求解線性系統和計算行列式，求逆，和條件數。 一般稀疏向量和矩陣類和矩陣分解類. 一般矩陣的正交分解類，包括QR分解類和單值分解（SVD）類。 一般矩陣的高等最小平方分解類，包括Cholesky, QR, and SVD. 一般矩陣的LU分解，以及求解線性系統，計算行列式，求逆和條件數的函數。 解決對稱，埃爾米特和非對稱特徵值問題的類 標準數值函數的擴展，如與向量，矩陣和複數類協同使用的Cos(), Sqrt(), and Exp()函數。 各種概率分佈的亂數產生。 快速傅立葉轉換和線性旋積和相關 支援數值積分(Romberg and Gauss-Kronrod methods)，微分(Ridders' method)和代數運算函數的單變數封裝函數的類 多項式封裝，插值和精確的積分和微分。 用黃金分割搜索和Brent方法最小化單變數函數的類 用單形法，鮑威爾的方向設置法，共軛梯度法和變尺度（或類似牛頓法）法最小化多變數函數的類。 模擬退火法 單形法線性規劃 最小平方的多項式擬合 非線性的最小平方最小化，曲線擬合和曲面擬合 用正割法，Ridders法和 Newton-Raphson 法查找單變數函數的根的類 二元函數的二重積分的數值方法 用Trust-Region方法和Levenberg-Marquardt方法的變體最小化非線性最小平方 非線性最小平方的曲線擬合和曲面擬合 用標準的,NET機制的完全持久化資料類 與ADO.NET的整合  

PTC 推出 PTC Mathcad® Prime™ 支援最先進的工程設計運算 新版本大幅提升運算效能 PTC Mathcad Prime 可迅速算出複雜的方程式解答。PTC Mathcad 提供數百種數學函數，讓使用者可定義近乎無限的自訂函數，因應各種數字與符號，運算最複雜的方程式系統。 新版的 PTC Mathcad Prime 提供使用者以下優點： 文件強化 ─ 以文字說明數學運算，將數學運算區域格式化，依據個人或公司既有的標準範本建立新工作表，協助使用者遵守標準的運算與文件規則。 自訂函數 ─ 可重複使用現有的C++、C、Fortran 等編碼演算法，使 PTC Mathcad 的功能超越本身產品的內建功能。 全域定義運算元 ─ 可定義工作表內任何位置的常數與參數，並定義接近最終結果的參數。 數字強化 ─全新、快速的矩陣分析功能，支援樞紐及繁複數字運算。 等高線圖中的曲面插值─ 使用者能充分運用 PTC Creo  曲面插值運算法，以一組無序的 3D 點陣建立等高線圖。 可用性提升 ─ 精進多項常用的功能(如將影像貼上頁首/頁尾、覆寫方程式等)以提高效率。 Hagler Systems 設計工程師 Scot Shields 表示：「我們很高興能在 PTC Mathcad Prime 3.0 中透過高度直覺的方式掌握各種概念，能用作者容易撰寫的方式充分表達數學概念，而且容易 讓讀者理解。」 Scot Shields 補充表示：「PTC Mathcad Prime 3.0 提供快速撰寫、建立模 型以測試假設並驗證結果的理想環境。做為通用的工具，它可以製作出讓組織內各階層人員輕易使 用及理解的試算表，還能用於從文件記錄到複雜設計研究的各種用途，現在我們的工程師終於能把 時間真正投入在工程設計上。」 整合 PTC Creo與 PTC Windchill 透過輸入與結果的設計連結至 PTC Creo，工程師得以輕鬆執行測試分析、最佳化幾何參數，並在最終的設計上執行查證與驗證步驟，符合客戶要求。 同時，可透過 PTC Windchill 直接管理 Mathcad Prime 3.0 工作表，讓使用者從全球協同合作、版本控管中獲益，且能追蹤其關鍵的設計與工程知識。 Mathcad, PTC 資深高階主管 Brent Edmonds 表示：「使用由工程運算驅動PLM骨幹管理的 CAD模型，能確保工程師顧及所有細節。PTC Mathcad Prime 3.0 與 PTC Creo 及 PTC Windchill的整合程度基本上足以解決所有問題，並確保我們提供給客戶更符合需求的產品。」 系統需求 請詳閱以下資訊，確認您的硬體組態符合 PTC Mathcad 認證需求： 支援 Pentium 的 32 位元 (x86) 或 64 位元 (x86-64，EM64T) 處理器 - 400 MHz 以上，建議使用 700+ MHz Windows XP (32 或 64 位元) 以上 RAM 256 MB；建議使用 512 MB 以上 硬碟空間 1.75 GB (Mathcad 需要 300MB，基本需要 100MB，安裝暫存空間需要 1.4GB) SVGA 以上規格的繪圖卡和監視器 Microsoft .NET Framework 4 (網路版安裝程式)

Mathematica 11 是其 30 年發展歷程中的一座重要里程碑，顯著拓展了 Mathemtcatica 的應用領域並引入了眾多技術革新，為所有 Mathematica 用戶提供了更高級別的功能和效用。 秉承著將所有領域的計算和知識進行集成和自動化這一長期目標，Mathematica 的每個新版本都讓用戶可以對所併入的新領域以常規流程進行訪問。如果您想求解 PDE（偏微分方程）並將其三維列印，Mathematica 11 為此提供了集成工具，再一次極大擴展了任意等級使用者都可常規進行的跨域項目範圍，從而讓任意等級的使用者都可常規完成。 Mathematica 11 構建於 Wolfram 在神經網路計算、音訊集成和語言學計算等眾多領域的最新研發突破的基礎上。Mathematica 的現有使用者也會發現該版本在介面、語言以及演算法深度和效率上進行了大量實用改進。  

Maple 是一套功能非常強大的數學軟體，它不但可以做數學上的符號運算和數值運算，更可以做矩陣運算、2D 和 3D 的繪圖。因此運用 Maple可以處理大部份複雜的的數學運算、數值計算，符號計算以及解方程式是Maple 的三大功能。在Maple中有上千個內建數學命令，函數可供您直接取用，就像是功能超強的電子計算機。  Maple 號稱有超過2500個指令，而Mathematica約有1000 個，其中常見的數值計算功能為算術（Arithmetric）、精確解（Exact Solution）、數值 近似（Numerical Approximation）、複數（Complex numbers）、數根（Find Roots）、特殊函數（ Special Functions）、及數值積分（Numerical Integration）。Maple 是最早應用人工智慧來進行符號計算的先進數學系統之一。它所提供的工具相當完備，系統原始的解題能力更是強大。 Maple符號計算的能力使我們可以像寫作業般一步一步地解決複雜的公式推導，而這正是傳統程式語言難以完成的部分。此外，Maple最特殊，最優越的一點就是它能善用疊代原理，將符號運算結果整理得非常簡潔，易於瞭解與處理，這點是其他相似軟體遠遠不及之處。常見的符號運算有代數（Algebra）、微 積分（Calculus）、級數展開（Series Expansion）等等。解方程式是解題時常有的需要，不管是數值或符號方程式，或一般多項式，或微分方程式，常常為了求出一簡單的解而耗時甚久。Maple這個數學軟體計對此狀況，提供了整合性的解方程式的函數，讓您在面對一般形式之方程式時，可以很快求得適當解，至於較複雜的形式，則可以數值方法來求出。常見的解方程式則有解代數方程式（Algebraic equations）、不可解之方程式（Insoluble equations）、超越方程式（Tran-scendental equations）、微分方程式（Differential equations）、常微分方程式之數值解（The numeric solution of ODE）。