108 results about "Process verification" patented technology

The invention discloses a Text2SQL (Structured Query Language) implementation method and system, and relates to the field of data processing, and the method comprises the following steps: firstly, receiving a natural language query, and analyzing a query intention, field classification and a key entity through a planner; the searcher obtains domain knowledge, entity information, a database table structure and a historical query mode in a multi-path parallel mode based on the planning result; the generator constructs an SQL framework according to the retrieval result and generates an initial statement; the verifier carries out grammar, table field, authority and logic multi-dimensional verification on the SQL, and if the verification fails, iteration adjustment is carried out to generate logic; when the SQL is executed, the result is formatted and a natural language explanation containing query logic, a data source and a calculation method is generated if the SQL is executed successfully, and a diagnosis and error correction mechanism is started for correction and then rechecking is performed if the SQL is executed unsuccessfully. According to the method, through deep fusion of domain knowledge, whole-process verification error correction and interpretability enhancement, the accuracy, robustness and user interaction experience of SQL conversion in a professional scene are improved.

The invention discloses an automobile wire harness process rule automatic matching method based on a knowledge graph, and the method comprises the following steps: collecting wire harness design data, and carrying out the standardization processing; analyzing the process rule base, extracting key attribute fields and generating a process rule metadata set; semantic modeling and structured fusion are carried out, and a process knowledge graph is constructed; performing semantic association analysis, causal constraint fusion and feasibility judgment processing by utilizing a semantic retrieval enhancement module; carrying out provable retrieval, risk assessment and conflict resolution based on the candidate process rule set; converting the target process rule set into a process instruction, and driving a design system to perform synchronous updating and rule labeling; and updating the process knowledge graph based on system feedback data, and outputting an optimized process verification report and updating a design version. The method is based on the knowledge graph and the semantic causal fusion technology, intelligent matching of the wire harness process rules is achieved, and the method has the advantages of being high in matching precision, high in interpretability and capable of achieving self-adaptive optimization.

The invention provides a visualization system capable of synchronously displaying multiple types of data according to time. Comprising a distributed service cluster composed of a micro-service, a user management micro-service, a data transmission micro-service, a data storage management micro-service, a data extraction micro-service, a data visualization display micro-service, a data visualization template management micro-service and a resource monitoring micro-service; the micro-services are packaged in a containerized manner and interact by adopting a lightweight communication protocol, and automatic deployment and dynamic expansion are realized through a container arrangement tool; the system is provided with a basic parameter set with customizable micro-service configuration and a graphical configuration interface which are used for cooperatively generating a system operation environment configuration strategy. The user management micro-service establishes a multi-dimensional authority system based on a role access control model, and records an operation log to realize audit tracking; the data transmission micro-service integrates a plurality of heterogeneous data access modes, carries out transmission process verification and carries out secure channel transmission through the service gateway.

The invention provides a freight service verification method and system fused with multi-dimensional data in the cross technical field of artificial intelligence and freight information verification. The method comprises the following steps: S1, creating a freight service risk identification model; s2, acquiring a large amount of historical freight service data to construct a data set to train a freight service risk identification model; s3, the server sets a service verification rule set comprising a plurality of verification rules; s4, the server obtains real-time freight service data through ETL; s5, calling a service verification rule set through a rule engine, and carrying out pre-verification on the real-time freight service data; s6, performing in-event verification on the real-time freight service data through the freight service risk identification model; and S7, constructing an incremental data set based on the real-time freight service data to carry out post optimization on the freight service risk identification model. The freight service verification method has the advantages that the accuracy and timeliness of freight service verification are greatly improved.

The invention relates to a large language model long thinking chain verification method and device based on an inference process abstract. The method comprises the following steps: obtaining a to-be-verified inference thinking chain; abstracting the obtained reasoning thinking chain to obtain a linear path containing a key reasoning link; and gradually executing verification on the linear path by adopting a checker, judging whether each step is correct or not, positioning the first wrong step, regarding the subsequent steps as invalid, and not independently verifying. Compared with the prior art, the method has the advantages that an accurate and efficient verification scheme is provided, the preciseness of process verification is guaranteed, the verification and labeling cost is remarkably reduced, and large-scale data set construction and model training can be supported.

