Results 21 to 30 of about 42,044 (262)
High-level implementable methods for automated building code compliance checking
Developments in the Built Environment, 2023 This paper presents an approach for defining high-level implementable methods to improve their low-level rule-checking procedures. This is part of an effort to develop challenging building information modeling (BIM)-enabled applications for building ...
Jin-Kook Lee +5 more
doaj +1 more source
Buildings, 2022 For design for safety (DFS), automated compliance checking methods have received extensive attention. Although many research efforts have indicated the potential of BIM and ontology for automated compliance checking, an efficient methodology is still ...
Yilun Zhou +5 more
doaj +1 more source
An intelligent operation ticket check method of power grid dispatch based on semantic analysis
Zhejiang dianli, 2022 For automatic and intelligent check of operation ticket for power grid scheduling， a scheduling operation ticket checking and analysis method based on bidirectional GRU （gated recurrent unit） neural networks and multiple verification rules is proposed ...
ZHENG Junxiang +4 more
doaj +1 more source
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
International Journal of Networked and Distributed Computing (IJNDC), 2020 Stochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking ...
Yang Liu, Rui Li
doaj +1 more source
BIM-Based Dynamic Construction Safety Rule Checking Using Ontology and Natural Language Processing
Buildings, 2022 Real-time identification and prevention of safety risks in dynamic construction activities are demanded by construction safety managers to cope with the growing complexity of the construction site.
Qiyu Shen +4 more
doaj +1 more source
Certifying Confluence Proofs via Relative Termination and Rule Labeling [PDF]
Logical Methods in Computer Science, 2017 The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the ...
Julian Nagele +2 more
doaj +1 more source
Applied Sciences, 2019 Today, patients generate a massive amount of health records through electronic health records (EHRs). Extracting usable knowledge of patients’ pathological conditions or diagnoses is essential for the reasoning process in rule-based systems to ...
Chao Ou-Yang +4 more
doaj +1 more source
Globally Admissible Inference Rules
Известия Иркутского государственного университета: Серия "Математика", 2022 Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules: in logic 𝐿, a rule of inference is admissible if the set of theorems 𝐿 is closed with respect to this rule.
V.V. Rimatskiy
doaj +1 more source
Flow-sensitive Coding Style Checking for C/C++ Programs [PDF]
Jisuanji kexueC/C++ programming languages are applied in numerous critical software systems,and there is an extremely high demand for standardization and clarity of semantics during development.To prevent potential security issues arising from improper use of C/C ...
HU Mengze, MA Xutong, ZHANG Hao, ZHANG Jian
doaj +1 more source
THE EFFECT OF A BODY CHECKING RULE CHANGE ON HEAD IMPACT BIOMECHANICS IN BANTAM ICE HOCKEY ATHLETES
Orthopaedic Journal of Sports Medicine, 2020 Background: Body checking is the most common injury mechanism in ice hockey. Rule changes have sought to mitigate body checking exposure among youth players. In 2011, USA Hockey changed the legal body checking age from Pee Wee (11/12-year-olds) to Bantam
Patricia R. Combs MEd, ATC +5 more
doaj +1 more source