Boolean satisfiability

a satisfactory, boolean technology, applied in the field of electronic devices, can solve the problems of increasing complexity of pattern recognition tasks, increasing difficulty in pattern recognition tasks, and increasing the delay before the system is ready to search the next portion of the data stream

Active Publication Date: 2018-04-26
MICRON TECH INC
View PDF0 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Complex pattern recognition can be inefficient to perform on a conventional von Neumann based computer.
In the field of computing, pattern recognition tasks are increasingly challenging.
Searching a data stream for each of these patterns can form a computing bottleneck.
The delay before the system is ready to search the next portion of the data stream increases with the number of patterns.
Thus, pattern recognition may slow the receipt of data.
Hardware has been designed to search a data stream for patterns, but this hardware often is unable to process adequate amounts of data in an amount of time given.
These “intermediate results”, however, can be larger than the original input data, which may pose issues for the system.
However, there has not been a system that effectively allows for performing pattern recognition in a manner more comparable to that of a biological brain.

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
  • Boolean satisfiability
  • Boolean satisfiability
  • Boolean satisfiability

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0021]Turning now to the figures, FIG. 1 illustrates an embodiment of a processor-based system, generally designated by reference numeral 10. It should be noted that as used in the present application, an apparatus may be a device or a system. The system 10 may be any of a variety of types such as a desktop computer, laptop computer, pager, cellular phone, personal organizer, portable audio player, control circuit, camera, etc. The system 10 may also be a network node, such as a router, a server, or a client (e.g., one of the previously-described types of computers). The system 10 may be some other sort of electronic device, such as a copier, a scanner, a printer, a game console, a television, a set-top video distribution or recording system, a cable box, a personal digital media player, a factory automation system, an automotive computer system, or a medical device. (The terms used to describe these various examples of systems, like many of the other terms used herein, may share so...

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

An apparatus includes a state machine engine. The state machine engine may also include an automaton, whereby the automaton is configured to analyze data from a beginning of an input data stream until a point when an end of data signal is seen. The automaton may further be configured to report an event representative of a satisfaction of a Boolean clause of a conjunctive normal form (CNF) Boolean expression representative of a Boolean Satisfiability problem (SAT) by a portion of the input data stream.

Description

CROSS REFERENCE TO RELATED APPLICATIONS[0001]This application is a Non-Provisional application claiming priority to U.S. Provisional Patent Application No. 62 / 410,722, entitled “Boolean Satisfiability”, filed Oct. 20, 2016, which is herein incorporated by reference.BACKGROUNDField of Invention[0002]Embodiments relate generally to electronic devices and, more specifically, in certain embodiments, to electronic devices with parallel devices for data analysis.Description of Related Art[0003]Complex pattern recognition can be inefficient to perform on a conventional von Neumann based computer. A biological brain, in particular a human brain, however, is adept at performing pattern recognition. Current research suggests that a human brain performs pattern recognition using a series of hierarchically organized neuron layers in the neocortex. Neurons in the lower layers of the hierarchy analyze “raw signals” from, for example, sensory organs, while neurons in higher layers analyze signal o...

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
Patent Type & Authority Applications(United States)
IPC IPC(8): G06N5/04
CPCG06N5/047G06N5/01
Inventor GRIMM, MATTHEW T.TANNER, JEFFERY M.
Owner MICRON TECH INC
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