32 results about "Verification procedure" patented technology

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.

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.

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.

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.

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 invention provides a charging pile metering error monitoring method and device based on dynamic sliding window optimization, equipment and a medium. The method comprises the following steps: S101, establishing a sliding window data set of a current acquisition period; s102, screening the sliding window data set to obtain an optimized data subset; s103, calculating a real-time metering error coefficient of each charging pile based on the optimized data subset; and if the coefficient exceeds the limit, giving an alarm and starting an on-site manual verification program. The method has the advantages that the association rule between the design matrix structure characteristics and the calculation result in the least square method is fully utilized, and the optimization of the quality of the input data of the least square method is realized through a data screening mode, so that the accuracy and the robustness of the calculation result of the error coefficient of the charging pile are improved to the greatest extent; the problem that a calculation result is not accurate due to multiple collinearity of a design matrix caused by similarity of charging behaviors is effectively solved, and the reliability of online monitoring of the metering performance of the charging pile is improved.

A dynamic consent management platform and a personal information management method thereof are provided. The dynamic consent management platform includes a dynamic consent module, a blockchain and a system database, and the personal information management method includes: the dynamic consent module transmitting an unsigned dynamic consent form to a signer module, wherein the unsigned dynamic consent form is generated according to personal data usage ss; the dynamic consent module receiving the signed dynamic consent form from the signer module, wherein the signed dynamic consent form is generated through an identity verification procedure; the dynamic consent module receiving a confirmation signal from the signer module as authorization to generate a decentralized identity verifiable certificate according to the identity verification procedure and the signed dynamic consent form; the blockchain receiving and recording the decentralized identity verifiable certificate; and the system database storing the signed dynamic consent forms.

The utility model provides an auxiliary device for mounting and dismounting a flowmeter, which comprises a flowmeter, a flowmeter expansion piece, a flange matched with the flowmeter and the flowmeter expansion piece and a flange lifting device, the flange is positioned at the top of the flange lifting device, the flange is connected with the flowmeter expansion piece, and the flowmeter expansion piece is connected with the flange lifting device. And the flow meter is connected with the flange. Flanges with different calibers are selected, the flanges are lifted to the position of the flowmeter needing to be installed through the flange lifting device, and flowmeters with different meter lengths and different calibers can be installed more conveniently through cooperation of the auxiliary device and the flowmeter expansion piece. The flow meter is convenient to disassemble and assemble, the verification regulation requirement is met, the use range of the expansion piece is expanded, and the adaptability of flow meter installation is improved.

Methods and systems for managing operations of a data processing system are disclosed. To manage operations of the data processing system, it may be identified that firmware hosted by a channel card operably connected to the data processing system has failed verification during a secure booting procedure. A management controller of the data processing system may perform a verification procedure to obtain a channel card certificate. At least one entry may be added by the management controller to a secure booting procedure database to facilitate verification of the firmware. After the at least one entry is added, the management controller may resume the secure booting procedure. Using the at least one entry, the secure booting procedure may be completed to place the data processing system in an operable state that is conducive to providing computer-implemented services, which may then be provided.

A computer-implemented method for authenticating messages relative to a hash-based data authentication structure includes producing a first signed data structure that includes one or more node hash values from the hash-based data authentication structure. The node hash values are selected according to a selected strategy and configured to authenticate messages relative to the hash-based data structure. The method further includes producing a second signed data structure that is a modified version of the first signed data structure. The method further includes enabling a signed data structure provider to provide to a verifier the first signed data structure and the second signed data structure. The method further includes enabling an authentication path provider to provide to the verifier an authentication path formed relative to the first signed data structure or the second signed data structure. The verifier determines whether to use the first signed data structure and performs a verification procedure.

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.

A dynamic consent management platform and a personal information management method thereof are provided. The dynamic consent management platform includes a dynamic consent module, a blockchain and a system database, and the personal information management method includes: the dynamic consent module transmitting an unsigned dynamic consent form to a signer module, wherein the unsigned dynamic consent form is generated according to personal data usage ss; the dynamic consent module receiving the signed dynamic consent form from the signer module, wherein the signed dynamic consent form is generated through an identity verification procedure; the dynamic consent module receiving a confirmation signal from the signer module as authorization to generate a decentralized identity verifiable certificate according to the identity verification procedure and the signed dynamic consent form; the blockchain receiving and recording the decentralized identity verifiable certificate; and the system database storing the signed dynamic consent forms.

The application relates to the communication field and provides a method and device for automatically matching a check program. The method comprises the following steps: determining a first signal bit and a first check bit of a first message frame; searching for a first check program set matched with the first redundant section from a first check program library, wherein the first check program library comprises check programs corresponding to various different controllers used for bench test; determining a first check result corresponding to each first check program based on the first signal bit; and screening a target check program matched with a check mode of a target controller from the first check program set based on the first check bit and the first check result. The application can automatically match the target check program corresponding to the check mode of each controller used for bench test, is not affected by the increase of the controller used for bench test or the replacement of the controller used for bench test, and can meet the demand of building various bench test environments.

This specification relates to a method and apparatus for evaluating the security remediation capabilities of a large language model. The method includes: acquiring a target vulnerability sample, including vulnerability metadata and vulnerability code fragments; generating a vulnerability verification program corresponding to the target vulnerability sample; acquiring a remediation code fragment obtained by the large language model performing security remediation on the vulnerability code fragments; performing a first verification on the vulnerability code fragments using the vulnerability verification program in a first runtime environment, and performing a second verification on the remediation code fragments using the vulnerability verification program in a second runtime environment; determining a first score for a first evaluation index regarding security mitigation based on the results of the first and second verifications; scoring the vulnerability code fragments and / or the remediation code fragments on a plurality of preset second evaluation indices to obtain a plurality of second scores; and combining the first score and the plurality of second scores to determine a target security remediation score for the target vulnerability sample by the large language model.

Aspects relate to validating a pre-configured uplink resource (PUR) occasion. For example, prior to using a PUR occasion for an uplink transmission, a user equipment (UE) may perform a validation procedure for the PUR occasion. A validation procedure for a PUR occasion may involve ensuring that the UE will be able to reliably transmit during the PUR occasion. A base station may send a PUR configuration to the UE that the UE can use for the validation procedure. The PUR configuration may include timing advance (TA) validation information and PUR validation information that depend on at least on capability of the UE.

The present application relates to a dynamic anti-counterfeiting method and system for a product sales terminal, and a device and a medium. The method comprises: when a detection end accesses a cloud end by means of identifying a tested end, the cloud end identifying the manner in which the current detection end accesses the cloud end; if it is identified that the detection end accesses the cloud end by means of identifying the tested end by means of a preset system, the cloud end detecting whether the tested end has a bound detection end; if the cloud end detects that the tested end has no bound detection end, sending a password and a verification program to the current detection end, and after the verification is successful, binding the tested end to the current detection end; if the cloud end detects that the tested end has a bound detection end, determining whether the bound detection end is the current detection end; if the cloud end detects that the bound detection end is the current detection end, granting product information check permission to the current detection end; and if the cloud end detects that the bound detection end is not the current detection end, sending counterfeiting prompt information to the current detection end. The present application has the effect of improving the security of products.