Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

1171 results about "Solver" patented technology

A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculates their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type.

Multi-modal visual arrangement recommendation method and system

The invention discloses a multi-modal visual arrangement recommendation method, belongs to the technical field of artificial intelligence and data visualization crossing, and realizes visual arrangement recommendation based on multi-modal input analysis, a dynamic mixed recommendation model and an intelligent optimization algorithm. Comprising the following steps: multi-modal intention analysis: realizing intelligent analysis of multi-modal input through combined use of a base model and a fine tuning model, realizing high-precision intention classification in combination with a pre-training language model and a domain adaptation fine tuning technology, and triggering dynamic prompt word recommendation; performing intelligent layout generation: performing global optimization of component space allocation by adopting a genetic algorithm, performing business rule adaptation by combining a constraint solver, and modeling an interaction relationship between components by utilizing a graph neural network; and dynamic mixed recommendation: constructing a three-level recommendation architecture including collaborative filtering, content matching and reinforcement learning. According to the method, a closed-loop recommendation process of user intention-intelligent recommendation-feedback optimization is realized, and the intelligent level of visual arrangement and the user experience are remarkably improved.
Owner:INSPUR TIANYUAN COMM INFORMATION SYST CO LTD

Source-grid-load-hydrogen storage multi-stage planning method and system considering flexible resources

A source-grid-load-hydrogen storage multi-stage planning method and system considering flexible resources, relating to the technical field of source-grid-load-hydrogen storage system planning. The method comprises: collecting source-grid-load-hydrogen storage data for data preprocessing; constructing a flexibility supply and demand characteristic model and a source-grid-load-hydrogen storage multi-stage dynamic planning model; calling a solver to solve the source-grid-load-hydrogen storage multi-stage dynamic planning model to obtain an optimal solution; and outputting a multi-stage source-grid-load-hydrogen storage investment result, a multi-stage source-grid-load-hydrogen storage operation policy, and a multi-stage flexibility supply evaluation result within a planning period. Using the minimization of investment costs, operation costs, and insufficient flexibility penalty costs within the whole planning period as target functions, various constraints such as a new energy permeability constraint and a load loss rate constraint are introduced, a dynamic planning method is proposed, and a source-grid-load-hydrogen storage multi-stage planning solution that has sufficiently economical planning operation and is sufficiently flexible is obtained. According to a processing method based on piecewise linearization, the model is simplified, and the computation speed is increased.
Owner:GUIZHOU POWER GRID CO LTD

Structured query language generation using large language models

In one embodiment, a method herein comprises: inputting, by a device, an input prompt to a first large language model to generate an output; computing, by the device, a reward metric in part by using a solver to process the output; tuning, by the device and based on the reward metric, a second large language model configured to correct errors of the first large language model using reinforcement learning; and using, by the device, the second large language model to correct an error of the first large language model.
Owner:CISCO TECHNOLOGY INC

Layered optimization scheduling method for deep peak regulation of thermal power generating unit

The invention discloses a hierarchical optimization scheduling method for deep peak regulation of thermal power generating units, and the method comprises the following steps: system layering: dividing a power system into a plurality of subsystems, each subsystem comprising a thermal power generating unit cluster and differentiated load demands; subsystem-level prediction: generating a basic scheduling plan; dynamic preference-driven multi-target collaborative optimization: receiving multi-target data from each subsystem, carrying out multi-target collaborative optimization, modeling three targets of a power grid company, an environmental protection department and a terminal user as game participants, quantifying the priority of each party by adopting a fuzzy membership function, generating a dynamic game solution through a Nash equilibrium solver, and carrying out multi-target collaborative optimization; screening out a Pareto optimal solution giving consideration to interests of multiple parties; performing online verification on the dynamic security domain; virtual synchronous machine cooperative support: simulating operation characteristics of a synchronous generator; and global coordination and iterative optimization: uploading the optimal scheduling scheme of each subsystem to a scheduling center through a message queue telemetry transmission protocol, and performing global constraint verification.
Owner:STATE GRID GANSU ELECTRIC POWER CORP +1

Three-dimensional unstructured grid adaptive refining method and system based on machine learning