The invention provides an artificial intelligence chip pre-silicon verification system and method, and relates to the technical field of artificial intelligence chips, and the system comprises a model importing layer which is used for importing a current model; the model analysis layer is used for analyzing the current model to obtain a calculation graph; the distributed strategy configuration layer is used for configuring a distributed topology strategy of a hardware simulator of the artificial intelligence chip based on the distributed strategy of the current model, and adjusting a computational graph of the current model to enable the computational graph to be matched with the distributed topology strategy; the performance prediction layer is used for determining the operation performance data of the current model in the artificial intelligence chip based on the operation performance data of each operator; or determining a performance prediction result of the current model in the artificial intelligence chip based on the performance prediction result of each operator; and the operator implementation layer is used for controlling the hardware simulator to run each operator in the computational graph. According to the system and the method provided by the invention, the end-to-end whole-process verification from model input to result output is carried out on the artificial intelligence chip.

The invention relates to the technical field of entity extraction, and discloses an entity extraction agent construction method based on a large language model, which comprises the following steps: classifying and slicing entity tag files, converting tag names and corresponding entity words into vectors to be queried, organizing into a tag vector library, and finally merging into a knowledge base; writing prompt words according to a preset normal form; selecting an adaptive large language model from a model library, performing accuracy and recall rate evaluation on the candidate model through a test sample set, and selecting an optimal model based on an evaluation result; a tool is developed according to downstream task requirements, and service URL testing, tool availability testing and automatic calling process verification are completed; inputting the knowledge base and the cue words into a large language model to perform entity extraction, calling a tool to process an extraction result, verifying output correctness, and iteratively optimizing configuration of each stage according to a debugging result; according to the method, the problems of poor model general effect and relatively tedious use in an existing agent construction method are solved.

The invention relates to the technical field of software security, in particular to a high-credibility construction of a synchronous modeling language code generator and a formalized verification method and device thereof, electronic equipment and a medium, and the method comprises the following steps: obtaining a synchronous modeling language source program generated by the code generator; translating the synchronous modeling language source program to the abstract syntax tree; converting the abstract syntax tree into an intermediate representation, and converting the current intermediate representation into a next intermediate representation; and performing formalized verification on each transformation process until the translation process verification of all the language features of the synchronous modeling language source program is completed, and the formalized verification comprises the steps that each intermediate representation formalized definition has operation semantics meeting semantic certainty, and semantic retentivity is proved for the current intermediate representation transformation process. Therefore, the problems that related technologies only support partial language characteristics, compiling architecture design is simple, the formalized verification range is limited, and the requirements for complete modeling ability and high credibility are difficult to meet are solved.

The invention provides a multi-protection method and system for a storage medium destroying machine, and relates to the technical field of data security, the method comprises the following steps: a storage medium enters a destroying cabin, the unique identification information of the storage medium is read, and the unique identification information is compared with a preset authorization database for verification; creating a dynamic safety area; operator identity confirmation, external authorization confirmation and storage medium state confirmation are executed, and when the triple authentication is passed, destruction operation is executed; activating a multi-source sensor to perform data acquisition; sending the multi-modal sensing data to an abnormity authentication channel; the multi-protection of destruction is carried out according to the destruction encryption abstract, the one-time destruction pass code and the multi-mode sensing data. According to the method and the device, the technical problem that in the prior art, due to incomplete trust chains and black boxed process verification, leakage risks exist before and after the storage medium is destroyed, auditing results are incredible, and the safety of destroying operation is affected is solved, and the safety of destroying operation is improved through multiple protections.

The invention relates to the technical field of SQL conversion, in particular to an SQL conversion quality optimization method, a medium and equipment, candidate intention labels of initial SQL statements are generated through an intention prediction model and a preset classification model, the matching degree of the candidate intention labels and an SQL syntax tree is verified, if the matching degree reaches the standard, the candidate intention labels are directly used, and if the matching degree reaches the standard, the SQL conversion quality is optimized. If the target intention label does not reach the standard, the structure information and the entity information are fused to recalibrate the target intention label, and evaluation deviation caused by intention misjudgment is effectively avoided; multi-dimensional quality evaluation is carried out on the basis of the target intention label, and specific problem information is recorded when the target intention label does not pass, so that accurate positioning of the problem is realized, and a clear direction is provided for subsequent correction; and for the initial SQL statement which does not pass the evaluation, the original demand of the user and the failure reason are fed back to the SQL generation model, and the whole-process verification is restarted after the new SQL is generated, so that the automatic repair of the SQL statement can be completed without manual intervention, and the automation level and accuracy of SQL conversion are greatly improved.

