Systems, methods, and non-transitory computer-readable storage media for a fast power network simulator. A system configured per this disclosure can use identify a power network, the power network comprising generators, transmission lines, and loads, and receive a model of the power network. The model of the power network can include: models of the generators modeled as differential equations, and models of the transmission lines and the loads modeled as algebraic equations. The system can convert, via a processor, the algebraic equations of the models of the transmission lines and the loads to additional differential equations, then combine, via the processor, the differential equations and the additional differential equations, to yield combined differential equations. The system can then iteratively solve linear equations, via the processor, associated with the combined differential equations, to yield solutions, and output the solutions as part of a power simulation of the power network.

A system and method which allows the basic checkpoint-reverse-mode AD strategy (of recursively decomposing the computation to reduce storage requirements of reverse-mode AD) to be applied to arbitrary programs: not just programs consisting of loops, but programs with arbitrarily complex control flow. The method comprises (a) transforming the program into a formalism that allows convenient manipulation by formal tools, and (b) introducing a set of operators to allow computations to be decomposed by running them for a given period of time then pausing them, while treating the paused program as a value subject to manipulation.

A system and method which allows the basic checkpoint-reverse-mode AD strategy (of recursively decomposing the computation to reduce storage requirements of reverse-mode AD) to be applied to arbitrary programs: not just programs consisting of loops, but programs with arbitrarily complex control flow. The method comprises (a) transforming the program into a formalism that allows convenient manipulation by formal tools, and (b) introducing a set of operators to allow computations to be decomposed by running them for a given period of time then pausing them, while treating the paused program as a value subject to manipulation.

In various embodiments, the maximum or minimum of multiple input values is determined. For each of a set of possible values, a corresponding detection result is set to indicate whether at least one of the input values matches the possible value. The detection results are used to ascertain the maximum or minimum of the multiple input values.

In various embodiments, the maximum or minimum of multiple input values is determined. For each of a set of possible values, a corresponding detection result is set to indicate whether at least one of the input values matches the possible value. The detection results are used to ascertain the maximum or minimum of the multiple input values.

A monotonic counter memory system including a counter circuit and a memory circuit is provided. The counter circuit is configured to increase a count by one in response to a clock signal and output a count value of n bits, where n is a positive integer. The memory circuit includes a plurality of memory cells. The memory circuit is configured to store the count value. The stored count value changes one bit at each input count of the clock signal, and a bit switching time of the stored count value are smaller than 2.sup.n−1 times.

Examples of the present disclosure provide apparatuses and methods for determining a vector population count in a memory. An example method comprises determining, using sensing circuitry, a vector population count of a number of fixed length elements of a vector stored in a memory array.

Systems and methods for gas turbine operational impact modeling using statistical and physics-based methodologies are disclosed. According to one embodiment of the disclosure, a method can include receiving, by one or more processors, operational conditions data associated with a hardware component of a gas turbine; based at least in part on the operational variation data, applying, by one or more processors, statistical methods to establish an operational profile of the hardware component; receiving, by one or more processors, operating parameters and operational conditions data associated with the hardware component; based at least in part on the operating parameters and the operational conditions data, applying, by one or more processors, physics-based methods to establish an operational impact factor of the hardware component; and based at least in part on the operational profile and the operational impact factor determining, by one or more processors, a probability of a failure of the hardware component within a time period.

The invention relates to a computer-aided simulation tool, in particular to computer-aided simulation methods, for providing assistance in the planning of thermotherapy, and to suitably configured computer equipment. The thermotherapy comprises hyperthermic treatment of a tumour volume within a volume of a human body. The hyperthermic treatment comprises the application of a magnetic field within a treatment volume by means of a magnetic field applicator. In at least one depot volume, thermal energy can be introduced by means of magnetic, paramagnetic and/or superparamagnetic nanoparticles deposited in the body, by power absorption in the applied magnetic field. Field strength values and optionally calculated temperature distributions are provided for assisting the user in the planning of the thermotherapy.

An apparatus, system, and method to facilitate the creation and management of service composition candidates in a service-oriented architecture (SOA). In one embodiment, the method includes receiving user input pertaining to a composition candidate associated with service candidates in a SOA service model, and updating the SOA service model based on the user input.