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

81 results about "Constraint satisfaction" patented technology

In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution to a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region.

Intelligent planning method and system for weak current system in smart park

The invention discloses an intelligent planning method and system for a weak current system in a smart park, and belongs to the technical field of weak current intelligent design. The method comprises the steps of performing feature extraction on the weak current multi-source data of the smart park to form a weak current feature set; a multi-dimensional semantic space is constructed, semantic association features are obtained, and node features, topological relations and constraint rules of the weak current system are determined; generating a weak current knowledge graph based on the information, and performing semantic alignment on the basic information of the park to obtain a final scene demand representation; performing graph reasoning and constraint calculation according to the representation to obtain a feasible region and constraint satisfaction condition, and generating a candidate construction scheme; and screening out an optimal construction scheme from the candidate schemes according to a preset comprehensive optimization strategy and sending the optimal construction scheme to a control center. According to the scheme, the weak current scheme is promoted from demand understanding to scheme optimization, and a coherent and verifiable automatic process is formed; therefore, the manual intervention is less, the design judgment is more accurate, and the finally output construction scheme has higher engineering reliability.
Owner:YITAIDA TECHNOLOGY CO LTD

Reservoir multi-objective optimization scheduling decision-making method based on digital twinning and AI simulation

The invention discloses a reservoir multi-target optimization scheduling decision-making method based on digital twinning and AI simulation, and relates to the technical field of reservoir scheduling, the method effectively solves the problems of data fragmentation and information redundancy in traditional scheduling by constructing a multi-source data fused reservoir digital twinning body, realizes accurate virtual-real mapping of reservoir working conditions, and improves the scheduling efficiency. A high-reliability simulation basis is provided for subsequent optimization scheduling, and decision errors caused by data errors or model deviation are avoided; four core targets of flood control, power generation, ecology and water supply are considered, an engineering safety bottom line and rigidity requirements are defined through a layered constraint system, constraint satisfaction degree screening is enhanced by means of an improved multi-target optimization algorithm, and target weights can be dynamically adjusted according to a real-time scene. And after the non-dominated scheme set is optimized and output, candidate schemes are screened in combination with real-time demand quantitative scores.
Owner:XIAN YUYUAN WATER CONSERVANCY TECHNOLOGY CO LTD +1

Rounded-corner container transportation path dynamic optimization scheduling method and system

The invention provides a rounded-corner container transportation path dynamic optimization scheduling method and system, and the method comprises the steps: quantifying three constraints of the size, the gravity center and the loading and unloading priority of a rounded-corner container, converting the three constraints into a matching formula, a path constraint threshold value and a weight rule, and constructing a weighted multi-objective optimization function in combination with the transportation cost, the time and the cargo damage risk; a genetic algorithm and ant colony algorithm mixed framework is built, a constraint adaptation layer is embedded to filter invalid solutions, and the iteration efficiency is improved; two types of algorithm operators are improved, and a constraint satisfaction degree, a loading and unloading priority and a dynamic parameter adjustment mechanism are fused; dividing multiple regions into sub-region optimization by adopting a divide-and-conquer strategy, and adapting to a large-scale dynamic scene through cross-region collaboration and local re-optimization; a full-dimension verification scheduling scheme in iteration is carried out, algorithm parameters are automatically adjusted based on constraint violation information, and iteration is terminated or constraint relaxation is started according to preset conditions; an improved algorithm is integrated to a dynamic scheduling system, real-time data are connected, parameters are optimized through a self-learning module, and a manual intervention interface is reserved.
Owner:JIANGXI JIANGLING SPECIAL VEHICLE FACTORY

Neural-symbolic hybrid system for direct binary document synthesis with integrated constraint satisfaction and hardware acceleration

A neural-symbolic hybrid system for generating binary document formats directly from natural language input comprises a binary-aware hierarchical tokenizer operating across four levels (binary bytes, structural elements, semantic content, and concepts), a constraint satisfaction engine with 64 parallel processing cores for enforcing structural integrity and mathematical consistency, format-specific processors for Excel, PowerPoint, PDF, and CAD documents, and a formal verification system generating mathematical proofs of correctness. The system includes custom AI Document Generation Processor (AIDGP) silicon spanning 600 mm2 with specialized cores providing 500 TOPS processing power. Performance characteristics include 99.7% structural accuracy, 100% format compliance, 15.3 second average generation time for complex documents, and distributed capacity of 1,000,000 documents per hour. The system eliminates intermediate conversion steps while maintaining semantic preservation through hardware-accelerated constraint satisfaction and formal verification engines ensuring structural integrity, format compliance, and security through AES-256 encryption and automated regulatory compliance across 25+ international standards.
Owner:GUPTA GAURAV +1