The invention provides an automatic test method and system for heterogeneous process verification and system software debugging, and relates to the technical field of software debugging, and the method comprises the steps: collecting and producing holographic monitoring data, and carrying out semantic annotation through a preset ontology model; a multi-head attention mechanism and a graph neural network are adopted to train an ontology model, and associated features of process parameters, equipment states and defect types are extracted; constructing an initial knowledge graph based on the features, and calculating a node weight relationship by using causal reasoning to generate a dynamic weight matrix; and in combination with real-time process data, features are extracted and fused through a deep residual network, and defect risk assessment and early warning are realized. Through dynamic updating and feature fusion of the knowledge graph, the accuracy and automation degree of heterogeneous process verification are improved, and intelligent early warning of process quality is realized.

The invention relates to the technical field of distribution network scheduling, and discloses a distribution network scheduling comprehensive instruction intelligent disassembly and direct remote control method, which comprises the following steps of: constructing a digital distribution network model, a dynamic node branch type topological structure, a dual rule library and an equipment comprehensive state library; the method comprises the following steps: analyzing an instruction core demand through entity identification, and performing three-level disassembly and verification to form a candidate instruction sequence; performing local state initial judgment, whole network topology analysis and whole process verification; quantifying and grading risks, and screening qualified instructions in combination with permission verification; and issuing an instruction according to a topological sequence, confirming completeness through double check, synchronously updating data and carrying out secondary false alarm prevention. According to the method, a standard operation sequence is efficiently generated through BERT three-level disassembly instructions in combination with multi-level anti-misoperation verification and linkage risk and authority control by depending on topology dynamic updating and direct remote control, the misoperation risk is reduced, and the distribution network scheduling safety and efficiency are balanced.

The invention discloses an automatic testing method and device for an intelligent question-answering system, equipment and a storage medium, and relates to the field of artificial intelligence. Corpus information of a knowledge base platform is adjusted and published; if the corpus publishing result indicates that publishing is successful, the adjusted corpus information is synchronized to a human-computer interaction platform; when the corpus synchronization result indicates that the synchronization succeeds, executing an index construction operation, and executing a corpus recall operation by using the successfully constructed target index under the condition that the execution succeeds; and if the corpus recall result accords with the expected recall result, generating and outputting a test result used for indicating that the full-link process verification of the intelligent question-answering system is successful. Through links of corpus construction, corpus synchronization, index construction, corpus recall and the like in series connection, the method can be applied to the business fields of financial science and technology, medical health, old-age care and the like, automatic verification is realized in an online customer service intelligent question-answering system of related businesses, automatic interruption is realized when nodes are abnormal, error information is thrown out, the manpower analysis cost is reduced, and the test efficiency is improved.

The present invention relates to the field of blockchain technology and provides a cross-regional transaction information verification method, system, device and medium. On the one hand, the present invention realizes the interaction of on-chain and off-chain information based on an oracle, provides an opportunity for intervention for off-chain in-process verification, thereby improving the accuracy of transaction information verification based on the collaborative verification of on-chain and off-chain, and solving the problem of the need to adopt a complex rollback mechanism for off-chain supervision due to the irreversibility of blockchain transactions on the chain; on the other hand, the present invention realizes cross-regional transaction information verification through the interaction between the constructed standardized smart contract policy library and the on-chain verification layer, the off-chain verification layer and the transaction execution layer. It has high scalability and can cope with dynamic changes in verification strategies.

