Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Final report

https://egrove.olemiss.edu/aicpa_guides/1375/thumbnail.jp

Prediction-based failure management for supercomputers

The growing requirements of a diversity of applications necessitate the deployment of large and powerful computing systems and failures in these systems may cause severe damage in every aspect from loss of human lives to world economy. However, current fault tolerance techniques cannot meet the increasing requirements for reliability. Thus new solutions are urgently needed and research on proactive schemes is one of the directions that may offer better efficiency. This thesis proposes a novel proactive failure management framework. Its goal is to reduce the failure penalties and improve fault tolerance efficiency in supercomputers when running complex applications. The proposed proactive scheme builds on two core components: failure prediction and proactive failure recovery. More specifically, the failure prediction component is based on the assessment of system events and employs semi-Markov models to capture the dependencies between failures and other events for the forecasting of forthcoming failures. Furthermore, a two-level failure prediction strategy is described that not only estimates the future failure occurrence but also identifies the specific failure categories. Based on the accurate failure forecasting, a prediction-based coordinated checkpoint mechanism is designed to construct extra checkpoints just before each predicted failure occurrence so that the wasted computational time can be significantly reduced. Moreover, a theoretical model has been developed to assess the proactive scheme that enables calculation of the overall wasted computational time.The prediction component has been applied to industrial data from the IBM BlueGene/L system. Results of the failure prediction component show a great improvement of the prediction accuracy in comparison with three other well-known prediction approaches, and also demonstrate that the semi-Markov based predictor, which has achieved the precision of 87.41% and the recall of 77.95%, performs better than other predictors.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Academic Catalog: 2010-2011

https://digitalcommons.esf.edu/acadcat/1023/thumbnail.jp

Academic Catalog: 2011-2012

https://digitalcommons.esf.edu/acadcat/1024/thumbnail.jp

Full Proceedings, 2018

Full conference proceedings for the 2018 International Building Physics Association Conference hosted at Syracuse University

USCID fourth international conference

Presented at the Role of irrigation and drainage in a sustainable future: USCID fourth international conference on irrigation and drainage on October 3-6, 2007 in Sacramento, California.Includes bibliographical references.The two-layer model of Shuttlerworth and Wallace (SW) was evaluated to estimate actual evapotranspiration (ETa) above a drip-irrigated Merlot vineyard, located in the Talca Valley, Region del Maule, Chile (35° 25' LS; 71° 32' LW ; 136m above the sea level). An automatic weather system was installed in the center of the vineyard to measure climatic variables (air temperature, relative humidity, and wind speed) and energy balance components (solar radiation, net radiation, latent heat flux, sensible heat flux, and soil heat flux) during November and December 2006. Values of ETa estimated by the SW model were tested with latent heat flux measurements obtained from an eddy-covariance system on a 30 minute time interval. Results indicated that SW model was able to predict ETa with a root mean square error (RMSE) of 0.44 mm d-1 and mean absolute error (MAE) of 0.36 mm d-1. Furthermore, SW model predicted latent heat flux with RMSE and MAE of 32 W m-2 and 19W m-1, respectively

USCID Fourth international conference on irrigation and drainage