Quantum optimization with rydberg atom arrays

PendingUS20250390780A1Quantum computersConstraint satisfaction problemRydberg atom
Quantum optimization with Rydberg atom arrays is provided. In particular, methods are provided for solving combinatorial graph optimization problems, constraint satisfaction problems, maximum independent set problems, algebraic problems, and factoring.
Owner:UNIVERSITY OF INNSBRUCK +3

Competitive evolution multi-task optimization method, system and equipment

The invention discloses a competitive evolution multi-task optimization method, system and equipment, and aims to solve the problem that an existing method is difficult to carry out collaborative optimization on fuel cost and gas emission under the condition that power balance and unit capacity constraint conditions are met. The method comprises the following steps: constructing main and auxiliary double-population parallel search; state indexes representing population convergence, diversity and feasibility are calculated in real time; based on the current state, a cooperation mode and evolution operator combined action is adaptively selected through a deep reinforcement learning agent; rewards are calculated according to improvement of the population on cost, emission and constraint satisfaction after action execution; and training the intelligent agent by using the state, the action and the reward, and iteratively optimizing the decision strategy until the Pareto optimal scheduling scheme meeting the constraint is output. According to the method, adaptive intelligent guidance of the evolutionary process is realized, and the optimization quality, the convergence speed and the algorithm robustness of the economic emission scheduling scheme of the power system are remarkably improved.
Owner:NAT UNIV OF DEFENSE TECH

Multi-source data fusion underground pipe network data intelligent detection method and system

The invention discloses an underground pipe network data intelligent detection method and system based on multi-source data fusion, particularly relates to the technical field of underground pipe network data processing, and is used for solving the problems of low accuracy and poor reliability caused by the fact that pipeline connection relation judgment depends on artificial experience in the prior art. The method comprises the following steps: constructing an original data set containing pipeline point space position information and pipeline attribute information; connection information integrity analysis, connection relation analysis based on an engineering rule and a space rule, graph signal processing evaluation combined with dynamic response correlation and network flow distribution compatibility, network structure robustness and cascade failure risk analysis, multi-agent game simulation and constraint satisfaction analysis are carried out in sequence; and finally, an accurate and reliable pipeline network topological relation graph is automatically generated.
Owner:GUANGDONG FOSHAN GEOLOGICAL ENG SURVEY INST

BIM (Building Information Modeling)-based power grid digital twinborn modeling method and equipment and storage medium

The invention discloses a BIM-based power grid digital twin modeling method and device and a storage medium, and relates to the technical field of electronic data processing, and the method comprises the steps: based on power grid project parameters, automatically generating a BIM initialization model according with a specification from a parameterized BIM element library through a constraint satisfaction algorithm; collecting multi-source data with a unified space-time reference through a multi-mode sensing network; constructing a joint optimization objective function fusing geometric, semantic and physical laws, solving by using multi-source data to obtain the optimal adjustment amount of the model, and generating a high-precision power grid BIM model; and injecting real-time and historical data into a hybrid simulation engine integrating data driving and a physical mechanism model, and driving a BIM model to generate a dynamic digital twinborn body with real-time mapping and prediction capabilities. According to the method, parameterized BIM of typical design and multi-source real-time data of a construction site are deeply fused, and the power grid infrastructure digital twinborn body which can dynamically evolve and accurately map a physical entity is constructed.
Owner:PINGLIANG POWER SUPPLY CO STATE GRID GANSU ELECTRIC POWER CO LTD

Interactive business process intelligent modeling system driven by meta-model

The invention relates to the technical field of business process modeling, in particular to a meta-model-driven interactive business process intelligent modeling method and system. The method comprises the following steps: constructing a meta-model framework containing core elements such as activities, events and gateways, and establishing a meta-model constraint rule base to define a structure legality rule of a BPMN2.0 specification; based on a domain ontology Schema and the domain exclusive large language model after instruction fine tuning, extracting a business entity and a process relationship thereof from the unstructured text; carrying out information integrity verification and logic consistency detection on the extracted BPMN elements by utilizing a constraint satisfaction algorithm and Petri net reachability analysis; displaying a difference label of the process sketch through an interactive verification interface, and realizing semantic correction and model iteration of a user on the process elements based on a natural language feedback mechanism; an XML code is generated by adopting a template-driven code generation strategy, and a flow chart is generated through a BPMN parser. According to the method, the business process modeling efficiency can be remarkably improved, and the manual intervention proportion in the modeling process is reduced.
Owner:TSINGHUA UNIVERSITY

