222 research outputs found
5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) at 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
No full textDuring the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activ-ities as possible, spanning requirements specification, system modeling, code generation, testing, deployment, verification, as well as release phases, project status reporting and system maintenance. Automation helps to reduce development time and cost, as well as to concentrate know ledge by bringing quality into every step of the development process
Studying users’ perception of IoT mobile companion apps
No full textInternet of Things (IoT) products provide over-the-net capabilities such as remote activation, monitoring, and notifications. An associated mobile app is often provided for more convenient usage of these capabilities. The perceived quality of these companion apps can impact the success of the IoT product. We investigate the perceived quality and prominent issues of smart-home IoT mobile companion apps with the aim of deriving insights to: (i) provide guidance to end users interested in adopting IoT products; (ii) inform companion app developers and IoT producers about characteristics frequently criticized by users; (iii) highlight open research directions. We employ a mixed-methods approach, analyzing both quantitative and qualitative data. We assess the perceived quality of companion apps by quantitatively analyzing the star rating and the sentiment of 1,347,799 Android and 48,498 iOS user reviews. We identify the prominent issues that afflict companion apps by performing a qualitative manual analysis of 1,000 sampled reviews. Our analysis shows that users’ judgment has not improved over the years. A variety of functional and non-functional issues persist, such as difficulties in pairing with the device, software flakiness, poor user interfaces, and presence of issues of a socio-technical impact. Our study highlights several aspects of companion apps that require improvement in order to meet user expectations and identifies future directions
Influenza della porosità sulla durabilità di malte cementizie additivate con fumo di silice
No full text
Studio di trattamenti conservativi per la pietra della Basilica di S. Maria di Collemaggio
No full text
RC building modelling for control purposes: A case study
No full textWhen dealing with models, a key factor to consider when selecting their features is the context in which the models will be used: for example, they could be used for design or for control purposes. If we focus on the second case, the model should be accurate enough to capture the principal dynamics of interest and simple enough to minimize the computational effort. In building modelling for control, a promising paradigm seems to be the use of simplified grey-box models. This paper presents a case study in which the existing temperature control strategy can be improved with the resulting possibility of considerable energy saving. More in detail, we introduce here the first step of the entire process: the choice of the model of the system. We decided to investigate the use of a grey-box model, the parameters of which were estimated using a parametric identification process. Thanks to this approach, full knowledge of the system is not required but this lack of information needs to be balanced with the use of measured data. We decided to use only measured data during the standard operation mode of the system for the parameter identification process. Thus we did not perform targeted experiments on the real system, because of all the restrictions in the specific context. Using this approach, it was still possible to achieve good results in terms of deviation between model simulation and data (indoor air: RMSE = 0.31 and R2 = 0.92)
Influence of silica fume on the porosity of cementitious mortars exposed to freezing-thawing cycles
No full textImpiego di Resine Metallorganiche Innovative per la Protezione Biologica dei Beni Culturali
No full textFREESCOO facade 3.0, a compact DEC thermally driven air-conditioning system for apartments
No full textFREESCOO is an innovative Desiccant Evaporative Cooling air conditioning system designed for ventilation, cooling, dehumidification and heating of buildings in residential and tertiary sectors. This paper presents the third generation of the façade version, which will be tested on field in Milan (Italy) within the Merezzate+ project supported by Climate-KIC. The adsorption bed used by the system is a finned heat exchanger packed with silica gel grains, which allows simultaneous dehumidification and cooling of the process air. The direct evaporative cooling process, operated downstream to the dehumidification, is realized using a rotary plate humidifier. The regeneration of the adsorption bed is done through low-grade heat around 60 °C and the only electrical consumption is for the fans and water recirculation. The unit has been designed in order to be integrated in the loggia of small apartments of roughly 47 m2. The result is a Seasonal Energy Efficiency Ratio around 10.7. From the primary energy savings perspective with respect to a conventional air conditioning, they can be up to 36% if the electricity generation is not renewable heavy or the district heating has a renewable energy quota
- …