Presented at the Role of irrigation and drainage in a sustainable future: USCID fourth international conference on irrigation and drainage on October 3-6, 2007 in Sacramento, California.Includes bibliographical references.Integrated regional water management -- Change of irrigation water quantity according to farm mechanization and land consolidation in Korea -- Local stakeholders participation for small scale water resources management in Bangladesh -- Water user participation in Egypt -- The man swimming against the stream knows the strength of it -- Roles and issues of Water Users' Associations for Sustainable Irrigation and Drainage in the Kyrgyz Republic and Uzbekistan in Central Asia -- Chartered Water User Associations of Afghanistan -- Updated procedures for calculating state-wide consumptive use in Idaho -- Measuring and estimating open water evaporation in Elephant Butte Reservoir in New Mexico -- Evapotranspiration of deficit irrigated sorghum and winter wheat -- Evaluation of a two-layer model to estimate actual evapotranspiration for vineyards -- Estimating pecan water use through remote sensing in Lower Rio Grande -- Estimating crop water use from remotely sensed NDVI, crop models, and reference ET -- Alfalfa production using saline drainage water -- Performance evaluation of subsurface drainage system under unsteady state flow conditions in coastal saline soils of Andhrapradesh, India -- Management strategies for the reuse of wastewater in Jordan -- Providing recycled water for crop irrigation and other uses in Gilroy, California -- Oakdale Irrigation District Water Resources Plan -- Use of information technology to support integrated water resources management implementation -- Decision-support systems for efficient irrigation in the Middle Rio Grande -- Salt management -- Ghazi Barotha Project on Indus River in Pakistan -- Field tests of OSIRI -- Water requirements, irrigation evaluation and efficiency in Tenerife's crops (Canary Islands, Spain) -- Using wireless technology to reduce water use in rice production -- Variability of crop coefficients in space and time -- Assessing the implementation of integrated water management approach in closed basins -- New strategies of donors in the irrigation sector of Africa -- Holistic perspective for investments in agricultural drainage in Egypt -- Mapping system and services for canal operation techniques -- An open channel network modernization with automated structures -- Canal control alternatives in the irrigation district 'Sector BXII del Bajo Guadalquivir,' Spain -- Hydrodynamic behavior of a canal network under simultaneous supply and demand based operations -- Simulation on the effect of microtopography spatial variability on basin irrigation performance -- Drip irrigation as a sustainable practice under saline shallow ground water conditions -- Water retention, compaction and bean yield in different soil managements under a center pivot system -- Precision mechanical move irrigation for smallholding farmers -- Wild flood to graded border irrigation for water and energy conservation in the Klamath basin -- A method describing precise water application intensity under a CPIS from a limited number of measurements -- An irrigation sustainability assessment framework for reporting across the environmental-economic-social spectrum -- Planning for future irrigation landscapes -- One size does not fit all -- Water information networks -- Improving water use efficiency -- Irrigation system modernization in the Middle Rio Grande Valley -- Relationship of operation stability and automatic operation control methods of open canal -- Responsive strategies of agricultural water sector in Taiwan -- Effect of network water distribution schedule and different on-farm water management practices on sugarbeet water use efficiency -- Variable Frequency Drive (VFD) considerations for irrigation -- Accuracy of radar water level measurements -- Transition submergence and hysteresis effects in three-foot Cutthroat flumes -- Practical irrigation flow measurement and control -- Linear anionic PAM as a canal water seepage reducing technology -- In-situ non-destructive monitoring of water flow in damaged agricultural pipeline by AE -- Reoptimizing global irrigation systems to restore floodplain ecosystems and human livelihoods -- Water management technologies for sustainable agriculture in Kenya -- Impacts of changing rice irrigation practices on the shallow aquifer of Nasunogahara basin, Japan -- Drought protection from an in-lieu groundwater banking program -- Development of agricultural drought evaluation system in Korea -- Bean yield and root development in different soil managements under a center pivot system -- Can frost damage impact water demand for crop production in the future? -- Real time water delivery management and planning in irrigation and drainage networks -- Growth response of palm trees to the frequency of irrigation by bubblers in Khuzestan, Iran -- Application of Backpropagation Neural Network to estimate evapotranspiration for ChiaNan irrigated area, Taiwan -- Increasing water and fertilizer use efficiency through rain gun sprinkler irrigation in sugar cane agriculture

USCID fourth international conference

Presented at the Role of irrigation and drainage in a sustainable future: USCID fourth international conference on irrigation and drainage on October 3-6, 2007 in Sacramento, California.Includes bibliographical references.A In order to promote irrigation sustainability through reporting by irrigation water managers around Australia, we have developed an adaptive framework and methodology for improved triple-bottom-line reporting. The Irrigation Sustainability Assessment Framework (ISAF) was developed to provide a comprehensive framework for irrigation sustainability assessment and integrated triple-bottom-line reporting, and is structured to promote voluntary application of this framework across the irrigation industry, with monitoring, assessment and feedback into future planning, in a continual learning process. Used in this manner the framework serves not only as a "reporting tool", but also as a "planning tool" for introducing innovative technology and as a "processes implementation tool" for enhanced adoption of new scientific research findings across the irrigation industry. The ISAF was applied in case studies to selected rural irrigation sector organisations, with modifications to meet their specific interests and future planning

USCID fourth international conference

Presented at the Role of irrigation and drainage in a sustainable future: USCID fourth international conference on irrigation and drainage on October 3-6, 2007 in Sacramento, California.Salt management is a critical component of irrigated agriculture in arid regions. Successful crop production cannot be sustained without maintaining an acceptable level of salinity in the root zone. This requires drainage and a location to dispose drainage water, particularly, the salts it contains, which degrade the quality of receiving water bodies. Despite the need to generate drainage water to sustain productivity, many irrigation schemes have been designed and constructed with insufficient attention to drainage, to appropriate re-use or disposal of saline drainage water, and to salt disposal in general. To control the negative effects of drainage water disposal, state and federal agencies in several countries now are placing regulations on the discharge of saline drainage water into rivers. As a result, many farmers have implemented irrigation and crop management practices that reduce drainage volumes. Farmers and technical specialists also are examining water treatment schemes to remove salt or dispose of saline drainage water in evaporation basins or in underlying groundwater. We propose that the responsibility for salt management be combined with the irrigation rights of farmers. This approach will focus farmers' attention on salt management and motivate water delivery agencies and farmers to seek efficient methods for reducing the amount of salt needing disposal and to determine methods of disposing salt in ways that are environmentally acceptable