Reinforcement learning-based multi-agent driven network sentiment regulation method and system

The application discloses a kind of multi-agent driven network sentiment regulation method and system based on reinforcement learning, belong to artificial intelligence and network information processing technical field.The method obtains text, speech, image, video, behavior, relationship and propagation path data, constructs space-time heterogeneous interaction graph and extracts graph structure feature;Combined with multi-modal basic feature, establish causal attention sentiment state representation;Multi-agent collaborative decision-making environment, sentiment regulation action set, constraint reward function and counterfactual propagation environment are constructed;Collaborative communication training is carried out using multi-agent constrained reinforcement learning, and the output joint regulation strategy;According to sentiment feedback, behavior feedback and propagation feedback, closed-loop update is carried out, and according to negative sentiment proportion, sentiment entropy, propagation risk index and constraint satisfaction rate, iterative control is carried out.The application can improve the accuracy, collaboration, robustness and constraint controllability of network sentiment regulation.
Owner:PEOPLES POLICE UNIV OF CHINA (INT LAW ENFORCEMENT COOP INST OF THE MINISTRY OF PUBLIC SECURITY CHINA PEACEKEEPING POLICE TRAINING CENT)

A method for data cleaning in construction of an industrial vertical domain corpus

The application provides a kind of industrial vertical field corpus construction data cleaning method, belong to industrial big data technical field, the application is through collecting multi-modal industrial data and recording original time stamp, unified time reference is generated using dynamic time warping algorithm for time alignment, cross-modal fusion feature vector is generated by multi-modal attention mechanism learning feature interaction weight, key data section is identified based on event-driven trigger rule and is associated as event data package, quality evaluation and abnormal calibration are carried out through step response consistency detection, multi-modal knowledge graph is constructed and cross-modal alignment model based on dual optimization constraint satisfaction framework is used for feature completion, finally, data quality is ensured through adaptive verification process, solve the technical problems that multi-modal industrial data is difficult to ensure alignment accuracy and original information integrity in time dimension alignment and semantic level fusion process.
Owner:WEIMEI TIANCHENG TECH BEIJING CO LTD

A hierarchical multi-agent reinforcement learning trip recommendation method and system

This invention discloses a hierarchical multi-agent reinforcement learning-based trip recommendation method and system, belonging to the field of trip recommendation technology. The hierarchical multi-agent reinforcement learning-based trip recommendation method includes: acquiring basic POI data, user historical behavior data, and contextual information; constructing a dynamic heterogeneous POI graph and generating POI embedding representations; constructing multi-type user preference representations and calculating the Bayesian user preference posterior distribution, and calculating candidate POI preference scores; constructing a hierarchical multi-agent reinforcement learning model, including, from high to low, a region selection agent, an agent action set generation unit, a POI selection agent, a time scheduling agent, and a path optimization agent; and outputting the final personalized trip route based on the hierarchical multi-agent reinforcement learning model. This invention can efficiently generate executable trips that balance personalization, path quality, and hard constraint satisfaction in large-scale POI scenarios, significantly improving recommendation accuracy and user experience.
Owner:SHANDONG MANAGEMENT UNIV

Cascade reservoir dispatching method based on multi-population self-adaption

The invention discloses a cascade reservoir scheduling method based on multi-population self-adaption, which comprises the following steps: establishing a cascade reservoir scheduling (CRS) model, taking maximized power generation, maximized desilting and maximized ecological rate as optimization targets of the CRS model, and determining constraint conditions according to the optimization targets of the CRS model and operation requirements of a cascade reservoir system; and then performing operation on the optimization target by using a cascade reservoir scheduling method based on multi-population self-adaption. According to the invention, by designing the single-target population and the double-target population, the conflict difficulty between target optimization and constraint satisfaction is reduced; waste of computing resources caused by low-efficiency populations is reduced through a population self-adaptive activation mechanism; by designing an environment selection mechanism based on bidirectional information sharing, the effectiveness of knowledge migration is improved, and the calculation complexity is reduced; the method is high in robustness and can be suitable for reservoir data in different years.
Owner:YELLOW RIVER INST OF HYDRAULIC RES YELLOW RIVER CONSERVANCY COMMISSION +4

