Patent Application
20170364334
One of challenging problems in computing is read and write. Read and write can he constructed based on analyzing projected two-dimensional images from the higher-dimensional world. Read and write can also be constructed based on analyzing information obtained through other sensing of touch and hearing. In both cases, read and write create flexible methods of spatial representation based on the information.
In general, in one aspect, the invention relates to a method for read/write in a virtual or a sensing environment comprise receiving a request to read/write from the environment, determining a probe command associated with the request, building a system of symbols and operational rules to identify the language, recalling relevant instances with accuracy and measures, identifying invariants as patterns for associated form processing, enabling time-like or space-like read/write.
Other aspects of the invention will be apparent from the following description and the appended claims.
(1) Exemplary embodiments of the invention will be described with reference to the accompanying drawings. Like items in the drawings are shown with the same reference numbers.
(2) In an embodiment of the invention, numerous specific details are set forth in order to provide a more thorough understanding of the invention. However, it will be apparent to one of ordinary skill in the art that the invention may be practiced without these specific details. In other instances, well-known features have not been described in detail to avoid unnecessarily complicating the description.
(3) In general, embodiments of the invention relate to a method and apparatus for read and write for computing. More specifically, embodiments of the invention enable read/write including information proceeded through a series of steps. This kind of read and write allows one to carry out long computations. The other kind of read and write allows one to read and write information all at once. The spatial read and write has less dependency with visualized experience than tactile ones.
(4)
(5) Symbolizing constants (RW106) makes the notation concise. Some constants have an analytic form which can be constructed using known operations for computing. Some constants do not have known analytic forms. Letters symbolize constants. For more important constants, the symbols may be more complex with an extra letter. Sometimes, a constant is represented as a symbol with a whole word.
(6) In one embodiment of the invention, a determination is made about whether the read/write is rational (RW102) if the request is not to read/write a constant. A rational is detected as an object or a structure whose expansion always either terminates after a finite number of representations or begins to infinitely repeat the same finite sequence of representations. Any repeating or terminating is detected as a rational. Without expansions, a rational can be instrumented as a dense subset or detected as equivalence classes of ordered pairs.
(7) In one embodiment of the invention, a determination is made about whether the read/write is big (RW103) when the expansion continues without repeating or the request does not satisfy the above criteria specified in (6). In common practice, when developing read/write, one considers a case involving all groups or all topological spaces . . . This case creates a problem from the point of view of set theory because this is an easy consequence of the well-known paradox: the set of sets does not exist. The collection of objects is too large to form a set. Generally speaking, one needs to avoid doing anything which is obvious illegal such as considering the “big of the big” as an object itself. Embodiments of the invention handles the large objects such as the collection of all groups, the collection of all sets, the collection of all topological spaces, and so on . . . Therefore, it is useful to pay some attention of these questions of size at the earlier stage of the invention in cases of the big read/write.
(8) In one embodiment of the invention, a device is developed to enable one to distinguish between big and small (RW104). (a) Constructing a sufficient supply of universes. (b) Constructing a framework which allows both sets and classes. (c) Working in a standard set-theoretic framework but incorporating a theory of classes through some ad hoc device. For example, this invention develops a class to be collection of sets which is defined by some formula in set theory.
(9) In one embodiment of the invention, the sizing problem (the big or the small) can also be handled by working exclusively with the small, and mirror the distinction between the big and the small by keeping careful track of the relative sizes. When one is experiencing the disadvantage of burdening the exposition with and additional layer of techniques, this invention uses the above specified device.
(10) In one embodiment of the invention, the sizing problem can be handled by ignoring the big. When one needs to make arguments which play off the distinction between the big and the small which is contained in the big and determines the big, this invention uses the above specified device.
(11) In one embodiment of the invention, the scale (RW105) is a standard form expressing the big or the small to be conveniently written in the form. In addition, this invention uses a significant figure that adds to the precision. This invention has a customary to record all the definitely known figures and at least one additional figure if there is any information to enable the observer's estimation. The result contains more information with the extra figures so that the figures may be considered to be significant because it conveys some information leading to greater precision in computing and in aggregations of computing. In one embodiment of the invention, additional information about precision can be conveyed through additional notations. It may be useful to know how exact the final figures are.
(12) In one embodiment of the invention, the scale can be a linear transformation. This includes the uniform scaling that enlarge or shrinks objects by the same factor in all directions. The results can he congruent or similar objects. The uniform scaling can have separate factor for each direction. Non-uniform scaling has at least one of the scaling factors is different from the others. Non-uniform scaling can change the shape of the object. In a generalized sense, the scaling includes the case in which the directions of scaling are not perpendicular. It also includes the projection case where one or more scale factors are equal to zero and the reflection case of one or more negative scale factors.
(13) In one embodiment of the invention, read/write will be symbolized after applying the above scaling device and transformation. Symbols (RW106) are organized by types. A related list of symbols are organized by topics and subjects into tables. That list also includes markup and unicode code points for each symbol. Some symbols are reserved for read/write. Some symbols are reserved in the order and sequence of writing. It is important to recognize that an object or a structure is independent of the symbol chosen to represent it.
(14) In one embodiment of the invention, an operation (RW107) is a function performed from zero or more inputs to an output. A function is called respectively a nullary, unitary, binary, ternary, n-ary operation in cases of different inputs. A nullary operation is a selection. An unitary operation is an identity, a negation, or a trigonometric function. Operations can involve any object other than numbers. Operations may not be defined for any possible object. The inputs and the outputs of a operations can involve different types of objects. An operation may or may not have certain properties or rules such as composition, associative, commutative, anticommutative, distributive, idempotent, and so on. An operation focuses on the inputs and output result where operators focuses on the process.
(15) In one embodiment of the invention, a system (RW108) aries from the above symbols and operational rules. Different types of symbols and operations have many different uses. This inventions classifies symbols and operations into sets, called systems.
(16) In one embodiment of the invention, a determination is made about whether the iterative read/write is terminated (RW109) by the end of computing. This is to determine, from an arbitrary read/write and an input, whether the read/write will finish running or continue to run forever. In another word, the problem is to determine, given a program and an input to the program, whether the program will eventually halt when run with that input. In one embodiment of the invention, there are no resource assumptions on the amount of memory or time required for the read/write execution. Read/write can take arbitrarily long, and use arbitrarily as much storage space, before halting. A read/write process terminates its execution by making an exit call. More generally, an exit means that an execution has stopped running. As the final step of termination, an exit call is invoked, informing that the process has terminated and allows it to reclaim the resources used by the read/write process. The read/write process is said to be a dead process after it terminates.
(17) Some read/write handles a child process whose parent process has terminated in a special manner. This invention handles an orphan process becomes a child of a special root process, which then waits for the child process to terminate. Similarly, this invention also handles a zombie process, which is a child process that has terminated but whose exit status is ignored by its parent process. Such a process becomes the child of a special parent process that retrieves the child's exit status. This allows the system to complete the termination of the dead process. This inventions develops a system read/write table in a consistent state. In case of the undecidable problem, this invention develops additional metrics, utilities, and goals to halt the iterations of read/write.
(18)
(19) In one embodiment of the invention, read/write recalls the theory and properties etc. The recall (RW111) is developed as binary classification to retrieve relevant instances. In one embodiment of the invention, the perfect recall score of 1.0 is specified when all relevant theories were retrieved. Recall is plotted as ROC curves. The application of recall may be flawed as they ignore the true negative cell of the contingency table. This invention combines recall and accuracy. Informedness and Markedness are Kappa-like renormalizations of recall. The recall has the geometric mean Matthews correlation coefficient thus acts like a debiased F-measure.
(20) In one embodiment of the invention, a determination is made about whether the recall identifies patterns (RW112) which are invariants. The recognition is developed to determine the equivalence of two objects or structures. The algorithms developed to solve this task can be extremely time-consuming. A major issue of understanding how hard this problem really is is developed in this invention. The special case of recognizing the standard forms or deformable objects or structures is of particular feature of this invention.
(21) In one embodiment of the invention, the pattern form (RW113) is invoked when the pattern is identified. This invention uses tools from abstract algebra, such as group theory, to investigate properties of spaces. The pattern form tells whether two spaces are the same by calculating algebraic invariants associated with spaces, which include its homotopy groups and homology and cohomology groups. Equivalent spaces have isomorphic homotopy/(co)homology groups. If two spaces have different groups, then they are not equivalent. Thus, the pattern form identifies these algebraic invariants which provide global information about a space. This complements the local information provided by notions such as continuity.
(22) In one embodiment of the invention, a determination is made about whether a explicit types, functions, and relations (RW114) are developed for the read/write. The explicit relation can be concrete formulas, posets and monotone functions, groups and group homomorphisms, vector spaces and linear mappings, graphs and graph homomorphisms, real numbers and continuous functions, topological spaces and continuous mappings, differential manifolds and smooth mappings, natural numbers and all recursive functions.
(23) In one embodiment of the invention, the explicit form (RW115) is invoked when the above explicit types, functions, and relations are identified. First, this invention chooses an object of C for each type in the theory. Then this invention chooses a morphism in C for each function symbol in the theory. And finally, we choose a subobject in C for each relation in the theory. By induction, this invention develops an interpretation of every term that can be constructed from the theory by a morphism in C. The by induction, this invention defines an interpretation of every logical formula that can be constructed from the theory by a subobject in C. This invention constructs the building blocks of logical formulas. This construction corresponds to operations on the posets Sub(A) of subobjects. This inventions interprets existential and universal quantifiers as left and right adjoints to pullbacks. The explicit form constructs a model of a given theory in C consisting of a choice of the above objects, morphisms, and subobjects for the types, function symbols, and relation symbols.
(24) In one embodiment of the invention, a determination is made about whether read/write contains simultaneous functions and relations (RW116). This invention constructs or up-dates a map of an unknown relations while simultaneously keeping track of read/write positions within it.
(25) In one embodiment of the invention, the system form (RW117) is invoked when the simultaneous functions and relations are identified. This representation of m equations jointly in vector form is developed as the structural form. Postmultiplying the structural equation, the system form can be written in the reduced form. This invention develops the structural form to model from deductive theories while reduced form models start from identifying particular relationships between variables. This invention develops topological maps as a method of environment representation capturing the connectivity. This is different from creating a geometrically accurate map. When the projection data is limited, this invention generates a good reconstruction in one iteration and it is better to standard algebraic reconstruction technique.
(26) In one embodiment of the invention, a determination is made about whether read/write is recursive which is given by the base (RW118) and the subsequent term derived from the base (RW119). This invention develops a class of objects exhibit recursions by a simple base case (or cases) which is a terminating scenario that does not use recursion to produce a solution and a set of rules that reduce all other cases toward the base case.
(27) In one embodiment of the invention, the recursion form (RW120) is invoked when the recursive behavior is identified. This invention develops the recursive form as the process of repeating items in a self-similar way. The recursive form is a method of defining functions and relations in which the function and relation being defined is applied within its own definition. Specifically, the recursion form defines an infinite number of function values with a finite expression because some function values may refer to other ones. The recursion form has no loop or infinite chain of references. This invention generalizes the recursion form to describe a process of repeating objects in a self-similar way.
(28) In one embodiment of the invention, every read/write can invoke the sequential form (RW121) when data examples where the values are delivered in a sequence. The sequential form takes the position of each item as the input.
(29) In one embodiment of the invention, a determination is made about whether read/write is terminated as specified in RW109.
(30)
(31) In one embodiment of the invention, the geometric form (RW123) is invoked when a motion is detected. The geometric form constructs a trajectory of the motion of an object. This geometric form constructs the set of motions as a group under composition of mappings. The geometric form develops any motion as a one to one mapping of space onto itself. This invention forms motions as a group. In this invention, there is a motion that maps every line to every line. When there is a plane A, a line g, and a point P such that P is on g and g is on A, this geometric forms four motions mapping A, g and P onto themselves, respectively. There are not more than two of these motions having every point of g as a fixed point, while there is one of them for which every point of A is fixed. Given three points A, B, P on line g such that P is between A and B and for every point C between A and B, the geometric form gives a point D between C and P such that no motion with P as fixed point can be found which will map C onto a point between D and P.
(32) In one embodiment of the invention, a determination is made about whether read/write the inertia (RW124). This invention develops both classic inertia and inertia in terms of geodesic deviation. As the result, this invention detects inertia with very large scales. For sufficiently small regions, inertia works the same as in the classical model. This invention supports the new relations such that energy and mass are not separated but interchange able. In addition, this determination also concerns with the long term behavior of the solutions of dynamical systems. This invention detects finite-dimensional, smooth, and invariant manifolds that contain the global attractor and attract all solutions exponentially quickly.
(33) In one embodiment of the invention, the geometric form (RW123) is invoked when the inertia is detected. To simplify development, the geometric form analyzes the dynamics on an manifold. The geometric form develops numerical schemes to capture the long term dynamics by forming an approximate manifold. The geometric form derives the existence results such that manifolds that are expressible as a graph. This geometric form can ignore the motion of the object by defining it as a frame. In the frame, the uniform motion will observe the same laws. However, from outside the moving object this geometric form could deduce that the motion falls vertically downwards. In addition, the geometric form develops the property that a rotating rigid body preserves its state of uniform rotational motion.
(34) In one embodiment of the invention, the system form (RW108) is invoked as specified in
(35) In one embodiment of the invention, problems of subdivisions, compositions of simplicies, Klein bottle diagram are resolved using groupoids and cubical developments in specific schemes. This invention develops commutative cubes in a double groupoid in which horizontal and vertical edges come from the same groupoid. The special squares with commutative boundaries is constructed by the laws of connections. This invention develops cubical groups with connections which are Kan complexes. This invention characterizes convex sets by various local convexity conditions. The specific case passes from local to global properties. This invention develops a great number of infinitesimal similarities with are not global similarities. For example, inversions and compositions of inversions are not global similarities.
(36) In one embodiment of the invention, objects are developed as functors. A local view of “locales” in the object are also developed from global views. This invention develops the germ of an object is an equivalence class which captures their shared local properties. The objects are mostly functions and subsets. This invention has the specific implementation, the sets or functions have some properties such as being analytic or smooth.
(37) In one embodiment of the invention, a determination is made about whether read/write is terminated as specified in RW109.
(38)
(39) In one embodiment of the invention, distributions (RW128) are developed as continuous probability distributions. This invention resembles the shapes (RW129) such as normal distribution in shape with different heavier tails as those in logistic distributions. This invention develops bell-shaped, S-shaped, and similar shapes with shape parameters. For example, this invention develops the mean and the variance as shape parameters. This invention develops a parametric family as a family of objects whose definitions depend on a set of parameters for functions, probability distributions, curves, shapes, etc.
(40) In one embodiment of the invention, the global properties are specified in RW125. The local properties are specified in RW126. A determination is made about whether read/write is terminated as specified in RW109.
(41)
