Validation of Voting Committees

This article contains a method to bound the test errors of voting committees with members chosen from a pool of trained classifiers. There are so many prospective committees that validating them directly does not achieve useful error bounds. Because there are fewer classifiers than prospective committees, it is better to validate the classifiers individually than use linear programming to infer committee error bounds. We test the method using credit card data. Also, we extend the method to infer bounds for classifiers in general

Technique Integration for Requirements Assessment

In determining whether to permit a safety-critical software system to be certified and in performing independent verification and validation (IV&V) of safety- or mission-critical systems, the requirements traceability matrix (RTM) delivered by the developer must be assessed for accuracy. The current state of the practice is to perform this work manually, or with the help of general-purpose tools such as word processors and spreadsheets Such work is error-prone and person-power intensive. In this paper, we extend our prior work in application of Information Retrieval (IR) methods for candidate link generation to the problem of RTM accuracy assessment. We build voting committees from five IR methods, and use a variety of voting schemes to accept or reject links from given candidate RTMs. We report on the results of two experiments. In the first experiment, we used 25 candidate RTMs built by human analysts for a small tracing task involving a portion of a NASA scientific instrument specification. In the second experiment, we randomly seeded faults in the RTM for the entire specification. Results of the experiments are presented

Foreword

The demand for air conditioning keeps rising, especially in developing countries where the standard of living has improved. This results in an increased consumption of electricity and puts further pressure on the power grid. In Cuba, electricity is a scarce commodity and the electricity production relies heavily on fossil fuels, which causes high emissions. An alternative technology for producing cooling is thermally driven cooling where the installment of an absorption chiller could utilize waste heat from existing industries to provide cooling to buildings. Therefore, there are possibilities of lowering the amount of electricity needed for air conditioning. In this thesis, the potential of using waste heat from sugar mills in Cuba was investigated. The sugar industry is high water consuming and often produces large amounts of heated waste water that is rarely utilized. To collect the data needed for the investigation, a study visit was conducted at the sugar mill Carlos Baliño in Villa Clara, Cuba. Since the factory did not track water mass flows, calculations based on sugar concentrations and energy balances were used to determine the different water outlets. The identified excess water has a mass flow of 10 kg/s and a temperature of 96 °C, which is enough to supply the factory with cooling. The result of the investigation also showed that the mill could invest in thermally driven cooling with a payback time of between three to six seasons depending on the cost of the selected equipment. The energy savings per crushing season would be nearly 140 000 kWh which equals to financial savings of above 40 000 dollar per season. If the sugar mill Carlos Baliño would invest in an absorption chiller, the cooling supply would be unreliable because of the high number of production shutdowns. Before any possible implementation, the causes for the stops in production need to be further examined. The supply of cooling would otherwise have to rely on thermal energy storage of chilled water, which in such large quantities would be costly. The factory only produces waste heat during the crushing season, which lasts from December throughout April, but there is a cooling demand during the whole year, which means that alternative cooling methods for an off-season cooling supply would have to be investigated. The study concludes that thermally driven cooling would be very suitable for similar industries that also produce large amounts of heated excess water, but are operating all year around and have a more even production rate, both on a daily and seasonal basis.Efterfrågan på luftkonditionering fortsätter att öka, speciellt i utvecklingsländer där levnadsstandarden har förbättrats. En ökad efterfrågan på luftkonditionering resulterar i en ökad användning av elektricitet, vilket i sin tur leder till en ökad belastning på elnätet. På Kuba är elektricitet en bristvara och elproduktionen är starkt beroende av fossila bränslen vilket leder till stora utsläpp. En alternativ teknologi för att producera kyla är värmedriven kyla där en absorptionkylmaskin kan utnyttja spillvärme från redan existerande industrier för att leverera kyla till byggnader. Därav finns det möjlighet att minska användandet av den elektricitet som behövs för att driva luftkonditioneringsapparater. I denna uppsats undersöks potentialen för att använda spillvärme från sockerfabriker på Kuba. Sockerindustrin konsumerar stora mängder vatten och producerar ofta betydande kvantiteter av uppvärmt eller förångat spillvatten som sällan utnyttjas. För att samla in de data som krävs för undersökningen genomfördes studiebesök på fabriken Carlos Baliño i Villa Clara, Kuba. Eftersom vattenflöden inte mättes i fabriken baserades beräkningarna på sockerkoncentrationer och energibalanser för att fastställa utloppsflöden av vatten. Det identifierade spillvattnet har ett massflöde på 10 kg/s och en temperatur på 96 °C, vilket är tillräckligt för att förse fabriken med kyla. Resultatet av undersökningen visade också att fabriken skulle kunna investera i värmedriven kyla med en återbetalningstid på mellan tre till sex säsonger beroende på kostnaden för vald utrustning. Energibesparingarna per produktionssäsong skulle bli närmare 140 000 kWh vilket motsvaras av en ekonomisk besparing på drygt 40 000 dollar per säsong. Om en absorptionskylmaskin skulle implementeras på Carlos Baliño skulle leveransen av kyla vara osäker på grund av det höga antalet produktionsstopp i fabriken. Före en eventuell implementation måste orsakerna till stoppen undersökas, annars skulle kylningsmöjligheterna bero starkt på termiska energilager av kallt vatten vilket i stora volymer kan bli kostsamt. Fabriken producerar endast spillvärme under produktionssäsong vilket pågår från december till och med april men kylbehovet existerar under hela året. Det betyder att alternativa kylmetoder behöver undersökas för att kylbehovet ska kunna tillgodoses året runt. Slutsatsen av studien är att värmedriven kyla är en ytterst passande lösning för liknande industrier som också ger upphov till stora mängder av varmt spillvatten men som producerar hela året och har en jämnare produktion, både på daglig basis och säsongsbasis