Work arrangement method and system based on learning condition information

The invention provides an operation arrangement method and system based on learning condition information, and the method comprises the steps: collecting multi-source learning condition information; grouping class students based on an improved clustering algorithm, constructing a knowledge point topological graph by using an effective learning condition vector set, calculating a conduction weight, calculating a time sequence weighted weak frequency in combination with a dynamic mastery degree sequence, screening a high-frequency and high-conductivity weak combination, and generating a central vector cluster; constructing a multi-objective optimization function, and solving and outputting an optimal clustering number by taking maximization of a contour coefficient, minimization of an inter-group knowledge point overlapping rate and maximization of a teaching constraint satisfaction degree as objectives; calculating the similarity between the effective learning condition vector and the center vector cluster based on the Power distance, and iteratively updating the clustering center to convergence; and matching candidate homework questions according to each group of feature tags by adopting a mixed recommendation algorithm of content recommendation and collaborative filtering. According to the embodiment of the invention, the problems that the learning condition information cannot be fully utilized and the pertinence of the operation arrangement is insufficient in the existing operation arrangement method are solved.
Owner:安徽教育出版社

Time series data generation method and device based on Gamma variational auto-encoder

The invention relates to the technical field of artificial intelligence and industrial process modeling, in particular to a time series data generation method and device based on a Gamma variational auto-encoder, and the method comprises the steps: carrying out the modeling of potential variables in the variational auto-encoder through Gamma distribution, and carrying out the modeling of the potential variables when the variational auto-encoder is trained, firstly, each variable value of original time sequence data in a training set is normalized according to a constraint condition to serve as training input, and then a micro-weight parameterization sampling mechanism is introduced to sample Gamma distribution constructed by encoder output parameters, so that the problem that training is unstable under the condition of small shape parameters in a traditional sampling method is solved. Therefore, the trained variational auto-encoder can significantly improve the constraint satisfaction rate and physical consistency of the generated time sequence data. According to the method, the high-quality time sequence data with good engineering availability can be stably generated.
Owner:JIANGNAN UNIV

Improved reservoir dispatching safety reinforcement learning method based on Lagrange method

The invention discloses an improved reservoir dispatching safety reinforcement learning method based on a Lagrange method, and relates to the technical field of reservoir dispatching. The Lagrange duality method has obvious advantages in the aspect of security constraint processing, and compared with a corrective method and a penalty method, the Lagrange method has the advantages that the constraint weight is adaptively adjusted, so that the target optimization performance is remarkably improved while the constraint is satisfied; experimental results show that the method is superior to other methods in the aspects of constraint satisfaction and generating capacity, and the constraint violation degree is reduced by more than 80%; according to the method, an action mask mechanism is adopted, through the synergistic effect of preposed defense and posterior optimization, the training stability is effectively improved, a complete rule mask can precisely define a safety boundary, the violation rate is reduced to zero from 21%-79%, and meanwhile strategy convergence is accelerated.
Owner:CHONGQING JIAOTONG UNIV

Absorption capability evaluation method and system based on deep reinforcement learning and mathematical optimization

The invention discloses a deep reinforcement learning and mathematical optimization-based consumption capability evaluation method and system, and the method comprises the steps: training a pre-built new energy consumption evaluation model based on a historical wind and light output sequence scene, in the training process, neural network parameter updating is carried out through deep reinforcement learning layer solution, and a t moment integer variable is given; if t is equal to the last moment of the whole year, transmitting a whole-year integer variable to the mathematical optimization layer, taking the whole-year integer variable as a fixed parameter, solving to obtain the optimal power generation power, counting the new energy consumption amount, calculating an award, and returning an obtained result to the deep reinforcement learning layer to update neural network parameters, obtaining a trained new energy consumption evaluation model; and inputting a to-be-evaluated wind and light output sequence scene into the trained new energy consumption evaluation model to complete consumption capability evaluation. According to the method, the balance of calculation efficiency, constraint satisfaction and solving precision can be realized.
Owner:CHINA ELECTRIC POWER RESEARCH INSTITUTE CO LTD +1

A method for one-time penetration of reinforcement through the through hole of cross steel column based on constraint programming

