Possibility measurement calculating tree logic detection model optimization method

A technology of computing tree logic and optimization methods, applied in computing, special data processing applications, instruments, etc., can solve problems such as low performance efficiency, high time complexity, and low detection efficiency, and achieve high performance efficiency and short processing time cycle Effect

Inactive Publication Date: 2015-09-30
GUANGDONG IND TECHN COLLEGE
View PDF2 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, in the new era of rapid advancement of software and hardware technology, its scale and regional scope continue to increase, and the uniqueness detection technology in the past cannot meet the needs of reality.
For the large-scale and large-scale application of the verification area, the current model detection is mainly processed through the method of "breaking through

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0049] Example 1:

[0050] The method for optimizing the logic detection model of the probability measure calculation tree in this embodiment is implemented by using the I-PM_CT model detection algorithm, and the I-PM_CTL model detection algorithm is implemented based on the calculation tree logic model detection mark algorithm of the possibility measurement.

[0051] 1) Related theories

[0052] The premise is that the single system structure model in the model checking mechanism has several characteristics. On this basis, the software and hardware system structure model is described. Here S refers to the collection of detection states; M refers to the migration system model; C refers to the calculation of a certain possibility measure A collection of tree logic formulas, and the following relationships also exist: It can be seen from this that the detection mechanism is to verify whether M is consistent with the calculation tree logic formula model of a certain probability measure in

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a possibility measurement calculating tree logic detection model optimization method realized by an I-PM_CT model detection algorithm; the I-PM_CT model detection algorithm is calculating tree logic model detection mark algorithm based on possibility measurement, and comprises the following steps: using related possibility measurement to calculate a logic tree formula, and pre-processing uniqueness of a mark common subexpression; setting a common subexpression and possibility measurement calculating tree logic model state while fully ensuring a model detection space balance state. The I-PM_CT model detection algorithm can greatly reduce related time complexity on one hand, and improves verify performance on the other hand, and can be applied in highly complex and large scale environment through viewing experiment analysis.

Description

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Owner GUANGDONG IND TECHN COLLEGE
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap