摘要:
Embodiments of the disclosed invention include optimization methods and systems that receive a mathematical description of a system, in symbolic form, that includes decision variables of various types, including real-number-valued, integer-valued, and Boolean-valued decision variables, and that may also include a variety of constraints on the values of the decision variables, including inequality and equality constraints. The objective function and constraints are incorporated into a global objective function. The global objective function is transformed into a system of differential equations in terms of continuous variables and parameters, so that polynomial-time methods for solving differential equations can be applied to calculate near-optimal solutions for the global objective function.
摘要:
Embodiments of the disclosed invention include optimization methods and systems that receive a mathematical description of a system, in symbolic form, that includes decision variables of various types, including real-number-valued, integer-valued, and Boolean-valued decision variables, and that may also include a variety of constraints on the values of the decision variables, including inequality and equality constraints. The objective function and constraints are incorporated into a global objective function. The global objective function is transformed into a system of differential equations in terms of continuous variables and parameters, so that polynomial-time methods for solving differential equations can be applied to calculate near-optimal solutions for the global objective function.
摘要:
Embodiments of the disclosed inventinn include optimization methods and systems that receive a mathematical description of a system, in symbolic form, that includes decision variables of various types, including real-number-valued, integer-valued, and Bloolean-valued decision variables, and that may also include a variety of constraints on the values of the decision variables, including inequality and equality constraints. The objective function and constraints are incorporated into a global objective function. The global objective function is transformed into a system of differential equations in terms of continuous variables and parameters, so that polynomial-time methods for solving differential equations can be applied to calculate near-optimal solutions for the global objective function.
摘要:
Methods and systems for finding optimal or near optimal solutions for generic optimization problems by an approach to minimizing functions over high-dimensional domains that mathematically model the optimization problems. Embodiments of the disclosed invention receive a mathematical description of a system, in symbolic form, that includes decision variables of various types, including real-number-valued, integer-valued, and Boolean-valued decision variables, and that may also include a variety of constraints on the values of the decision variables, including inequality and equality constraints. The objective function and constraints are incorporated into a global objective function. The global objective function is transformed into a system of differential equations in terms of continuous variables and parameters, so that polynomial-time methods for solving differential equations can be applied to calculate near-optimal solutions for the global objective function. Embodiments of the present invention also provide for distribution and decomposition of global-gradient-descent- field-based optimization methods, by following multiple trajectories, and local-gradient- descent-field-based optimization methods, by using multiple agents, in order to allow for parallel computation and increased computational efficiency. Various embodiments of the present invention further include approaches for relatively continuous adjustment of solutions to optimization problems in time, to respond to various events, changes in priorities, and changes in forecasts, without needing to continuously recalculate optimization solutions de novo. While many embodiments of the present invention are specifically directed to various classes of optimization problems, other embodiments of the present invention provide a more general approach for constructing complex hierarchical computational processes and for optimally or near optimally controlling general computational processes.
摘要:
Method and system for determining a near optimal schedule of resources in linear time by providing an optimal resource ordering scheme that increases customer satisfaction and resource satisfaction and lowers operating costs. The present invention is embodied in a scheduling computer program. The method receives a set of resources and associated resource data. The method determines a resource-rank-function value for each resource, based on the associated resource data. Based on the resource-rank-function value associated with each resource, each resource is rank ordered. For each resource, the method determines a set of candidate shifts, based on the associated resource data. The method determines a weight value for the candidate shifts associated with each resource. Based on the weight values associated with each candidate shift, the method determines a schedule of shifts, for each resource in rank order.
摘要:
A method and apparatus for quantum computing. A computer-program source code, data, and unsubstantiated output variables are converted into a class of computable functions by a program compiler. The computable functions are encoded, and a continualization method is applied to the encoded functions to determine a first-order, time-dependent, differential equation. Variational calculus is employed to construct a Lagrangian whose minimum geodesic is the solution for the first-order, time-dependent, differential equation. The Lagrangian is converted into a quantum, canonical, Hamiltonian operator which is realized as an excitation field via an excitation generator. The excitation field is repeatedly applied to a quantum processor consisting of a lattice of polymer nodes to generate an intensity-versus-vibrational-frequency spectrum of the lattice nodes. The average vibrational spectrum intensity values are used as coefficients in an approximating polynomial of the encoding function to determine the substantiated output variables, or program output.
摘要:
A method and apparatus for quantum computing. A computer-program source code, data, and unsubstantiated output variables are converted into a class of computable functions by a program compiler. The computable functions are encoded, and a continualization method is applied to the encoded functions to determine a first-order, time-dependent, differential equation. Variational calculus is employed to construct a Lagrangian whose minimum geodesic is the solution for the first-order, time-dependent, differential equation. The Lagrangian is converted into a quantum, canonical, Hamiltonian operator which is realized as an excitation field via an excitation generator. The excitation field is repeatedly applied to a quantum processor consisting of a lattice of polymer nodes to generate an intensity-versus-vibrational-frequency spectrum of the lattice nodes. The average vibrational spectrum intensity values are used as coefficients in an approximating polynomial of the encoding function to determine the substantiated output variables, or program output.
摘要:
Embodiments of the present invention include forecasting methods and systems and methods and systems for responding to forecasts. In one embodiment of the present invention, financial market trends are automatically forecast, allowing for automatic generation of specific market-transaction recommendations. An automated trading program embodiment of the present invention includes a short-term price forecaster and a controller that makes transaction recommendations.
摘要:
A Multiple-Agent Hybrid Control Architecture (MAHCA) uses agents to analyze design, and implement intelligent control of distributed processes. A network of agents can be configured to control more complex distributed processes. The network of agents interact to create an emergent global behavior. Global behavior is emergent from individual agent behaviors and is achieved without central control through the imposition of global constraints on the network of individual agent behaviors. Agent synchronization can be achieved by satisfaction of an interagent invariance principle. At each update time, the active plan of each of the agents in the network encodes equivalent behavior modulo a congruence relation determined by the knowledge clauses in each agents's knowledge base. The Control Loop and the Reactive Learning Loop of each agent can be implemented separately. This separation results in an implementation runs faster and with less memory requirements than an unseparated arrangement. A Direct Memory Map (DMM) is to implement the agent architecture. The DMM is a procedure for transforming knowledge and acts as a compiler of agent knowledge by providing a data structure called memory patches, which are used to organize the knowledge contained in each agent's Knowledge Base. Content addressable memory is used as the basic mechanism of the memory patch structure. Content addressable memory uses a specialized register called the comparand to store a pattern that is compared with contents of the memory cells. The DMM has two comparands, the Present State Comparand and the Goal Comparand. The MAHCA can be used for compression/decompression for processing and storage of audio or video data.
摘要:
A Multiple-Agent Hybrid Control Architecture (MAHCA) uses agents to analyze design, and implement intelligent control of distributed processes. A single agent can be configured to control a local process and a network of agents can be configured to control more complex distributed processes. Multiple agents interact through messages and can be either permanent or temporary. The network of agents interact to create an emergent global behavior. The network of agents support construction of closed-loop, autonomous systems which react to comply with two degrees of freedom: (1) a logic degree of freedom (useful for implementing switching between modes of control) and (2) an evolution degree of freedom (useful for implementing particular modes of control). Global behavior is emergent from individual agent behaviors and is achieved without central control through the imposition of global constraints on the network of individual agent behaviors (the logic agent network). MAHCA is especially useful for reactive synchronization of real-time distributed processes subject to decision-making under uncertainty where both logical and evolution constraints on system operation must be continuously maintained and where human operators must be kept appraised of current system operation and whose decisions must be promptly and safely executed. MAHCA also provides support for reuse of existing trusted components and incremental provision of expanded functionality in old or new components through formal construction of provably correct real-time software from declarations of desired logic and evolution behavior of system components. Finally, MAHCA agents can be used in conventional digital procedures to speed up an ensemble of procedures.