The present application relates to steel structure construction and assembly planning, and proposes a method for once-through of steel bar crossing through the through hole of cross steel column based on constraint programming; in order to solve the scratch, deadlock and rollback caused by the constraint of hole structure and fireproof coating, the method is: a scene model is established with the center of the through hole as the reference, the hole, coating, steel bar and reachable parameters are obtained; the contact normal is determined through geometric reasoning, the minimum bending radius is converted into the upper limit of the cumulative turning angle of the path, and the coating contact limit area is calibrated according to the friction and allowable indentation, and the incident angle range and allowed turning angle are given; the tool angle resolution is discretized and a safety margin is set, and the interlocking relationship table is formed in combination with mutual interference; the constraint satisfaction integer programming is carried out with the steel bar penetration sequence, the incident side, the incident angle and the guide as variables, and when it is not feasible, a detachable trumpet guide is installed at the high-risk hole edge for recalculation. The method ensures that the steel bar is once-through, avoids coating scratches and assembly deadlocks, and improves the construction feasibility.
Owner:CHINA CONSTR SECOND ENG BUREAU LTD

Generalized Nash equilibrium search method and system based on neural network

The invention discloses a generalized Nash equilibrium search method and system based on a neural network, and relates to the technical field of distributed control, and the method comprises the specific steps: aggregation game problem definition and dynamic model construction, disturbance approximation and constraint transformation design, aggregation estimation and optimization method design, and parameter range determination and monitoring and verification. According to the method, the Lyapunov function is constructed through the Lyapunov stability theory, and the value range of the adjustment parameters is scientifically determined in combination with key parameters such as the Lipschitz constant, so that the innovation not only ensures the convergence of the distributed time-varying generalized Nash equilibrium optimization method, but also improves the optimization efficiency of the distributed time-varying generalized Nash equilibrium optimization method. In addition, mathematical requirements such as a global Lipxiss condition, non-empty closed convexity and continuous differentiable convexity are met, a design-verification closed loop is formed by monitoring an intelligent agent strategy evolution curve and a constraint satisfaction condition, and it is ensured that the optimal state can be continuously kept in the actual operation process.
Owner:XINJIANG UNIVERSITY

A dynamic optimization method for unmanned aerial vehicle online trajectory planning

The application discloses a dynamic optimization method for unmanned aerial vehicle online trajectory planning, and belongs to the technical field of unmanned aerial vehicle autonomous control, and comprises the following steps: constructing a finite time domain optimal control problem containing a target function and multiple constraints at each sampling time; converting continuous control input into a segmented function by control parameterization technology, converting an infinite dimension problem into a finite dimension nonlinear programming problem; converting time-varying speed and obstacle avoidance constraints into integral penalty items for processing by using a constraint transcription method; introducing a terminal controller and a terminal area constraint to ensure recursive feasibility and asymptotic stability of the system; solving the nonlinear programming problem on-line, and applying the first control instruction to the unmanned aerial vehicle. The application realizes real-time, safe and efficient trajectory generation of the unmanned aerial vehicle in a complex environment by optimizing problem reconstruction and calculation simplification, and provides reliable technical support for unmanned aerial vehicle autonomous tasks under the premise of strictly ensuring constraint satisfaction and closed loop stability.
Owner:SICHUAN UNIV

Optimization system, optimization method, and optimization program

An annealing unit uses a first solver to perform a first search for an annealing solution through lowering of an objective function value in the neighborhood of a constraint satisfying solution, a mixed integer programming problem optimization unit uses a second solver to perform a second search for a constraint satisfying solution through lowering of a value of an objective function of a linear expression in the neighborhood of the annealing solution obtained by the annealing unit, and iterative processing of the first search and the second search is performed to obtain an optimal solution.
Owner:HITACHI VANTARA LTD

Constraint programming-based one-time penetration method for steel bars to penetrate through cross-shaped steel column through holes

