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

Turing machine insolubility discrimination method and system for big data

A discriminant method and Turing machine technology, applied in the field of Turing machines, can solve problems such as high communication overhead, communication paralysis, and low value density of big data, and achieve the effect of improving computing efficiency and reducing the probability of doing useless work

Inactive Publication Date: 2018-06-22
SHENZHEN GUOHUA OPTOELECTRONICS +1
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] Existing Turing machines have no restrictions on running time, communication overhead, and calculation results. As long as the calculation can be completed within a limited time, but the limited time can be very long, such as tens of thousands of years, it is solvable and cannot be stopped or calculation errors It is considered unsolvable, but this cannot meet the needs of big data processing, because big data processing requires real-time, obviously there is no limit to the running time; because the amount of data in big data processing is very large, if the data needs to be far away during the calculation process Distance transmission, obviously, due to the huge amount of data, the communication overhead is huge, which will make the communication paralyzed, so the communication distance must be limited, which is reflected in the Turing machine is the number of grids that the read-write head needs to move when calculating once; because large data The value density is low. If a certain amount of value cannot be mined within a certain period of time, it means that using the current algorithm to mine the current data is doing useless work and should end instead of continuing to mine.

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
  • Turing machine insolubility discrimination method and system for big data
  • Turing machine insolubility discrimination method and system for big data

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0031] Such as figure 1 As shown, there are four unsolvable cases of big data Turing machines as follows:

[0032] The first case is unsolvable beyond the time limit, which is called overtime unsolvable.

[0033] Define Turing machine M=(Q, Σ, Γ, δ, q0, qaccept, qreject, m, P, T), wherein: Q is a state set, Σ is an input character set, Γ is a storage band character set, Γ=Σ ∪{□}, δ is the transfer function, δ: Q×Γ→Q×Γ×{L,R}; q0 is the initial state, qaccept is the acceptance state, and qreject is the rejection state.

[0034] The number of transfers of the transfer function δ is limited, instead of being transferred endlessly, once the running time exceeds T, it will end in the qreject state, which is called timeout unsolvable. Unsolvable over time does not mean that the big data application is really unsolvable. It only means that the processing program design of the big data application is unreasonable and does not take into account the real-time nature of the processing. ...

Embodiment 2

[0046] There are four solvable cases of big data Turing machines:

[0047] The first type is solvable within the time limit, which is called time-solvable.

[0048] Define Turing machine M=(Q, Σ, Γ, δ, q0, qaccept, qreject, k, m, P, T), wherein: Q is a state set, Σ is an input character set, Γ is a storage band character set, Γ =Σ∪{□}, δ is the transfer function, δ: Q×Γ→Q×Γ×{L,R}; q0 is the initial state, qaccept is the acceptance state, and qreject is the rejection state.

[0049] Among them, both m and P are set to be empty, and only the limit of the end condition of T is imposed. The number of transfers of the transfer function is limited, instead of being able to transfer endlessly. Once the running time does not exceed T and ends in the qaccept state, it is called Solvable in time. Time-solvable means that this big data application is really solvable, and it can also show that the processing program of this big data application is designed reasonably, taking into accoun...

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 Turing machine insolubility discrimination method and system for big data. According to the Turing machine insolubility distinction method for the big data, a Turing machineM=(Q,sigma,gamma,delta,q0,qaccept,qreject,m,P0,T0,P,T) is defined, and an operating time limit is acquired, wherein an input box is popped up to prompt a user to input the operating time limit as T; aframe threshold of continuous movement of a read-write head is acquired, wherein an input box is popped up to prompt the user to input the frame threshold of continuous movement of the read-write head as m; and a minimum value density threshold and preset operating duration T0 and required value density P of the minimum value density threshold are acquired, wherein an input box is popped up to prompt the user to input the minimum value density threshold, the corresponding preset operating duration and the required value density as P0, T0 and P respectively. According to the discrimination method and system, by adding time, space and output limitations to insolubility judgment of the Turing machine, the demand of big data application is better met.

Description

technical field [0001] The invention relates to the field of Turing machines, in particular to a large data-oriented Turing machine unsolvable discrimination method and system. Background technique [0002] A Turing machine is a computational model of all existing computers, mobile phones and other electronic devices as well as electronic systems and electronic platforms. The advantage of the Turing machine model is that it can be applied not only to the oldest and most primitive computers, but also to the latest and most advanced computers, not only to a single computer, but also to a distributed computer cluster. It is suitable for the processing of small data and can be applied to the processing of big data. It is precisely because of its versatility and universality that it can become a computing model for all types of computers and electronic equipment, electronic systems, and electronic platforms. [0003] The Turing machine can use M=(Q, Σ, Γ, δ, q0, qaccept, qreject...

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): G06F9/448
Inventor 朱定局周国富
Owner SHENZHEN GUOHUA OPTOELECTRONICS
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