999 resultados para andra världskriget
Resumo:
Este trabalhou avaliou o efeito da umidade na compactação do solo submetido ao tráfego de máquinas de colheita de madeira em povoamentos de Pinus taeda L.. O estudo foi realizado nas áreas operacionais de uma empresa florestal localizada em Santa Catarina. Os dados foram obtidos em um Cambissolo Húmico em diferentes períodos, visando contemplar variações de umidade do solo. Foram comparadas a situação sem tráfego (ST) e aquela após o tráfego das máquinas (AT), por meio da determinação da densidade do solo (Ds) e da porosidade total (Pt), nas profundidades de 0 a 15, 15 a 30 e 30 a 50 cm, e da resistência do solo à penetração (RP) no intervalo de profundidade entre 0 e 80 cm. Os resultados mostraram que as maiores alterações provocadas pelo tráfego das máquinas nas propriedades físicas avaliadas ocorreram com o aumento da umidade. Foram também detectadas alterações em todo o perfil de solo. Isso demonstrou que a colheita da madeira realizada em solo úmido causa maior compactação. Dentre os modelos comparados para a estimativa da resistência do solo à penetração, o que teve o melhor ajuste foi o Modelo por Stepwise Aritmético com Variáveis Mistas (MSAM), que estimou a RP pela Ds inversa e a Ug de forma pura, explicando 71% da variação dessa propriedade, e deixando em evidência a possível influência de outros fatores na estimativa da compactação do solo.
Resumo:
I avhandlingen problematiseras etnicitet och finlandssvenskhet i ett livshistorieperspektiv. Materialet består av livshistorier som skrivits av finlandssvenska kvinnor. I avhandlingen visas hur det finlandssvenska berättas och har olika innebörder, i finlandssvenska kvinnors livshistorier. Det finlandssvenska förstås på flera sätt: bl.a. som knutet till vissa platser, som språkanvändning och –identitet och genom synsätt på klass och kön. Platsens betydelse kommer framför allt fram i berättelser om barndomshemmet och -landskapet. Ofta används ett ”vi” i talet om det finlandssvenska. En finlandssvensk miljö kan framställas som trång, trygg eller som en frihet. Det finlandssvenska kontrasteras mot andra, särskilt mot finskt, finländskt och svenskt, och som bedömningar av vad som räknas vara mera eller mindre finlandssvenskt. Det här sker genom symboliska gränsdragningar mellan ”vi” och ”dem” samt av vad som ingår i bilden av olika finlandssvenskheter.
Resumo:
Este trabalho teve por objetivo avaliar a viabilidade técnica de produção de painéis cimento-madeira compostos por diferentes proporções de resíduos das madeiras de cedro-australiano (Toona ciliata M. Roem.), Pinus taeda e clone de híbrido de Eucalyptusgrandis x Eucalyptus urophylla,utilizando-se dois processos distintos de cura: vaporização e climatização. Foi utilizado o cimento Portland CP V - ARI/Plus como aglomerante e o cloreto de cálcio como aditivo químico. As partículas de madeira foram previamente tratadas em água fria durante 24 h. Foram considerados os seguintes parâmetros: relação madeira/cimento - 1/2,75; relação água/cimento - 1/2,5 (base peso do cimento); taxa de água de hidratação/cimento - 25% (base peso do cimento); aditivo químico - 4% (base peso do cimento); densidade nominal - 1,10 g/cm³; e dimensões dos painéis - 480 x 480 x 150 mm. Os parâmetros de prensagem foram: temperatura ambiente, pressão específica de 40 kgf/cm² e tempo de 10 min. O tempo de grampeamento foi de 24 h. As propriedades avaliadas foram absorção de água e inchamento em espessura após 24 h, flexão estática, compressão e ligação interna. O experimento foi instalado segundo um delineamento inteiramente casualizado com três repetições e seis tratamentos, arranjados num esquema fatorial de três composições x dois processos de cura. Os painéis compostos pela mistura de T. ciliata com o clone de Eucalyptus apresentaram valores médios superiores para inchamento em espessura e resultados inferiores para a maioria das propriedades mecânicas. A cura a vapor melhorou as propriedades físicas, mas afetou negativamente a maioria das propriedades mecânicas.
Resumo:
Under de senaste åren har diskussionen om det ”sociala kapitalet” florerat inom många olika vetenskapsgrenar. Studier om socialt kapital, med vilket man avser socialt förtroende, nätverk och reciprocitetsnormer, har utförts speciellt inom samhällsvetenskapliga discipliner som statskunskap, offentlig förvaltning, sociologi och nationalekonomi, men även exempelvis inom folkhälsoområdet. Inom statsvetenskapen har man hänvisat till det sociala kapitalet bl.a. i samband med demokratiforskning, där man konstaterat att socialt kapital har gynnsamma effekter för demokratin (t.ex. ökat valdeltagande och effektivare institutioner) i och med den medborgaranda det skapar. I doktorsavhandlingen granskas inledningsvis två faktorer som kan påverka nivån av socialt kapital i olika länder. Som huvudsakligt material för undersökningen används The European Social Survey (ESS). Resultaten visar att nivån av socialt kapital i hög grad bestäms av graden av ekonomisk jämlikhet och graden av korruption. Ju högre grad av jämlikhet och ju lägre grad av korruption, desto högre är det samhälleliga sociala kapitalet. För det andra undersöks hur socialt kapital (här definierat som socialt förtroende och deltagande i såväl formella föreningar som informella nätverk) är kopplat till olika former av politiskt deltagande. Både traditionella former och mer okonventionella former av politiskt engagemang beaktas. Socialt kapital visar sig med få undantag ha ett samband med politiskt deltagande, såväl på samhällsnivån som på individnivån. Deltagandet i de frivilliga föreningarna är dock i detta avseende den klart viktigaste av det sociala kapitalets beståndsdelar, medan betydelsen av socialt förtroende och socialt umgänge utanför de formella föreningarna blir mindre tydlig.
Resumo:
Avhandlingen undersöker den Afrikanska Unionens freds- och säkerhetsråd och dess roll i framhävandet och upprätthållandet av fred, säkerhet och stabilitet i Afrika. Detta freds- och säkerhetsråd etablerades formellt 2004 och opererar under den Afrikanska Unionen (AU) som å sin sida upprättades 2002. Den Afrikanska Unionens freds- och säkerhetsråds roll i framhävandet av fred, säkerhet och stabilitet gör rådet till en hörnsten inom ramen för konfliktförebyggande och -hantering, samt konfliktlösning på den afrikanska kontinenten. Den Afrikanska Unionens freds- och säkerhetsråd spelar också en högst viktig roll i implementeringen av ansvaret att beskydda civilbefolkningen i konfliktsituationer. För uppfyllandet av sitt mandat att framhäva och upprätthålla fred, säkerhet och stabilitet i Afrika krävs det att freds- och säkerhetsrådet samarbetar med andra institutioner och mekanismer som handhar internationella och regionala freds- och säkerhetsärenden. Avhandlingen analyserar tre dimensioner av denna typ av relationer som freds- och säkerhetsrådet bör etablera med dessa organ och mekanismer för att kunna utföra sitt mandat effektivt. Först analyseras relationen mellan Afrikanska Unionens freds- och säkerhetsråd och Förenta Nationernas säkerhetsråd som också beskrivs i artikel 17 (1) i protokollet som förde till etablerandet av AU:s freds- och säkerhetsråd. Analysen understryker FN:s säkerhetsråd som det organ som bär det primära ansvaret i förhållande till fred och säkerhet, medan AU:s freds- och säkerhetsråd fungerar som en kompletterande komponent i sin roll som ett regionalt organ. Avhandlingen fortsätter med att analysera förhållandet mellan AU:s freds- och säkerhetsråd och andra organ inom AU, samt andra relevanta institutioner som framgår av artikel 10, 18 (1), 19 och 20 i protokollet för rådets etablerande. Avhandlingen diskuterar i detalj hur samarbetet mellan AU:s freds- och säkerhetsråd och dessa institutioner och organ kunde förstärkas till fördel för effektivt framhävande och upprätthållande av fred och säkerhet i Afrika. Slutligen analyserar avhandlingen samarbetet mellan AU:s freds- och säkerhetsråd och sub-regionala mekanismer etablerade under regionala ekonomiska gemenskaper som beskrivs i artikel 16 i protokollet för etablerandet av rådet. Avhandlingen diskuterar i detalj rollen för de sub-regionala mekanismerna i den afrikanska freds- och säkerhetsarkitekturen. Avhandlingen diskuterar vidare förhållandet mellan de sub-regionala mekanismerna och den afrikanska stand-by styrkan ASF och förutsättningarna för detta arrangemang att bemöta afrikanska konflikter. Avhandlingen fokuserar också på en harmoniserings- och samarbetsprocess i förhållande till de sub-regionala mekanismerna, de regionala ekonomiska gemenskaperna och den Afrikanska Unionens freds- och säkerhetsråd. Kort sagt beskriver avhandlingen hur förhållandet mellan AU:s freds- och säkerhetsråd och de ovan nämnda organ och mekanismer har en faktisk och potentiell möjlighet att effektivt bidra till fred, säkerhet och stabilitet i Afrika. Avhandlingen identifierar utmaningarna kring att göra detta till ett fungerande förhållande samtidigt som den genererar både generella och specifika rekommendationer om hur dessa utmaningar bäst kan bemötas. Några av dessa utmaningar utgörs av följande aspekter: konflikten mellan AU:s och FN:s reglemang i bemötandet av freds- och säkerhetsutmaningar; de olika metoderna i FN och AU vid implementeringen av principen av universell jurisdiktion; konflikten mellan de olika mandaten som AU:s freds- och säkerhetsråd och FN:s säkerhetsråd har i förhållande till implementeringen av principen om intervention; och konflikten mellan lagarna och metoderna i förhållande till AU:s freds- och säkerhetsråd och de regionala mekanismerna. En av de huvudsakliga rekommendationerna i avhandlingen i bemötandet av de ovan nämnda utmaningarna är att harmonisera de olika systemen för att försäkra att det föreligger ett samordnat bemötande av konflikter i Afrika. Efter att ha identifierat luckorna i AU:s freds- och säkerhetsprotokoll med speciell fokus på förhållandet mellan rådet och de relevanta organen och mekanismerna rekommenderar avhandlingen ett antal tillägg och modifieringar till instrumentet ifråga för att effektivera, stärka och upprätthålla detta förhållande. Avhandlingen föreslår att dessa tillägg och modifieringar skulle företas under 2014 då detta år markerar 10 år efter att AU:s freds- och säkerhetsråd etablerades. Idén bakom detta företagandet ligger i att 10 år torde vara en tillfredställande tidsperiod för att mäta hur freds- och säkerhetsrådet har fungerat och hur dess förhållande med de relevanta institutionerna och mekanismerna kunde förbättras. Avhandlingen representerar den bredaste och nyaste studien inom ramen för artikel 16, 17, 18, 19 och 20 i protokollet för AU:s freds- och säkerhetsråd och introducerar ett innovativt bemötande av utmaningar till fred, säkerhet och stabilitet på den afrikanska kontinenten. Avhandlingen bidrar till teorin och praxisen i AU:s freds- och säkerhetsråd vilket kan vara av intresse för både forskare och praktiker i folkrätt såväl som i internationella freds- och säkerhetsstudier, speciellt i Afrika.
Resumo:
I doktorsavhandlingen undersöks förmågan att lösa hos ett antal lösare för optimeringsproblem och ett antal svårigheter med att göra en rättvis lösarjämförelse avslöjas. Dessutom framläggs några förbättringar som utförts på en av lösarna som heter GAMS/AlphaECP. Optimering innebär, i det här sammanhanget, att finna den bästa möjliga lösningen på ett problem. Den undersökta klassen av problem kan karaktäriseras som svårlöst och förekommer inom ett flertal industriområden. Målet har varit att undersöka om det finns en lösare som är universellt snabbare och hittar lösningar med högre kvalitet än någon av de andra lösarna. Det kommersiella optimeringssystemet GAMS (General Algebraic Modeling System) och omfattande problembibliotek har använts för att jämföra lösare. Förbättringarna som presenterats har utförts på GAMS/AlphaECP lösaren som baserar sig på skärplansmetoden Extended Cutting Plane (ECP). ECP-metoden har utvecklats främst av professor Tapio Westerlund på Anläggnings- och systemteknik vid Åbo Akademi.
Resumo:
Since its introduction, fuzzy set theory has become a useful tool in the mathematical modelling of problems in Operations Research and many other fields. The number of applications is growing continuously. In this thesis we investigate a special type of fuzzy set, namely fuzzy numbers. Fuzzy numbers (which will be considered in the thesis as possibility distributions) have been widely used in quantitative analysis in recent decades. In this work two measures of interactivity are defined for fuzzy numbers, the possibilistic correlation and correlation ratio. We focus on both the theoretical and practical applications of these new indices. The approach is based on the level-sets of the fuzzy numbers and on the concept of the joint distribution of marginal possibility distributions. The measures possess similar properties to the corresponding probabilistic correlation and correlation ratio. The connections to real life decision making problems are emphasized focusing on the financial applications. We extend the definitions of possibilistic mean value, variance, covariance and correlation to quasi fuzzy numbers and prove necessary and sufficient conditions for the finiteness of possibilistic mean value and variance. The connection between the concepts of probabilistic and possibilistic correlation is investigated using an exponential distribution. The use of fuzzy numbers in practical applications is demonstrated by the Fuzzy Pay-Off method. This model for real option valuation is based on findings from earlier real option valuation models. We illustrate the use of number of different types of fuzzy numbers and mean value concepts with the method and provide a real life application.
Resumo:
Sions döttrar är en kyrkohistorisk avhandling om de laestadianska kvinnornas traditionsförmedling inom Rauhan Sana-riktningen åren 1927–2009 i norra svenska Österbotten. Underökningen gäller den laestadianska traditionens innehåll, form och mål. Den inriktar sig på den traditionsförmedling som har skett i de laestadianska hemmen och i den laestadianska mötesinstitutionen. I avhandlingen analyseras traditionsförmedlingen utifrån begreppen tradition, kallelse och identitet. I begreppet tradition framträder det innehåll, eller stoff, som har förmedlats från generation till generation. Traditionsstoffet har utsatts för impulser från det omgivande samhället, vilket har orsakat att traditionen har omformulerats och omdefinierats under åren. Influenserna utifrån har även lett till att gamla traditioner har dött ut och nya har uppstått. Det andra begreppet, kallelse, innebär att kallelsetanken ständigt är närvarande även om begreppet sällan används. I de laestadianska hemmen har förmedlingen av traditionsstoffet skapat ett kallelsemedvetande. De laestadianska kvinnorna har, motiverade av kallelsetanken, implementerat traditionsstoffet i sina hem. De primära formerna i den laestadianska traditionsförmedlingen har varit den muntliga förmedlingen och beteendeförmedlingen. Utmärkande för hemmens traditionsförmedling har varit oregelbundenhet och spontanitet. De mål som kvinnorna har haft för traditionsförmedlingen har varit flerdimensionella. Det främsta målet har varit eskatologiskt, nämligen evigt liv i himlen. På vägen till detta slutmål har det funnits andra mål. Ett sådant mål är en individuell identitet som ”kristen”, avvikande från det sekulariserade samhället. Termen ”kristen” har ofta, men inte alltid, sammanfallit med termen ”laestadian”. Samtidigt hör den individuella laestadianska identiteten mycket nära samman med den sociala, laestadianska identiteten. Den enskilda laestadianen behöver troendegemenskapen, såväl den lilla församlingen, familjen, som den stora församlingen, den laestadianska väckelserörelsen.
Resumo:
Centrala teman i min avhandling är parallellskolesystem, linjedelning och segregering i högstadier och gymnasier. Det finns stora skillnader mellan länder gällande den årskurs då eleverna sorteras in i olika nivåer genom skilda klasser eller skolor. I Tyskland och Nederländerna till exempel delas eleverna upp före högstadiet medan Sverige och Finland har enhetsskolor på högstadienivå. Jag argumenterar att parallellskolesystem har en positiv effekt på elevernas testresultat i årskurserna före linjedelningen. Eleverna har incitament att jobba hårdare för att komma på i den akademiska linjen. Jag undersöker incitamentseffekter empiriskt, och hittar mönster konsistenta med incitamentseffekter både i brittisk och i internationell data. Det andra bidraget i avhandlingen är metodologiskt. Nationalekonomer brukar behandla testresultat från t.ex. IQ-tester eller internationella PISA-undersökningar som om absoluta nivån på poängantalen har betydelse i sig. I verkligheten antyder de endast en rangordning. Jag visar att normalfördelade testresultat i många fall ligger tillräckligt nära dess pengavärde på arbetsmarknaden för att ändå kunna tolkas som absoluta.
Resumo:
Konjunkturen har försämrats snabbt under de senaste 12 månaderna. Saldotalet för den förverkligade utvecklingen sjönk med 110 poäng från 2010 års toppvärde och blev negativt med 35 poäng. Utifrån procentgranskningen har försämringen av konjunkturen ändå varit lindrig. Prognosen visar att konjunkturen kommer att försämras ytterligare en aning. Prognosens saldotal är -20. Hälften av svararna bedömde dock att konjunkturen bibehålls oförändrad under de kommande 12 månaderna. Cirka en tredjedel bedömde att konjunkturen kommer att försämras ytterligare en aning. Trots den snabba konjunkturvändningen förväntar man sig inte att konjunkturen blir lika svår under det kommande året som under perioderna 2/08 och 1/09. Rederichefernas uppskattningar om utvecklingen av ekonomins delfaktorer i sjöfartsbranschen verkar peka på att den ekonomiska situationen inte blir lika svag som under den globala recessionen som började på hösten 2008. Saldotalet för den förverkligade utvecklingen av sjötransportmarknadens efterfrågan var endast svagt negativt, -5. Saldotalet förutspås sjunka med 15 poäng, men den största delen (60 procent) av svararna anser att efterfrågan håller sig på samma nivå även under de kommande 12 månaderna. Det saldotal som mäter fraktprisernas utveckling har inte varit positivt efter den första perioden under 2008. Man bedömde att fraktpriserna har sjunkit under den gångna perioden men enligt fraktprisprognosen kommer den sjunkande prisutvecklingen att stanna upp. Prognosens saldotal är +5. Tillväxten för de finländska export- och importtransporterna förväntas dock avstanna och i saldotal mätt kommer transportmängderna att börja sjunka en aning. Priset på marint bränsle, dvs. bunkerpriset, steg kraftigt under 2011. Saldotalet för den gångna perioden var -94. Utvecklingen avviker från perioden 2/08 då bunkerpriset började sjunka i takt med den inledande recessionen. Priset förväntas stiga ytterligare. Rederiernas omsättning minskade under perioden 2011. Minskningen avstannar dock och det saldotal som visar den kommande periodens omsättningsutveckling förutspås vara svagt positivt (+10). Det största hindret för rederiverksamhetens tillväxt ansågs vara den allmänt osäkra ekonomiska situationen. Den ökade konkurrensen och den dåliga prisutvecklingen begränsar också tillväxten. Trots den försämrade konjunkturen råder det fortfarande brist på kompetenta arbetstagare inom sjösektorn. Att priset på det marina bränslet, bunkern, höjs anses vara en betydande faktor som begränsar rederiernas tillväxt. Författningskraven i anknytning till miljöfrågor har blivit ett tillväxthinder. Temafrågorna handlade om den internationella sjöfartsorganisationen IMO:s bestämmelser om svavelhalter i marint bränsle. För att minska svaveldioxidutsläppen kan man som ett alternativ använda svaveltvättar (=skrubber) i fartygen. Bara ungefär en tredjedel av svararna ansåg att installering av tvättar i fartygen är för rederiernas del ett troligt alternativ för att uppfylla IMO:s bestämmelser. Den andra frågan handlade om IMO:s svavelbestämmelser och om de kommer att leda till en förflyttning till andra transportformer. 63 procent av svararna uppskattade att det på grund av det höga priset på lågsvavelhaltigt bränsle kommer att ske en förflyttning från sjötransporter till andra transportformer. En storskalig förflyttning till landsvägstransporter skulle strida mot EU:s trafikpolitiska mål.
Resumo:
A proposta deste trabalho é analisar a distribuição logística da soja brasileira aplicando-se modelo de equilíbrio espacial de programação quadrática. O sistema de transporte da soja é um ponto importante na cadeia produtiva, pois a maior parte dos custos dessa commodity é dada pelos custos de transporte. Nesse sentido, a otimização desse segmento é essencial para aumentar a competitividade da soja brasileira no mercado internacional. O complexo soja brasileiro tem aumentado a sua participação nas exportações dos produtos agrícolas nos últimos dez anos, mas os investimentos de outros países faz com que as exportações brasileiras não fiquem focadas apenas no crescimento da produção, mas, sim, na eficiência de toda a cadeia produtiva. Dessa maneira, com a aplicação de um modelo de equilíbrio espacial de programação quadrática, pode-se projetar novos cenários alterando-se os custos de transporte dos diferentes modais, conduzindo políticas para novos investimentos no setor de transportes.
Resumo:
Djur och djurskyddet hör till ett rättsligt regleringsområde som inte varit föremål för omfattande rättsvetenskaplig forskning i vårt land även om intresset för djurs välbefinnande ökat både i samhället och inom EU. Avhandlingen har avfattats som en artikelavhandling och är en offentligrättslig studie om djurskyddslagstiftningen och förvaltningen av djurskyddsärenden i Finland. Tematiken har behandlats både ur djurens och djurens ägares eller innehavares synvinkel med utgångspunkt i djurskyddslagstiftningen och förvaltningen av djurskyddsärenden i Finland. Forskningen är fokuserad huvudsakligen på skyddet av och välbefinnandet hos produktions- och slaktdjur även om bland annat de begrepp som granskas också berör andra djurkategorier. De övergripande frågeställningarna i avhandlingen är två. För det första, vad är det som avses med djurs välbefinnande och skydd i regleringen av djurskyddet och för det andra, hur realiseras dessa i djurskyddsmyndigheternas förvaltningsverksamhet? I forskningen presenteras och diskuteras bland annat en ny begreppskonstruktion: djurs rättsliga välbefinnande. Den empiriska delen i avhandlingen omfattar förvaltningsverksamheten inom området av djurskydd under åren 1996–2006. Sammanlagt 10468 dokument som upprättats av djurskyddsmyndigheten i samband med verkställandet av djurskyddsövervakning ingår i undersökningen. Forskningen utmynnar i en åtgärdsförteckning med förslag till utvecklingen av området för djurskydd.
Resumo:
Avhandlingen studerar hur långtidsarbetslösa klarar av sin situation, hurdant socialt kapital och informationsbeteende de har, samt granskar hur de ovannämnda faktorerna är relaterade till varandra. Därtill undersöks om det finns skillnader mellan finsk- och svenskspråkiga långtidsarbetslösa på de här tre livsområdena. I undersökningen består socialt kapital av sociala relationer, deltagande i organisatoriska aktiviteter samt känslan av tillhörighet med olika grupper och samfund. Gällande informationsbeteende är fokus på vardaglig informationssökning, vilka källor som används, och hurdana problem man stöter på när man söker information. Som mest påfrestande upplevdes arbetslösheten av män, som var i början eller mitten av sin arbetskarriär. De äldre (över 55 år) verkade på många sätt klara av arbetslöshetssituationen bättre än de yngre, som drabbades hårdare av ekonomiska problem och stress. Kvinnor kunde bättre än män bibehålla en positiv inställning, de hade t.ex. starkare sociala nätverk som stöd, medan mäns sociala relationer i högre grad verkade vila på en arbetsgemenskap, som blev allt svagare i och med utdragen arbetslöshet. Yngre män upplevde också ofta att deras hälsa hade försämrats, när den för kvinnor och äldre arbetslösa i genomsnitt blev bättre. När arbetslösas bemästring av arbetslöshetssituationen, sociala relationer och informationssökning granskades, framgick att människor som var aktiva på ett livsområde också var aktiva på andra livsområden. I de flesta fall framkom inte några större skillnader mellan finsk- och svenskspråkiga arbetslösa. Beträffande informationssökning var de upplevda problemen ändå av diametralt motsatt karaktär – för svenskspråkiga åsamkade för lite tillgänglig information ofta problem, medan problemet för de finskspråkiga var att hitta det väsentliga i informationsflödet. Finskspråkiga kände sig också mera fast anknutna till sin boendemiljö och det finska samhället i stort, svenskspråkiga hade däremot i genomsnitt bredare och tätare sociala nätverk.
Resumo:
O objetivo deste estudo foi avaliar a viabilidade econômica da implantação de dois biodigestores com uso de dejetos animais em área do Assentamento de Trabalhadores Rurais no município de Itaberá - SP, no ano de 2005; um deles para o fornecimento de energia para os domicílios e outro para as atividades produtivas. Foram avaliados os benefícios referentes ao fornecimento de energia elétrica e térmica, a partir do biogás, para cinco domicílios da agrovila do assentamento e para as atividades produtivas, comparativamente aos custos de construção e operação para produção de biogás. Os resultados mostraram a viabilidade econômica da produção de gás em ambos os biodigestores. Foram gerados benefícios no valor de R$ 3.698,00 por ano e R$ 9.080,57 por ano, nos biodigestores para os domicílios e produção, respectivamente; bem como o equivalente a R$ 1.478,28 por ano referentes à produção de biofertilizante. O custo anual do processo é de R$ 1.218,50 em cada biodigestor. O prazo de recuperação do investimento é de 2,5 anos e 11 meses, para a produção de biogás nos domicílios e na produção, respectivamente. Os resultados podem ser utilizados para subsidiar políticas públicas direcionadas ao aproveitamento de biomassa para a produção de energia a baixos custos no segmento da agricultura familiar.
Resumo:
Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.