| 4 | Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool显示文摘In this paper,we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real system.We implement the approach in a verification and validation calculator tool that takes as input a set of statements that capture the requirements,internal conditions of the system and expected outputs of the real system and produces as output whether the simulation satisfies the requirements,faithfully represents the internal conditions of the system and produces the expected outputs.We provide a use case to show how subject matter experts can apply the tool. | Saikou Y.Diallo Ross Gore Christopher J.Lynch Jose J.Padilla | 2016 | International Journal of Modeling, Simulation, and Scientific Computing2016，7，1： | 0 |
| 5 | Bright spots for inland fish and fisheries to guide future hydropower development显示文摘Hydropower production is one of the greatest threats to fluvial ecosystems and freshwater biodiversity.Now that we have entered the Anthropocene,there is an opportunity to reflect on what might constitute a‘sustainable’Anthropocene in the context of hydropower and riverine fish populations.Considering elements of existing practices that promote favorable social-ecological outcomes(i.e.,‘bright spots’)is timely given that there are plans to expand hydropower capacity in previously undammed rivers,intensify dam development in some of the world's largest river systems,and re-license existing facilities.We approach this from a pragmatic perspective:for the foreseeable future,hydropower will likely remain an important source of renewable electricity.To offer support for moving toward a more‘sustainable’Anthropocene,we provide syntheses of best practices during the siting,design,construction,operation,and compensation phases of hydropower development to minimize impacts on inland fish.For each phase,we offer positive examples(or what might be considered‘bright spots’)pertaining to some of the approaches described within our syntheses,acknowledging that these projects may not be viewed as without ecological and(or)societal detriment by all stakeholders.Our findings underscore the importance of protecting critical habitat and free-flowing river reaches through careful site selection and basinscale planning,infrastructure designs that minimize reservoir effects and facilitate safe passage of fish,construction of hydropower plants using best practices that minimize long-term damage,operating guidelines that mimic natural flow conditions,and compensation that is lasting,effective,inclusive,and locally relevant.Learning from these‘bright spots’may require engagement of diverse stakeholders,professionals,and governments at scales that extend well beyond a given site,river,or even basin.Indeed,environmental planning that integrates hydropower development into broader discussions of conserving regional biodiversity and ecosystem services will be of utmost importance. | William M.Twardek Ian G.Cowx Nicolas W.R.Lapointe Craig Paukert T.Douglas Beard Elena M.Bennett David Browne Andrew K.Carlson Keith D.Clarke Zeb Hogan Kai Lorenzen Abigail J.Lynch Peter B.McIntyre Paulo Pompeu Mark Rogers Alexis Sakas William W.Taylor Taylor D.Ward Zeenatul Basher Steven J.Cooke | 2022 | Water Biology and Security2022，1，1： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员