Information Technology Reference
In-Depth Information
[
A
b
] = [+] //container model
d
V
[
H
v
- H
b
] = [
]
dt
d
Q
b
=
V
//container model
dt
[
H
v
-
H
b
] = [
Q
b
]
//container modelthe pressure is the product of density,
gravity acceleration and height
H
v
=
P
v
/(
d
×
g
)
[
P
v
=
d
×
g
×
H
v
P
v
/(
d
×
g
) -
H
b
] = [
Q
b
]
P
b
=
d
×
g
×
H
b
//container model
H
b
=
P
b
/(
d
×
g
)
[
P
v
/(
d
×
g
)-
P
b
/(
d
×
g
)] = [
Q
b
]
[Pv - Pb]
⊘
([d] × [g]) = [
Q
b
]
[
] = [+] drinking property
[g] = [+] gravity property
[P
v
- P
b
]
⊘
([+]⊗ [+]) = [
d
Q
b
]
Q
b
]
The last expression is exactly the relationship of the pressure of both ends of a
pipe and flow. So, only one pipe is required to link the bottle and the container.
[P
v
- P
b
] = [
4.7 Spatial Geometric Qualitative Reasoning
Spatial qualitative reasoning is to carry out qualitative reasoning with geometric
shape or movement property. First it is needed to qualitatively express the spatial
location and movement style, and then carry out reasoning research and
predicted analyse about geometric shape and movement property, finally give the
logical explanation. Spatial qualitative reasoning is carried out through defining a
group of space and looking for their relationship. Major research at present is to
develop explanation theory focused on spatial qualitative modeling approach,
spatial shape, qualitative express of relationship and qualitative technologies
formalization, etc. But it is still far from solving engineer problems in general.
Now express logic of space, time and continuous movement has been built up
combining
Allen's
temporal
logic
(Allen,1984)
with
Randall's
spatial
logic(Randall,1992).