The invention discloses a three-dimensional unstructured grid adaptive refinement method and system based on machine learning, and belongs to the field of machine learning, partial differential equation solving and computational fluid mechanics simulation. Residual errors of a fluid control equation are used as a novel error indicator and a refinement criterion, imprecise flow field data and the fluid control equation are obtained by fusing coarse grids of simulation flow through a physical information neural network, and the total residual errors of the equations are conveniently calculated by using automatic differentiation after training is completed. Therefore, the coarse grid units with relatively high residual errors can be adaptively marked and refined. By matching an h-refinement scheme, Delaunay tetrahedron subdivision is executed after vertexes are strategically inserted to maintain the quality of the refined grid. According to the method, any numerical solver can be flexibly matched to carry out grid adaptive refinement, so that various typical flow problems can be solved with high precision. The method achieves better balance between calculation precision and the number of grids, and has the advantages of being simple, convenient, high in compatibility and universality and the like.
Owner:ZHEJIANG UNIV

Mold and mold frame design system based on virtual simulation

The invention discloses a mold and formwork design system based on virtual simulation, and particularly relates to the field of mold design, the mold and formwork design system comprises a multi-mode perception fusion module, a digital twin modeling module, a multi-physics field coupling simulation module, a hybrid intelligent optimization module, a digital twin closed loop verification module and a data center module, and each module forms a design closed loop through a data center. The multi-modal sensing fusion module adaptively collects and fuses multi-source signals to generate high-credibility data; the digital twin modeling module constructs and iteratively corrects a model based on the data; the multi-physics field coupling simulation module realizes multi-solver co-simulation under a dynamic boundary; the hybrid intelligent optimization module accelerates to generate an optimal solution through secondary optimization and an agent model; the digital twin closed-loop verification module detects defects and generates a correction instruction; the data center module is responsible for data management, cross-module scheduling and precision control; the system improves the design precision and efficiency of the mold frame, reduces the physical mold testing cost, and is suitable for a high-precision mold development scene.
Owner:NANTONG ZHUSHENG MASCH CO LTD

River channel three-dimensional water flow numerical simulation method

The invention discloses a riverway three-dimensional water flow numerical simulation method, and relates to the technical field of intelligent water conservancy simulation, and the method comprises the steps: generating a longitudinal long and narrow hexahedral mesh of a main riverway in a C gradient direction through employing a mucous network growth algorithm, and outputting a hexahedral mesh with a shear layer identifier; turbulence viscosity coefficient distribution is dynamically initialized through a DDPG reinforcement learning model, and turbulence parameters are output; inputting the hexahedral mesh with the shear layer identifier and turbulence parameters into a coupling solver, performing parallel numerical solution, and outputting transient flow field data; a lambda 2 criterion is adopted to identify a vortex core area and calculate a vorticity modulus, a transverse circulation is defined, an on-way distribution cloud picture is generated, an immersive VR scene is constructed through a Unity 3D engine, and a three-dimensional visual water flow simulation scene with a physical feature label is output. Through fusion of lambda2 criterion vortex identification and a Unity 3D visualization technology, a complete solution with both calculation precision and engineering practicability is provided for river flow simulation.
Owner:JIANGSU SURVEYING & DESIGN INST OF WATER RESOURCES

Method for evaluating internal fault bearing time of large-scale oil-filled main equipment

The invention discloses a method for evaluating the bearing time of an internal fault of large oil-filled main equipment, and belongs to the technical field of relay protection of oil-filled main equipment of a power system. Obtaining a plurality of fault currents in the internal fault current range of the oil-filled main equipment; establishing a three-dimensional geometric simulation model and a grid model of the oil charge main equipment; calling a transient pressure-based solver, simulating a turbulence phenomenon and an oil pressure rise phenomenon of the oil-filled main equipment under a fault current condition, judging whether the oil-filled main equipment is broken or not, and obtaining allowable fault bearing time of the oil-filled main equipment under different fault currents; and establishing a neural network model for mapping the fault current and the allowable fault withstanding time through a convolutional layer, a pooling layer and a full connection layer in the convolutional neural network, so as to evaluate the allowable fault withstanding time of the oil-filled main equipment. And the fracture and failure phenomena of the oil-filled main equipment in a high-stress state are accurately captured, so that a quantitative method which is more accurate than a traditional empirical method is provided for evaluating the fault bearing time of the oil-filled main equipment.
Owner:XI AN JIAOTONG UNIV

Software demand defect detection method based on large language model and satisfiability problem solver

