50 results about "Verification procedure" patented technology

The invention provides a standard document automatic generation and multi-dimensional auditing method and system based on a large model, and relates to the technical field of artificial intelligence, and the method comprises the steps: 1, building a distributed database of a multi-source document, and analyzing a heterogeneous text through natural language processing to obtain a standardized knowledge network; step 2, extracting index elements based on the standardized knowledge network, and forming a structured parameter library through verification and verification; and step 3, based on the structured parameter library, constructing a template library, analyzing user demands in combination with semantic matching, and automatically generating a standard document outline. The document generation efficiency and quality are improved, the manual auditing cost is reduced, and the auditing comprehensiveness and accuracy are enhanced.

The invention relates to the technical field of energy management and carbon accounting, in particular to an intelligent carbon emission monitoring system and method based on the Internet of Things, and the system comprises a distributed sensing network module which collects the energy consumption and emission data of an independent accounting unit in real time; the edge computing module is deployed at a local edge computing node to preprocess the data acquired by the distributed sensing network module; the cloud co-processing module receives the preprocessed data and carries out dynamic accounting and multi-source data fusion; the carbon accounting model module automatically matches accounting requirements according to the industry to which the enterprise belongs and generates a monitoring point layout scheme; and the intelligent visualization module is used for generating a multi-dimensional carbon emission data analysis chart and a compliance report meeting MRV requirements based on data of the edge calculation module, the cloud co-processing module and the carbon accounting model module. Full-process automatic management from data acquisition, real-time monitoring to verification is realized, and the accuracy, integrity and traceability of carbon emission data are ensured.

A system (100) for context-aware timing ECO generation using hierarchical and flat design mapping, comprising: a design data acquisition module configured to import hierarchical and flat design data including netlists, timing reports, physical layouts, and design constraints; a contextual timing analysis module configured to detect timing violations in both hierarchical and flat design contexts; a hierarchical-flat mapping engine configured to establish bidirectional correspondence between hierarchical and flat representations of the design; an ECO opportunity identification module configured to identify optimal modification points based on timing improvement potential and minimal design disturbances; an ECO generation and optimization module configured to create optimized ECO scripts taking into account timing, power, and area constraints; a verification and validation module configured to confirm functional equivalence, compliance with design rules, and timing completion; and an ECO implementation and reporting module configured to integrate the validated ECO into the main design database and generate traceable change reports; where the system operates to generate context-aware ECOs that maintain design consistency in both hierarchical and flat design views.

The invention relates to hand-processed product traceability equipment hardware, an information software system, a method and equipment, and belongs to the field of agricultural informatization and food safety. An equipment hardware system comprises a universal manual processing workbench, a traceability box with an intelligent lock and a passive self-destruction mechanism, and an equipment identity verification and issuing CA (Certificate Authority); the information software system comprises a traceability standard system, an authorization template library, a credible verification program library, an equipment verification personnel identity verification system, a key issuing system, packet switching detection supporting product processing flow identification and traceability report generation software based on a multi-modal large model, and a production authorization declaration system. The traceability equipment comprises a traceability box, a visual identification workbench, a traceability identity authorization system, a product processing flow management system and a third-party detection and verification module. The problems that in the manual processing process of products, data cannot be automatically collected, multi-source mixing cannot be tracked, package falling cannot be defended, and data cannot be verified are solved.

Systems and methods provide a HybridOps model for the identification, capture, isolation, feature engineering and adjudication of source signal data signatures for inclusion in calibration quality standard reference signal data signature libraries that improve machine learning and validation, reduces model bias and reduces model drift. The HybridOps model may include an “unlocked” AI / ML (machine learning enabled) public facing deployment pipeline in parallel with a clone AI / ML deployed in an internal development environment using a ML-Ops pipeline and in parallel with a clone“locked” AI / ML (machine learning disabled) as a standard reference. The three deployed models enables monitoring and measuring model drift, context drift and product progression for improved verification and validation of model reliability. The parallel environment AI / ML testing using randomized learning, validation, testing sets drawn from calibration quality adjudicated standard reference signal data signature libraries provides for validation, verification and test to failure procedures.

