产品详细介绍请登录 中国科学软件网 了解更多Lingo软件信息和报价。Lingo和 Lindo 是美国 Lindo 系统公司开发的一套专门用于求解最优化问题的软件包。Lindo 用于求解线性规划和二次规划问题,Lingo 除了具有 Lindo 的全部功能外,还可以用于求解非线性规划问题,也可以用于一些线性和非线性方程(组)的求解,等等。Lingo 实际上还是最优化问题的一种建模语言,包括许多常用的函数可供使用者建立优化模型时调用,并提供与其他数据文件（如文本文件、Excel电子表格文件、数据库文件等）的接口,易于方便地输入、求解和分析大规模最优化问题。 由于这些特点,Lindo系统公司的线性、非线性和整数规划求解程序已经被全世界数千万的公司用来做最大化利润和最小化成本的分析。应用的范围包含生产线规划、运输、财务金融、投资分配、资本预算、混合排程、库存管理、资源配置等等... Lingo/Lindo 软件作为著名的专业优化软件，其功能比较强、计算效果比较好，与那些包含部分优化功能的非专业软件相比，通常具有明显的优势。Lingo和 Lindo 软件的最大特色在于可以允许优化模型中的决策变量是整数（即整数规划）,而且执行速度很快。此外，Lindo/Lingo 软件使用起来非常简便，很容易学会，在优化软件（尤其是运行于个人电脑上的优化软件）市场占有很大份额，在国外运筹学类的教科书中也被广泛用做教学软件。 Lingo Lingo 是使建立和求解线性、非线性和整数最佳化模型更快更简单更有效率的综合工具。Lingo 提供强大的语言和快速的求解引擎来阐述和求解最佳化模型。 简单的模型表示 Lingo 可以将线性、非线性和整数问题迅速得予以公式表示，并且容易阅读、了解和修改。 方便的数据输入和输出选择 Lingo 建立的模型可以直接从数据库或工作表获取资料。同样地，Lingo 可以将求解结果直接输出到数据库或工作表。 强大的求解引擎 Lingo 内建的求解引擎有线性、非线性(convex and nonconvex)、二次、二次限制和整数最佳化。 Model Interactively or Create Turn-key Applications Lingo 提供完全互动的环境供您建立、求解和分析模型。Lingo 也提供 DLL 和 OLE 界面可供使用者由撰写的程序中呼叫。 广泛的文件和 HELP 功能 Lingo 提供的所有工具和文件可使你迅速入门和上手。Lingo 使用者手册有详细的功能定义。 LINGO版本及说明 名词解释 1. Barrier：内生法优化的选项，主要用于线性优化中，解决大规模运算的问题。比常用的单纯形算法的运算速度要快得多。同时也可用于求解二次规划约束的优化。 2．Non-linear：基于广义既约梯度算法的非线性优化的选项。主要用于非线性优化，比常用的顺序逼近线性规划算法的速度要快得多。 3．Global：提供全局最优解的选项。主要用于非线性优化的求解。一般的算法只能获得局部最优解。这个选项可以通过多起始点的方式，通过划分凸规划，调用分支定界管理程序，从多个局部最优解中确定全局最优解。 （不能单独使用，必须与Non-linear 选项同时使用。） LINGO 单机版 说明：单机版仅限单机使用。以约束数、总变量数、整数变量数的不同分为Hyper、Industrial、Extended 3个版本。可应用于小型科学研究和数学建模，版本不同，计算变量数限制不同。如需计算非线性规划运算，提高运算速度（提高300%以上），我们建议配备Barrier（解决大规模运算）、Nonlinear（解决非线性规划运算）、Global（解决非线性全局优化运算）三个选项。Global选项需要与Nonlinear选项同时安装。 LINGO 单机版 （单机版产品只被允许安装在1台电脑上使用） 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited LINGO 网络版 （网络版产品无用户端口数限制。） 版本 Constraints Variables Integers Nonlinear Global 约束数 总变量数 整数变量数 变量 变量 Super 1000 2000 200 200 10 Hyper 4000 8000 800 800 20 Industrial 16000 32000 3200 3200 50 Extended unlimited unlimited unlimited unlimited unlimited 说明：需安装在网络环境下，对用户数无限制。以约束数、总变量数、整数变量数的不同分为Super、Hyper、Industrial、Extended 4个版本。

