11 results about "Software 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 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 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 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.

The invention discloses a fluid simulation platform for aerodynamic characteristic analysis of civil aircrafts, and belongs to the technical field of aerodynamic numerical simulation. The fluid simulation platform adopts a layered architecture and comprises a platform layer, a server side, a client side and a user layer, and the platform layer comprises software and hardware infrastructures; the server comprises a basic service layer and a data layer; the client comprises an application layer and an access layer, and the application layer comprises a pre-processing module, a solver module, a post-processing module and a verification and confirmation module; the access layer comprises an aviation special fluid simulation software interface; and the user layer comprises technicians and maintainers. According to the method, a software heterogeneous component packaging and embedding technology is selected, data formats, interface styles and other elements are uniformly defined, different types of fluid simulation components are integrated, and a civil aircraft aerodynamic characteristic analysis scheme which is coherent in use experience and complete in simulation process is provided for researchers or engineers under different working conditions.

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.

This application relates to a method, apparatus, computer device, storage medium, and computer program product for verifying fuel rod software. The method involves acquiring a verification start command for the fuel rod software to be verified, obtaining software calculation data output by the software based on the start command, acquiring standard result data, determining verification parameters of the software based on the standard result data, and then sequentially extracting the software calculation data corresponding to each verification parameter and comparing it with the standard result data to obtain at least one comparison result. Based on the comparison results of each verification parameter, the verification result of the fuel rod software to be verified is obtained through classification and statistics. This method allows for automated software verification and validation, reducing human error and improving the efficiency of software verification and validation analysis.

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.

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.