The invention relates to steel structure construction and assembly planning, and provides a one-time penetrating method for a reinforcing steel bar to penetrate through a cross-shaped steel column through hole based on constraint planning. In order to solve the problems of scratching, deadlock and rollback caused by orifice construction and fireproof coating constraint, the method comprises the steps that a scene model with the center of a through hole as the benchmark is established, and orifices, coatings, reinforcing steel bars and reachable parameters are obtained; determining a contact normal direction through geometric reasoning, converting the minimum bending radius into a path accumulated corner upper limit, calibrating a coating contact limiting area according to friction and allowable indentation, and giving an incident angle range and an allowable corner; discretizing according to the tool angle resolution, setting a safety margin, and forming an interlocking relation table by combining mutual interference; the rib penetrating sequence, the incident side, the incident angle and the guide piece are used as variables for constraint, integer programming is met, and when not feasible, a detachable horn mouth guide piece is additionally arranged on the high-risk hole edge for recalculation. According to the method, single-time penetration of the steel bars is ensured, coating abrasion and assembly deadlock are avoided, and the construction feasibility is improved.
Owner:CHINA CONSTR SECOND ENG BUREAU LTD

Program control instruction generation method based on large model federal prompt fine tuning

The invention discloses a program control instruction generation method based on large model federation prompt fine tuning, which realizes the collaborative utilization of multi-party data on the premise of protecting the data privacy of each party by constructing a multi-level conditional diffusion model federation learning architecture. The problem of rapid adaptation of new equipment is solved through a heterogeneous document-oriented hierarchical retrieval enhancement generation method, and the problems of information fragmentation and text discontinuity in the traditional RAG technology are solved by constructing an operation process knowledge graph and a multi-granularity semantic representation learning framework and adopting a continuous perception retrieval mechanism. And finally, solving a fundamental contradiction between large model probability generation and test instruction preciseness through a constraint satisfaction deterministic generation mechanism, and converting a probability generation process into a strict logical reasoning process by adopting a beam search algorithm guided by a complete deterministic constraint. By constructing a three-dimensional constraint system of grammar constraint, semantic constraint and security constraint and a multi-stage verification mechanism, each generated instruction is ensured to have uniqueness, correctness and security.
Owner:CHINA ELECTRONIS TECH INSTR CO LTD

Formal verification method for optimizing multiplier realized by SCA-SAT cooperation

The application discloses a kind of SCA-SAT synergistic effect realizes formal verification method of optimized multiplier, include: reverse engineering algorithm systematically from optimized multiplier restores adder tree;2) constraint satisfaction algorithm is only used by adder through constraint condition to complete the generation of reference multiplier;3) the verification method based on SCA and SAT combines the complementary advantages of SCA and SAT.In the foregoing verification framework, the application introduces a benchmark multiplier generator, which is used to generate a correct benchmark multiplier that has both similar structure to the optimized multiplier and clear adder boundaries.Clear adder boundaries enable the use of SCA-based verification to prove its correctness.Using the structural similarity of the benchmark multiplier and the optimized multiplier, the benchmark multiplier is then used as a known correct model for SAT-based verification of the optimized multiplier.
Owner:SHANGHAI TECH UNIV

Large model multi-round dialogue contradiction identification and correction method, system, device and medium

The application discloses a large model multi-round dialogue contradiction recognition and correction method, system, device and medium, and belongs to the technical field of artificial intelligence. The method comprises the following steps: S1, extracting semantic information, and adopting an incremental updating algorithm to construct and update a dialogue state graph; S2, performing multi-level contradiction detection including a semantic layer, a constraint layer and an intention layer based on the dialogue state graph; S3, judging whether the user actively changes according to a preset change mode word, and if not, performing a first locking, clarification generation or annotation and recording strategy according to a contradiction level to obtain a corrected reply; and S4, inputting the corrected reply into a quality evaluation model, calculating four scores of fact consistency, logical coherence, fluency and constraint satisfaction degree, and determining output or triggering a secondary correction process according to a weighted comprehensive result of the four scores. The application solves the problems of single contradiction detection and fragmented correction and detection in the prior art, realizes high-quality consistency maintenance of multi-round dialogue, and does not need model fine tuning.
Owner:XIAMEN YUANTING INFORMATION TECH CO LTD

Micro-grid multi-target rolling optimization operation method considering voltage stability and energy storage cooperation

