RuleML-based mechanism of building information models verification
نویسندگان
چکیده
منابع مشابه
Building Confidence on Formal Verification Models
ion; Counter-Example Guided Abstraction Refinement; symmetry; . . . while others are hand-crafted, such as cut-point, counter-abstraction, or data independence. By construction, the verification objective (the root claim) is valid when all the rules instances in the argument are sound. We can back the soundness of rules like (split) and (abstraction) by reasoning on the semantics of the models....
متن کاملMutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information between the model and the images. The technique does not require a priori information about the surface properties of the object and is robust with respect to variations of illumination. As result the method is quite gener...
متن کاملInformation based Speaker Verification
We discuss in this paper the conceptual and compu tational framework.of informatzon theory for decision making in speaker verification. The proposed approach departs itself from other conventional scoring models for speaker verification as the first approach takes into account the quantity of 'surprise' or information con tent. We compare the new approach with a widely used log-likelihood nor...
متن کاملVerification of Procedural Programs via Building Their Generalized Nets Models
In the article an approach for verification of procedural programs via building their corresponding generalized nets models is described. This approach integrates the concept of “design by contract” with approaches for verification of type theorem proofs and models consistency check. For this purpose, functions which compose the program, are verified separately according to their specifications...
متن کاملThe Building of Information Models in Step
STEP, or ISO 10303, is a unique and innovative solution to the problem of product data representation and communication. This paper focuses on information modeling in STEP. The data description language EXPRESS is presented, along with a discussion on the modeling of information rather than just data. The process for the construction of Integrated Resources and Application Protocols, STEP's inf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: E3S Web of Conferences
سال: 2019
ISSN: 2267-1242
DOI: 10.1051/e3sconf/201913201014