Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

409 results about "Computational problem" patented technology

In theoretical computer science, a computational problem is a mathematical object representing a collection of questions that computers might be able to solve. is a computational problem. Computational problems are one of the main objects of study in theoretical computer science. The field of algorithms studies methods of solving computational problems efficiently. The complementary field of computational complexity attempts to explain why certain computational problems are intractable for computers.

Systems and methods for encoding knowledge for automated management of software application deployments

A method of encoding knowledge is disclosed, which can be used to automatically detect problems in software application deployments. The method includes accessing a source of knowledge describing a problem known to occur in deployments of a particular software application, and which identifies a plurality of conditions associated with the problem. An encoded representation of the knowledge source is generated according to a predefined knowledge encoding methodology. The encoded representation is adapted to be applied automatically by a computer to analyze data representing a current state of a monitored deployment of the software application to detect whether the conditions and the problem exist therein. In various implementations, the encoded representation of the knowledge can include queries for deployment information, information concerning the relative importance of the conditions to a detection of the problem, and/or logical constructs for computing a confidence value in the existence of the problem and for determining whether to report the problem if some of the conditions are not true. The knowledge source can comprise a text document (such as a knowledge base article), a flowchart of a diagnostic troubleshooting method, and the like. Also disclosed are methods of at least partially automating the encoding process.
Owner:CITRIX SYST INC

Analog processor comprising quantum devices

Analog processors for solving various computational problems are provided. Such analog processors comprise a plurality of quantum devices, for instance qubits, arranged in a lattice, together with a plurality of coupling devices. The analog processors further comprise bias control systems each configured to apply a local effective bias on a corresponding quantum device. A set of coupling devices in the plurality of coupling devices is configured to couple nearest-neighbor quantum devices in the lattice. Another set of coupling devices is configured to couple next-nearest neighbor quantum devices. The analog processors further comprise a plurality of coupling control systems each configured to tune the coupling value of a corresponding coupling device in the plurality of coupling devices to a coupling. Such quantum processors further comprise a set of readout devices each configured to measure the information from a corresponding quantum device in the plurality of quantum devices.
Owner:D-WAVE SYSTEMS

Multi-gas-source steam pipe network computing system of hydraulic thermal-coupling simulation model

The invention relates to a multi-gas-source steam pipe network computing system of a hydraulic thermal-coupling simulation model, belonging to the technical field of energy pipe network simulation calculation. The system provided by the invention comprises a relation database, a data acquisition module, a data result display module and a pipe network simulation calculation module, wherein the data acquisition module comprises a real-time database and a data acquisition subsystem; the data result display module comprises a data input submodule and a calculation result display submodule, and the pipe network simulation calculation module comprises a coupling simulation calculation submodule and a calculation result correction submodule. The system provides a modeling reference for multi-gas-source calculation through describing the topological structure of the pipe network by using a graph theory method, is coupled with hydraulic and thermodynamic calculation models, solves the modules by using a finite element method, and can trigger result correction when the pipe network environment is changed, and the data result display module can be displayed in a view control fitting of the pipe network in a visualization mode. The invention has the advantages of improving the calculation accuracy of state parameters and solving the calculation problems of the multi-gas-source pipe network model.
Owner:AUTOMATION RES & DESIGN INST OF METALLURGICAL IND
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products