The invention discloses a micro-grid multi-target rolling optimization operation method considering voltage stability and energy storage cooperation, and belongs to the technical field of power system operation and control. The invention aims to solve the problems of low precision, poor robustness and high operation cost when an existing micro-grid energy management strategy is used for processing the uncertainty of renewable energy sources. The method comprises the following steps: preprocessing original photovoltaic output and meteorological data, carrying out smoothing processing by adopting an improved Akima interpolation method, screening related input characteristics through a Pearson's correlation coefficient, and decomposing the related input characteristics into different frequency band sub-signals by adopting a wavelet packet; training the LSTM prediction sub-model, and carrying out linear weighted fusion output; establishing a micro-grid system mathematical model, and taking power generation cost and environment cost as optimization targets; solving is carried out based on an improved NSGA2 algorithm, a Pareto optimal solution set is obtained by introducing an adaptive learning mechanism and a constraint satisfaction strategy, and a TOPSIS method is adopted to decide and select an optimal scheduling scheme; and executing rolling horizon optimization. The method is used for micro-grid sustainable energy management.
Owner:STATE GRID QINGHAI ELECTRIC POWER CO HAINAN POWER SUPPLY CO +1

Ventricular assist device control method based on kinetic model and deep learning

The invention discloses a ventricular assist device control method based on a kinetic model and deep learning, and belongs to the technical field of computer systems based on specific calculation models. According to the method, a knowledge-based hemodynamics calculation model and a deep learning technology are fused, and the method is operated under a double-time-scale loop. Acquiring multi-source observation data of the device in each control period, and generating an operation safety probability and a lower confidence boundary thereof through a deep learning model; comprehensively evaluating a constraint satisfaction risk in combination with a dynamic safety threshold deduced by a hemodynamic model; the pump speed is kept stable in the normal state, small-step speed regulation is executed in the early warning state, and model prediction control is triggered in the emergency state to generate the pump speed regulation quantity. According to the method, the fusion calculation logic of the dynamic model and the deep learning technology is realized, and the adaptability, the safety and the multi-target coordination control capability of device operation are improved.
Owner:NANJING UNIV OF SCI & TECH

Compliance verification method and system for generative model output and electronic device

This invention relates to the field of compliance verification technology, specifically to a method, system, and electronic device for compliance verification of generative model output. The method includes: acquiring the output content, evidence set, and compliance policy of the generative model, and converting the compliance policy into a set of constraint rules; performing constraint satisfaction processing based on the output content and the set of constraint rules to obtain a set of constraint judgment results; generating verifiable proof data based on the set of constraint judgment results, and generating a compliance proof package containing the verifiable proof data, a policy fingerprint of the compliance policy, and a hash value of the output content; digitally signing the compliance proof package and outputting it; and having the verifier directly verify the compliance of the output content based on the verifiable proof data. This invention effectively solves the problems of existing technologies where compliance verification relies on repeated semantic parsing and constraint matching processing, resulting in high computational overhead, low efficiency, and a lack of credibility in the verification process.
Owner:SUZHOU COLLABORATIVE INNOVATION INTELLIGENT MFG EQUIP CO LTD

Multi-star task assignment method based on conflict graph minimum weight vertex cover

The present application relates to a kind of multi-star task allocation method based on conflict graph minimum weight vertex cover, for the multi-star task allocation problem with filtering constraint, pair constraint and cumulative constraint, utilize the minimum weight vertex cover in graph theory and neighborhood search design a kind of centralized optimization algorithm.Satellite's feasible observation window is regarded as vertex, pair constraint conflict is regarded as edge, observation benefit is regarded as vertex weight, constructs pair constraint conflict graph, the original problem is converted into the iterative optimization solution containing conflict graph vertex cover and cumulative constraint satisfaction;Based on neighborhood search technology, minimum weight vertex cover solving algorithm and cumulative constraint elimination operator are designed, can effectively guarantee the fast calculation of task allocation scheme.
Owner:CHINA ACADEMY OF SPACE TECHNOLOGY

Time series data generation method and device based on gamma variational autoencoder

ActiveCN121117594BImprove constraint satisfaction rateimprove consistencyEngineeringData mining
The present application relates to the technical field of artificial intelligence and industrial process modeling, in particular to a time series data generation method and device based on Gamma variational autoencoder, comprising: modeling the latent variables by using Gamma distribution in the variational autoencoder, and when training the variational autoencoder, first, according to the constraint condition, normalizing each variable value of the original time series data in the training set as the training input, and then introducing a differentiable reparameterization sampling mechanism to sample the Gamma distribution constructed by the encoder output parameter, so as to solve the training instability problem existing in the traditional sampling method under the condition of small shape parameter, so that the trained variational autoencoder can significantly improve the constraint satisfaction rate and physical consistency of the generated time series data. The present application can stably generate high-quality time series data with good engineering usability.
Owner:JIANGNAN UNIV