5 results about "Constraint satisfaction problem" patented technology

This invention discloses an adaptive carbon footprint data processing method and system based on the coupling of risk perception feedback and large model inference constraints. The method includes: parsing the metadata of the original data object and calculating a data risk vector containing time deviation and physical conservation deviation; constructing an initial computational topology and transforming data requirements into a constraint satisfaction problem; if no solution is found, triggering topology adaptive reconstruction based on semantic reasoning; dynamically adjusting the inference hyperparameters of the generative model based on the data risk vector, and updating the mapping weights between risk and hyperparameters online using the logical deviation scores generated by subsequent source tracing audits. This invention solves the technical problem of inference illusion caused by high-uncertainty data by establishing a closed-loop coupled control mechanism between data risk and model behavior; and solves the technical problem of static workflows being unable to cope with process interruptions caused by missing data through runtime semantic reconstruction of the computational topology.

In one embodiment, a method comprises: parsing, using a large language model, a constraint satisfaction problem statement into a sequence of sentences corresponding to a plurality of individual problem sentences and a plurality of individual answer choices; invoking respective primitives from a set of logical-linguistic primitive functions to iteratively process i) each of the plurality of individual problem sentences to establish a respective problem constraint with accompanying arguments and ii) each of the plurality of individual answer choices to establish a respective answer choice constraint with accompanying arguments; storing, during invoking, the respective problem constraints into an aggregate list of problem constraints; and solving, after completion of the aggregate list of problem constraints, the constraint satisfaction problem statement as a validity output for each answer choice constraint given the aggregate list of problem constraints.

This invention relates to the field of forklift control technology, and more particularly to a method and system for managing the lifting motion of a forklift. The method includes: establishing a set of action primitives defined by lifting motion constraints and a height deviation tolerance domain, and constructing a constraint action library; acquiring the constraint vectors of the forklift's external environment and the internal state vectors of the fork mechanism, and performing spatiotemporal registration to generate a comprehensive sensing dataset; generating a candidate action set for forklift height lifting by solving a constraint satisfaction problem model; calculating the risk coefficient of the candidate action set and selecting a target action strategy based on the risk coefficient; executing the target action strategy, synchronously collecting the execution effectiveness vector, adjusting the lifting motion constraints, and updating the constraint action library. This invention effectively solves the problems of lack of motion management and difficulty in rationally selecting and dynamically adjusting lifting motions during the height lifting process of existing forklifts, thus improving the safety, stability, and operational reliability of forklift height lifting operations.

This invention discloses a vehicle VIN code recognition method and system based on machine vision, comprising: acquiring an original image of the vehicle; locating and geometrically correcting the original image to obtain a standardized image; obtaining initial recognition results and easily confused character positions based on the standardized image; generating a candidate character list for easily confused character positions based on the initial recognition results according to VIN code encoding rules; dividing the initial recognition results using optional check bits and constructing a VIN code encoding rule constraint satisfaction problem; performing hierarchical pruning based on the candidate character list through the constraint satisfaction problem; outputting candidate VIN recognition results based on the pruned list using a backtracking search algorithm; verifying the candidate VIN recognition results to obtain the VIN recognition result. This method utilizes standardized image geometric correction, temporal context feature modeling, and hierarchical constraint pruning to improve the accuracy and real-time performance of VIN code recognition, while also exhibiting good interpretability.

Disclosed is an approach for solving arbitrary constraint satisfaction problems. In some embodiments, the approach includes a process to generate a software representation of what is possible based on a system corresponding to the constraint satisfaction problem. The software representation comprises a state machine where different states can be reached using respective transitions or properties which are possible as determined based on a current state of the system and parameters thereof whether global or otherwise.