The invention relates to the technical field of digital identity authentication, in particular to an online insurance policy verification method and system and a storage medium. The method comprises the following steps of: authenticating a user identity by adopting a living body detection and certificate OCR (Optical Character Recognition) technology, identifying tampering by using an image tampering detection model, and generating a structured request data packet through an improved OCR content extraction technology; retrieving benchmark insurance policy data in a distributed insurance policy database, and calling a multi-version data fingerprint sequence from a block chain; comparing the reference insurance policy data with the structured request data packet, and outputting a first verification result; matching the structured request data packet with the multi-version data fingerprint sequence, and outputting a second verification result; and generating a final verification conclusion based on the first and second verification results. According to the method, multiple technologies are fused to construct a whole-process verification system, compared with a single verification mode, the anti-fraud capability is improved through multi-dimensional cross verification, and related requirements of financial supervision on Internet insurance services are met.

A method for cutting the lower cover plate of a railway freight car traction beam, belonging to the field of railway freight car component processing technology, includes three steps: pre-layout, optimized layout, and process verification. Pre-layout involves first arranging the lower cover plates of the traction beam, and then nesting the small parts required for railway freight car component processing within the remaining material of the lower cover plates. Optimized layout includes determining the position and size of the process tie rods based on the pre-layout, adjusting the position of the lower cover plates of the rear traction beam so that the front end of the rear lower cover plate is nested within the opening end of the previous lower cover plate, and determining the specifications of the raw materials based on the layout results. Process verification involves selecting a raw material according to the specifications of the raw materials in the layout diagram for a cutting production experiment, and tracking and verifying the cutting dimensions and welding quality of the lower cover plate of the traction beam. This invention can effectively reduce waste of remaining material, improve material utilization, and also reduce the time spent manually assembling process tie rods, improving production efficiency and ensuring part quality.

The application provides a propellant supplementing full-process verification test system, which comprises a test table fixed base, a moving platform arranged on the test table fixed base, the position of the moving platform relative to the test table fixed base being adjustable, a docking mechanism comprising a docking mechanism active end and a docking mechanism passive end, the docking mechanism active end being fixedly arranged on the test table fixed base, and the docking mechanism passive end being fixedly arranged on the moving platform, the propellant supplementing pipeline being in communication when the docking mechanism active end and the docking mechanism passive end are coupled, a pressure sensor being arranged in the propellant supplementing pipeline, and the pressure sensor being used for monitoring the air pressure in the propellant supplementing pipeline in real time. The application solves the problem that the full-process task function verification of mechanism docking, propellant supplementing, high-pressure gas supplementing and mechanism separation cannot be verified in the prior art.

The invention discloses a multilayer ransomware protection system and method based on dynamic credibility, and belongs to the technical field of ransomware defense. The system comprises a process verification module and a suspicious process monitoring module, when a certain process calls a system function to obtain a file list, the system intercepts the operation through a code instrumentation technology, and judges the type of the process through the process verification module; and if the process is not included in the black and white list, judging that the process is a suspicious process, and returning a file list containing a bait file to the process. The suspicious process monitoring module carries out real-time monitoring on a file list containing bait files traversed by the process, and if the suspicious process accesses the bait files, the suspicious process is marked as a malicious process and added into a blacklist; otherwise, the system intercepts the system call related to the file access through a code instrumentation technology, and adopts different protection strategies according to the value level of the file. According to the method, the misjudgment rate of the normal process is reduced, and accurate detection and defense of the ransomware are realized.

The application provides a reasoning process determination method and device based on a large language model, equipment and a medium, relates to the technical field of artificial intelligence, and is applied to a large language model. The large language model is deployed with a pre-constructed autonomous system of an intelligent agent. The autonomous system of the intelligent agent includes a master intelligent agent and an intention arrangement intelligent agent. The method comprises the following steps: obtaining a natural language to be processed, inputting the natural language to be processed into a pre-trained large language model, performing intention recognition and process reasoning on the natural language to be processed by the master intelligent agent to obtain a reasoning result, performing process arrangement and process verification based on the reasoning result by the intention arrangement intelligent agent to obtain a processing process, and performing process processing and intention reasoning based on the processing process by the large language model to obtain and output a reasoning conclusion. The method can obtain accurate reasoning results and accurately execute the processing process, thereby outputting accurate reasoning conclusions and improving the accuracy of the reasoning conclusions.

