scholarly journals Automated Reasoning for City Infrastructure Maintenance Decision Support

Author(s):  
Lijun Wei ◽  
Derek R. Magee ◽  
Vania Dimitrova ◽  
Barry Clarke ◽  
Heshan Du ◽  
...  

We present an interactive decision support system for assisting city infrastructure inter-asset management. It combines real-time site specific data retrieval, a knowledge base co-created with domain experts and an inference engine capable of predicting potential consequences and risks resulting from the available data and knowledge. The system can give explanations of each consequence, cope with incomplete and uncertain data by making assumptions about what might be the worst case scenario, and making suggestions for further investigation. This demo presents multiple real-world scenarios, and demonstrates how modifying assumptions (parameter values) can lead to different consequences.

Author(s):  
Béla Paláncz ◽  
Levente Kovács ◽  
Balázs Benyó ◽  
Zoltán Benyó

This article presents a robust control design method on frequency domain using Mathematica for regularization of glucose level in Type I diabetes persons under intensive care. The method originally proposed under Mathematica by Helton and Merino (1998) is now improved with a disturbance rejection constraint inequality, and is tested on the three-state minimal model. Nonlinear closed loop simulation in state-space, in case of standard meal disturbances, demonstrates the robustness of the resulted high-order linear controller. The obtained results are compared with H8 design implemented with Matlab, proving that the controller (for the considered model parameters) can operate properly, even in case of parameter values of the worst-case scenario.


2020 ◽  
Vol 1 ◽  
Author(s):  
Yao-Yu Yeo ◽  
Yao-Rui Yeo ◽  
Wan-Jin Yeo

AbstractThe ongoing coronavirus disease 2019 (COVID-19) pandemic is of global concern and has recently emerged in the US. In this paper, we construct a stochastic variant of the SEIR model to estimate a quasi-worst-case scenario prediction of the COVID-19 outbreak in the US West and East Coast population regions by considering the different phases of response implemented by the US as well as transmission dynamics of COVID-19 in countries that were most affected. The model is then fitted to current data and implemented using Runge-Kutta methods. Our computation results predict that the number of new cases would peak around mid-April 2020 and begin to abate by July provided that appropriate COVID-19 measures are promptly implemented and followed, and that the number of cases of COVID-19 might be significantly mitigated by having greater numbers of functional testing kits available for screening. The model is also sensitive to assigned parameter values and reflects the importance of healthcare preparedness during pandemics.


2021 ◽  
Vol 11 (23) ◽  
pp. 11415
Author(s):  
Carmen Marcher ◽  
Andrea Giusti ◽  
Dominik T. Matt

The construction sector is one of the major global economies and is characterised by low productivity and high inefficiencies, but could highly benefit from the introduction of robotic equipment in terms of productivity, safety, and quality. As the development and the availability of robotic solutions for the construction sector increases, the evaluation of their potential benefits compared to conventional processes that are currently adopted on construction sites becomes compelling. To this end, we exploit Bayesian decision theory and apply an axiomatic design guideline for the development of a decision-theoretic expert system that: (i) evaluates the utility of available alternatives based on evidence; (ii) accounts for uncertainty; and (iii) exploits both expert knowledge and preferences of the users. The development process is illustrated by means of exemplary use case scenarios that compare manual and robotic processes. A use case scenario that compares manual and robotic marking and spraying is chosen for describing the development process in detail. Findings show how decision making in equipment selection can be supported by means of dedicated systems for decision support, developed in collaboration with domain experts.


2019 ◽  
Author(s):  
Takeyuki Tamura

AbstractBackgroundMetabolic network analysis through flux balance is an established method for the computational redesign of production strains in metabolic engineering. The computational redesign is often based on reaction deletions from the original wild type networks. A key principle often used in this method is the production of target metabolites as by-products of cell growth. From a viewpoint of bioinformatics, it is very important to prepare a set of algorithms that can determine reaction deletions that achieve growth coupling whatever network topologies, target metabolites and parameter values will be considered in the future. Recently, the strong coupling-based method was used to demonstrate that the coupling of growth and production is possible for nearly all metabolites through reaction deletions in genome-scale metabolic models of Escherichia coli and Saccharomyces cerevisiae under aerobic conditions. However, when growing S. cerevisiae under anaerobic conditions, deletion strategies using the strong coupling-based method were possible for only 3.9% of all metabolites. Therefore, it is necessary to develop algorithms that can achieve growth coupling by reaction deletions for the conditions that the strong coupling-based method was not efficient.ResultsWe developed an algorithm that could calculate the reaction deletions that achieve the coupling of growth and production for 91.3% metabolites in genome-scale models of S. cerevisiae under anaerobic conditions. This analysis was conducted for the worst-case-scenario using flux variability analysis. To demonstrate the feasibility of the coupling, we derived appropriate reaction deletions using the new algorithm for target production in which the search space was divided into small cubes (CubeProd).ConclusionsWe developed a novel algorithm, CubeProd, to demonstrate that growth coupling is possible for most metabolites in S.cerevisiae under anaerobic conditions. This may imply that growth coupling is possible by reaction deletions for most target metabolites in any genome-scale constraint-based metabolic networks. The developed software, CubeProd, implemented in MATLAB, and the obtained reaction deletion strategies are freely available.


2020 ◽  
Author(s):  
Takeyuki Tamura