The invention provides a software demand defect detection method based on a large language model and a satisfiability problem solver, and the method comprises the steps: constructing a domain knowledge base, guiding the large language model to extract key elements in a demand text through combining with a cue word project, and recognizing imperfect and ambiguous defects; and meanwhile, the demand is converted into a logic expression, and logic inconsistency is detected by using an SAT solver. According to the method, incremental updating of the knowledge base is supported, efficient retrieval and comparison are achieved through vectorization and Hash coding technologies, experiments show that the method is remarkably superior to a traditional technology in demand detection in the fields of finance and the like, defects can be accurately positioned, correction suggestions can be provided, and the efficiency and accuracy of demand analysis are effectively improved.
Owner:HUNAN UNIV

Full-core parallel fluid-solid coupling simulation method and system

The invention discloses a full-reactor-core parallel fluid-solid coupling simulation method and system. The system comprises a global collaborative coupling simulation scheduling module, a hierarchical index forest management module, a high-performance parallel solver module and an intelligent parameter transmission module. Wherein the global collaborative coupling simulation scheduling module is used for being responsible for overall process control, time stepping, solver scheduling, convergence judgment and inter-module communication triggering; the hierarchical index forest management module is used for being responsible for distributed parallel construction and efficient dynamic updating of CLGIF and providing rapid geometric query service; the high-performance parallel solver module is used for embedding or tightly integrating numerical solvers of fluid and solid physical fields and applying a dynamic parallel multi-solver optimization module to maximize the calculation performance and expansibility of the high-performance parallel solver module; and the intelligent parameter transmission module is used for executing physical quantity exchange on a fluid-solid interface, the core of the intelligent parameter transmission module is a GME-driven region sensing RBF mapping engine, and the transmission precision and efficiency are ensured.
Owner:COMP NETWORK INFORMATION CENT CHINESE ACADEMY OF SCI

Visual setting calculation system and method thereof

The invention discloses a visual setting calculation system and method, and relates to the technical field of power grid setting calculation, and the method comprises the following steps: obtaining operation data of a target system, extracting feature data, and constructing a knowledge graph of entities and relationships, the feature data including control data; constructing a system structure diagram, and generating a semantic enhancement diagram in combination with semantic information in the knowledge graph; inputting the semantic enhancement graph into a pre-trained graph neural network model, performing node feature aggregation and edge weight learning in combination with a prior rule of a knowledge graph, and outputting sensitivity scores of all control data nodes on performance indexes; according to the sensitivity score, constructing a boundary constraint condition, and generating a control data setting candidate solution based on a CSP solver; performing parameter response simulation verification on the control data setting candidate solution, and screening out an optimal control data setting candidate solution; according to the application, accurate sensitivity scoring can be realized by fusing the knowledge graph, the semantic enhancement graph and the graph neural network.
Owner:STATE GRID ZHEJIANG ELECTRIC POWER CO LTD JIAXING POWER SUPPLY CO

Simulation method and system based on multi-field coupling and dynamic grid processing

The invention discloses a simulation method and system based on multi-field coupling and dynamic grid processing, and belongs to the field of computational simulation, and the method comprises the steps: building and solving a coupling physical field model: carrying out finite element spatial discretization on a solving domain, building and solving a coupling partial differential equation set which at least comprises a temperature field, a displacement field and a stress field, and carrying out the finite element spatial discretization; obtaining numerical solutions of the physical fields in the current state; carrying out progressive unit removal based on a physical criterion; and finally, grid data structure updating and solver synchronization are executed. According to the method, the metal material can be gradually removed when the physical quantity reaches the critical condition, and the grid change is dynamically and robustly processed in the process.
Owner:CALCULATION AERODYNAMICS INST CHINA AERODYNAMICS RES & DEV CENT

K-parallel row sorting problem solving method considering multiple channels

