公开(公告)号：US09805088B2

公开(公告)日：2017-10-31

申请号：US15067737

申请日：2016-03-11

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F17/30

CPC classification number: G06F17/30371 ,  G06F17/30353 ,  G06F17/30377 ,  G06F17/30575

Abstract: Efficient processing of concurrent atomic transactions is provided by identifying the constraints that need to be satisfied for correct application behavior. With these constraints identified, commit processing for a transaction can then refer to the constraints to see if committing the current transaction causes a problem with the constraints. If there is a conflict with the constraints, the transaction aborts. If there is no conflict with the constraints, the transaction commits.

公开(公告)号：US20160292212A1

公开(公告)日：2016-10-06

申请号：US15067737

申请日：2016-03-11

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F17/30

CPC classification number: G06F17/30371 ,  G06F17/30353 ,  G06F17/30377 ,  G06F17/30575

Abstract: Efficient processing of concurrent atomic transactions is provided by identifying the constraints that need to be satisfied for correct application behavior. With these constraints identified, commit processing for a transaction can then refer to the constraints to see if committing the current transaction causes a problem with the constraints. If there is a conflict with the constraints, the transaction aborts. If there is no conflict with the constraints, the transaction commits.

Abstract translation: 通过识别需要满足正确应用行为的约束来提供并发原子事务的高效处理。 通过识别这些约束，事务的提交处理可以引用约束来查看提交当前事务是否导致约束的问题。 如果与约束有冲突，则事务中止。 如果与约束没有冲突，则事务提交。

公开(公告)号：US20160124729A1

公开(公告)日：2016-05-05

申请号：US14842479

申请日：2015-09-01

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F9/45

CPC classification number: G06F8/443 ,  G06F8/51

Abstract: Simplified handling of dynamic collections having a variable number of elements at run time is achieved by providing for specification of collective properties of dynamic collections by a programmer. Such collective properties are distinct from type-member properties of the collection that follow from the types and type qualifiers of its members. Preferably, such dynamic collections are attributes (i.e., members) of an application defined type.

Abstract translation: 通过为程序员提供动态集合的集体属性的规范来实现在运行时具有可变数量的元素的动态集合的简化处理。 这种集体属性与其成员的类型和类型限定符之后的集合的类型成员属性不同。 优选地，这样的动态集合是应用定义类型的属性（即成员）。

公开(公告)号：US20230418247A1

公开(公告)日：2023-12-28

申请号：US18203769

申请日：2023-05-31

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05B13/04 ,  G05B15/02

CPC classification number: G05B13/048 ,  G05B15/02

Abstract: Possible input value combinations of a prediction of an engineered system are iterated over, comprising, for a possible input value combination: selecting an action to perform on the engineered system for the possible input value combination, comprising: performing a plurality of predictions of the engineered system scored by evaluating an objective function associated with the engineered system and using the possible input value combination and a corresponding plurality of actions. The action is selected from the corresponding plurality of actions, the selection being based at least in part on scores of the plurality of predictions. A rule specifying a corresponding set of one or more rule conditions that is met when the possible input value combination is matched and a corresponding action associated with the rule as a selected action is generated. The generated set of rules to be stored or further processed is output.

公开(公告)号：US20230394044A1

公开(公告)日：2023-12-07

申请号：US18200496

申请日：2023-05-22

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/2455 ,  G06F17/16

CPC classification number: G06F16/24558 ,  G06F17/16

Abstract: A first set of subconditions is obtained. Approximate matching of the first set of subconditions against a plurality of sets of subconditions is performed. A second set of subconditions among the plurality of sets of subconditions is accessed, wherein a representation of a subcondition in the first set and/or the second set of subconditions comprises a value having one of a plurality of states, and wherein the plurality of states comprises a state of “don't care”. The first set of subconditions is approximately matched against the second set of subconditions. The first set of subconditions is compared against the second set of subconditions. A matching criterion is determined to be met based on a result of the matching. Information indicating that the second set of subconditions is at least an approximate match for the first set of subconditions is output.

公开(公告)号：US11714389B2

公开(公告)日：2023-08-01

申请号：US17156378

申请日：2021-01-22

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05B13/04 ,  G05B15/02

CPC classification number: G05B13/048 ,  G05B15/02

Abstract: Possible input value combinations of a prediction of an engineered system are iterated over, comprising, for a possible input value combination: selecting an action to perform on the engineered system for the possible input value combination, comprising: performing a plurality of predictions of the engineered system scored by evaluating an objective function associated with the engineered system and using the possible input value combination and a corresponding plurality of actions. The action is selected from the corresponding plurality of actions, the selection being based at least in part on scores of the plurality of predictions. A rule specifying a corresponding set of one or more rule conditions that is met when the possible input value combination is matched and a corresponding action associated with the rule as a selected action is generated. The generated set of rules to be stored or further processed is output.

公开(公告)号：US20230176535A1

公开(公告)日：2023-06-08

申请号：US17978869

申请日：2022-11-01

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05B15/02

CPC classification number: G05B15/02

Abstract: A decided sequence of steps selected from a set of sequences of steps defined for a control system is executed to effect control of by writing a control variable to an actuator. At each timestep, it is redecided whether the decided sequence of steps or an alternate sequence of steps is to be executed.

公开(公告)号：US11579614B2

公开(公告)日：2023-02-14

申请号：US16512037

申请日：2019-07-15

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G05D1/02 ,  G06N5/04 ,  B60W30/09 ,  G06V20/58

Abstract: A set of input conditions is obtained. A plurality of potential decisions is obtained based at least in part on the set of input conditions. A rule-based system is used to process the plurality of potential decisions and obtain a set of one or more updated potential decisions, wherein: the rule-based system specifies a plurality of rules; a rule specifies a rule condition and a corresponding action, wherein when the rule condition is met, the corresponding action is to be performed; and using the rule-based system to process the plurality of potential decisions includes: for a selected potential decision in the plurality of potential decisions, determining whether the rule condition is met for a selected rule among the plurality of rules, wherein the selected rule condition is dependent on, at least in part, the selected potential decision; and in response to the selected rule condition being met, performing the corresponding action. The set of one or more updated potential decisions to be executed is output.

公开(公告)号：US20220365836A1

公开(公告)日：2022-11-17

申请号：US17825936

申请日：2022-05-26

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/07 ,  H04L41/0631 ,  G06F11/30 ,  H04L41/142 ,  G06F11/22

Abstract: A plurality of potential fault scenarios are accessed, wherein a given potential fault scenario of the plurality of potential fault scenarios has at least one corresponding root cause, and a representation of the given potential fault scenario comprises a don't care value. An actual fault scenario from telemetry received from a monitored system is generated. The actual fault scenario is matched against the plurality of potential fault scenarios. One or more matched causes are output as one or more probable root cause failures of the monitored system.

公开(公告)号：US20200257692A1

公开(公告)日：2020-08-13

申请号：US16749771

申请日：2020-01-22

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/2455 ,  G06F17/16

Abstract: A first set of subconditions is obtained. Approximate matching of the first set of subconditions against a plurality of sets of subconditions is performed. A second set of subconditions among the plurality of sets of subconditions is accessed, wherein a representation of a subcondition in the first set and/or the second set of subconditions comprises a value having one of a plurality of states, and wherein the plurality of states comprises a state of “don't care”. The first set of subconditions is approximately matched against the second set of subconditions. The first set of subconditions is compared against the second set of subconditions. A matching criterion is determined to be met based on a result of the matching. Information indicating that the second set of subconditions is at least an approximate match for the first set of subconditions is output.