Methods, systems, and devices for process verification are described. An authenticator application of a device may receive, from an authenticating application of the device, a first request to establish a network connection between the authenticator application and the authenticating application. The first request may identify a port associated with the network connection. The authenticator application may receive a second request from the authenticating application to authenticate an identity of a user. The authenticator application may identify a process used to establish the network connection between the authenticator application and the authenticating application on the port. The authenticator application may obtain a signature and a set of data associated with the signature based on the identified process. The authenticator application may authenticate the identity of the user based on the signature and the associated set of data.

The invention discloses a full-process verification method for a digital electrocardiograph, and relates to the technical field of metrological verification. The invention provides a full-process verification method for a digital electrocardiograph, which comprises the following steps: firstly, acquiring a pixel-millimeter scale through steel ruler image analysis, analyzing and correcting an inclination angle of an output signal image of the digital electrocardiograph through an RANSAC (Random Sample Consensus) algorithm, and acquiring a threshold binarization threshold by using a kmeans algorithm; according to the method, self-adaptive binaryzation of color scanning images is achieved, robustness is higher, automatic verification methods based on digital image processing are designed for all verification processes related to the digital electrocardiograph, full-process verification of the digital electrocardiograph can be achieved, and the full-process verification efficiency and verification accuracy of the digital electrocardiograph are improved.

This invention relates to the technical field of self-service payment, and in particular to an unmanned self-service payment system, comprising: a data acquisition module, a data analysis module, a storage module, an alarm module, a storage mechanism, and a central control module. The central control module receives data uploaded from each module, issues control commands, verification tasks, and deep learning model inference scheduling commands, coordinates the collaborative operation of each module, and executes the linkage control logic of the device door lock. Through a core control logic combining mobile phone locking with deep learning-based full-process verification and door lock linkage, it fundamentally eliminates the occurrence of multiple or incorrect items and malicious evasion of payment, achieving full-process control with zero loss and no loopholes, adapting to all product categories. The entire process utilizes a mature, standardized deep learning model, requiring no customized improvements, significantly reducing system development costs and edge deployment difficulty, and improving device operational stability and commercialization capabilities.

The present invention discloses a Text2SQL implementation method and system, which relates to the field of data processing, including: first receiving a natural language query, analyzing the query intent, domain classification, and key entities through a planner; a retriever acquiring domain knowledge, entity information, database table structure, and historical query patterns in parallel based on the planning results; a generator constructing an SQL framework and generating an initial statement based on the retrieval results; a validator performing multi-dimensional verification of the SQL in terms of syntax, table fields, permissions, and logic, and iteratively adjusting the generation logic if failure occurs; when executing the SQL, if success occurs, formatting the result and generating a natural language explanation containing the query logic, data source, and calculation method; if failure occurs, activating a diagnosis and error correction mechanism and correcting it before re-verification. This method improves the accuracy, robustness, and user interaction experience of SQL conversion in professional scenarios through deep integration of domain knowledge, full-process verification and error correction, and enhanced interpretability.

The invention relates to a modeling method and device for a power business process, computer equipment and a storage medium. The method comprises the following steps: acquiring graphical power business process data; converting the power business process data into a formal semantic model based on a token; determining a model state space scale of the formal semantic model, and performing process verification on the formal semantic model by adopting a verification mode matched with the model state space scale to obtain a verification result; and adjusting the formal semantic model according to the verification result, and taking the adjusted formal semantic model as the power business process model. By adopting the method, the modeling operation difficulty of the power business process model can be reduced, and the modeling efficiency can be improved.

Embodiments of the present disclosure relate to the technical field of chemical engineering process scale-up, and specifically provide a process parameter optimization method and device for large-scale production of ternary positive electrode materials. The method comprises: obtaining reference data corresponding to a target process section of large-scale production of ternary positive electrode materials, the reference data including a set of pilot process parameter values, a set of pilot quality detection values, and a set of large-scale production quality target values; retrieving matching historical data from a pre-set historical database, the historical data including historical process parameters and quality detection data of pilot and large-scale production; using a process parameter optimization model corresponding to the target process section, obtaining a set of predicted values of large-scale production process parameters based on the above data; carrying out large-scale process verification according to the predicted values, if the deviation between the actual value of the verified product quality and the quality target value meets a pre-set condition, determining the set of optimized process parameters, otherwise adjusting the parameters and iteratively verifying until the pre-set condition is met.

