Framing and Evaluating the Best Practices of IFC-Based Automated Rule Checking: A Case Study
Buildings, 2021 This research reviews recent advances in the domain of Automated Rule Checking (ARC) and argues that current systems are predominantly designed to validate models in post-design stages, useful for applications such as e-permitting. However, such a design-
Soroush Sobhkhiz +3 more
doaj +3 more sources
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
Optimal policy and Taylor rule cross-checking under parameter uncertainty : [Version 26 September 2013] [PDF]
, 2013 We examine whether the robustifying nature of Taylor rule cross-checking under model uncertainty carries over to the case of parameter uncertainty. Adjusting monetary policy based on this kind of cross-checking can improve the outcome for the monetary ...
Bursian, Dirk, Roth, Markus
core +2 more sources
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
Money in monetary policy design under uncertainty : the two-pillar Phillips curve versus ECB-style cross-checking [PDF]
, 2006 The European Central Bank has assigned a special role to money in its two pillar strategy and has received much criticism for this decision. In this paper, we explore possible justifications.
Beck, Günter W., Wieland, Volker
core +1 more source
The use of field-programmable gate arrays for the hardware acceleration of design automation tasks [PDF]
, 1996 This paper investigates the possibility of using Field-Programmable Gate Arrays (Fr’GAS) as reconfigurable co-processors for workstations to produce moderate speedups for most tasks in the design process, resulting in a worthwhile overall design ...
Allinson, Nigel M. +2 more
core +2 more sources
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
Coinduction up to in a fibrational setting [PDF]
, 2014 Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems.
Caucal D. +9 more
core +5 more sources