Abstract Background: Metabolic network analysis through flux balance is an established method for the computational redesign of production strains in metabolic engineering. The computational redesign is often based on reaction deletions from the original wild type networks. A key principle often used in this method is the production of target metabolites as by-products of cell growth. From a viewpoint of bioinformatics, it is very important to prepare a set of algorithms that can determine reaction deletions that achieve growth coupling whatever network topologies, target metabolites and parameter values will be considered in the future. Recently, the strong coupling-based method was used to demonstrate that the coupling of growth and production is possible for nearly all metabolites through reaction deletions in genome-scale metabolic models of Escherichia coli and Saccharomyces cerevisiae under aerobic conditions. However, when growing S. cerevisiae under anaerobic conditions, deletion strategies using the strong coupling-based method were possible for only 3.9% of all metabolites. Therefore, it is necessary to develop algorithms that can achieve growth coupling by reaction deletions for the conditions that the strong coupling-based method was not efficient. Results: We developed an algorithm that could calculate the reaction deletions that achieve the coupling of growth and production for 91.3% metabolites in genome-scale models of S. cerevisiae under anaerobic conditions. This analysis was conducted for the worst-case scenario using flux variability analysis. To demonstrate the feasibility of the coupling, we derived appropriate reaction deletions using the new algorithm for target production in which the search space was divided into small cubes (CubeProd). Conclusions: We developed a novel algorithm, CubeProd, to demonstrate that growth coupling is possible for most metabolites in S.cerevisiae under anaerobic conditions. This may imply that growth coupling is possible by reaction deletions for most target metabolites in any genome-scale constraint-based metabolic networks. The developed software, CubeProd, implemented in MATLAB, and the obtained reaction deletion strategies are freely available.


2008 ◽  
Vol 91 (1-2) ◽  
pp. 123-143 ◽  
Author(s):  
Marc Poumadère ◽  
Claire Mays ◽  
Gabriela Pfeifle ◽  
Athanasios T. Vafeidis

2008 ◽  
Author(s):  
Sonia Savelli ◽  
Susan Joslyn ◽  
Limor Nadav-Greenberg ◽  
Queena Chen

Author(s):  
D. V. Vaniukova ◽  
◽  
P. A. Kutsenkov ◽  

The research expedition of the Institute of Oriental studies of the Russian Academy of Sciences has been working in Mali since 2015. Since 2017, it has been attended by employees of the State Museum of the East. The task of the expedition is to study the transformation of traditional Dogon culture in the context of globalization, as well as to collect ethnographic information (life, customs, features of the traditional social and political structure); to collect oral historical legends; to study the history, existence, and transformation of artistic tradition in the villages of the Dogon Country in modern conditions; collecting items of Ethnography and art to add to the collection of the African collection of the. Peter the Great Museum (Kunstkamera, Saint Petersburg) and the State Museum of Oriental Arts (Moscow). The plan of the expedition in January 2020 included additional items, namely, the study of the functioning of the antique market in Mali (the “path” of things from villages to cities, which is important for attributing works of traditional art). The geography of our research was significantly expanded to the regions of Sikasso and Koulikoro in Mali, as well as to the city of Bobo-Dioulasso and its surroundings in Burkina Faso, which is related to the study of migrations to the Bandiagara Highlands. In addition, the plan of the expedition included organization of a photo exhibition in the Museum of the village of Endé and some educational projects. Unfortunately, after the mass murder in March 2019 in the village of Ogossogou-Pel, where more than one hundred and seventy people were killed, events in the Dogon Country began to develop in the worst-case scenario: The incessant provocations after that revived the old feud between the Pel (Fulbe) pastoralists and the Dogon farmers. So far, this hostility and mutual distrust has not yet developed into a full-scale ethnic conflict, but, unfortunately, such a development now seems quite likely.


2020 ◽  
Author(s):  
Ahmed Abdelmoaty ◽  
Wessam Mesbah ◽  
Mohammad A. M. Abdel-Aal ◽  
Ali T. Alawami

In the recent electricity market framework, the profit of the generation companies depends on the decision of the operator on the schedule of its units, the energy price, and the optimal bidding strategies. Due to the expanded integration of uncertain renewable generators which is highly intermittent such as wind plants, the coordination with other facilities to mitigate the risks of imbalances is mandatory. Accordingly, coordination of wind generators with the evolutionary Electric Vehicles (EVs) is expected to boost the performance of the grid. In this paper, we propose a robust optimization approach for the coordination between the wind-thermal generators and the EVs in a virtual<br>power plant (VPP) environment. The objective of maximizing the profit of the VPP Operator (VPPO) is studied. The optimal bidding strategy of the VPPO in the day-ahead market under uncertainties of wind power, energy<br>prices, imbalance prices, and demand is obtained for the worst case scenario. A case study is conducted to assess the e?effectiveness of the proposed model in terms of the VPPO's profit. A comparison between the proposed model and the scenario-based optimization was introduced. Our results confirmed that, although the conservative behavior of the worst-case robust optimization model, it helps the decision maker from the fluctuations of the uncertain parameters involved in the production and bidding processes. In addition, robust optimization is a more tractable problem and does not suffer from<br>the high computation burden associated with scenario-based stochastic programming. This makes it more practical for real-life scenarios.<br>


Sign in / Sign up

Export Citation Format

Share Document