7 results about "Conformance checking" patented technology

The invention relates to the technical field of computer information security, and discloses a compliance checking method of an operating system, a compiler, equipment, a medium and a product, the method comprises the following steps: analyzing a security configuration file of the operating system to obtain an intermediate representation of at least one compliance rule in the security configuration file, the intermediate representation comprises a target rule type of the compliance rule and a target analysis object; querying a target kernel tracking point matched with the compliance rule in a target storage space based on the target rule type, wherein the target storage space is used for storing a corresponding relationship between the rule type and the kernel tracking point; on the basis of the target analysis object, the target kernel tracking point and the corresponding relation between the compliance rule and the target analysis object, a first checking tool is generated, and the first checking tool is used for conducting compliance checking on the operating system to obtain a first compliance checking result of the operating system. According to the invention, the problem of checking illegal configuration when the configuration of the operating system drifts can be solved.

The present disclosure describes system and methods for determination of building code performance. One such method comprises transforming a building code regulation into a computable record that defines a building design and / or engineering rule for the building code regulation; performing design model validation, wherein design model validation comprises entering building permit application file information and checking the building permit application file information against relevant codes and regulations, using a taxonomy or neural natural language processing techniques or artificial Intelligence; performing exchange model code checking; performing code conformance checking, wherein the code conformance checking comprises receiving a request from the exchange models and passing the building permit application file information to code checking modules; performing verification reporting based on input provided from the code checking modules; and performing results reporting based on findings of the verification reporting.

The invention relates to a business system container environment yaml file consistency checking method and device. Comprising the steps of obtaining a plurality of yaml files in a target container cloud platform; analyzing reference values of target general configuration items in the yaml files; analyzing an actual value of the target general configuration item in each yaml file; and comparing the reference value and the actual value of the general configuration item to obtain a consistency check result of the target general configuration item. According to the method, regular consistency checking and early warning of the yaml general configuration items are achieved, the accuracy of the yaml file is improved, the effectiveness of test implementation is guaranteed, the high-quality development requirement is met, and quality and efficiency are improved.

This invention provides a method and apparatus for optimizing expense control approval processes based on flowcharts and event logs. The method includes: acquiring a pre-set approval flowchart corresponding to the approval document and parsing the flowchart to obtain a standard approval path; collecting full event logs from the approval chain of the approval document and parsing the full event logs to obtain the actual approval path; performing consistency checks and anomaly pattern recognition based on the standard approval path and the actual approval path to identify anomalies in the approval chain; analyzing the anomalies to determine the corresponding causes, and optimizing the standard approval path based on the causes. This invention can automatically identify anomalies and their causes in the approval process based on operational status and optimize the approval process, thereby improving the rationality of the approval process.

Various examples are provided for virtual performance conformance checking and management for modular construction. In one example, a method includes segmenting boundaries of as-built and as-planned models of construction elements, determining characteristics of each boundary segment of the as-built and as-planned models, determining a similarity ratio for a matching pair of boundary segments of the as-built and as-planned models, comparing a total similarity ratio based on the similarity ratios for the matching pair of boundary segments to a specified threshold, and snapping the as-built model to a predefined location within the point cloud in response to the comparison. A system with computing or processing circuitry can execute a program or application to implement the similarity / conformance checking methodology. The similarity / conformance checking methodology can be implemented within a construction performance modeling and simulation (CPMS) framework.

The invention relates to the technical field of data visualization and data engineering, and particularly provides a method and device for monitoring a data logic migration process, and the method comprises the following steps: S1, a data source access module manages migration source system and target system database information; s2, selecting one or more business tables in a migration source system and a target system by a progress object selection tool, and calculating a migration process progress based on the one or more business tables; s3, the data extraction script tool writes data change and abnormal logs of the data migration comparison object into a record table; s4, the visual configuration module configures an instrument board and a report, and displays the progress and the state of the migration process; s5, actively informing a data migration operator when a migration exception occurs in an exception informing module; and S6, the data consistency checking module checks the consistency and integrity of the migrated data. Compared with the prior art, the method has the advantages that the tool repeated development cost caused by database type differences of enterprises can be reduced, and the reuse rate of migration tools is greatly increased.

The invention relates to the technical field of safety design and verification of a rail transit signal system, and discloses an interlocking software data verification method which comprises the following steps: S1, data extraction and standardization: extracting data in a plurality of interlocking table files, and constructing a standardized intermediate data model through the extracted data; s2, multi-level consistency verification is carried out; s3, carrying out formalized modeling and attribute specification; s4, performing model inspection and counter example generation; and S5, generating a safety analysis report. According to the interlocking software data verification method, a complicated and error-prone manual checking process is replaced by constructing a standardized intermediate data model and executing automatic multi-level consistency checking, manual driving of checking work is converted into tool driving, the data verification efficiency is greatly improved, and the data verification efficiency is greatly improved. And the risk of missing detection caused by human negligence is reduced.