CN103108411A - Networking method and networking equipment of Internet of Things - Google Patents
Networking method and networking equipment of Internet of Things Download PDFInfo
- Publication number
- CN103108411A CN103108411A CN2011103569241A CN201110356924A CN103108411A CN 103108411 A CN103108411 A CN 103108411A CN 2011103569241 A CN2011103569241 A CN 2011103569241A CN 201110356924 A CN201110356924 A CN 201110356924A CN 103108411 A CN103108411 A CN 103108411A
- Authority
- CN
- China
- Prior art keywords
- rule
- internet
- lisp
- formula
- things
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Abstract
The invention provides a networking method and networking equipment of the Internet of Things. The networking method comprise the steps of obtaining an overall and declaration language procedure of the Internet of Things, wherein the procedure comprises an overall and declaration regulation statement which is used for defining the overall function of the Internet of Things, the overall and declaration regulation statement comprises a regulation head and a regulation body of at least one predicate; designating holding variable quantity of each predicate; compiling the overall and declaration regulation statement to a distribution and declaration regulation statement executed by different nodes according to a predetermined compiling algorithm if the regulation body is judged to comprise at least two different holding variable quantities; rewriting the distribution and declaration regulation statement, and obtaining a distribution and declaration language procedure by adding a cooperative control regulation statement; sending the distribution and declaration language procedure to each node of the Internet of Things to be networked; and forming the Internet of Things comprising all the nodes by executing the distribution and declaration language procedure through each node. Each node is identified to be each holding variable quantity evaluation by using self-nodes of each node.
Description
Technical field
The present invention relates to radio network technique, relate in particular to a kind of internet of things networking method and equipment.
Background technology
The requirements such as system-oriented development mode and sensor network flexibility, extensibility, easy exploiting and ease for maintenance are disagreed, and lack the abstract obstacle that becomes the sensor network development of programming.Therefore state that the formula development model of network is considered to an important directions of sensor network development.
During the inquiry of sensor network data query treatment system deal with data, the process need sensor network of sensor network distribution inquiry and collection result is set up route according to routing policy, to guarantee the collaborative work of node.Therefore, route discovery and maintenance are the bases of sensor network deal with data inquiry.Sensor network is foundation-free facility, multihop architecture, or even dynamic, its deployed environment and condition difference are large, therefore need to adopt different routing policies, as spanning tree, Ad Hoc network router strategy based thereon or for data-centered, location-based, the energy-conservation routing policy of sensor network characteristics design etc.For realizing the exploitation of sensor network, can define the routing policy of node in sensor network, implementation etc., namely sensor network to be developed is carried out distributed statement for node.At present widely used is the distributed acoustic Ming Dynasty style network development model that the people such as Grumbach S proposes, and the Network Query Language Netlog that it supports rule-based recurrence is based upon on the Netquest virtual machine of node configuration.The complete distributed program of Netquest virtual machine support, the i.e. function of Netlog LISP program LISP description node this locality.
When carrying out by the way the sensor network exploitation, because the local function of need to each node is described, but not the GF global functions of definition sensor network, exploitation is comparatively complicated, and checking is difficulty comparatively.
Summary of the invention
The invention provides a kind of internet of things networking method and equipment, the Internet of Things overall situation formula statement formula LISP program LISP automatic compiling that is used for the user is provided is distributed acoustic Ming Dynasty style LISP program LISP, to realize namely completing internet of things networking in the situation that the user only need define the Internet of Things GF global functions.
According to an aspect of the present invention, a kind of internet of things networking method is provided, comprise: obtain Internet of Things overall situation formula statement formula LISP program LISP, described Internet of Things overall situation formula statement formula LISP program LISP comprises be used to the overall formula statement formula rule statements that defines the Internet of Things GF global functions, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Specify described overall formula statement formula rule statements each predicate hold variable;
If judgement is known the rule body of described overall formula statement formula rule statements and is comprised at least two different variablees of holding, according to predetermined compiler algorithm, described overall formula statement formula rule statements is compiled as the distributed acoustic Ming Dynasty style rule statements of being carried out by different nodes;
Distributed acoustic Ming Dynasty style rule statements to described compiler algorithm output is rewritten, and adds the Collaborative Control rule statements, to obtain distributed acoustic Ming Dynasty style LISP program LISP;
Described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node identification (ID).
According to a further aspect in the invention, also provide a kind of internet of things networking equipment, comprise:
Overall situation formula statement formula LISP program LISP acquisition module, described Internet of Things overall situation formula statement formula LISP program LISP comprises be used to the overall formula statement formula rule statements that defines the Internet of Things GF global functions, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Hold the variable set up module, be used to specify described overall formula statement formula rule statements each predicate hold variable;
The node rule collector, know that the rule body of described overall formula statement formula rule statements comprises at least two different variablees of holding, and is compiled as with described overall formula statement formula rule statements the distributed acoustic Ming Dynasty style rule statements of being carried out by different nodes according to predetermined compiler algorithm if be used for judgement;
The associated treatment module is rewritten the distributed acoustic Ming Dynasty style rule statements of described compiler algorithm output, and is added the Collaborative Control rule statements, to obtain distributed acoustic Ming Dynasty style LISP program LISP;
Distributed program issues module, be used for described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node ID.
According to internet of things networking method of the present invention and equipment, by obtaining the Internet of Things overall situation formula statement formula LISP program LISP of user's input, and according to pre-defined algorithm, Internet of Things overall situation formula statement formula LISP program LISP is compiled as the distributed acoustic Ming Dynasty style LISP program LISP that node is carried out, to be networked by deduction distributed acoustic Ming Dynasty style LISP program LISP formation by each node of Internet of Things to be set up.Realized that the user only need treat the GF global functions of setting up Internet of Things and define, can automatically form the Internet of Things that meets pre-provisioning request, make the user can be at higher abstraction hierarchy, be carry out the exploitation of Internet of Things on overall level, overcome the loaded down with trivial details work that user in the prior art need to the operation for each node be developed, verified in the networking programming process.
Description of drawings
In order to be illustrated more clearly in the embodiment of the present invention or technical scheme of the prior art, the below will do one to the accompanying drawing of required use in embodiment or description of the Prior Art and introduce simply, apparently, accompanying drawing in the following describes is some embodiments of the present invention, for those of ordinary skills, under the prerequisite of not paying creative work, can also obtain according to these accompanying drawings other accompanying drawing.
Fig. 1 is the schematic flow sheet of internet of things networking method of the present invention;
Fig. 2 is for being used for realizing the system architecture diagram of internet of things networking method shown in Figure 1;
Fig. 3 is the structural representation of internet of things networking equipment of the present invention.
Embodiment
For the purpose, technical scheme and the advantage that make the embodiment of the present invention clearer, below in conjunction with the accompanying drawing in the embodiment of the present invention, technical scheme in the embodiment of the present invention is clearly and completely described, obviously, described embodiment is the present invention's part embodiment, rather than whole embodiment.Based on the embodiment in the present invention, those of ordinary skills belong to the scope of protection of the invention not making the every other embodiment that obtains under the creative work prerequisite.
Fig. 1 is the schematic flow sheet of internet of things networking method of the present invention.As shown in Figure 1, this internet of things networking method comprises following flow process:
Step S101, obtain Internet of Things overall situation formula statement formula LISP program LISP, described Internet of Things overall situation formula statement formula LISP program LISP comprises at least one for the overall formula statement formula rule statements that defines the Internet of Things GF global functions, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Step S102, specify described overall formula statement formula rule statements each predicate hold variable;
Step S103, if judgement is known the rule body of described overall formula statement formula rule statements and is comprised at least two different variablees of holding, according to predetermined compiler algorithm, described overall formula statement formula rule statements is compiled as the distributed acoustic Ming Dynasty style rule statements of being carried out by different nodes;
Step S104 rewrites the distributed acoustic Ming Dynasty style rule statements of described compiler algorithm output, and adds the Collaborative Control rule statements, to obtain distributed acoustic Ming Dynasty style LISP program LISP;
Step S105, described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node ID.
Fig. 2 is for being used for realizing the system architecture diagram of internet of things networking method shown in Figure 1, as shown in Figure 2, this system's inclusion networking networking equipment and a plurality of Internet of things nodes that are connected with this internet of things networking equipment wireless, wherein, these a plurality of Internet of things nodes have been equipped with the virtual machine that is used for carrying out distributed acoustic Ming Dynasty style LISP program LISP.This internet of things networking equipment is used for carrying out above-mentioned steps S101～S105, namely is used for realizing being stated the formula LISP program LISP to the compiling of distributed acoustic Ming Dynasty style LISP program LISP and being issued by overall formula.In Fig. 2, all communicate with whole Internet of things nodes take internet of things networking equipment and each Internet of things node only with between adjacent node is communicated by letter as example and described, but it should be appreciated by those skilled in the art, also can take to be different from system architecture shown in Figure 2 utilizes internet of things networking equipment to carry out networking, for example, internet of things networking equipment is only communicated by letter with the part Internet of things node, with the Internet of things node of internet of things networking devices communicating can flood by node (flooding) will send to from the information that internet of things networking equipment obtains the property networked node.The below adopts the overall formula statement formula rule statements of Datalog language definition and the distributed acoustic Ming Dynasty style rule statements that is generated to adopt Netlog language definition as example take this internet of things equipment support, S101～S105 is elaborated to above-mentioned steps, and wherein the Netlog language is the linguistic form that the Internet of things node of prior art can be identified and deduce.
In the time will setting up Internet of Things, the user directly defines for the GF global functions that will set up Internet of Things, forms the Internet of Things overall situation formula statement formula LISP program LISP of Datalog language definition.Wherein, description of overall importance to network functions such as route, spanning trees is provided in Internet of Things overall situation formula statement formula LISP program LISP, describe based on the distributed function of nodal operation and need not to provide, this Internet of Things overall situation formula statement formula LISP program LISP for example comprise with the Datalog language representation, " in the Internet of Things of being set up by the shortest path route " this network function.
The formed Internet of Things overall situation of user formula statement formula LISP program LISP is the Datalog program that comprises a plurality of Datalog rules, wherein each Datalog rule format is for " regular head :-rule body " and take foward-push to deduce, and has the fixed point semanteme by the Datalog program that the Datalog rule consists of, namely circularly the rule of program is deduced, true from the true or deletion that known fact deduction is new, true or the deletion new until can't reentry is existing true, and program implementation this moment stops.For example comprise following Datalog rule in Internet of Things overall situation formula statement formula LISP program LISP:
Route(x，d，d)：-Link(x，d).
Route(x，h，d)：-Link(h，x)；Route(h，z，d)；
x≠z.
Preset in internet of things networking equipment for Internet of Things overall situation formula is stated the formula LISP program LISP, be that the Datalog program compilation is distributed acoustic Ming Dynasty style LISP program LISP, it is the Compile algorithm of Netlog program, internet of things networking equipment is distributed to the deductive procedure of the Datalog program of user-defined overall formula on each node in system shown in Figure 2 according to the Compile algorithm, set up the communication between each node, and make node cooperative work.Below in conjunction with the Compile algorithm, compilation process is elaborated.
The Compile algorithm comprises following four steps:
Step 1: with the data distributed storage
Input program P
COutput program P
1
Call algorithm Localize (P
C) be P
CIn each predicate select one and hold variable, add mark " ", obtain P
1
Particularly, this step 1 is used to specify the Distributed Storage rule of each node, each predicate that calls algorithm Localize and be in the Datalog rule of overall formula specifies some variablees for holding variable, and add address instruction for holding variable, namely how distributed earth is stored on each node of network the regulation fact.For example, for the Route (Sourse in the Datalog rule, NextHop, Destination) predicate, wherein Sourse is source node, NextHop is next-hop node, Destination is destination node, the variable of specifying high order end in this predicate when the Localize algorithm is when holding variable, and each node is only stored in the whole network route and own relevant segment, i.e. route take oneself as starting point so.
Step 2: with the Computation distribution formula
Input program P
1, output program P
2, integer κ.
To each regular r ∈ P
1, suppose Add
rBe r rule head hold variable; Make the set Cn of variable
r={ Add
r; Call algorithm Rewrite (r, Add
r, Cn
r), obtain the set T of a rule
rAnd integer k
r
Make P
2=∪
R ∈ P1T
r, κ=max{ Δ, max{k
r| r ∈ P
1, wherein Δ is the diameter of figure G, namely in system shown in Figure 2 as ultimate range between the node of Internet of Things to be set up.
Algorithm Rewrite (r, Add wherein
r, Cn
r) be:
Input rule r, variables A dd
r, variable set Cn
rThe set T of output rule
r, integer κ
r
Suppose that regular r is γ :-γ
1 γ
l. l＞0 wherein.Below use Add
γIn expression field γ, predicate holds variable.
Make the S set of field={ γ
1..., γ
l.Make the S set of field '={ γ
i| γ
i∈ S and Add
γ i=Add
r.Be that S ' comprises in the rule body of strictly all rules r and holds variable and Add
rIdentical field.
If S '=S makes T so
r{ r} makes κ
r=1.
If S ' ≠ S, so:
Beginning (Begin);
"=S-S ', i.e. S " comprises in the rule body of strictly all rules r and holds variable and Add to make the S set of field
rDifferent fields.
To any γ
j, γ
k∈ S ", make the set V of variable
jk={ v|v is γ
jAnd γ
kCommon variable.If
Make so γ
j≈ γ
k
Suppose S " at { S that is divided into of the smallest subset that concerns the ≈ lower closure
1" ..., S
n".To each S
i", i ∈ [1, n] makes T
i={ Add
γ iw| γ
iw∈ S
i" and Link (Add
r, Add
γ iw) ∈ S '.Wherein, T
iComprising all is S
i" variable of holding of middle predicate is again Add
rThe variable of " neighbours ".
Situation 1: if
(be S
i" in " non-local part " " be connected " with " local part " single-hop in S '), so, from T
iMiddle selection variable, for example an Add
γ iu
Make S
i"=S
i" ∪ { Link (Add
γ iu, Add
r), Cn
ri=Cn
r∪ { Add
γ iu, d
ri=1.
Suppose S
i"={ γ
I, 1..., γ
I, mi.Make regular r
iBe Q
i(Add
r, y
I, 1..., y
I, li) :-γ
I, 1 γ
I, miQ wherein
iA new predicate, set { Add
r, y
I, 1..., y
I, liComprise all and appear at simultaneously S
i" and the variable in the rule head of S ' or r.
Situation 2: if
(be S
i" in " non-local part " " be not connected " with " local part " single-hop in S '), so, from S
i" middle selection field, for example a γ
I, u
Suppose that y is a variable that does not appear in r.Make Cn
ri=Cn
r∪ { Add
γ i, u.Make d
ri=1+ Δ.Suppose S
i"={ γ
I, 1..., γ
I, mi.Make regular r
iBe Q
i(Add
γ i, t, y
I, 1..., y
I, li) :-γ
I, 1 γ
I, miQ wherein
iA new predicate, { Add
γ i, t, y
I, 1..., y
I, liBe that all appear at S simultaneously
i" and the set of the variable in the rule head of S ' or r.
Make regular r
i' be Q
i(x, y
I, 1..., y
I, li) :-Q
i(y, y
I, 1..., y
I, li); Link (y, x)..
Finish (End)
Suppose S '={ γ
1' ..., γ
k', make regular r ' be:
γ：-γ
1′；…；γ
k′；Q
1(Add
r，y
1，1，…，y
1，l1)；…；Q
n(Add
r，y
n，1，…，y
n，ln).。
γ wherein, γ
1' ..., γ
k' the variable of holding be all Add
rTo each i ∈ [1, n], call Rewrite (r
i, Add
γ i, u, Cn
ri), obtain＜T
ri, k
ri.
Make T
r={ r ' } ∪ ∪
I ∈ [1, n]({ r
i' ∪ T
ri), k
r=max{k
ri+ d
ri| i ∈ [1, n] }.
Particularly, in above-mentioned steps 2, if comprise a plurality of predicates in the rule body of internet of things networking equipment Inspection to a Datalog rule, and have at least two predicates to have the different variablees of holding in a plurality of predicates, call above-mentioned recurrence Rewrite algorithm and this Datalog rule is rewritten into many rules of deducing respectively on a plurality of nodes.The below describes rewriting rule as an example of concrete Datalog rule example.
For example for Q (x
1, y
1, z) :-Link (x
1, x
2); R
1(x
2); Link (y
1, y
2); R2 (z)., also add for holding variable by the leftmost variable of specifying each predicate in step 1, form Q (x
1, y
1, z) :-Link (x
1, x
2); R
1(x
2); Link (y
1, y
2); R2 (z)..
Comprise four predicates in this regular rule body: " Link (x
1, x
2) ", " R
1(x
2) ", " Link (y
1, y
2) " and " R2 (z) ", and these four predicates have respectively the different variable " x that hold
1", " x
2", " y
1" and " z ".Selected one of them predicate of Rewrite algorithm is as " local part ", as " Link (x
1, x
2) ", namely on node during deduce rule, to variable x
1Give the node identification (ID) of this node, and other parts, i.e. " R
1(x
2); Link (y
1, y
2); R2 (z) " be three " non-local parts ", and can know that by the related variable of these three predicates these three " non-local parts " do not connect mutually.The Rewrite algorithm replaces " non-local part " in meta-rule with new predicate, corresponding each " non-local part " adds new rule, and this rule is take new predicate as regular head, take each " non-local part " as rule body.If the predicate in the rule body of new regulation still has the different variablees of holding, call the Rewrite algorithm and new regulation is carried out the rewriting of the same manner.
By above-mentioned steps, Q (x
1, y
1, z) :-Link (x
1, x
2); R
1(x
2); Link (y
1, y
2); R2 (z). rule below forming after rewriting:
Q(x
1，y
1，z)：-Link(x
1，x
2)；Q
1(x
1，x
2)；Q
2(y
1，y
2)；Q
3(z).
Q
1(x
1，x
2)：-R
1(x
2)；Link(x
2，x
1).
Q
2(y，y
1，y
2)：-Link(y
1，y
2)；Link(y
1，y).
Q
2(x，y
2，y
2)：-Q
2(y，y
1，y
2)；Link(y，x).
Q
3(x，z)：-R2(z)；Link(z，x).
Q
3(y，z)：-Q
3(x，z)；Link(x，y).
By above-mentioned rewriting, meta-rule Q (x
1, y
1, z) :-Link (x
1, x
2); R
1(x
2); Link (y
1, y
2) deduction be distributed on four nodes, these nodes are held variable " x with node identification (ID) to four
1", " x
2", " y
1" and " z " assignment.Each " non-local part " fact of deducing on other node and will deduce sends it back local node, and node is together with the fact of " local part " and " non-local part " deduction of receiving, the result of deduction meta-rule.
Step 3: set up communication
Input program P
2Output program P
3
To P
2Carry out following modification and obtain P
3: to P
2In each rule head and rule body hold the different rule of variable, interpolation mark " ↑ " before the rule head; To P
2In each rule head and rule body hold the identical rule of variable, interpolation mark " ↓ " before the rule head.
Particularly, to the rule of rewriting through step 2, if rule head hold in variable and rule body to hold variable different, need to add " ↑ " instruction before the rule head so, namely the regulation fact of should rule deducing sends to other nodes, otherwise add " ↓ " instruction before the rule head, namely regulation is stored in this locality with the fact of rule deduction, so far formed and comprise be used to stipulating which specific variable should be assigned the address instruction of node ID, and the Netlog of the storage of communicating by letter between the node of the true storage of regulation and node/transmissions instruction " ↑/↓ " is regular.For example:
↓Q(x
1，y
1，z)：-Link(x
1，x
2)；Q
1(x
1，x
2)；Q
2(y
1，y
2)；Q
3(z).
↑ Q
1(x
1, x
2) :-R
1(x
2); Link (x
2, x
1). Q wherein
1(x
1, x
2) comprise and hold variable x
1, it is x that the fact that is about to deduce sends to ID
1The node of assignment;
↑ Q
2(y, y
1, y
2) :-Link (y
1, y
2); Link (y
1, y). and Q wherein
2(y, y
1, y
2) comprise and hold variable y, it is the node of the assignment of y that the fact that is about to deduce sends to ID, namely ID is y
1The neighbours of node of assignment;
↑ Q
2(x, y
2, y
2) :-Q
2(y, y
1, y
2); Link (y, x). Q wherein
2(x, y
1, y
2) comprise and hold variable x, be about to deduce that true to send to ID be the node of the assignment of x, namely ID is the neighbours of node of the assignment of y; In conjunction with upper rule, implementation effect is with Q
2The fact is broadcast to all nodes.
↑ Q
3(x, z) :-R2 (z); Link (z, x). Q wherein
3(x, z) comprises and holds variable x, be about to deduce that true to send to ID be the node of the assignment of x, and namely ID is the neighbours of node of the assignment of z;
↑ Q
3(y, z) :-Q
3(x, z); Link (x, y). Q wherein
3(y, z) comprises and holds variable y, be about to deduce that true to send to ID be the node of the assignment of y, and namely ID is the neighbours of node of the assignment of x; In conjunction with upper rule, implementation effect is with Q
3The fact is broadcast to all nodes.
Step 4: collaborative calculating
Input program P
3, integer κ; Output program P
D
To P
3In rule carry out following modification and obtain P
D:
Add field " Clock (x, q) at each regular rule body front end; Q ≠ 0; ", wherein x be in rule body predicate hold variable.
Each is contained P in the rule head
CThe rule (epitaxial relationship of program is the relation of the predicate in the rule head of the rule that only appears at program) of predicate of an epitaxial relationship R, predicate " R " in the rule head is replaced with the predicate of a new relation, for example " TempR ", and rule (suppose that predicate R and TempR have i+1 variable, x is the variable of holding of predicate R and TempR) below adding:
↓R(x，x
1，…，x
i)：-！TempR(x，x
1，…，x
i)；！Clock(x，0).
↓Continue(x)：-！TempR(x，x
1，…，x
i)；！Clock(x，0)；
↑Inform(y，x)：-！TempR(x，x
1，…，x
i)；！Clock(x，0)；
Link(x，y).
Add following rule:
↓Continue(x)：-！Start(x).
↑Inform(y，x)：-！Start(x)；Link(x，y).
↓Clock(x，κ)：-！Start(x).
↓Clock(x，κ)：-！Clock(x，0)；！Continue(x).
↓Clock(x，p)：-！Clock(x，q)；q≥1；p＝q-1.
：-！Clock(x，0)；
↑ Inform (z, y) :-Inform (y, x); Clock (y, q); Link (y, z); X ≠ z; Q＞κ-Δ+1. wherein Δ is Internet of Things topology Diameter of graphs.
↓Continue(x)：-Inform(x，y)；！Clock(x，q)；q≠0.
Particularly, if in step 2, article one, the Datalog rule is rewritten into several Netlog rules of deducing on different nodes, collaborative the completing of the several nodes of once deduction needs of so former Datalog rule, i.e. the multi-round (to move down these bouts as a circulation) that the once deduction (stage) of former Datalog program execution is carried out corresponding to the Netlog program.Because program contains Negative Predicate " not " and deletion action, for keeping the consistent of semanteme, some rules of need interpolation are come the Distributed Calculation on synchronization node.
With the field " Clock (x, q) that adds at each regular rule body front end; Q ≠ 0; " be example, wherein for being assigned κ, the value of κ is the output of step 2 to q when each circulation beginning, the value of κ is greater than the topological Diameter of graphs of Internet of Things to be set up.The every deduction of node once should rule, q subtracts 1, does not write in interim buffer memory (TempR) if q is not 0 fact with this deduction, if q is 0, all fct of storing in interim buffer memory TempR is write in ingress local routing table (R), empty interim buffer memory TempR, complete once circulation.By the fact of formerly storing in this circulation fact (namely being stored in the fact in interim buffer memory TempR) of deducing and local routing table R is compared, judge in this circulation and whether generate the new fact, if generate the new fact, notify other nodes and continue to carry out circulation next time; If the local notice that does not generate the new fact and do not receive the generation new fact of other nodes transmissions, repeat again once circulation, if and this repeats and does not generate new true and notice that do not receive the generation new fact that other nodes send in once circulation and stop deducing, if this repeats and has generated new true or notice that receive the generation new fact that other nodes send in once circulation and continue circulation and deduce.
So far, realized that the Datalog program compilation with overall formula is distributed Netlog program.
Next, internet of things networking equipment is sent to each node shown in Fig. 2 with the distributed Netlog program that obtains, distributed Netlog program is deduced according to prior art by each node, to set up the contact between each node, form the Internet of Things that comprises these nodes.
Internet of things networking method according to above-described embodiment, by obtained the Internet of Things overall situation formula statement formula LISP program LISP of user's input by internet of things networking equipment, and according to pre-defined algorithm, Internet of Things overall situation formula statement formula LISP program LISP is compiled as the distributed acoustic Ming Dynasty style LISP program LISP of node, to be networked by deduction distributed acoustic Ming Dynasty style LISP program LISP formation by each node of Internet of Things to be set up.Realized that the user only need treat the GF global functions of setting up Internet of Things and define, can automatically form the Internet of Things that meets pre-provisioning request, make the user to carry out the exploitation of Internet of Things on higher overall level, overcome the loaded down with trivial details work that user in the prior art need to the operation for each node be developed, verified in the networking programming process.
Fig. 3 is the structural representation of internet of things networking equipment of the present invention.As shown in Figure 3, this internet of things networking equipment comprises:
Overall situation formula statement formula LISP program LISP acquisition module 31, be used for obtaining Internet of Things overall situation formula statement formula LISP program LISP, described Internet of Things overall situation formula statement formula LISP program LISP comprises be used to the overall formula statement formula rule statements that defines the Internet of Things GF global functions, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Hold variable set up module 32, be used to specify described overall formula statement formula rule statements each predicate hold variable;
Distributed program issues module 35, be used for described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node ID.
The flow process that the internet of things networking equipment of above-described embodiment is set up Internet of Things is identical with the internet of things networking method of above-described embodiment, so locate to repeat no more.
Internet of things networking equipment according to above-described embodiment, by obtaining the Internet of Things overall situation formula statement formula LISP program LISP of user's input, and according to pre-defined algorithm, Internet of Things overall situation formula statement formula LISP program LISP is compiled as distributed acoustic Ming Dynasty style LISP program LISP, to be networked by deduction distributed acoustic Ming Dynasty style LISP program LISP formation by each node of Internet of Things to be set up.Realized that the user only need treat the GF global functions of setting up Internet of Things and define, can automatically form the Internet of Things that meets pre-provisioning request, make the user to carry out the exploitation of Internet of Things on overall level, overcome the loaded down with trivial details work that user in the prior art need to the operation for each node be developed, verified in the networking programming process.
Further, in the internet of things networking equipment of above-described embodiment, described overall formula statement formula program adopts Datalog language definition, and described distributed acoustic Ming Dynasty style program adopts Netlog language definition.
Further, in the internet of things networking equipment of above-described embodiment, described node rule collector comprises:
The rule generation unit, be used for having connectivity between different described each predicates of holding variable according to described rule body, be respectively and have different described each predicates of holding variable and generate new regulations, the rule body of each described new regulation only comprises the identical variable of holding;
Set up communication unit, be used to described new regulation to add and be used to indicate the instruction that sends or store.It should be noted that at last: above embodiment only in order to technical scheme of the present invention to be described, is not intended to limit; Although with reference to previous embodiment, the present invention is had been described in detail, those of ordinary skill in the art is to be understood that: it still can be modified to the technical scheme that aforementioned each embodiment puts down in writing, and perhaps part technical characterictic wherein is equal to replacement; And these modifications or replacement do not make the essence of appropriate technical solution break away from the scope of various embodiments of the present invention technical scheme.
Claims (6)
1. an internet of things networking method, is characterized in that, comprises:
Obtain Internet of Things overall situation formula statement formula LISP program LISP, described Internet of Things overall situation formula statement formula LISP program LISP comprises be used to the overall formula statement formula rule statements that defines Internet of Things overall situation formula function, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Specify described overall formula statement formula rule statements each predicate hold variable;
If judgement is known the rule body of described overall formula statement formula rule statements and is comprised at least two different variablees of holding, according to predetermined compiler algorithm, described overall formula statement formula rule statements is compiled as the distributed acoustic Ming Dynasty style rule statements of being carried out by different nodes;
Distributed acoustic Ming Dynasty style rule statements to described compiler algorithm output is rewritten, and adds the Collaborative Control rule statements, to obtain distributed acoustic Ming Dynasty style LISP program LISP;
Described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node identification.
2. internet of things networking method according to claim 1, is characterized in that, described overall formula statement formula LISP program LISP adopts Datalog language definition, and described distributed acoustic Ming Dynasty style LISP program LISP adopts Netlog language definition.
3. internet of things networking method according to claim 1 and 2, is characterized in that, describedly according to predetermined compiler algorithm, described overall formula statement formula LISP program LISP is compiled as the distributed acoustic Ming Dynasty style rule statements of being carried out by node, specifically comprises:
According to the connectivity that has in described rule body between different described each predicates of holding variable, be respectively and have different described each predicates of holding variable and generate new regulations, the rule body of each described new regulation only comprises the identical variable of holding;
Add for described new regulation and be used to indicate the instruction that sends or store.
4. an internet of things networking equipment, is characterized in that, comprises:
Overall situation formula statement formula LISP program LISP acquisition module, be used for obtaining Internet of Things overall situation formula statement formula LISP program LISP, described Internet of Things overall situation formula statement formula LISP program LISP comprises be used to the overall formula statement formula rule statements that defines the Internet of Things GF global functions, described overall formula statement formula rule statements comprises rule head and rule body, and described rule head and described rule body comprise respectively at least one predicate;
Hold the variable set up module, be used to specify described overall formula statement formula rule statements each predicate hold variable;
The node rule collector, know that the rule body of described overall formula statement formula rule statements comprises at least two different variablees of holding, and is compiled as with described overall formula statement formula rule statements the distributed acoustic Ming Dynasty style rule statements of being carried out by different nodes according to predetermined compiler algorithm if be used for judgement;
The associated treatment module is rewritten the distributed acoustic Ming Dynasty style rule statements of described compiler algorithm output, and is added the Collaborative Control rule statements, to obtain distributed acoustic Ming Dynasty style LISP program LISP;
Distributed program issues module, be used for described distributed acoustic Ming Dynasty style LISP program LISP is sent to each node of Internet of Things to be set up, form to carry out described distributed acoustic Ming Dynasty style LISP program LISP by described node the Internet of Things that comprises described each node, wherein, described node is each described variable assignments of holding with self node identification.
5. internet of things networking equipment according to claim 4, is characterized in that, described overall formula statement formula LISP program LISP adopts Datalog language definition, and described distributed acoustic Ming Dynasty style LISP program LISP adopts Netlog language definition.
6. according to claim 4 or 5 described internet of things networking equipment, is characterized in that, described node rule collector comprises:
The rule generation unit, be used for having connectivity between different described each predicates of holding variable according to described rule body, be respectively and have different described each predicates of holding variable and generate new regulations, the rule body of each described new regulation only comprises the identical variable of holding;
Set up communication unit, be used to described new regulation to add and be used to indicate the instruction that sends or store.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201110356924.1A CN103108411B (en) | 2011-11-11 | 2011-11-11 | Internet of things networking method and equipment |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201110356924.1A CN103108411B (en) | 2011-11-11 | 2011-11-11 | Internet of things networking method and equipment |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN103108411A true CN103108411A (en) | 2013-05-15 |
| CN103108411B CN103108411B (en) | 2016-04-06 |
Family
ID=48315901
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201110356924.1A Active CN103108411B (en) | 2011-11-11 | 2011-11-11 | Internet of things networking method and equipment |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103108411B (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10917706B2 (en) | 2016-12-15 | 2021-02-09 | Microsoft Technology Licensing, Llc | Configurable IoT device data collection |
| US11039225B2 (en) | 2016-12-15 | 2021-06-15 | Microsoft Technology Licensing, Llc | Declarative IoT data control |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20050193222A1 (en) * | 2004-03-01 | 2005-09-01 | Greene William S. | Providing secure data and policy exchange between domains in a multi-domain grid by use of a service ecosystem facilitating uses such as supply-chain integration with RIFD tagged items and barcodes |
| CN102098336A (en) * | 2011-01-18 | 2011-06-15 | 中国钓具技术标准化(北仑海伯)研究中心 | Networking and communicating methods for wireless internet of things (IOT) system |
-
2011
- 2011-11-11 CN CN201110356924.1A patent/CN103108411B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20050193222A1 (en) * | 2004-03-01 | 2005-09-01 | Greene William S. | Providing secure data and policy exchange between domains in a multi-domain grid by use of a service ecosystem facilitating uses such as supply-chain integration with RIFD tagged items and barcodes |
| CN102098336A (en) * | 2011-01-18 | 2011-06-15 | 中国钓具技术标准化(北仑海伯)研究中心 | Networking and communicating methods for wireless internet of things (IOT) system |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10917706B2 (en) | 2016-12-15 | 2021-02-09 | Microsoft Technology Licensing, Llc | Configurable IoT device data collection |
| US11039225B2 (en) | 2016-12-15 | 2021-06-15 | Microsoft Technology Licensing, Llc | Declarative IoT data control |
Also Published As
| Publication number | Publication date |
|---|---|
| CN103108411B (en) | 2016-04-06 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Loo et al. | Declarative routing: extensible routing with declarative queries | |
| CN105580331B (en) | Distributed routing protocol and centralized path computation for certainty wireless network coexist | |
| CN104506435B (en) | Shortest path in SDN controllers and SDN determines method | |
| CN105074735A (en) | Accelerated learning by sharing information between multiple learning machines | |
| US20190104026A1 (en) | Modeling access networks as trees in software-defined network controllers | |
| US9686099B2 (en) | Updating virtual network maps | |
| CN103108411A (en) | Networking method and networking equipment of Internet of Things | |
| Méry et al. | Analysis of DSR protocol in Event-B | |
| CN115514696A (en) | Method, device and equipment for transmitting computing power resource information | |
| CN102291797B (en) | Method for designing wireless terminal having routing function | |
| CN102273133A (en) | Method, device and system for diagnosing network faults | |
| CN103532861A (en) | Intra-domain dynamic multipath generating method based on generating tree | |
| CN105786525B (en) | A kind of process model transplants the method and device of code to threading model | |
| CN110234147A (en) | The static routing dispositions method of lighting control system network | |
| CN109379283A (en) | Self-organized network communication method, apparatus and ad hoc network based on Internet of Things heterogeneous device | |
| CN104506427B (en) | More new control method and update control apparatus | |
| Doddamani et al. | Energy consumption comparison of AODV and DSDV routing protocols | |
| Rao et al. | Power and Trust based Routing for MANET using RRRP Algorithm | |
| CN104836733A (en) | Method for achieving optimal link state routing protocol | |
| Truong et al. | Repairing wireless sensor network connectivity with mobility and hop-count constraints | |
| Paul et al. | Data collection from wireless sensor networks using a hybrid mobile agent-based approach | |
| CN103763191B (en) | Intra-domain multipath generating method based on spanning tree | |
| Chatzimilioudis et al. | Operator placement for snapshot multi-predicate queries in wireless sensor networks | |
| CN106899926B (en) | Role distribution parameter determination method and device for wireless sensor network | |
| Ahmad-Kassem et al. | Ubiquest, for rapid prototyping of networking applications |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |