GENERATING A SET OF SOLUTIONS TO A MULTI-OBJECTIVE PROBLEM
    31.
    发明公开
    GENERATING A SET OF SOLUTIONS TO A MULTI-OBJECTIVE PROBLEM 审中-公开
    解决方案的许多用于发往多个目的地的一个问题CREATION

    公开(公告)号:EP2497035A1

    公开(公告)日:2012-09-12

    申请号:EP10776406.0

    申请日:2010-11-05

    申请人: BAE Systems Plc

    CPC分类号: G06F17/11 G01C21/3446

    摘要: A method of generating a set of solutions to a route-planning problem includes iteratively applying a Probability Collective (PC) method, each iteration including sampling from a probability distribution defined over a set of decision variables relating to a route-planning problem and using an archive set of decision variables and a set of the sampled decision variables to update the probability distribution for use in a subsequent said PC method iteration. A set of solutions, each of the solutions including at least one said decision variable with an associated objective function result evaluated by the PC method iterations, is output (214).

    METHOD FOR MEASURING THE INCIDENCE OF HOSPITAL ACQUIRED INFECTIONS
    32.
    发明公开
    METHOD FOR MEASURING THE INCIDENCE OF HOSPITAL ACQUIRED INFECTIONS 有权
    法测量医院感染BEKOMMENEN的频率

    公开(公告)号:EP1782310A4

    公开(公告)日:2012-03-28

    申请号:EP05777178

    申请日:2005-07-27

    IPC分类号: G06F17/11 A61K9/00 G06F19/00

    摘要: Disclosed is a method and system for analyzing patient hospitalization data to determine a Nosocomial Infection Marker (NIM), the method comprising receiving from a database hospitalization data associated with at least one patient, calculating from the hospitalization data the number of specimens with non-duplicate hospital isolates (SNDHI) markers, calculating from the hospitalization data antibiotic utilization criteria (AUC) markers, and determining the nosocomial infection marker (NIM) for each patient, based upon the calculated SNDHI and AUC markers.

    摘要翻译: 公开了一种用于患者住院数据分析确定性矿的方法和系统中的医院感染标记(NIM),所述方法包括从与至少一个患者相关联的数据库住院数据接收,从住院数据计算的与非重复的试样的数量 医院分离株(SNDHI)标记物,从住院数据抗生素利用标准计算(AUC)标记物,和确定性采矿医院感染标志物(NIM)对于每个患者,基于计算SNDHI和AUC标记。

    Generating a set of solutions to a multi-objective problem
    34.
    发明公开
    Generating a set of solutions to a multi-objective problem 审中-公开
    生成一套解决方案与多目标的问题

    公开(公告)号:EP2320332A1

    公开(公告)日:2011-05-11

    申请号:EP09275105.6

    申请日:2009-11-05

    申请人: BAE Systems PLC

    摘要: A method of generating a set of solutions to a route-planning problem includes iteratively applying a Probability Collective (PC) method, each iteration including sampling from a probability distribution defined over a set of decision variables relating to a route-planning problem and using an archive set of decision variables and a set of the sampled decision variables to update the probability distribution for use in a subsequent said PC method iteration. A set of solutions, each of the solutions including at least one said decision variable with an associated objective function result evaluated by the PC method iterations, is output (214).

    摘要翻译: 产生一组解决方案的一种路线规划的方法解决问题的包括迭代地应用一个概率集体(PC)的方法,每一次迭代包括来自与一路线规划问题和使用上的一组决策变量的定义的概率分布采样 存档组决策变量和一组被采样的决策变量的更新用于在随后的所述PC迭代方法中使用的概率分布。 一组解,每个解包括与由PC方法迭代评估相关联的目标functionResult至少一个所述决策变量的,是输出(214)。

    Method for solving minimax and linear programming problems
    36.
    发明公开
    Method for solving minimax and linear programming problems 审中-公开
    Verfahren zurLösungvon Minimax- und linearen Programmierproblemen

    公开(公告)号:EP2071473A2

    公开(公告)日:2009-06-17

    申请号:EP08019504.3

    申请日:2008-11-07

    IPC分类号: G06F17/11

    CPC分类号: G06F17/11 H04L47/823

    摘要: A novel method is disclosed for efficiently solving minimax problems, and in particular, for efficiently solving minimax problems wherein the corresponding matrix is large. In particular, the novel method solves minimax problems in O(n 2 T) operation count, where denotes the problem size and T is reversely proportional to the required duality gap as one skilled in the art will understand, Further disclosed herein is a method for solving linear programming (LP) problems by converting such problems into minimax problems, and then using the novel minimax solution method disclosed herein.

    摘要翻译: 公开了一种新颖的方法来有效地解决最小问题,特别是为了有效地解决相应矩阵很大的最小问题。 特别地,该新颖的方法解决了O(n 2 T)运算计数中的极小问题,其中表示问题大小,T与本领域技术人员将理解的所需对偶差距成反比。 通过将这些问题转化为最小问题来解决线性规划(LP)问题,然后使用本文所公开的新型极小值解决方法。

    METHODS AND SYSTEMS FOR ESTIMATING THE MELTING TEMPERATURE (Tm) FOR POLYNUCLEOTIDE MOLECULES
    37.
    发明授权
    METHODS AND SYSTEMS FOR ESTIMATING THE MELTING TEMPERATURE (Tm) FOR POLYNUCLEOTIDE MOLECULES 有权
    METHOD AND SYSTEM FOR FOR多核苷酸估算的熔融温度(T M)

    公开(公告)号:EP1543438B1

    公开(公告)日:2009-05-06

    申请号:EP03754518.3

    申请日:2003-09-12

    摘要: The invention relates to methods and systems for predicting or estimating the melting temperature of duplex nucleic acids, particularly duplexes of oligonucleotides which may be used, for example, as primers or probes in PCR and/or hybridization assays. The invention also relates to methods and systems for designing and selecting oligonucleotide probes and primers having a predicted melting temperature which is optimized for such assays. To this end, algorithms and methods are provided for predicting the melting temperature of a nucleic acid having a predetermined sequence. These methods and algorithms estimate the melting temperature of a nucleic acid duplex under particular salt conditions. The methods and algorithms use novel formulas, having terms and coefficients that are functions of the particular nucleotide sequence, to estimate the effect of particular salt conditions on the melting temperature. As such, the methods and systems of the invention provide superior result compared to existing methods, which do not consider sequence dependent effects of changing salt conditions. ­

    Quantified boolean formula (QBF) solver
    39.
    发明公开
    Quantified boolean formula (QBF) solver 审中-公开
    LösungsprogrammfürQuantifizierte Boolesche Formel(QBF)

    公开(公告)号:EP1681633A2

    公开(公告)日:2006-07-19

    申请号:EP05112489.9

    申请日:2005-12-20

    IPC分类号: G06F17/11

    CPC分类号: G06F17/504 G06F17/11

    摘要: Quantified Boolean formula (QBF) techniques are used in determining QBF satisfiability. A QBF is broken into component parts that are analyzable by a satisfiability (SAT) solver. Each component is then independently, and perhaps in parallel, analyzed for satisfiability. If a component is unsatisfiable, then it is determined that the QBF is unsatisfiable, and the analysis is stopped. If a component is satisfiable, then an assignment corresponding to the satisfiable component is noted. If a component is satisfiable, then it is appended to another untested component to provide a combination component, and the satisfiability of the combination component is analyzed. Such appending and analysis is repeated until the QBF is completed and determined to be satisfiable or determined to be unsatisfiable.

    摘要翻译: 量化布尔公式(QBF)技术用于确定QBF可满足性。 QBF被分解成可满足性(SAT)求解器可分析的组件。 然后分析每个组件可以并行地分析可满足性。 如果组件不能令人满意,则确定QBF不能令人满意,并且分析停止。 如果组件是可满足的,则记录对应于可满足组件的分配。 如果组件满足,则将其附加到另一未测试组件以提供组合组件,并分析组合组件的可满足性。 这样的附加和分析被重复,直到QBF完成并确定为可满足或确定为不能令人满意。