Claims Analysis
Total Claims: 24
Claim 1
Independent Claim
313 words
A method that uses a computer having display, storage and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: displaying on said display means a graph comprising a plurality of N nodes, and a plurality of directed lines connecting certain pairs of said nodes; storing in said storage means a knowledge base comprising: (a) graph information comprising a label for each of said N nodes, and also comprising, for each said directed line, said node label for the source node and for the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . N}, a representation of a complex number A j x j |x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj| ! for each vector (x j ,x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) such that x j .di-elect cons. Σ j , x k .sbsb.1 .di-elect cons. Σ k .sbsb.1, x k .sbsb.2 .di-elect cons. Σ k .sbsb.2, . . . , and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .
Claim 2
Independent Claim
313 words
A method that uses a computer having display, storage and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: displaying on said display means a graph comprising a plurality of N nodes, and a plurality of directed lines connecting certain pairs of said nodes; storing in said storage means a knowledge base comprising: (a) graph information comprising a label for each of said N nodes, and also comprising, for each said directed line, said node label for the source node and for the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . N}, a representation of a complex number A j x j |x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj| ! for each vector (x j ,x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) such that x j .di-elect cons. Σ j , x k .sbsb.1 .di-elect cons. Σ k .sbsb.1, x k .sbsb.2 .di-elect cons. Σ k .sbsb.2, . . . , and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .
Claim 3
Dependent Claim
10 words
The method of claim 1, wherein said graph is acyclic.
Claim 4
Dependent Claim
28 words
The method of claim 2, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the eras of said graph.
Claim 5
Dependent Claim
67 words
The method of claim 1, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the probability that some pair (x j .sbsb.1,x j .sbsb.2) of said nodes will be measured to be in a state (x j .sbsb.1,x j .sbsb.2), wherein x j .sbsb.1 .di-elect cons. Σ j .sbsb.1 and x j .sbsb.2 .di-elect cons. Σ j .sbsb.2.
Claim 6
Dependent Claim
88 words
The method of claim 1, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, a list of all net stories with non-zero amplitude, wherein a net story is a vector (x 1 ,x 2 , . . . ,x N ) such that x 1 .di-elect cons. Σ 1 , x 2 .di-elect cons. Σ 2 , . . . , and x N .di-elect cons. Σ N , and the amplitude of such a net story is ##EQU7##
Claim 7
Dependent Claim
127 words
The method of claim 1, comprising the additional steps of: storing in said storage means, as part of said knowledge base, active state information comprising, for each j .di-elect cons. {1,2, . . . N}, a set E j of the active states of node x j , wherein E j is a subset of Σ j ; and calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in E j , taking into consideration that for each integer k .di-elect cons. {1,2, . . . ,N}, x k was previously known to lie in one of the states contained in E k .
Claim 8
Dependent Claim
10 words
The method of claim 6, wherein said graph is acyclic.
Claim 9
Dependent Claim
28 words
The method of claim 7, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the eras of said graph.
Claim 10
Dependent Claim
99 words
The method of claim 6, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the probability that some pair (x j .sbsb.1,x j .sbsb.2) of said nodes will be measured to be in a state (x j .sbsb.1,x j .sbsb.2), wherein x j .sbsb.1 .di-elect cons. Σ j .sbsb.1 and x j .sbsb.2 .di-elect cons. E j .sbsb.2, taking into consideration that for each integer k .di-elect cons. {1,2, . . . ,N}, x k was previously known to lie in one of the states contained in E k .
Claim 11
Dependent Claim
103 words
The method of claim 6, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, a list of all net stories with non-zero amplitude and for which all node states are active, wherein a net story for which all node states are active is a vector (x 1 ,x 2 , . . . x N ) such that x 1 .di-elect cons. E 1 , x 2 .di-elect cons. E 2 , . . . , and x N .di-elect cons. E N , and the amplitude of such a net story is ##EQU8##
Claim 12
Independent Claim
267 words
A method that uses a computer having storage and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: storing in said storage means a knowledge base comprising: (a) graph information comprising a label for each node of a plurality of N nodes, and also comprising a plurality of directed lines, wherein a directed line is an ordered pair of said node labels, wherein one member of said label pair labels the source node and the other member labels the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . N}, a representation of a complex number A J x j |x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj| ! for each vector and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .
Claim 13
Independent Claim
267 words
A method that uses a computer having storage and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: storing in said storage means a knowledge base comprising: (a) graph information comprising a label for each node of a plurality of N nodes, and also comprising a plurality of directed lines, wherein a directed line is an ordered pair of said node labels, wherein one member of said label pair labels the source node and the other member labels the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . N}, a representation of a complex number A J x j |x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj| ! for each vector and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .
Claim 14
Dependent Claim
10 words
The method of claim 11, wherein said graph is acyclic.
Claim 15
Dependent Claim
28 words
The method of claim 12, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the eras of said graph.
Claim 16
Dependent Claim
67 words
The method of claim 11, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the probability that some pair (x j .sbsb.1,x j .sbsb.2) of said nodes will be measured to be in a state (x j .sbsb.1,x j .sbsb.2), wherein x j .sbsb.1 .di-elect cons. Σ j .sbsb.1 and x j .sbsb.2 .di-elect cons. Σ j .sbsb.2.
Claim 17
Dependent Claim
88 words
The method of claim 11, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, a list of all net stories with non-zero amplitude, wherein a net story is a vector (x 1 ,x 2 , . . . ,x N ) such that x 1 .di-elect cons. Σ 1 , x 2 .di-elect cons. Σ 2 , . . . , and x N .di-elect cons. Σ N , and the amplitude of such a net story is ##EQU9##
Claim 18
Dependent Claim
127 words
The method of claim 11, comprising the additional steps of: storing in said storage means, as part of said knowledge base, active state information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a set E j of the active states of node x j , wherein E j is a subset of Σ j ; and calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in E j , taking into consideration that for each integer k .di-elect cons. {1,2, . . . ,N}, x k was previously known to lie in one of the states contained in E k .
Claim 19
Dependent Claim
10 words
The method of claim 16, wherein said graph is acyclic.
Claim 20
Dependent Claim
28 words
The method of claim 17, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the eras of said graph.
Claim 21
Dependent Claim
99 words
The method of claim 16, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, the probability that some pair (x j .sbsb.1,x j .sbsb.2) of said nodes will be measured to be in a state (x j .sbsb.1,x j .sbsb.2), wherein x j .sbsb.1 .di-elect cons. E j .sbsb.1 and x j .sbsb.2 .di-elect cons. E j .sbsb.2, taking into consideration that for each integer k .di-elect cons. {1,2, . . . ,N}, x k was previously known to lie in one of the states contained in E k .
Claim 22
Dependent Claim
103 words
The method of claim 16, comprising the additional step of: calculating with said calculation means and with some parts of said knowledge base, a list of all net stories with non-zero amplitude and for which all node states are active, wherein a net story for which all node states are active is a vector (x 1 ,x 2 , . . . ,x N ) such that x 1 .di-elect cons. E 1 , x 2 .di-elect cons. E 2 , . . . , and x N .di-elect cons. E N , and the amplitude of such a net story is ##EQU10##
Claim 23
Independent Claim
308 words
A method that uses a computer having input and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: inputting into said input means a knowledge base comprising: (a) graph information comprising a label for each node of a plurality of N nodes, and also comprising a plurality of directed lines, wherein a directed line is an ordered pair of said node labels, wherein one member of said label pair labels the source node and the other member labels the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a representation of a complex number A j x j |x k .sbsb.1,x k .sbsb.2, . . .,x k .sbsb.|sj| ! for each vector (x j ,x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) such that x j .di-elect cons. Σ j , x k .sbsb.1 .di-elect cons. Σ k .sbsb.1, x k .sbsb.2 .di-elect cons. Σ k .sbsb.2, . . . , and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .
Claim 24
Independent Claim
308 words
A method that uses a computer having input and calculation means to analyze a physical system that exhibits quantum mechanical behavior, said method comprising the steps of: inputting into said input means a knowledge base comprising: (a) graph information comprising a label for each node of a plurality of N nodes, and also comprising a plurality of directed lines, wherein a directed line is an ordered pair of said node labels, wherein one member of said label pair labels the source node and the other member labels the destination node of the directed line, (b) state information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a finite set Σ j containing labels for the states that the j'th node x j may assume, and (c) amplitude information comprising, for each j .di-elect cons. {1,2, . . . ,N}, a representation of a complex number A j x j |x k .sbsb.1,x k .sbsb.2, . . .,x k .sbsb.|sj| ! for each vector (x j ,x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) such that x j .di-elect cons. Σ j , x k .sbsb.1 .di-elect cons. Σ k .sbsb.1, x k .sbsb.2 .di-elect cons. Σ k .sbsb.2, . . . , and x k .sbsb.|sj| .di-elect cons. Σ k .sbsb.|sj|, wherein (x k .sbsb.1,x k .sbsb.2, . . . ,x k .sbsb.|sj|) are the |S j | nodes connected to x j by directed lines entering x j , wherein said directed lines entering x j transmit the state of their source node, wherein said |S j | is an integer greater or equal to zero; calculating with said calculation means and with some parts of said knowledge base, the probability that some said node x j will be measured to be in a state x j contained in Σ j .