科学软件网专注提供科研软件。截止目前,共代理千余款,软件涵盖各个学科。除了软件,科学软件网还提供课程,包含34款软件,66门课程。热门软件有:spss,stata,gams,sas,minitab,matlab,mathematica,lingo,hydrus,gms,pscad,mplus,tableau,eviews,nvivo,gtap,sequncher,simca等等。
通用代数建模系统(GAMS)是数学编程和优化的高级建模系统。它由一个语言编译器和一个稳定的集成各种高性能的求解器组成。GAMS适用于复杂的、大规模的建模应用,并允许您创建大的维护模型以很快的适应新的情况。
独立的模型和求解器
提供超过25个广泛和多样化的求解器组合,包括所有预期的商业化求解器。
LP/MIP/QCP/MIQCP: CPLEX, GUROBI, MOSEK, XPRESS
NLP: CONOPT, IPOPTH, KNITRO, MINOS, SNOPT
MINLP: ALPHAECP, ANTIGONE, BARON, DICOPT, OQNLP, SBB
混合互补问题求解器(MCP)、平衡约束数学规划求解器(MPEC)和约束非线性系统求解器(CNS)
免费捆绑到每个GAMS系统中的 (比如 BONMIN (MINLP), CBC (LP, MIP), COUENNE (MINLP), IPOPT (NLP)。教育版还包括了SCIP和SOPLEX。
选择使用的求解器非常简单---只要改变一行代码或者调整一个选项设置就可以了。想要比较求解器的性能或者看有什么改进的可能,也不需要做任何的设置。同样的,模型类型可以轻松切换(比如:线性和非线性),尝试不同的公式也非常的容易。通过使用GAMS,您可以得到一个广泛类型的模型和求解器的环境。
独立的模型和数据
你可以编写独立的模型数据,包括各种不同来源的数据,从ASCII到Excel或者Access 以及其他各种来源。比如使用GDX(GAMS数据交换)文件格式。GDX文件可以保存一个或多个GAMS符号的值,比如集、参数变量和方程。GDX文件可以为GAMS模型准备数据、展示GAMS模型的结果、使用不同的参数为这同一个模型保存结果等。GDX文件不能保存一个模型的公式或者执行语句。GDX文件二进制文件,可在不同平台进行移植。
CyBio调度器-用于高通量筛选调度软件
高通量筛选是一种广泛应用于药物研究特别是在药物发现领域的科学实验方法。因为大量有前景的新药难以用人工分析,筛选过程是使用机器人自动化的。自动筛选系统用来处理含有化合物的微孔板。这些自动筛选系统可以在给定的一组微板上执行一系列任务和实验(称为检测方案)并生成实验数据。
CyBio在2009年并入到Analytik Jena AG中,马克斯普朗克研究所马格德堡开发了利用GAMS的优化方法来增加机器人筛选系统的产量。GAMS驱动检测方法的优化极大地提高了高通量筛选系统的生产速度并改进了实验数据的质量。
问题
GAMS的分析优化是CyBio调度器的一个不可或缺的部分,在这之前,只有专家能够修改时间以提高吞吐量。这种方法只适用于相对较小的试验而且是一项需要数小时来专注工作的任务。随着检测协议的日益复杂,这项任务现在已经远远超出了人类所能处理的范围。
另一个常见问题是一个代数模型描述筛选系统以减少空闲时间为重点之前,筛选系统利用关键资源方面效率底下。由于沉积、衰变或温度漂移,化合物的闲置时间也会导致实验数据的系统误差。
设置
CyBio Scheduler的中心部分是用GAMS编写的代数模型.它描述了一种让所有部件空闲时间最小化的筛查系统从而保证关键资源的最有效利用。可以使用多个资源来完成不同的任务,因此,筛选系统可以同时使用其他闲置设备来处理大量的微板。短而直接的微板促进资源高效利用,从而提高了生产效率。该模型在协调资源访问时避免了冲突,并确保所得到的调度是未锁定的。
许多制约是系统固有的,比如有限的临时存储或不能同时使用的资源和必须进行访问的资源。某些制约因素是特定于分析的。通常,用户定义了潜伏期的目标时间,包括上下边界,或者特定事件之间的最大时间间隔。因此,例如,复合添加和测量之间的时间可能是有限的。分析定义和这些制约创建了一个分离不等式系统。
由于严格的时间要求,微板在每个周期都遵循相同的进程。快速而均匀的微板处理与CyBio调度器减少了沉积、衰减或温度漂移所带来的系统误差,这是很难量化的。因此,增加的吞吐量不仅减少了每个实验的投资,而且还改善了数据质量。
用户友好性
用户可以从系统布局决策中解脱出来,并可以专注于实验。随着GAMS模型在后台运行,CyBio Scheduler着重于提供一个简单且方便的用户体验。它隐藏了将分析协议映射到当前系统设计的复杂性并且为目标找到全局最优解,以最小化循环时间。
用户可以从系统布局决策中解脱出来,并且可以专注于这个实验。CyBio Scheduler可以在它们需要的地方自动插入微板传输,解决资源分配冲突的问题,允许潜伏并且可以轻松的指定。根据独立任务的数量、涉及的组件和约束,所生成的模型可能相当复杂。最优解通常计算得足够快,才可以让用户验证是否可以放松某些约束,以便得出更好的结果。
提供超过25个广泛和多样化的求解器组合,包括所有预期的商业化求解器。
● LP/MIP/QCP/MIQCP: CPLEX, GUROBI, MOSEK, XPRESS
● NLP: CONOPT, IPOPTH, KNITRO, MINOS, SNOPT
● MINLP: ALPHAECP, ANTIGONE, BARON, DICOPT, OQNLP, SBB
● 混合互补问题求解器(MCP)、平衡约束数学规划求解器(MPEC)和约束非线性系统求解器(CNS)
● 免费捆绑到每个GAMS系统中的 (比如 BONMIN (MINLP), CBC (LP, MIP), COUENNE (MINLP), IPOPT (NLP)。教
育版还包括了SCIP和SOPLEX。
通用代数建模系统(GAMS)是数学编程和优化的高级建模系统。它由一个语言编译器和一个稳定的集成各种高性能的求解器组成。GAMS适用于复杂的、大规模的建模应用,并允许您创建大的维护模型以很快的适应新的情况。
独立的模型和数据
你可以编写独立的模型数据,包括各种不同来源的数据,从ASCII到Excel或者Access 以及其他各种来源。比如使用GDX(GAMS数据交换)文件格式。GDX文件可以保存一个或多个GAMS符号的值,比如集、参数变量和方程。GDX文件可以为GAMS模型准备数据、展示GAMS模型的结果、使用不同的参数为这同一个模型保存结果等。GDX文件不能保存一个模型的公式或者执行语句。GDX文件二进制文件,可在不同平台进行移植。
独立的模型和平台
模型在平台间是完全可移植的---写一次,可以在任意地方运行。
GAMS可以在Windows, Linux, Mac OS X, SOLARIS, Sparc Solaris和 IBM Power AIX上运行。