The invention discloses a text multi-dimensional verification and generation optimization method and system and a medium, and relates to the technical field of artificial intelligence, and the method comprises the steps: generating a candidate text, and transmitting the candidate text to a verification process; performing multi-dimensional rule engine verification and knowledge graph verification on the candidate text, performing weighted fusion on a local score obtained by a rule engine verification module and a weighted fusion confidence score obtained by a knowledge graph verification module to obtain a global comprehensive score of the candidate text, and if the global comprehensive score is greater than or equal to a global threshold value, determining that the candidate text does not have the global comprehensive score; if verification is passed, the output candidate text and a verification report are returned to the user together, otherwise, a verification feedback and correction module is entered, an optimization instruction is generated for the candidate text which does not pass verification, the optimization instruction is fed back to the large language model, and rewriting of the candidate text is guided; according to the optimization method, the problems of single dimension, insufficient precision, low performance, lack of closed-loop optimization and the like in AIGC text verification in the prior art are solved.

It provides decontamination parameters necessary for isolator decontamination work in a more flexible and accurate manner. [Solution] The isolator decontamination verification system 30, which has a work space isolated from the outside and decontaminates the work space with a sterilizing medium, comprises a condition input unit 32 for inputting conditions during the decontamination work and a parameter calculation means 34 for calculating decontamination parameters. The condition input unit 32 receives input for at least the type and number of loads placed in the work space, and the parameter calculation unit 32 calculates the amount of sterilizing medium to be injected, which is one of the decontamination parameters, from the type and number of loads and the volume of the work space.

The invention is suitable for the field of product production, and provides an equipment production method and device, equipment, a storage medium and a program product.The method includes the steps that when an external person logs in an account, a verification procedure is completed only in a simple control triggering mode in the verification process of a target sample, the external person is prevented from checking related parameter information of the target sample, and the verification efficiency is improved. Therefore, the confidentiality of the product and the data security are improved.

Systems and methods are provided for supporting validation of flexible configurations of hardware components installed in IHSs (Information Handling Systems). During factory provisioning of an IHS, a factory-signed inventory certificate is uploaded to the IHS that identifies factory-installed hardware of the IHS, and that also includes designations for each of the factory-installed hardware components as required or optional components. Upon deployment of the IHS, validation procedures of the IHS use the inventory certificate to validate the detected IHS hardware as factory-installed hardware. When a hardware component specified in the inventory certificate as optional is not present in the detected hardware components, booting of the IHS may continue. When a hardware component specified in the inventory certificate as required is not present in the detected hardware components, a validation failure is signaled.

The deployment of large language model (LLM) and retrieval-augmented generation (RAG) systems in industrial automation environments present unique technical challenges that are not adequately addressed by conventional software validation approaches. A computing system can define a comprehensive architecture with cross-validation methodologies that can perform systematic detection of complex failure modes that might be missed by conventional testing approaches, while providing the reliability, safety, and real-time performance characteristics essential for successful deployment of LLM and RAG systems in industrial automation environments.

An approach for generating optimization solutions may be presented herein. The approach may include generating an optimization solution verification program. The optimization solution verification program code can be automatically converted into a loss function, where the objection function constraints associated with the optimization solution verification program are incorporated into the loss function. A plurality of random inputs for the optimization issue can be generated and used to train a sequence generation model, based on the generated loss function. An optimized solution can be generated with the trained sequence generation model.

A verification system comprises: a first verification device that verifies the integrity of a first verification target; and a second verification device that has a higher level of security than the first verification device and verifies the integrity of the first verification device. The first verification device comprises: a first verifier that refers to first verification-related information, which includes first verification target information and a first expected value, generated by performing a predetermined operation on first data in a first program implementing the first verification target; a first verification value generated by performing the predetermined operation on data in a first memory area that stores the first program; and verification of integrity by comparing the first verification value with the first expected value.and a first updater that accepts a first update request to update the first verification-related information when it receives the first update request from the second verification device, or when it receives the first update request while the first verification-related information is being updated, and that updates the first verification-related information.

A policy consistency verification apparatus includes a policy conversion part configured to generate an If-Then rule approximating a policy function used as an input, wherein the policy function is generated from policy definition defining attribute value of access and a rule regarding accessibility to obtain an output of accessibility from inputs of the attribute value; and an error sample generation part configured to verify consistency between the If-Then rule and the policy definition to generate inconsistent attribute value as an error sample.