产品详细介绍请登录 中国科学软件网，了解GAMS软件报价和介绍信息。通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问题特别有帮助.GAMS可以运行在个人计算机、工作站、大型机和超级计算机上.GAMS允许使用者通过制定简单的设置来把精力放在建模问题上.至于特定机器和系统软件执行的费时的细节将由GAMS系统来处理.GAMS对于处理大型的,复杂的,需要多次修订才能最终确定精确模型的独一无二的问题特别有帮助.系统以高 度简洁和自然的方式来建模问题.使用者能够快速和方便的更改公式,能从一个求解器转到另一个,甚至稍加费心就能从线性转换到非线性.GAMS让使用者把精力集中到建模上.通过排除考虑纯技术上的机器特定的问题的需要,比如地址计算,存储分配,子程序链接,和输入输出和流程控制,GAMS增加了用于概念化和运行模型,和分析结果的时间.GAMS本身构建了良好的建模习惯,通过请求简明而精确的实体和关系的规范.GAMS语言形式上和通常使用的编程语言相似.因此对于那些有编程检验的使用者将非常熟悉.使用GAMS,数据仅仅需要一次就能在熟悉的列表和表格形式中输入.模型以简练的代数声明来描述,对于人和机器都很容易读懂.非常相关的约束的整个集合都被输入到一个声明中.GAMS自动生成每个约束等式,并让使用者处理例外情况,假使那里一般来说是不需要的.在模型中的声明能够被重用,而不需要更改代数式,当其它的实例是相同的或出现了相关问题.错误的位置和类型会在尝试解决方案前被查明.GAMS处理动态模型,包括时间序列,滞后,及暂时终点的提示和处理.GAMS是灵活而强大的.模型可以非常方便的从一个计算机平台移到另外一个,只要GAMS已经在每个平台被安装好.GAMS很容易进行敏感度分析.使用者能够方便的规划模型来求解一个成分的不同值,然后生成一个输出报告,列出了每种情况的解决方案特征.模型能够同时被开发和文档化,因为GAMS允许使用者包含解释性的文本来作为任意符号和等式的定义和解释.GAMS不断的在被增强和扩展.2.25版本包含了多个语言扩展,例如在一个循环中的SOLVE声明,INCLUDE声明,IF-ELSE声明,和使用PUT声明进行报告编写的功能.其它的加强包括增加的系统集成特征,性能改善,新的子系统,和另外的计算机平台支持.当前版本2.50包括一个基于Intel Windows平台(95/98/ME和NT/2K/XP)的集成开发环境(IDE).GAMS 2.50的新的分发包含新的语言特征和新发表的全新/更新的求解器,一年至少4次.请检查版本声明.示例： 从著名的1963书(由George Dantzig编写)中提取的一个运输问题,用来描述GAMS的有效性.这个模型只是模型库中的部分,模型库中还包含了大量的完整GAMS模型. 支持模型的类型： GAMS模型类型包括LP,MIP和NLPs的不同形式.这里列出了GAMS支持的所有的模型类型. GAMS 的发展背景 GAMS 是"General Algebraic Modeling System"（一般性代数仿真系统）的缩写，最早是由美国的世界银行(World Bank)的 Meeraus 和 Brooke [Brooke, Kendrickm and Meeraus, 1992]所发展。"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)算法。 GAMS 使用范例说明 如前所述，GAMS 本身有非常完整的英文版使用者手册，GAMS 的计算机软件中也附带了许多学习范例的档案。这里所作的 GAMS 使用范例说明，目的绝非在取代原版的使用者手册，而是要配合本课程说明的形式，重新编写使用范例输入文件，使读者能很快的进入情况，了解其使用程序。 GAMS 的操作大抵可分为三个步骤：建立 GAMS 输入文件，执行 GAMS 程序，检视 GAMS 输出档内容。 购买一套全模块的 Base licence 包括： 光盘 一片 The Solver Manuals  (574  pages) A User’s Guide  ( 259 pages) MPSGE Guide(175 pages + Appendix) 注：GAMS试用版对变量个数有限制 Without a valid GAMS license the system will operate as a free demo system with these limitations: Model limits: Number of constraints and variables: 300 Number of nonzero elements: 2000 (of which 1000 nonlinear) Number of discrete variables: 50 (including semi continuous, semi integer and member of SOS-Sets) Global solver limits: Number of constraints and variables: 10

产品详细介绍 智学网是科大讯飞面向新高考、新课改需求推出的大数据个性化教与学系统。系统基于科大讯飞全球领先的人工智能核心技术，通过全场景过程性动态数据采集，挖掘数据价值，提升学校备教改辅研管的精准性及学生自主学习的有效性，并支持家校互联，帮助家长实时了解学生学情。目前，智学网已在全国30余个省级行政单位，230个地市12000余所学校广泛应用，其中涵盖华东师大二附、人大附、衡水中学、雅礼实验等超过半数的百强校，受益师生超过1500万。 核心特色 数据采集宽度 采用融合了网阅分数公平性带来的教学评价价值与手阅批改留痕带来的学业辅导价值的方法，实现对日常随堂测验、年级阶段性考试、校际联考的过程性学业数据的采集，系统自动适配新高考分层走班，可实现跨校联考分析价值。 人工智能高度 系统融合科大讯飞手写识别和自然语言理解等核心技术，可以实现中英文作文自动评分及智能批改，帮助老师减负增效。 自主学习厚度 满足个性需求、实现智能导航学习，切入教学主流程，教师发起、学生自主，少做题、做好题、做对题，知识点学习无死角无遗漏。 评价分析深度 系统自动生成以学习者为核心的15个模块，80多项指标的学业分析报告，平均月度提供报告800万份。 资源生态广度 构建了国内唯一基于真实考试大数据精细化标注的题库，同时融合了菁优网、英语周报等优质教辅资源，并与名校达成深度合作，形成了势能最强的生态资源服务体系。 产品构成 通过大数据、人工智能+教育，全面提升备教改辅研管精准性及学生自主学习有效性

产品详细介绍