Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Semantic solidification and derivation method based on public predicate logic

A predicate logic and semantic technology, applied in the field of semantic solidification and derivation based on public predicate logic, can solve problems such as programming errors or overflows, business scene upgrades, difficult security control, etc., and achieve convenient operation, simple structure, and safe operation Effect

Pending Publication Date: 2022-04-19
SUZHOU SUPERBLOCK CHAIN INFORMATION SCI & TECH CO LTD
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Due to the automaton mechanism of the data state of various programs including scripts, there are situations such as business scene upgrades, complex structures, and difficult security control, which can cause risks such as programming errors or overflows.

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

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Semantic solidification and derivation method based on public predicate logic
  • Semantic solidification and derivation method based on public predicate logic
  • Semantic solidification and derivation method based on public predicate logic

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0050] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some of the embodiments of the present invention, not all of them.

[0051] In a given network system, various transactions are driven by predicate logic including scripts, and the reliability and security of the program construction process are the basic conditions for the stable operation of the system.

[0052] According to the common or basic requirements of the business, the function f for designing computer programs includes: instruction unit X series and associated data D series, all instruction series and data series are digitally signed, all instruction sets {X} and signature sets {Sign_X }, all data sets {D} and signature sets {Sign_D}, all instruction hash value sets {H_X} the semantic root Root_X generated by t...

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 semantic solidification and derivation method based on public predicate logic, which comprises the following steps of: 1) selecting or designing a semantic unit X for an automaton A to form a semantic unit set {X} and a corresponding data state set {D}; 2) performing digital feature acquisition on each semantic unit in {X} and calculating an index value of each semantic unit to obtain a semantic unit index set {HX} and a digital feature set {SignX}; performing digital feature acquisition on each data state in the data state {D} and calculating an index value of each data state to obtain a data state index set {HD} and a digital feature set {SignD}; (3) respectively taking {HX} and {HD} as input to carry out a calculation mode so as to obtain a root RootA of the automaton A; and (4) the A'starts the automaton A through the RootA, all semantic units and data states of the automaton A are obtained for driving, and therefore the requirement for the automaton A is obtained.

Description

technical field [0001] The invention relates to the field of block chain technology and distributed computing, in particular to a semantic solidification and derivation method based on public predicate logic in the Internet environment. Background technique [0002] Systems running in an open Internet environment, such as blockchain systems, have a large number of data states in the form of public scripts with contract automata as a typical case combined with predicate logic for driving and processing scenarios. Distributed multi-node and other features require The unique accuracy of script semantics, while multi-level granular semantics are solidified. During the development of public scripts, the semantics and data states are solidified and derived and reused in hierarchical granularity, thereby improving the convenience and efficiency of script development. [0003] Due to the automaton mechanism of the data state of various programs including scripts, there are situatio...

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
IPC IPC(8): G06F40/30G06F40/284G06F16/31
CPCG06F40/30G06F40/284G06F16/322
Inventor 史兴国陈光宇杨垂柏
Owner SUZHOU SUPERBLOCK CHAIN INFORMATION SCI & TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com