The present invention relates to a secure artificial intelligence based document management and intelligent content classification system implemented within a controlled enterprise computing environment for regulated industries. The system is configured to receive digital documents from multiple enterprise sources, normalize heterogeneous document formats into a standardized internal representation, and perform multi-dimensional content analysis to extract structural, semantic, and metadata characteristics. Adaptive artificial intelligence based classification logic is applied to determine document category, sensitivity, and regulatory relevance, followed by computational validation procedures that ensure deterministic and auditable classification outcomes. The invention further incorporates document content fingerprinting, continuous integrity monitoring, and real-time regulatory compliance evaluation to prevent unauthorized modification, misclassification, or non-compliant document handling.

The application discloses a kind of CFD verification and confirmation mark mould data storage method and database, belong to aerodynamic database technical field, including steps: CFD verification and confirmation mark mould data warehousing;Extract mark mould example basic information again, parse, organize example test / calculating result structure data, design form CFD verification and confirmation mark mould data table;The CFD verification and confirmation mark mould data table includes core data table.The application can realize the dynamic storage of different standard examples of incoming flow state data and result data, reduce data redundancy, improve data scalability, can ensure that database platform can accurately, efficiently provide data services for CFD software credibility evaluation or related research.

Systems and methods are provided for validation and enforcement of the use of factory-provisioned boot restrictions for the operation of an (Information Handling Systems). During factory provisioning of the IHS, a factory-signed certificate is uploaded to the IHS that identifies the factory-installed hardware of the IHS and any boot restrictions on individual factory-installed hardware, such as restrictions on a hardware component to boot using only factory-provision firmware or the component is to be disabled. Upon deployment of the IHS, validation procedures use an inventory from the certificate to validate the detected IHS hardware as factory-installed. The validation procedures use the boot restriction from the certificate to confirm the detected IHS hardware components are each configured for operation according to the boot restrictions.

This invention provides an identity verification method, an identity verification program, and an identity verification system that streamline the process of verifying identity for specific transactions at banks. [Solution] An identity verification method in an identity verification system used to verify the identity of a person in order to perform a predetermined transaction at a bank, comprising: accessing an IC chip based on the information on the identity verification document; obtaining facial image information stored in the IC chip or facial image information contained in the information on the document; comparing the facial image information with facial image information based on a facial image of the person taken by a camera; and, upon completion of the comparison, outputting a unique identification number associated with the predetermined transaction.

The present disclosure relates to: a communication technique that merges IoT technology with a 5G communication system for supporting higher data transmission rates than 4G systems; and a system therefor The present disclosure may be applied to intelligent services (for example, smart homes, smart buildings, smart cities, smart cars or connected cars, healthcare, digital education, retail business, security and safety-related services, etc.) on the basis of 5G communication technology and IoT-related technology. Disclosed is a terminal or a base station which executes an integrity protection function or an integrity verification function in a next-generation mobile communication system.

A method for providing assurance of data association comprises formulating a track permutation matrix of measurement statistics based on sensor measurement returns and receiving a first set of correlated tracks from a correlator module (set a), identified as originating from a target. A second set of correlated tracks from the track permutation matrix (set b) is selected, based on branching and bounding techniques. The method reframes verification of a data association framework into a linear inequality, with a first portion based on set a, and a second portion based on set b. The method performs a verification procedure to determine whether properties of set a are bounded by properties of set b. If properties of the correlated tracks within set a are bounded by, or are less than or equal to, properties of the correlated tracks within set b, then the correlated tracks are verified.

A verification procedure for a 3D printer includes the following steps: printing at least one initial structure with an initial print head using an initial build material; Determining a linear surface profile of at least one first structure along a line; Determine at least one property of the first building material and / or the 3D printer by processing the linear surface profile; Comparing at least one property with reference profile data; Control of the 3D printer based on the comparison result.

The application discloses a kind of text multidimensional verification and generation optimization method, system and medium, it is related to artificial intelligence technical field, including: generating candidate text and passing to verification procedure;Candidate text is verified multidimensionally rule engine and knowledge graph verification, the local score obtained by rule engine verification module and the weighted fusion confidence score obtained by knowledge graph verification module are weighted fusion, obtain the global comprehensive score of candidate text, if global comprehensive score is greater than or equal to global threshold, then it is verified, the output candidate text and verification report are returned to user, otherwise enter verification feedback and correction module, optimization instruction is generated to the candidate text that does not pass verification and is fed back to the large language model, rewrite candidate text is guided;The optimization method solves the problems of single dimension, insufficient accuracy, low performance and lack of closed-loop optimization in AIGC text verification in the prior art.

