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

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

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