A k-parallel row sorting problem solving method considering multiple channels relates to the technical field of disassembly line layout, and mainly comprises the following steps: determining an objective function, calculating channel coordinate information in a region, generating a population P1 and randomly generating a population P2 by using a greedy strategy, combining the population P1 and the population P2 into an initial population P, calculating the fitness of all solutions in the initial population, and obtaining a k-parallel row sorting problem; screening an elite solution, selecting solutions except the elite solution in the initial population based on the fitness by using a roulette mechanism to execute genetic circulation, sequentially carrying out crossover and mutation operation based on Q-learning, combining the population with the elite solution after mutation with the population P1 and the population P2 to update the population, according to the maximum number of iterations, it is judged that iterative calculation continues or a result is output; according to the variable domain genetic algorithm based on Q-learning, an optimal solution for solving kPROPP can be provided in a short time, the solving efficiency of the variable domain genetic algorithm is greatly superior to that of a conventional accurate solver, the solving effect of the variable domain genetic algorithm is superior to that of other methods, and reliable support is provided for solving the problem of parallel layout planning.
Owner:SOUTHWEST JIAOTONG UNIV

Ship micro-grid energy management method based on hierarchical collaboration of model predictive control and chaos evolutionary optimization algorithm

The invention provides a ship micro-grid energy management method based on hierarchical coordination of model predictive control and a chaos evolution optimization algorithm, and the method comprises the steps: constructing a hierarchical coordination control architecture which comprises an upper rolling optimization scheduling layer and a lower real-time stability control layer; the upper layer adopts a model prediction control framework, a chaos evolutionary optimization algorithm is built in to serve as a solver on the basis of load and new energy output prediction of a future time domain, and an optimal power reference instruction in the future short time domain is solved in a rolling manner by taking operation cost, energy storage aging cost and power grid stability penalty as a comprehensive target; and the lower layer executes power scheduling according to the reference instruction issued by the upper layer, absorbs and compensates high-frequency power fluctuation in real time by using a droop control quick response mechanism of the energy storage system, and maintains the stability of the power grid. According to the method, decoupling cooperation of global economic optimization and local dynamic stability of the ship microgrid can be realized, the fuel consumption is remarkably reduced, and the safety and reliability of the system under complex working conditions are improved.
Owner:DALIAN MARITIME UNIVERSITY

Low-altitude resource intelligent scheduling method and system based on deep learning

The invention relates to the technical field of low-altitude equipment, in particular to a low-altitude resource intelligent scheduling method and system based on deep learning, and the method comprises the steps: collecting the real-time state and network load data of a low-altitude flight equipment group, and constructing a dynamic operation data set; generating an operation mode feature set through multi-dimensional airspace situation awareness and analysis, and performing sparse clustering division based on the feature set to form a network resource demand priority mapping table; traversing the mapping table to dynamically calculate the resource demand, determining a multi-dimensional weight coefficient, and performing high-dimensional feature dimension reduction and optimization through a mixed integer nonlinear programming solver to obtain a resource demand feature vector; constructing a resource scheduling strategy optimization model by adopting a deep reinforcement learning algorithm based on the vector; inputting real-time data into the model to execute a resource scheduling decision, and outputting a dynamic allocation strategy; simulation deduction and compliance verification are carried out on the strategy in the digital twin simulation platform, and cooperative intelligent scheduling of communication, calculation and spectrum resources is achieved.
Owner:CHINA TOWER CO LTD

Nonlinear efficient iterative solving method for thermal strain load

PendingCN121835124Areduce total timeReduce the minimum number of timesGeometric CADDesign optimisation/simulationComputer-aidedElastic plastic
The invention relates to the technical field of computer-aided engineering, in particular to a nonlinear efficient iterative solving method for thermal strain load, which is used for solving an obtained finite element equation by using a modified Newton-Raphson method and comprises the following steps of: firstly, establishing a geometric model to be analyzed and performing grid division; the method comprises the following steps: firstly, setting a model to be analyzed, then setting boundary conditions and temperature field change conditions of the model to be analyzed, finally, inputting the conditions into an algorithm solver, solving a nonlinear equation set, iteratively inputting a load continuously according to a modified Newton-Raphson method in the solving process, calculating node displacement until convergence, and solving stress-strain conditions in the welding process according to a material constitutive relation. In the solving process, by judging the size of the two norms of the displacement increment obtained in the adjacent increment step heuristic stage, the convergence of nonlinear solving of the structure is enhanced through the calculation mode, and the solving speed of the nonlinear problem in the thermal elastic-plastic constitutive structure is increased.
Owner:CHINA ELECTRONIC TECH GRP CORP NO 38 RES INST

Incremental defect detection method and system based on function abstract