In an approach to post-silicon analog design verification and validation, a method includes receiving a recovered layout and a golden data for a design; extracting a recovered netlist from the recovered layout and a golden netlist from the golden data; converting the recovered netlist into a recovered graph and the golden netlist into a golden graph; partitioning the recovered graph and the golden graph; and determining an assurance metric by comparing the recovered graph and the golden graph.

A system and method for a dynamic-link verification process between an electronic device and a transaction or event. The first step is engagement by a mobile electronic device with an initiator that is linked with a specific verification event that triggers a text message to auto-populate on a mobile electronic device. The message comprising metadata about the user and the event or transaction. The second step is for the electronic device to send the auto-populated message to a message gateway thus initiating the verification of the user. The message gateway works with a management service and one or more databases to verify the identity and other aspects of the user based on instructions provided by the event host. Additionally, configurable access tokens may be generated for each verified user wherein the access tokens provide access to an event or controlled physical location based on the configuration.

An embodiment of the utility model provides a three-phase refrigeration socket phase sequence verification device, which comprises a measurement box, a phase sequence meter, wiring terminals, a connecting lead and a three-phase refrigeration plug, the three wiring terminals L1, L2 and L3 are fixedly installed in the measurement box, the phase sequence meter is fixedly installed on a panel of the measurement box, a measurement result observation surface of the phase sequence meter is arranged outwards, and the three wiring terminals L1, L2 and L3 are fixedly installed on the panel of the measurement box. Three measuring leads L1, L2 and L3 of the phase sequence meter are correspondingly connected and fixed on three wiring terminals L1, L2 and L3, the three-phase refrigeration plug is matched with a refrigeration socket to be tested, and three pins L1, L2 and L3 of the three-phase refrigeration plug are correspondingly connected and fixed on the three wiring terminals L1, L2 and L3 through connecting wires respectively. According to the embodiment of the utility model, the phase sequence verification process is simplified from the original seven processes to three processes, so that the verification efficiency is effectively improved, the electric shock condition is avoided, and the safety of verification personnel is ensured on the premise of ensuring the verification precision.

The invention provides a leather grade judgment method based on machine learning, which belongs to the field of judgment methods, and optimizes a verification process by combining with K-fold verification: adopting stratified sampling to ensure that each fold training / verification set contains representative samples of different regions, and avoiding damage to a local spatial pattern due to random division; by limiting the verification set of some folds to only contain a specific region, whether the decision rule of the random forest is invalid in an unfamiliar region or not can be verified in a targeted manner; for a machine learning sample, a subset obtained by random sampling from original training data is input, the training data is divided into K subsets D1, D2 and DK which are not intersected, and for kth verification, DDk is used as a training set and Dk is used as a verification set for training to obtain a model RFk; the verification set Dk is used for verifying the model RFk, and evaluation indexes such as the accuracy rate and the recall rate on the verification set are calculated.

Systems and methods to publicly certify a specification and its corresponding software for a software project. A publicly certified specification and its software can consist of a verified software that comes with an interpretation of the formal specification written in some accessible language, in such a way that at least an individual with mathematical training can check that the translation from the formal specification to a human language is, up to some extent, correct. The systems and method provided herein generate and revise a technical specification, a formal specification, algorithmic code and formally verified code for compilation and execution as a formally verified program.

The method disclosed in the present invention for standardizing the storage of CFD verification and confirmation case data includes case data organization, case data collation standards, and case data storage standards; the case data collation standards include case data naming standards, case description file compilation standards, self-description file definition standards, computational grid data collation standards, computational result data collation standards, and test result data collation standards; the case data storage standards are based on the data output by the case data collation standards, using a hierarchical tree-like organizational structure that is convenient for domestic users to use, and enter the case database from the perspectives of newly created cases, basic properties, case descriptions, comparable data, extraction tools, and related documents. The technical solution provided by the present invention standardizes and ensures the quality of submitted case data, solving the problem of incomplete case data and lack of availability during the construction of a CFD verification and confirmation case library.