SBIR Phase I: Unified and Intuitive Modeling Software for Non-Traditional Optimization

这个小企业创新研究（SBIR）第一阶段项目将解决支持大规模优化模型的挑战，这些模型最自然地由非数值和其他非传统形式的目标和约束表示。基于项目团队在设计、实施和营销更传统的优化建模软件方面的经验，该项目将解决统一方法的可行性，该方法使一种自然而方便的建模语言能够支持各种非传统模型形式和求解器类型。除了考虑语言扩展的设计外，该研究还将解决为不同的求解器创建接口的问题，特别是当它涉及到自动化问题检测和转换的问题时。预期的结果是一个原型优化建模语言，这将减轻当前系统的挫折感，并鼓励实验与更广泛的各种解决方案的方法。优化已越来越成为一个既定的范例，在整个科学，工程和商业现象建模。设想的新产品将通过提高优化建模语言的能力来解决重要的客户需求，从而以建模人员最自然的方式描述和生成问题。

This Small Business Innovation Research (SBIR) Phase I project will address the challenges of supporting large-scale optimization models that are most naturally represented by nonnumerical and other nontraditional forms of objectives and constraints. Building on the project team's experience in designing, implementing, and marketing more traditional optimization modeling software, the project will address the feasibility of a unified approach that enables one natural and convenient modeling language to support a broad variety of nontraditional model forms and solver types. In addition to considering the design of language extensions, the research will address the creation of interfaces for diverse solvers, particularly as it relates to issues of automated problem detection and conversion. The expected outcome is a prototype optimization modeling language that will alleviate frustrations with current systems and encourage experimentation with a broader variety of solution methods.Optimization has increasingly become an established paradigm for modeling of phenomena throughout science, engineering, and business. The new product envisioned will address a significant customer need by advancing the ability of optimization modeling languages to describe and generate problems in the ways that are most natural to modelers.