24 results about "Verification and validation" 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.

Systems, methods, and computer-readable storage media for compliance verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). Some methods can include generating or identifying, by one or more processing circuits, one or more compliance parameters for a plurality of entities or third-parties on the DETPN. Some methods can include determining, by the one or more processing circuits, at least one compliance level. Some methods can include receiving or identifying, by the one or more processing circuits, environmental data of the DETPN. Some methods can include determining, by the one or more processing circuits at a second timing phase, an updated at least one compliance level for at least one of the plurality of entities or third-parties based at least on the environmental data. In some implementations, some methods can include generating and storing, by the one or more processing circuits, one or more tokens.

Systems, methods, and computer-readable storage media for compliance verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). Some methods can include generating or identifying, by one or more processing circuits, one or more compliance parameters for a plurality of entities or third-parties on the DETPN. Some methods can include determining, by the one or more processing circuits, at least one compliance level. Some methods can include receiving or identifying, by the one or more processing circuits, environmental data of the DETPN. Some methods can include determining, by the one or more processing circuits at a second timing phase, an updated at least one compliance level for at least one of the plurality of entities or third-parties based at least on the environmental data. In some implementations, some methods can include generating and storing, by the one or more processing circuits, one or more tokens.

Systems, methods, and computer-readable storage media for verification and validation of cyber resilience in a distributed entity or third-party network (DETPN). One system includes one or more processing circuits including memory and at least one processor configured to access or identify compliance data for at least one of a plurality of entities or third-parties, the compliance data corresponding with a first timing phase. The at least one processor further configured to access or identify at a second timing phase updated compliance data for at least one of the plurality of entities or third-parties based at least on environmental data of the DETPN. The at least one processor further configured to generate one or more tokens comprising at least one of the compliance data or the updated compliance data. The at least one processor further configured to provide the one or more tokens.

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 relates to a simulation platform (10) for simulating a system having a control unit (2) and peripheral hardware (PH) with which hardware functions are implemented, comprising: - a simulation hardware with a microprocessor (11), a memory (12) and an acceleration hardware (13); - software modules in the memory (12) which are designed as software for implementing control unit functions in the microprocessor (11); - the acceleration hardware (13) configured to implement, simulate, or emulate hardware functions of the peripheral hardware; - a virtual microcontroller abstraction layer (vMCAL) (24) implemented as software to provide an interface function for register accesses and function calls for the hardware functions of the peripheral hardware (PH) to the acceleration hardware (13).

A distributed resource group scheduling and group control system relates to the technical field of information transmission, and comprises a data acquisition module used for collecting operation parameters of distributed energy resources, including but not limited to generation power, voltage, current and temperature; the compression and encryption module is used for compressing and encrypting the collected data; the transmission network is used for transmitting the compressed and encrypted data and supporting efficient and safe data transmission; the receiving end decoding module is used for decrypting and decompressing the received data, recovering the original information, and checking and verifying to ensure the integrity and authenticity of the data; the compression and encryption module comprises an adaptive prediction model compression algorithm and a hybrid encryption mechanism; the group control decision module is used for performing group control on the distributed resources based on the received data; through a data compression algorithm, the transmission data volume is greatly reduced, so that the transmission speed is improved.

The invention discloses a machine room resource capacity intelligent planning system and method based on multi-source data fusion, and belongs to the technical field of data center management, and the system comprises a multi-source data collection module, a resource manifold modeling module, a geodesic optimization module, a self-adaptive planning module and a verification and inspection module. The method comprises the following steps: mapping multi-dimensional resource parameters such as space, power, heat dissipation and load bearing of a machine room into a Riemannian manifold mathematical model, and constructing a resource measurement tensor representing a resource distribution density and a constraint relationship; calculating a resource allocation optimal path on the resource manifold, constructing a multi-objective function including space utilization rate, energy efficiency, heat dissipation efficiency and cost effectiveness, and generating an optimal deployment scheme of the machine room equipment; in combination with topological characteristic analysis of resource manifolds, potential resource bottlenecks are predicted, and a resource allocation scheme is dynamically adjusted; and the security and compliance of the evaluation scheme are verified through digital twinborn simulation, so that the problem of unbalanced resource allocation caused by independent planning of each system in traditional machine room planning is solved.

The invention relates to information representation, exchange, validation, and utilization. Embodiments of the invention enable a fully digital shared information reality: an information fabric, in which unlimited numbers of participants can all permanently access (with access controls) information objects that all participants can trust and verify, according to a universal set of protocols that are logically complete, address all stages of information exchange, and enable convincing, persuasive user experience. We disclose foundational embodiments that include methods to properly record, store, communicate and display information in digital form; computational verification and validation of information; and foundational concepts in human-information interaction. The invention teaches that by using unique digital objects, numerous difficulties and inefficiencies in state-of-the-art information exchange are overcome, and the next stage of digital transformation is enabled. Embodiments discussed include Next-Generation Digital Documents, Universal User Interface and Application Programming Interface for physical objects and devices, and user-friendly digital signatures.

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.