According to the incremental defect detection method and system based on the function abstract, a function abstract design step, an SEG-based path condition storage method and a virtual node-based side effect abstract technology are adopted, a complete function call graph is constructed and stored as the function abstract, and the analysis precision and expandability are effectively improved; in the code change detection step, aiming at the differential detection requirement of the program, efficient identification of program version change is realized through an IR structured comparison method; an increment influence analysis step: based on the difference information, identifying an influence range brought by the change, and ensuring high efficiency and accuracy of increment analysis; and an incremental analysis step: recovering a path condition based on the behavior of the function abstract, recovering the complete program of the influenced program, designing a defect detection algorithm based on an SMT solver and the persistent function abstract, and realizing automatic detection and verification of potential defects of the program.
Owner:XIAMEN UNIV

TSP path combination optimization method and system based on reinforcement learning

The invention provides a TSP path combinatorial optimization method and system based on reinforcement learning, and the method comprises the steps: constructing an anisotropic graph neural network as a backbone network of a diffusion model through the combination of solution distribution learning and combinatorial optimization target learning, capturing a complex relation in graph structure data through the representation capability of the network, and carrying out the optimization of a TSP path. And probability distribution is modeled by using a diffusion model in a single-to-Markov forward process. In addition, two kinds of accelerated sampling methods DDIM and DPM-solver of diffusion models are introduced, the sampling process of denoising is accelerated, and the training efficiency is improved. According to the method, direct preference optimization can be introduced into a diffusion model to further provide preference-guided combinatorial optimization (PGCO), so that the generalization ability and adaptability of a traveling salesman problem (TSP) solving model are improved, and a more efficient and high-quality model for solving large-scale combinatorial optimization is provided.
Owner:CHONGQING UNIV OF POSTS & TELECOMM

Planar layout optimization method and device based on CAD drawing automatic identification

The invention provides a plane layout optimization method and device based on CAD drawing automatic identification, relates to the field of plane layout optimization, and solves the technical problems that only non-overlapping constraints among equipment are considered, actual space obstacles cannot be automatically avoided, and a generated layout scheme cannot be implemented. The method comprises the following steps: extracting barrier data in a layer; and through a parameter configuration mechanism, generating an equipment parameter information structural body containing the mapping relationship between the equipment and the process. And establishing a continuous optimization model containing an IPOPT solver, and obtaining an initial layout solution containing the relative orientation of each device. And based on the relative orientation of each device in the initial layout solution, introducing an obstacle rejection constraint and a device non-overlapping constraint to construct a discrete optimization model, obtaining the center position coordinates of each device through a Gurobi solver, and integrating a dynamic adjustment mechanism and an interlayer relationship optimization mechanism. And generating a new layout map for visual output. The method and the device are used in a plane layout optimization process.
Owner:HEFEI ARTIFICIAL INTELLIGENCE & BIG DATA RES INST CO LTD

Systems and methods for automated augmentation of differential equation models using hybrid learning and symbolic reconstruction

The present disclosure provides a computer-implemented system for automated augmentation of differential equation models. The system stores differential equations representing mechanistic behavior of physical or computational processes and constructs a hybrid computational solver by embedding a trainable universal approximator with adjustable parameters into the differential equations, where approximator outputs augment time derivatives during numerical integration. An iterative training process adjusts parameters through numerical integration, monitors integration failures, assigns infinite penalty values to loss functions when failures occur, and computes gradients using automatic differentiation otherwise. The system computes sensitivity metrics via Jacobian matrix evaluation, classifies input / output subsets as significant based on threshold-exceeding sensitivity metrics, generates a reduced approximator operating on classified subsets, and replaces the universal approximator with the reduced version to create an optimized solver.
Owner:JULIAHUB INC

Efficient integer programming search for matching entities using machine learning

In an example embodiment, a solution for matching entities in a query table with one or more entities in a target table, in the presence of a constraint on the value sum of the matching targets (hereinafter called the “value constraint”), using machine learning techniques, is provided. Specifically, a non-linear objective function is converted to a linear objective function and a machine learning model is trained using the linear objective function, allowing for the use of solver functions from libraries in order to speed matching over existing methods.
Owner:SAP SE

Source network load storage coordinated optimization scheduling method and system based on multiple time scales

