A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this work, we report our experience on combining model learning and abstraction refinement to analyze a challenging system, i.e., a real-world Secure Water Treatment system (SWaT). ... Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. ... Conclusion and related work In this work, we conducted a case study to automatically model and verify a real-world water treatment system testbed. ...arXiv:1712.04155v2 fatcat:7egktzg3zjgtzjcgg2fbpkqvkm
WASTEWATER TREATMENT PLANT OPERATIONS Berthouex et al. describe work toward the development of a convenient decision-support system to improve the daily operation and control of the wastewater treatment ... Lake WaTER QUALITY Mossman and Schnoor test and verify a previously developed water qual- ity model using the bioconcentration of dieldrin in an Iowan reservoir, Cor- alville. ...
In this study, preservation effect by Aquo-Siloxane method towards water permeation and material diffusion was verified. ... How to cite this paper: Sato, A., Egashira, M. and Obata, M. (2017) Evaluation of Preservation Effect by Aquo-Siloxane Method towards Water Permeation and Material Diffusion into Porous Rocks. ... In this study, preservation effect by Aquo-Siloxane method towards water permeation and material diffusion were verified. ...doi:10.4236/msa.2017.86029 fatcat:sh6r7j7d7vey7gpe2hyjmo36gu
Lecture Notes in Computer Science
We present a preliminary study on a water treatment system that suggests the efficacy of this approach, propose strategies for establishing confidence in the correctness of invariants, then summarise some ... Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. ... We present the results of a preliminary experiment on (a simulator of) Secure Water Treatment (SWaT)  , a water purification testbed, which suggest the efficacy of the approach and motivate the need ...doi:10.1007/978-3-319-48989-6_10 fatcat:b4up22j5pjbyjk6zidgs3cplly
With currently used systems, the same analysis could take up to 3 days The WaterSpy technology will be integrated, for validation purposes, to a water quality monitoring platform, in the form of a portable ... In this way, results will be verified. ...doi:10.5281/zenodo.3708034 fatcat:kfd6q5aw5rf3hnkfrq4zbkpcqy
This study explored the reuse of the wastewater of the Water Treatment Plant in Gramame for agricultural purposes. ... After this process, the activated charcoal of coco-da-baia mesocarp, adsorbent material, was prepared and tested in a filter system in a column with a continuous flow and ascendant entrance, in which the ... Besides that, the presence of the isotherm implies that the adsorbent has a tendency towards chemical adsorption. ...doi:10.4136/ambi-agua.2178 fatcat:jc3eri77qfaabdx7kdxdi5dn4q
DWPP permitted to: define a stable allocation of water pipeline flows, plan activation of water treatment plants and additional resources, avoiding their over-exploitation and improving the overall quality ... Acquedotto del Fiora, in order to optimize management and meet water demand of coastal district, has planned a Drinking Water Production Plan (DWPP) that defines the annual time schedule of activation ... That water was adducted first toward the cities of Siena and Grosseto by 2 great pipelines called respectively "Dorsale del Vivo" e "Dorsale Arbure" and then toward the Val d'Orcia -Val di Chiana by a ...doi:10.1016/j.proeng.2014.02.079 fatcat:i5qieeptqrabrpukocyqzmx4jm
Illinois Medical Journal
Because of the marked systemic effect of this treatment it is of great therapeutic value in a comparatively wide range of morbid conditions due to disturbances of the circulatory and nervous systems, as ... posi- tion in a single treatment. ...
Hereupon, the authors intend to propose a new approach based on integral basin management systems (BMS), which have been applied successfully for every water-related problems including heavy water pollution ... Then, an analysis is made on BMS application models for two Asian mega-city cases to verify how it could realize appropriate and flexible solutions in those basins. ... Thus, workability of BMS is verified as a whole in steadily reducing pollutant load discharged into public waters. ...doi:10.2208/jscejer.69.i_199 fatcat:hzobqp2genhhjnazr7x7ss6hr4
Or are we going to begin now to upgrade our water treatment and dis- tribution systems to cope with the problems of our own time and place? ... I believe it will point the way toward a more coordinated program of mutual assistance among all the governmental and private inter- ests concerned with the quality of the nation’s drinking water supplies ...
Aureus and E.coli, with known titer using two categories of filters: new and used with different operating times verifying the bacterial load present in the outgoing water, since a contaminated 2 litres ... The safety and control of water for clinical use are of critical importance in dental practice, infact itis needed to cool and irrigate instruments, burs and oral tissues during treatment. ... times (table 2) verifying the bacterial load present in the outgoing water, since a contaminated 2 litres solution was previously injected. ...doi:10.15436/2379-1705.18.1864 fatcat:yaaachqr6jh5vpdpam53yteoau
Abstract Root system architecture plays a fundamental role in the adaptation of rice to environments subjected to abiotic stresses. ... Moreover, analyzed root features exhibited a significant increase in lateral root emission and root density for Catetão in response to drought treatment, which may be considered an important feature when ... Acknowledgements The authors acknowledge the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), the Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) and Fundação de Amparo à ...doi:10.5433/1679-0359.2020v41n2p421 fatcat:uyhh6utkljcorbo3xz6nug7mhy
The results verified that the communities were able to maintain a satisfactory level of quality of the WSSs, although there were perceptible fragilities regarding the distance between internal (communities ... Within this context, community management of water is a promising alternative to address this issue, with many successes all over the world. ... User participation and sense of ownership towards the water system are considered essential to maintain the systems' functionality and ensure the success of the approach Kleemeier, 2000; Rautanen and ...doi:10.4136/ambi-agua.2517 fatcat:fhkjgwhdjrbu3mgop7ialxafmm
This article presents an evaluation's results about performances of Khouribga's Wastewater Treatment plant. ... A follow up of the evolution of the performance is proved to be necessary and adds up as an experience feedback in a Moroccan context. ... It is consisting of biological treatment with activated sludge system and includes the tertiary treatment in order to reuse the treated waste water for the phosphate wash. ...doi:10.1051/e3sconf/202015002005 fatcat:6jqpkjcu5jhqzgx6op4lryh54m
Project aim: Building effective infrastructure and research capacity to develop innovations in the circular economy focusing on water, energy and waste management. ... All these innovative approaches and future technologies are the steps towards the introduction of resource and energy efficiency in the water and solid waste sectors, towards the restoration of biological ... A new 4-storey building with an underground floor, rectangular in plan, with a corridor system, with a uniform distribution of the floors within a property, provided for the needs of the Centre of Competence ...doi:10.34049//bcc.53.a.0002 fatcat:nq2rjv55jzdl3an76mtgh6luvy
« Previous Showing results 1 — 15 out of 269,414 results