会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • TRANSPARENT PARALLELISM AMONG LINEAR SOLVERS
    • 线性解决方案中的透明并行列表
    • US20100169257A1
    • 2010-07-01
    • US12345060
    • 2008-12-29
    • Min WeiAlexander Sasha StojanovicDavid Lao
    • Min WeiAlexander Sasha StojanovicDavid Lao
    • G06F17/11G06N5/02
    • G06F17/11
    • A model, which defines a mathematical problem, and multiple directives may be received. Each of the multiple directives may be mapped to a respective linear solver instance. The linear solver instances may be launched to execute in parallel. Each of the linear solver instances may use either a primal or a dual algorithm and may further use double arithmetic, exact arithmetic, or hybrid arithmetic, as specified by corresponding ones of the multiple directives. A linear solver instance that uses hybrid arithmetic may start by using double arithmetic and may use exact arithmetic after experiencing a numerical difficulty. After the numerical difficulty is resolved, the linear solver instance that uses hybrid arithmetic may restart and continue to solve the mathematical problem using double arithmetic. After one of the linear solver instances finds an optimal solution, others of the linear solver instances may be stopped and a report may be provided.
    • 可以接收定义数学问题的模型和多个指令。 多个伪指令中的每一个可以被映射到相应的线性求解器实例。 可以启动线性求解器实例并行执行。 每个线性求解器实例可以使用原始算法或双重算法,并且可以进一步使用由多个指令中的相应指令指定的双运算,精确算术或混合运算。 使用混合算术的线性求解器实例可以通过使用双运算来开始,并且可能在遇到数值难题之后使用精确算术。 数值难题解决后,使用混合算法的线性求解器实例可以重新启动,并继续使用双重算法解决数学问题。 在线性求解器实例中的一个找到最优解之后,可以停止线性求解器实例中的其他实例,并且可以提供报告。
    • 2. 发明申请
    • FRAMEWORK FOR INTEROPERABILITY OF SOLVERS
    • 解决方案互操作性框架
    • US20100161289A1
    • 2010-06-24
    • US12338159
    • 2008-12-18
    • Alexander Sasha StojanovicMin Wei
    • Alexander Sasha StojanovicMin Wei
    • G06F17/12G06F17/11G06F9/44
    • G06F17/10G06F8/51
    • A framework may be provided for facilitating adoption of mathematical and logical solvers. A model, representing a problem, may be defined. The model may be defined: via a series of statements in a type safe common-language-specification compliant modeling language; via an intermediate format; or via a series of calls to a standardized application program interface. The framework may translate the defined model to an intermediate format, which many solvers may understand. The framework may provide a number of solver-related services including, but not limited to, services for creating a model, analyzing a model, selecting a well-suited solver based on analysis of a model, decomposing a model into multiple sub-models and providing the multiple sub-models to multiple solvers as multiple parallel threads, data binding, simulation, and post optimality analysis.
    • 可以提供框架以便于采用数学和逻辑解算器。 可以定义代表问题的模型。 该模型可以被定义:通过一系列语言的类型安全的通用语言规范兼容的建模语言; 通过中间格式; 或通过一系列对标准化应用程序接口的调用。 框架可以将定义的模型转换为中间格式,许多解算器可以理解。 该框架可以提供许多解算器相关服务,包括但不限于用于创建模型的服务,分析模型,基于模型分析选择合适的求解器,将模型分解为多个子模型,以及 将多个子模型提供给多个解算器作为多个并行线程,数据绑定,模拟和后期最优分析。
    • 3. 发明授权
    • Framework for interoperability of solvers
    • 求解器互操作框架
    • US08266601B2
    • 2012-09-11
    • US12338159
    • 2008-12-18
    • Alexander Sasha StojanovicMin Wei
    • Alexander Sasha StojanovicMin Wei
    • G06F9/45
    • G06F17/10G06F8/51
    • A framework may be provided for facilitating adoption of mathematical and logical solvers. A model, representing a problem, may be defined. The model may be defined: via a series of statements in a type safe common-language-specification compliant modeling language; via an intermediate format; or via a series of calls to a standardized application program interface. The framework may translate the defined model to an intermediate format, which many solvers may understand. The framework may provide a number of solver-related services including, but not limited to, services for creating a model, analyzing a model, selecting a well-suited solver based on analysis of a model, decomposing a model into multiple sub-models and providing the multiple sub-models to multiple solvers as multiple parallel threads, data binding, simulation, and post optimality analysis.
    • 可以提供框架以便于采用数学和逻辑解算器。 可以定义代表问题的模型。 该模型可以被定义:通过一系列语言的类型安全的通用语言规范兼容的建模语言; 通过中间格式; 或通过一系列对标准化应用程序接口的调用。 框架可以将定义的模型转换为中间格式,许多解算器可以理解。 该框架可以提供许多解算器相关服务,包括但不限于用于创建模型的服务,分析模型,基于模型分析选择合适的求解器,将模型分解为多个子模型,以及 将多个子模型提供给多个解算器作为多个并行线程,数据绑定,模拟和后期最优分析。
    • 4. 发明授权
    • Transparent parallelism among linear solvers
    • 线性求解器之间的透明平行度
    • US08150789B2
    • 2012-04-03
    • US12345060
    • 2008-12-29
    • Min WeiAlexander Sasha StojanovicDavid Lao
    • Min WeiAlexander Sasha StojanovicDavid Lao
    • G06F17/00G06N5/02
    • G06F17/11
    • A model, which defines a mathematical problem, and multiple directives may be received. Each of the multiple directives may be mapped to a respective linear solver instance. The linear solver instances may be launched to execute in parallel. Each of the linear solver instances may use either a primal or a dual algorithm and may further use double arithmetic, exact arithmetic, or hybrid arithmetic, as specified by corresponding ones of the multiple directives. A linear solver instance that uses hybrid arithmetic may start by using double arithmetic and may use exact arithmetic after experiencing a numerical difficulty. After the numerical difficulty is resolved, the linear solver instance that uses hybrid arithmetic may restart and continue to solve the mathematical problem using double arithmetic. After one of the linear solver instances finds an optimal solution, others of the linear solver instances may be stopped and a report may be provided.
    • 可以接收定义数学问题的模型和多个指令。 多个伪指令中的每一个可以被映射到相应的线性求解器实例。 可以启动线性求解器实例并行执行。 每个线性求解器实例可以使用原始算法或双重算法,并且可以进一步使用由多个指令中的相应指令指定的双运算,精确算术或混合运算。 使用混合算术的线性求解器实例可以通过使用双运算来开始,并且可能在遇到数值难题之后使用精确算术。 数值难题解决后,使用混合算法的线性求解器实例可以重新启动,并继续使用双重算法解决数学问题。 在线性求解器实例中的一个找到最优解之后,可以停止线性求解器实例中的其他实例,并且可以提供报告。