CN106528784A - Dimensional homogeneity checking method based on ontology - Google Patents
Dimensional homogeneity checking method based on ontology Download PDFInfo
- Publication number
- CN106528784A CN106528784A CN201610980801.8A CN201610980801A CN106528784A CN 106528784 A CN106528784 A CN 106528784A CN 201610980801 A CN201610980801 A CN 201610980801A CN 106528784 A CN106528784 A CN 106528784A
- Authority
- CN
- China
- Prior art keywords
- dimension
- physical
- vector
- attribute
- equation
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2453—Query optimisation
- G06F16/24534—Query rewriting; Transformation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2452—Query translation
Abstract
The invention discloses a dimensional homogeneity checking method based on ontology. The method comprises the following steps of: firstly, collecting a relevant physical quantity to determine a physical field to which the relevant physical quality relates; then, applying a RDF (Resource Description Framework) triad to describe the structure and the attribute of a relevant dimension; constructing the dimension ontology of the field; and realizing dimensional homogeneity checking through a SPARQL (Simple Protocol and RDF Query Language) query technology. The constructed ontology can be reused and subjected to extension supplementation, and can be directly applied to the dimensional homogeneity checking of a physical equation in the same field.
Description
Technical field
The present invention relates to dimensional analysis field, more particularly to a kind of dimensional homogeneity determination methods based on body.
Background technology
Body is a formal display explanation of the generalities of shared specific area.Construction body purpose be for
Realize knowledge sharing to a certain degree and reuse.Its Main Function has three aspects:(1) obtain there is provided a kind of new knowledge
Means are taken, normalized description is conducive to the demand for determining knowledge system, clarifies the structure of domain knowledge.(2) using formalization
The body of description can improve reuse and the reliability of knowledge system as core, be that the renewal and evolution of knowledge lays solid
Basis.(3) using unified term and concept so that the knowledge sharing between different systems is possibly realized.
In engineer applied and scientific research, the equation of reflection physical phenomenon rule can be checked in meter by dimensional analysis
It is whether correct in terms of amount, i.e. the homogeneity inspection of dimension.When physical equation is excessively complicated, dimensional homogeneity inspection can equally show
It is complicated and time-consuming, and the process of dimensional homogeneity inspection generally needs the evaluation work that repeated, such as checks another
The dimensional homogeneity of individual equation, the physical quantity for having occurred will be computed repeatedly.In order to simplify the process of dimensional analysis, reduce not
It is necessary to compute repeatedly, body is applied to into dimensional analysis, the body of dimension is set up, the structure of dimension is defined, can the amount of raising
The reusability and reliability of guiding principle knowledge.Using the SPARQL inquiring technologies of body, as long as each amount at inquiry physical equation two ends
The title of guiding principle, it is possible to the dimensional homogeneity of decisive equation.
The content of the invention
It is an object of the invention to provide a kind of dimensional homogeneity inspection method based on body, the method is by building dimension
Body, it is only necessary to inquire about the dimension title of each physical quantity in physical equation two ends, just can rapidly judge physical equation two ends in meter
It is whether correct in terms of amount, realize the inspection of dimensional homogeneity.The dimension body of structure, can extend supplement, and can reuse,
The dimensional homogeneity inspection of same area physical equation can be directly applied to.
The technical solution for realizing the object of the invention is:A kind of dimensional homogeneity inspection method based on body, step
It is as follows:
Step 1:Collect the physical quantity that physical equation is related to.
Step 2:The physical significance of the physical quantity obtained according to step 1, it is determined that basic dimension.
Step 3:The basic dimension obtained according to step 2 derive the dimension of the physical quantity that equation is related to and arrange dimension to
Amount, calculates the size of dimension vector.The form of dimension vector is defined, is needed comprising all of fundamental quantity, and the dimension of fundamental quantity
Vector, the value of its corresponding element is 1.
Step 4:Using unified naming rule name dimension.Using unified naming standard, the weight of body can be facilitated
With and supplement, be conducive to the shared of knowledge and interoperate.Unified naming rule, dimension title include three parts:(1) it is international
System of unit name SI.(2) the dimension vector form defined according to step 3, enumerates the dimension of the fundamental quantity of each dimension in order.(3) measure
Get Ge Wei indexes corresponding to guiding principle vector.
Step 5:Dimension is described by RDF triples and adds attribute.Fundamental quantity is described by attribute baseElement.Often
Individual fundamental quantity has a dimension vector, and by vectorMagnitude descriptions, (its value is floating number to size, because there is fraction
The situation of index).
Step 6:Described according to the RDF triples that step 5 is obtained, using Prot é g é ontology editor software building dimensions
Body.
Step 7:The body obtained to step 6 carries out SPARQL inquiries, judges the dimensional homogeneity of physical equation.
Compared with prior art, advantage of the invention is that:
(1) using body as core, the reusability of knowledge system can be improved.The dimension body of establishment is reusable,
Expansible supplement, may be directly applied to the dimensional homogeneity inspection of same area physical equation.
(1) it is more reliable.By the body for setting up dimension, define basic dimension and derive dimension, determine the pass between dimension
System, when dimensional homogeneity inspection is carried out, it is possible to effectively avoid the mistake of artificial calculating so that what dimensional homogeneity was checked
As a result it is relatively reliable.
(2) it is more convenient.As long as determining the dimension title of each physical quantity of equation two ends, skill is inquired about by the SPARQL of body
Art, it is possible to inquire about the size of correspondence dimension vector, then the summation of the vector magnitude at comparison equation two ends, you can realize dimension
Homogeneity inspection.
(3) more rapidly.The dimension body for having created inquired about directly, it is to avoid the meter that specific dimensional homogeneity is checked
Calculation process, inquiry velocity is faster.
Description of the drawings
Fig. 1 is the flow chart of the present invention;
Fig. 2 is the decomposition exemplary plot of linear acceleration dimension;
Fig. 3 is the dimension structure chart of dimension body.
Specific embodiment
Describe technical scheme below in conjunction with the accompanying drawings in detail.
The present invention collects the physical quantity involved by physical equation first, and determines basic dimension according to its physical significance, so
Derive the dimension of physical quantity afterwards by basic dimension, recycle RDF triples to describe dimension and add attribute, obtain dimension
Body.Finally, dimensional homogeneity inspection is realized by SPARQL inquiring technologies.Below concrete steps are described in detail:
For equation:F=ma carries out dimensional homogeneity inspection.Wherein F represents power, m representation qualities, and a represents linear acceleration
Degree.
Step 1:Collect the physical quantity that physical equation is related to.The equation is altogether related to three physical quantitys, they be respectively power,
Quality and linear acceleration.
Step 2:The physical significance of the physical quantity obtained according to step 1, it is determined that basic dimension.Equation to be verified be related to power,
Three physical quantitys of quality and linear acceleration.Power can be expressed as ml/t^2 (quality be multiplied by length divided by the time square), line
Property acceleration can be expressed as l/t^2 (length divided by time square), all can be derived with length, quality and time,
So according to its physical significance, it may be determined that fundamental quantity is length, quality and time.They are the basic of International System of Units SI
Amount, basic dimension is respectively with L, M and T representing.
Step 3:The basic dimension obtained according to step 2 derive the dimension of the physical quantity that equation is related to and arrange dimension to
Amount, obtains the size of dimension vector.Define dimension vector form be [length, quality, time], fundamental quantity dimension vector,
The value of its corresponding element is 1.The definition of power is F=ml/t^2, then dimension is MLT-2, arranges dimension vector [1,1, -2];Linearly
The definition of acceleration is a=l/t^2, then dimension is LT-2, arranges dimension vector [1,0, -2];The dimension of quality m is M, is arranged
Dimension vector [0,1,0].According to the dimension vector of gained, it is 0 with regard to vector and the quality coefficient correlation of time, with linear acceleration
The related coefficient of degree is -2, and the coefficient related to power is -2, i.e. the size of dimension vector.The physical quantity being related to is derived by fundamental quantity
Dimension being specifically defined in body, as shown in Fig. 2 being the subdivision instance graph of the dimension of linear acceleration.
Step 4:Using unified naming rule name dimension.Unified naming rule, dimension title include three parts:
(1) International System of Units name SI.(2) the dimension vector form defined according to step 3, enumerates the amount of the fundamental quantity of each dimension in order
Guiding principle.(3) get Ge Wei indexes corresponding to dimension vector.
According to the naming rule, according to the form [length, quality, time] of the dimension vector of step 3 definition, matter is obtained
Amount:Dimension_SI_M, speed (length divided by time square):Dimension_SI_LT-2, linear acceleration (length
Be multiplied by quality divided by the time square):Dimension_SI_LMT-2.
Step 5:Dimension is described by RDF triples and adds attribute.Dimension title is retouched by attribute systemDimension
State, fundamental quantity " length, quality, time " is described by attribute baseElement.Each fundamental quantity has a dimension vector, amount
Guiding principle vector is described by attribute dimensionVector, and the size of dimension vector describes (its value by attribute vectorMagnitude
It is floating number, because there is the situation of fractional exponent).Shown in part RDF triples are described as follows:
quantity:SystemOfQuantities_SI qudt:systemDimension dim:Dimension_SI_
M.
dim:Dimension_SI_M qudt:referenceQuantity quantity:Mass.
dim:Dimension_SI_M qudt:dimensionVector dim:Vector_T0.
dim:Vector_T0qudt:vectorMagnitude“0.0”^^xsd:float.
dim:Vector_T0qudt:baseElement quantity:Time.
The first row is stated:Show to describe the dimension of one of the fundamental quantity of system international SI quality
Dimension_SI_M。
Second row is stated:Show that dimension Dimension_SI_M for describing is the dimension of mass M ass.
The third line is stated:Show that the dimension vector for describing dimension Dimension_SI_M is Vector_T0.
Fourth line is stated:Show that the size for describing dimension vector Vector_T0 is " 0.0 ", data type is floating-point
Type float.
Fifth line is stated:Show that the fundamental quantity that dimension vector Vector_T0 is related to is time Time.
It is same as above that the RDF triples of other dimensions and attribute describe method.
Step 6:Described according to the RDF triples that step 5 is obtained, using Prot é g é ontology editor software building dimensions
Body.As shown in figure 3, the i.e. dimension structure of dimension body.
Step 7:The body obtained to step 6 carries out SPARQL inquiries, judges the dimensional homogeneity of physical equation.Inquiry is shown
For example it is lower shown:
Power Force respectively to physical equation two ends, mass M ass and linear acceleration Acceleration, are carried out
SPARQL is inquired about, and the size of the dimension for obtaining vector is added, and when the dimension of formula F=ma is correct, Query Result is returned
true.Inquiring about above, if Mass is changed with Time, or changing Force with Energy, Query Result will return false.
Claims (1)
1. a kind of dimensional homogeneity inspection method based on body, it is characterised in that:With body as core, the method passes through first
Related physical quantity is collected, it is determined that involved physical field, then describes the structure and category of related dimension with RDF triples
Property, the related dimension body in the field is built, the homogeneity inspection of dimension is realized by SPARQL inquiring technologies, specifically:
Step 1:Collect the physical quantity that physical equation is related to;
Step 2:The physical significance of the physical quantity obtained according to step 1, it is determined that basic dimension;
Step 3:The basic dimension obtained according to step 2 derives the dimension of the physical quantity that equation is related to and arranges dimension vector, meter
Calculate the size of dimension vector;Dimension vector form is defined, is needed comprising all of fundamental quantity, and the dimension of fundamental quantity is vectorial, its
The value of corresponding element is 1;
Step 4:Using unified naming rule name dimension;In the unified naming rule, dimension title includes three portions
Point:(1)International System of Units name SI;(2)According to the dimension vector form that step 3 is defined, the fundamental quantity of each dimension is enumerated in order
Dimension;(3)Get Ge Wei indexes corresponding to dimension vector;
Step 5:Dimension is described by RDF triples and adds attribute;Dimension title is described by attribute systemDimension,
Fundamental quantity is described by attribute baseElement;Each fundamental quantity has a dimension vector, and dimension vector is by attribute
DimensionVector is described, and the size of dimension vector is described by attribute vectorMagnitude;
Step 6:Described according to the RDF triples that step 5 is obtained, using Prot é g é ontology editor software building dimension bodies;
Step 7:The body obtained to step 6 carries out SPARQL inquiries, judges the dimensional homogeneity of physical equation.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610980801.8A CN106528784B (en) | 2016-11-08 | 2016-11-08 | Dimension homogeneous inspection method based on ontology |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610980801.8A CN106528784B (en) | 2016-11-08 | 2016-11-08 | Dimension homogeneous inspection method based on ontology |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106528784A true CN106528784A (en) | 2017-03-22 |
CN106528784B CN106528784B (en) | 2020-04-03 |
Family
ID=58350191
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610980801.8A Expired - Fee Related CN106528784B (en) | 2016-11-08 | 2016-11-08 | Dimension homogeneous inspection method based on ontology |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106528784B (en) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104317717A (en) * | 2014-10-31 | 2015-01-28 | 北京航空航天大学 | Embedded software testing method on basis of dimension conversion |
CN104519112A (en) * | 2014-04-09 | 2015-04-15 | 丹阳市天恒信息科技有限公司 | Intelligent selecting framework for staged cloud manufacturing services |
US20150106078A1 (en) * | 2013-10-15 | 2015-04-16 | Adobe Systems Incorporated | Contextual analysis engine |
CN105117397A (en) * | 2015-06-18 | 2015-12-02 | 浙江大学 | Method for searching semantic association of medical documents based on ontology |
-
2016
- 2016-11-08 CN CN201610980801.8A patent/CN106528784B/en not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20150106078A1 (en) * | 2013-10-15 | 2015-04-16 | Adobe Systems Incorporated | Contextual analysis engine |
CN104519112A (en) * | 2014-04-09 | 2015-04-15 | 丹阳市天恒信息科技有限公司 | Intelligent selecting framework for staged cloud manufacturing services |
CN104317717A (en) * | 2014-10-31 | 2015-01-28 | 北京航空航天大学 | Embedded software testing method on basis of dimension conversion |
CN105117397A (en) * | 2015-06-18 | 2015-12-02 | 浙江大学 | Method for searching semantic association of medical documents based on ontology |
Non-Patent Citations (4)
Title |
---|
B.A. SIMONSA 等: "《Defining a water quality vocabulary using QUDT》", 《20TH INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION, ADELAIDE, AUSTRALIA》 * |
付国彬: "《数学公式错误的识别技巧_量纲分析的应用》", 《编辑学报》 * |
甘祥根 等: "《量纲分析及其在物理中的应用》", 《广东技术师范学院学报》 * |
闫洪森 等: "《基于本体的知识库构建方法》", 《情报科学》 * |
Also Published As
Publication number | Publication date |
---|---|
CN106528784B (en) | 2020-04-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107885908A (en) | A kind of method for building up of the laminate dynamically equivalent model based on mode of oscillation | |
Pawar et al. | Damage detection in beams using spatial Fourier analysis and neural networks | |
Zhu et al. | A rapid structural damage detection method using integrated ANFIS and interval modeling technique | |
Hernandez et al. | On‐line monitoring of wind‐induced stresses and fatigue damage in instrumented structures | |
Shapiro et al. | Artificial compressibility, characteristics-based schemes for variable density, incompressible, multi-species flows. Part I. Derivation of different formulations and constant density limit | |
Yin et al. | Model updating method based on kriging model for structural dynamics | |
CN104346214A (en) | Device and method for managing asynchronous tasks in distributed environments | |
Iskakov et al. | Lyapunov modal analysis and participation factors with applications to small-signal stability of power systems | |
Wang et al. | An Improved Grey Prediction Model Based on Matrix Representations of the Optimized Initial Value. | |
Peng et al. | A modal-based kalman filter approach and Osp method for structural response reconstruction | |
CN106528784A (en) | Dimensional homogeneity checking method based on ontology | |
Olofsson et al. | Parameterization and validation of road and driver behavior models for carmaker simulations and transmission HIL-rig | |
CN102998367A (en) | Damage identification method based on virtual derivative structure | |
Massa et al. | Fuzzy modal analysis: Prediction of experimental behaviours | |
CN109101759A (en) | A kind of parameter identification method based on forward and reverse response phase method | |
Shi-an et al. | Modeling method for non-stationary road irregularity based on modulated white noise and lookup table method | |
D.'Cruz et al. | Determining a force acting on a plate-An inverse problem | |
Song et al. | Dynamic parameter identification of hydrodynamic bearing-rotor system | |
CN103186711B (en) | Based on software cost appraisal procedure under non-orthogonal coordinate system | |
Cui et al. | Multipoint vibration response prediction under uncorrelated multiple sources load based on elastic-net regularization in frequency domain | |
Mousavi et al. | Differential cubature method for gradient-elastic Kirchhoff plates | |
CN115952853B (en) | Method and device for constructing ore pulp density detection model and ore pulp density detection system | |
Miao et al. | Research Article A Load Identification Application Technology Based on Regularization Method and Finite Element Modified Model | |
CN108225205A (en) | A kind of barrel structure deformation calculation method measured based on grating strain and system | |
Mahmoud et al. | Target management in complex system design using system norms |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20200403 Termination date: 20211108 |
|
CF01 | Termination of patent right due to non-payment of annual fee |