会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 7. 发明申请
    • 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.
    • 可以接收定义数学问题的模型和多个指令。 多个伪指令中的每一个可以被映射到相应的线性求解器实例。 可以启动线性求解器实例并行执行。 每个线性求解器实例可以使用原始算法或双重算法,并且可以进一步使用由多个指令中的相应指令指定的双运算,精确算术或混合运算。 使用混合算术的线性求解器实例可以通过使用双运算来开始,并且可能在遇到数值难题之后使用精确算术。 数值难题解决后,使用混合算法的线性求解器实例可以重新启动,并继续使用双重算法解决数学问题。 在线性求解器实例中的一个找到最优解之后,可以停止线性求解器实例中的其他实例,并且可以提供报告。
    • 8. 发明授权
    • 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.
    • 可以接收定义数学问题的模型和多个指令。 多个伪指令中的每一个可以被映射到相应的线性求解器实例。 可以启动线性求解器实例并行执行。 每个线性求解器实例可以使用原始算法或双重算法,并且可以进一步使用由多个指令中的相应指令指定的双运算,精确算术或混合运算。 使用混合算术的线性求解器实例可以通过使用双运算来开始,并且可能在遇到数值难题之后使用精确算术。 数值难题解决后,使用混合算法的线性求解器实例可以重新启动,并继续使用双重算法解决数学问题。 在线性求解器实例中的一个找到最优解之后,可以停止线性求解器实例中的其他实例,并且可以提供报告。
    • 9. 发明申请
    • 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.
    • 可以提供框架以便于采用数学和逻辑解算器。 可以定义代表问题的模型。 该模型可以被定义:通过一系列语言的类型安全的通用语言规范兼容的建模语言; 通过中间格式; 或通过一系列对标准化应用程序接口的调用。 框架可以将定义的模型转换为中间格式,许多解算器可以理解。 该框架可以提供许多解算器相关服务,包括但不限于用于创建模型的服务,分析模型,基于模型分析选择合适的求解器,将模型分解为多个子模型,以及 将多个子模型提供给多个解算器作为多个并行线程,数据绑定,模拟和后期最优分析。
    • 10. 发明申请
    • CONTEXTUAL REPRESENTATIONS FROM DATA STREAMS
    • 数据流的背景表示
    • US20100169318A1
    • 2010-07-01
    • US12345714
    • 2008-12-30
    • Donald ThompsonAlexander Sasha StojanovicAlexander Kolmykov-Zotov
    • Donald ThompsonAlexander Sasha StojanovicAlexander Kolmykov-Zotov
    • G06F17/30
    • G06F16/957
    • A user's experience with internet content may be given semantic meaning based upon extracting features of the content and creating kind classifications from the features. Kind classifications may be used to enrich a user's experience with internet content by providing meaningful navigation and discovery of information. As provided herein, a data stream (e.g., HTML, audio, video, unstructured data, etc.) is received, and features (e.g., text, phrases, titles, paragraphs, image data, etc.) may be extracted from the data stream. Kind classifications may be created based upon the extracted features. For example, a shirt image kind classification may be created based upon a button image feature, a collar image feature, and a sleeve image feature. The user's experience may be enriched by a presentation of actions allowing the user to view similar shirts, purchase the shirt, and/or discover other information relating to the shirt, for example.
    • 基于提取内容的特征并从特征创建种类分类,用户对因特网内容的体验可以被赋予语义意义。 通过提供有意义的导航和信息发现,可以使用种类分类来丰富用户的互联网内容体验。 如本文所提供的,接收数据流(例如,HTML,音频,视频,非结构化数据等),并且可以从数据中提取特征(例如,文本,短语,标题,段落,图像数据等) 流。 可以基于提取的特征来创建种类分类。 例如,可以基于按钮图像特征,衣领图像特征和袖子图像特征来创建衬衫图像种类分类。 例如,用户的体验可以通过允许用户查看类似的衬衫,购买衬衫和/或发现与衬衫相关的其他信息的动作的呈现来丰富。