Search results for "Model-based"
showing 10 items of 29 documents
Model-based automatic tuning of a filtration control system for submerged anaerobic membrane bioreactors (AnMBR)
2014
This paper describes a model-based method to optimise filtration in submerged AnMBRs. The method is applied to an advanced knowledge-based control system and considers three statistical methods: (1) sensitivity analysis (Morris screening method) to identify an input subset for the advanced controller; (2) Monte Carlo method (trajectory-based random sampling) to find suitable initial values for the control inputs; and (3) optimisation algorithm (performing as a supervisory controller) to re-calibrate these control inputs in order to minimise plant operating costs. The model-based supervisory controller proposed allowed filtration to be optimised with low computational demands (about 5min). E…
A Newcomer's Guide to EICS, the Engineering Interactive Computing Systems Community
2019
[EN] Welcome to EICS, the Engineering Interactive Computing Systems community, PACMHCI/EICS journal, and annual conference! In this short article, we introduce newcomers to the field and to our community with an overview of what EICS is and how it positions with respect to other venues in Human-Computer Interaction, such as CHI, UIST, and IUI, highlighting its legacy and paying homage to past scientific events from which EICS emerged. We also take this opportunity to enumerate and exemplify scientific contributions to the field of Engineering Interactive Computing Systems, which we hope to guide researchers and practitioners towards making their future PACMHCI/EICS submissions successful an…
Explanatory Reasoning: A Probabilistic Interpretation
2016
This paper deals with inference guided by explanatory considerations –specifically with the prospects for a probabilistic interpretation of it. After pointing out some differences between two sorts of explanatory reasoning – i.e.: abduction and “inference to the best explanation” – in the first section I distinguish two tasks: (a) to discern which explanation is the best one; (b) to assess whether the best explanation deserves to be legitimately believed. In Sect. 20.2 I discuss some recent definitions of explanatory power based on “reduction of uncertainty” (Schupbach and Sprenger 2011; Crupi and Tentori 2012). Even though a probabilistic framework is a promising option here, I will argue …
Data Quality Model-based Testing of Information Systems: the Use-case of E-scooters
2020
The paper proposes a data quality model-based testing methodology aimed at improving testing methodology of information systems (IS) using previously proposed data quality model. The solution supposes creation of a description of the data to be processed by IS and the data quality requirements used for the development of the tests, followed by performing an automated test of the system on the generated tests verifying the correctness of data to be entered and stored in the database. The generation of tests for all possible data quality conditions creates a complete set of tests that verify the operation of the IS under all possible data quality conditions. The proposed solution is demonstra…
Data Quality Model-based Testing of Information Systems
2020
This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program’s control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQmodel that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software developmen…
Data Quality Model-Based Testing of Information Systems: Two-Level Testing of the Insurance System
2021
In order to develop reliable software, its operating must be verified for all possible cases of use. This can be achieved, at least partly, by means of a model-based testing (MBT), by establishing tests that check all conditions covered by the model. This paper presents a Data Quality Model-based Testing (DQMBT) using the data quality model (DQ-model) as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The proposed testing approach allows complete testing of the conformity of the data to be entered and the data already stored in the database. The data to be entered shall be verified by means of predefined pre-conditio…
A methodology for the semi-automatic generation of analytical models in manufacturing
2018
International audience; Advanced analytics can enable manufacturing engineers to improve product quality and achieve equipment and resource efficiency gains using large amounts of data collected during manufacturing. Manufacturing engineers, however, often lack the expertise to apply advanced analytics, relying instead on frequent consultations with data scientists. Furthermore, collaborations between manufacturing engineers and data scientists have resulted in highly specialized applications that are not relevant to broader use cases. The manufacturing industry can benefit from the techniques applied in these collaborations if they can be generalized for a wide range of manufacturing probl…
Block-Based Models and Theorem Proving in Model-Based Development
2021
This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under development.
SEA presidential address: Group connectivity and cooperation
2011
A model-free methodology is used for the first time to estimate a daily volatility index (VIBEX-NEW) for the Spanish financial market.We use a public data set of daily option prices to compute this index and showthat daily changes in VIBEXNEW display a negative, tight contemporaneous relationship with IBEX daily returns, contrary to other common volatility indicators, as an implied volatility indicator or a GARCH(1,1) conditional volatility model. This relationship is approximately symmetric to the sign on VIBEX-NEW changes and asymmetric to the IBEX-35 returns sign, which make it clearly a suitable volatility index for the Spanish stock market. We also examine the relationship between curr…
A Dynamic Reasoning Architecture for Computer Network Management
2005
This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.