The invention provides a distributed transaction state processing method and device, a storage medium and electronic equipment, and relates to the technical field of computers, and the method comprises the steps: firstly generating a unique request identifier and executing a transaction operation when a business system receives a transaction request from a superior first system; and the system synchronously records transaction information, wherein the transaction information comprises a request identifier, a superior system request identifier, a transaction execution result, a verification level and a postmortem verification strategy. And if the transaction execution result is in an unknown state, starting an in-event verification mechanism, and initiating a verification request to a second subordinate system according to a preset strategy. And when the in-event verification still continuously returns to an unknown state within a preset number of times, the system submits a to-be-verified request to the centralized verification processing platform, and the platform is triggered to start polling verification according to an after-event verification strategy. And finally, receiving a transaction state determination notification returned by the platform, and executing corresponding business operation according to the notification. And the transaction consistency of the business system can be effectively guaranteed.

The invention relates to the technical field of sheet metal part bending processes, and discloses a bending process verification method and system based on multi-source parameter linkage, and the system comprises a drawing information acquisition module, an automatic parameter calling module, a parameter analysis and calculation module, a bending process quadruple verification module and a verification result output module. The method comprises the steps of obtaining design parameters of a bent part through a design drawing, receiving empirical values input by a user, completing automatic calling of the parameters through a built-in material mapping function and a built-in equipment mapping function, calculating key process parameters through a preset mathematical formula based on output parameters and a calling result of a primary parameter calling layer, and determining the bending degree of the bent part on the basis of the key process parameters. And performing quadruple verification on the bending process by combining a calling result of the secondary parameter calling layer, outputting process guidance data, realizing automatic parameter mapping, and compressing process analysis time.

The present application relates to the technical field of computer software, and in particular to a same-name heterogeneous static library dual-domain isolation construction method for executable files, which first completes environment initialization and creates an independent copy for the static library to be isolated, determines a target interface symbol set and an excluded symbol set, and analyzes the binary structure of the static library to complete target symbol positioning; a globally non-conflicting symbol rewriting mapping table is generated, selective binary rewriting is performed only on the target symbols, and an isolated variant static library and a matching header file adapter are generated; finally, the original library and the isolated library are deployed in separate domains, dual-domain isolation construction and full-process verification are completed, and a controllable cross-domain call can be realized with a cross-domain bridging layer. This method does not require modification of the source code and does not intrude on the business, and can effectively realize dual-domain complete isolation of the same-name static library and guarantee the stability of software construction and operation.

The present invention relates to an on-site signature process verification system and verification method. In this system, a first camera of an intelligent signature pen obtains a first image information of the image at the signing position, and a second camera of the intelligent signature pen obtains a second image information of the signing environment image. The intelligent signature pen sends the first image information and the second image information to an intelligent mobile terminal. The intelligent mobile terminal uploads the first image information and the second image information to a cloud server. A verification terminal obtains and displays the first image information and the second image information for verification from the cloud server. The present invention uses an intelligent signature pen to achieve a full record of the signature process, which can reduce labor and hardware costs and improve business efficiency.

The present invention discloses a continuous current monitoring method and system, which relates to the technical field of photovoltaic module performance testing, and includes: S1, modeling, which includes: establishing at least a three-dimensional model of a test cabinet of a photovoltaic current continuity test system; defining the wiring parts of the three-dimensional model based on the real object in a computer, and calculating the real space coordinate parameters of each wiring part to establish a one-to-one correspondence; S2, establishing a test process verification basis, which includes: using a number of smart wearable devices worn on the hands as an operation point calibration mechanism; recording the properties of multiple categories of photovoltaic modules in the computer and assigning identification codes respectively; assigning a test plan to any identification code in the computer and recording it; establishing a communication connection between the computer, which serves as the point calibration mechanism, and the photovoltaic current continuity test system; S3, test execution under monitoring. This application has the effect of making the photovoltaic current continuity test process simpler and the system more convenient to use.