The invention discloses a source-network-load-storage coordinated optimization scheduling method and system based on multiple time scales, and the method comprises the steps: building a multi-time-scale optimization scheduling frame through defining scheduling stages of different time resolutions; on the basis of a multi-time-scale optimization scheduling framework, a mathematical model is established to describe an objective function and an optimization variable of each stage, and a multi-time-scale optimization scheduling model is established in combination with general constraint conditions; converting the model into a mixed integer second-order cone programming problem by utilizing a linear processing technology of convex relaxation and segmentation; solving the mixed integer second-order cone programming problem by adopting an optimization solver to obtain an optimization scheduling strategy adapted to different time scale demand changes; the method is not only suitable for a traditional power system, but also provides powerful support for development of a modern intelligent power grid, and ensures efficient, reliable and sustainable operation of the power system.
Owner:STATE GRID LIAONING ECONOMIC TECHN INST

Mixed integer programming optimization system for production and manufacturing resource scheduling

The invention relates to the field of business management, in particular to a production and manufacturing resource scheduling-oriented mixed integer programming optimization system, which comprises six modules: a data acquisition module acquires industrial big data streams; the data mapping module processes the data flow and constructs a real-time data model; the dynamic modeling module is used for automatically generating a mixed integer programming model according to a built-in steel production process model library based on a real-time data model; the model solving module generates a resource scheduling scheme through an optimization engine; the instruction analysis module analyzes a specific management and operation instruction; and the scheduling recalculation module starts a new round of mixed integer programming modeling and solving according to the increment information. According to the system, information such as resources is summarized through a mixed integer programming method, a specific production instruction is generated through a solver, a new round of modeling and solving are started when an accident occurs, rapid and accurate response to resource scheduling is achieved, and the response efficiency of resource scheduling and the reliability of the system are improved.
Owner:HUAIAN RUIMING INFORMATION TECH CO LTD

Hybrid quantum / nonquantum approach to NP-hard combinatorial optimization

A system and method include reformulating an optimization program as a Quadratic Unconstrained Binary Optimization (QUBO) model and in a single iteration, solving the optimization program by inputting the QUBO model into a quantum computing solver, instructing the quantum computing solver to generate a plurality of solutions to the optimization program based on the QUBO model, receiving the plurality of solutions from the quantum computing solver, inputting each of the plurality of solutions into a nonquantum computing solver, wherein the nonquantum computing solver uses each of the plurality of solutions as a starting point to continue solving the optimization program, and outputting an optimal solution to the optimization program from the nonquantum computing solver.
Owner:SAS INSTITUTE INC

Complete hardware K-SAT solver based on dual-path macro array

The invention provides a complete hardware K-SAT solver based on a dual-path macro array, the macro array comprises M * N processing units, the processing unit in the ith row corresponds to the ith clause of a Boolean formula, the processing unit in the ith row and the jth column is used for storing the jth variable in the ith clause, each processing unit comprises a static random access memory (SRAM) unit, a K-SAT unit, a K-SAT unit, a K-SAT unit, a K-SAT unit, a K-SAT unit, a K-SAT unit and a K-SAT unit, the representation module is used for representing appearance forms of variables in clauses; the forward in-memory calculation unit is connected with one end of the SRAM unit and is used for deriving a clause state based on the variable assignment and the variable appearance form represented by the SRAM unit; and the backward index unit is connected with the other end of the SRAM unit and is used for reading all unassigned characters in the activation clause set so as to support updating of variable assignment. According to the method, a bidirectional derivation function from assignment to clause state and from clause state to assignment is realized, and a high-performance and low-energy-consumption hardware solution is provided for integrity analysis of a complex SAT problem.
Owner:PEKING UNIV

Domain-specific languages for use in artificial intelligence

Domain-specific computer languages (DSL's) 22, such as DSAIL (Domain-Specific Artificial Intelligence Language) are used as bridges for combining the best attributes of generative AI models 21 such as Large Language Models (LLM's) with formal reasoning systems such as logical solvers 25, to combat hallucinations that can be introduced by the LLM's 21 and to automate the process of discovering alternative solutions to problems posed by human users 2. The creativity of the LLM's 21 and the rigorous validation provided by the logical solver(s) 25 are thus both present in the solutions produced by the generative AI. The DSL 22 and a Model of Computation module 24 function as the primary means of communication between the AI model 21 and the solver(s) 25.
Owner:JAXON INC