The present invention provides a method, apparatus and system for information deposit and verification, which relates to the technical field of blockchain. The method includes: sending a first request to a second node, where the second node is a node in the meta-blockchain, and the meta-blockchain is the upper-level blockchain of the application blockchain, and the first request is used to request the second node to obtain variable public information and deposit the variable public information; obtaining the deposit information of the variable public information sent by the second node, where the deposit information is used for a third node to perform verification and validation processing on the variable public information, and the deposit information includes the variable public information; and saving the deposit information in the application blockchain. Since the meta-blockchain is the upper-level blockchain of the application blockchain and the meta-blockchain has a high authority, the deposit information provided by the meta-blockchain can effectively ensure the validity of the variable public information.

In an integrated circuit (IC) analysis, a reference IC layout is stored. Instructions are readable and executable by an electronic processor to perform an IC analysis method, including: receiving layer images of a physical IC; extracting polygons depicted in the layer images; detecting errors in the physical IC by applying homeomorphic error detection to compare the extracted polygons with polygons of the reference IC layout; and displaying the detected errors on the display. The detecting of errors may include detecting an error comprising a topological inequivalence between an extracted polygon or pair of polygons and a polygon or pair of polygons of the reference IC layout. The detecting of errors may include detecting an error comprising a topological coverage error.

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.

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.

The present invention provides an AFE application software development verification and validation device and method. This device uses an AFE simulator to simulate data packets that can be sent arbitrarily by the AFE end, collects information from the AFE end, or selects the AFE model to be simulated via a host computer. The MCU then executes corresponding safety measures on the AFE end simulated information. When executing the safety measures, the AFE simulator generates a corresponding response, which is presented to the PLC end. This provides fault response, fault duration, and BMS functional response results, thereby verifying the rationality and completeness of software development and confirming the effective implementation of safety measures.

In an integrated circuit (IC) analysis, a reference IC layout is stored. Instructions are readable and executable by an electronic processor to perform an IC analysis method, including: receiving layer images of a physical IC; extracting polygons depicted in the layer images; detecting errors in the physical IC by applying homeomorphic error detection to compare the extracted polygons with polygons of the reference IC layout; and displaying the detected errors on the display. The detecting of errors may include detecting an error comprising a topological inequivalence between an extracted polygon or pair of polygons and a polygon or pair of polygons of the reference IC layout. The detecting of errors may include detecting an error comprising a topological coverage error.

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.

The invention relates to the technical field of data security, in particular to a transaction data authenticity verification and verification method for a data platform, and the method comprises the steps: obtaining transaction voucher data of each entity through a block chain authority node; constructing a periodic fluctuation function according to periodic characteristics of renewable resource transactions; calculating a transportation fluctuation coefficient according to the characteristics of the transportation information in the transaction, and calculating an authenticity coefficient in combination with a periodic fluctuation function; and the transaction data uploaded to the block chain is effectively verified through the authenticity coefficient, so that the authenticity of the data is ensured. In order to prevent a certain node from acquiring all transaction information in the block chain to cause security risks, the invention aims to provide a mode which can verify the authenticity of the transaction data and also can guarantee the security of the transaction information on the chain.

One of the technical solutions of the present application is to provide a requirement analysis system in ship design. Another technical solution of the present application is to provide a requirement analysis method in ship design. The present application comprehensively uses MBSE, DoDAF and ontology technology to provide a requirement analysis system and method for ship design, fills the blank of actual requirement analysis oriented to task scene, and improves the systematization, completeness, rationality, standardization, consistency and traceability of ship requirements. The present application can improve the technical index requirements of ship equipment, provide reliable basis for subsequent design, analysis, verification and confirmation work, is beneficial to improve the satisfaction degree of ship overall scheme to actual requirements, and further improves the overall efficiency of ship equipment. The present application has important significance for improving the positive design level of ship equipment.

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.

Dynamic-link verification process between a mobile phone and a controlled resource. The process begins with engagement by a mobile phone with an initiator that is linked with a specific verification event that triggers a text message to auto-populate on the mobile phone. The mobile phone sends the auto-populated message to initiate the verification of the user for access to a resource controlled by a third party. Approval or denial of access to a controlled resource is sent to the mobile device and the third party.

An apparatus to facilitate enabling late-binding of security features via configuration security controller for accelerator devices is disclosed. The apparatus includes a security controller to manage security and configuration of the apparatus, wherein the security controller comprises a programmable portion and a non-programmable portion, and wherein the security controller is further to: initialize the programmable portion of the security controller as part of a secure boot and attestation chain of trust; receive configuration data for the programmable portion of the security controller, the programmable portion comprising components of the security controller capable of re-programming; verify and validate the configuration data as originating from a secure and trusted source; and responsive to successful verification and validation of the configuration data, re-program, during runtime of the apparatus, the programmable portion of the security controller using configurations that are based on a security threat model for a given deployment.

Methods, apparatuses and systems are defined for the use of a clearinghouse device in conjunction with remote online signature validation for signature validated or notarized electronic documents. The clearinghouse applies machine learning techniques to generate one or more verification and validation scores associated with signature validation using identification elements and information supplied by a signatory of the electronic document. The verification and validation scores are used to confirm proper execution of the signature validation and generate an electronic signature validation or notarization on the electronic documents.