Results 1 to 10 of about 42,044 (262)
Grouping based calculus for propositional linear temporal logic
Lietuvos Matematikos RinkinysIn this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj +3 more sources
Checking the triple product rule for the compression and expansion of gases
Physics OpenIt is shown here that the well-known thermodynamic relation which stems from the Euler's Chain Relationship is not valid for descriptions of the compression and expansion of gases.
Igor A. Stepanov
doaj +1 more source
Applied Sciences, 2020 Building information modeling (BIM) technology has been utilized increasingly in quantitative ways in the architecture, engineering, and construction disciplines.
Jungsik Choi, Sejin Lee, Inhan Kim
doaj +1 more source
A Semantic Web and IFC-Based Framework for Automated BIM Compliance Checking
BuildingsIn the architectural design phase, the inspection of design deliverables is critical, yet traditional manual checking methods are time-consuming, labor-intensive, and inefficient, with numerous drawbacks. With the development of BIM technology, automated
Lu Jia +3 more
doaj +1 more source
Firat University Journal of Experimental and Computational EngineeringThe aim of this study is to develop an automated rule-checking application that enables the rapid, transparent, and efficient verification of building design data, created through Building Information Modeling (BIM), in compliance with zoning regulations
Cengiz Yılmaz, Hüseyin Atilla Dikbaş
doaj +1 more source
Journal of Civil Engineering and Management, 2020 With the popularization of Building Information Modeling (BIM) technology, increasing numbers of countries are attempting to introduce BIM into their national building permitting processes.
Inhan Kim +3 more
doaj +1 more source
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi [PDF]
Logical Methods in Computer ScienceThe coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based.
Daniel Hausmann, Lutz Schröder
doaj +1 more source
Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy
Tsinghua Science and Technology, 2017 In this paper, we propose a Multi-granularity Spatial Access Control (MSAC) model, in which multi-granularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do.
Aijuan Zhang, Cheng Ji, Yu Bao, Xin Li
doaj +1 more source
Symbolic Termination and Confluence Checking for ECA Rules [PDF]
, 2014 Event-condition-action (ECA) rules can specify decision processes and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge.
Xiaoqing Jin +2 more
openaire +1 more source
Checking Compliance of Execution Traces to Business Rules [PDF]
, 2009 Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compliance of complex and flexible processes becomes therefore a fundamental requirement. We propose a framework for performing compliance checking of process execution traces w.r.
Federico Chesani +5 more
openaire +3 more sources