ELM-based frequency security constraint linearization optimization scheduling method

The ELM-based frequency safety constraint linearization optimization scheduling method comprises the following steps: establishing a fire-wind-light multi-energy complementary frequency dynamic response model, and deducing a time domain analytical expression of a frequency safety index by taking a frequency maximum change rate and a frequency maximum deviation as the frequency safety index of a system; considering a frequency lowest point security constraint and a frequency maximum change rate security constraint, and establishing a frequency security constraint-containing optimization scheduling model; a maximum bearable disturbance power linearization mapping method based on ELM is provided, nonlinear frequency security constraints are converted into a series of linear constraint sets, and linearization processing of the frequency security constraints is achieved; and piecewise linearization is carried out on quadratic terms in the established objective function containing the frequency security constraint optimization scheduling model, the overall model is converted into a mixed integer linear model, and a Gurobi solver is used to solve the linearly processed model. The scheduling method can ensure that the system frequency is safe and stable, so that the established optimal scheduling model gives consideration to both economy and frequency safety.
Owner:STATE GRID NINGXIA ELECTRIC POWER CO

Multi-degree-of-freedom mechanical arm control method based on quantum particle swarm optimization of migration strategy

The invention discloses a multi-degree-of-freedom mechanical arm control method based on quantum particle swarm optimization of a migration strategy. The method comprises the steps that system modeling is conducted; mPC to-be-adjusted parameter definition and constraint processing are carried out; adopting, adopting, and introducing penalty terms to construct a composite fitness function; updating particle positions by adopting a basic or enhanced quantum updating mode; triggering conditions are judged in a group diversity measurement mode, and when the conditions are met, a migration strategy and dynamic subgroup division are executed; the global optimal solution and the fitness value are loaded into a real-time MPC controller, and online adjustment is carried out; a prediction equation is constructed, tracking errors and energy consumption optimization are converted into a standard quadratic programming problem, and the solving precision is dynamically adjusted in combination with Cholesky pre-decomposition, a structured sparse solver and a warm-start and early stop strategy; and a closed-loop adaptive control system is constructed. According to the method, the precision, robustness and real-time performance of trajectory tracking control of the mechanical arm can be effectively improved.
Owner:ZHEJIANG SCI-TECH UNIV

GHMC simulated annealing algorithm-based FPGA parallel Isin model optimization method and system

The invention provides an FPGA parallel Isin model optimization method and system based on a GHMC simulated annealing algorithm, relates to the field of power system combination optimization, and solves the technical problem that an existing FPGA-based Isin model solver adopts a traditional Monte Carlo method and is low in convergence precision and solution quality. The method comprises the following steps: receiving a question input by a user through an upper computer, and mapping the received question into a Hamiltonian parameter of an Isin model; the Hamiltonian parameter is transmitted to an FPGA through a communication interface, and a mixed GHMC sampler and a temperature scheduling module are arranged in the FPGA; the hybrid GHMC sampler carries out parallel solution on Hamiltonian parameters; and the temperature scheduling module gradually reduces the system temperature according to a preset annealing curve, and drives the Isin model to converge to a global optimal solution. The method is used in the power system combination optimization process.
Owner:YISI GYROMAGNETIC (JIAXING) ELECTRONICS CO LTD

Solver-based warehouse network planning and designing method

The invention discloses a warehouse network planning and designing method based on a solver, and relates to the technical field of supply chain management, and the method comprises the steps: collecting order data of several years in the past, arranging the order data according to a time sequence, obtaining an ordered time sequence data set, carrying out the STL decomposition of the time sequence data set, and obtaining a time sequence data set; identifying a trend component value, a season component value and a residual component value; checking and verifying the three components, and when an abnormal condition occurs, adjusting decomposition parameters and performing decomposition again; creating a hybrid prediction model based on a time sequence prediction algorithm, inputting the three components which are verified to be qualified into the hybrid prediction model, and outputting an order prediction value; acquiring real-time order data, and inputting the real-time order data into the hybrid prediction model; a multi-objective optimization model is formulated in combination with the latest prediction result and constraint conditions of warehouse capacity limitation and transportation cost; and solving the multi-objective optimization model by using a mathematical optimization technology MILP, and searching an optimal warehouse position layout, a storage strategy and a distribution route plan.
Owner:SHANSHU TECH (BEIJING) CO LTD +5