Eliminating Software Failures - A Literature Survey

Software faults are expensive and cause serious damage, particularly if discovered late or not at all. Some software faults tend to be hidden. One goal of the thesis is to figure out the status quo in the field of software fault elimination since there are no recent surveys of the whole area. Basis for a structural framework is proposed for this unstructured field, paying attention to compatibility and how to find studies. Bug elimination means are surveyed, including bug knowhow, defect prevention and prediction, analysis, testing, and fault tolerance. The most common research issues for each area are identified and discussed, along with issues that do not get enough attention. Recommendations are presented for software developers, researchers, and teachers. Only the main lines of research are figured out. The main emphasis is on technical aspects. The survey was done by performing searches in IEEE, ACM, Elsevier, and Inspect databases. In addition, a systematic search was done for a few well-known related journals from recent time intervals. Some other journals, some conference proceedings and a few books, reports, and Internet articles have been investigated, too. The following problems were found and solutions for them discussed. Quality assurance is testing only is a common misunderstanding, and many checks are done and some methods applied only in the late testing phase. Many types of static review are almost forgotten even though they reveal faults that are hard to be detected by other means. Other forgotten areas are knowledge of bugs, knowing continuously repeated bugs, and lightweight means to increase reliability. Compatibility between studies is not always good, which also makes documents harder to understand. Some means, methods, and problems are considered method- or domain-specific when they are not. The field lacks cross-field research.

Geoquímica de fósforo como indicadora da qualidade ambiental e dos processos estuarinos do Rio Jaguaribe - costa nordeste oriental brasileira

Phosphorus geochemistry as a proxy of environmental estuarine processes at the Jaguaribe River, Northeastern Brazil. Sedimentation of different phosphorus geochemical fractions can characterize the natural or anthropogenic processes dominant in the watershed. Selective chemical extraction of different phosphorus geochemical forms in estuarine sediments showed the predominance of inorganic over organic forms suggesting an increase in inorganic phosphorus input from anthropogenic sources. Local hydrochemistry favors the dominance of inorganic ferric and carbonatic phosphorus. Ongoing changes in the estuarine throphy, from mesothrophic to euthrophic, may decrease the immobilization of these forms, increasing dissolved phosphorus and favoring euthrophy. Detritic phosphorus suggests a fluvial origin of this fraction and acts as a tracer of river influence upon the estuary.

Built environment and elderly population health: a comprehensive literature review

Global population aging over recent years has been linked to poorer health outcomes and higher healthcare expenditure. Policies focusing on healthy aging are currently being developed but a complete understanding of health determinants is needed to guide these efforts. The built environment and other external factors have been added to the International Classification of Functioning as important determinants of health and disability. Although the relationship between the built environment and health has been widely examined in working age adults, research focusing on elderly people is relatively recent. In this review, we provide a comprehensive synthesis of the evidence on the built environment and health in the elderly.

Muuttuvat tilat lasten- ja nuortenkirjallisuuden tutkijoiden pohdittavana : : metamorphic spaces in children's literature and culture 17.-19.1.2008 Jyväskylä

Ajankohtaista

Romanssien ja runouden aikakausi. Thomas Warton keskiaikaa määrittelemässä 1750–1790

Tutkimukseni käsittelee keskiajan nousua historian tärkeäksi periodiksi 1700-luvun Englannissa näkökulmanaan Thomas Wartonin (1726–1790) kirjoitukset. Warton oli Oxfordin yliopistossa toiminut oppinut antikvaari. Wartonin pääteos History of English Poetry (1774–1781) ei nimestään huolimatta ollut moderni kirjallisuushistoria vaan 1000–1500-luvun kirjoitettua kulttuuria laajasti käsitellyt vernakulaariin kirjallisuuteen pohjautunut esitys. Warton ja hänen lähipiiriinsä kuuluneet tutkijat tarjoavat erityisen mahdollisuuden tarkastella, miten käsitys keskiajasta omana aikakautenaanmuodostui 1700-luvun lopulla. Tutkin Wartonin ja hänen aikalaistensa toisen vuosituhannen alusta kirjoittamia arvioita Michel de Certeaun historiografisen operaation käsitteen avulla. Se koostuu kolmesta vaiheesta: Alue määrittelee sosiaaliset riippuvuussuhteet ja vaikuttimet, jotka ohjaavat tutkimusta. Käytäntö viittaa siihen, miten historioitsija valitsee materiaalinsa ja muokkaa siitä historiankirjoituksena hahmottuvan kokonaisuuden. Lopuksi kirjoitus konkreettisena ja fyysisenä ilmiönä luo illuusion lopullisuudesta ja huonosti sopivien osien yhteenkuuluvuudesta. de Certeaun teoria soveltuu paremmin vanhemman historiankirjoituksen ja oppineisuuden tarkasteluun kuin historiantutkimuksen narratiiveja analysoivat teokset, koska se kontekstualisoi laajemmin historiankirjoitukseen vaikuttavat ilmiöt. Thomas Warton ja muut 1700-luvun puolivälin oppineet määrittelivät keskiajan fiktiivisten tekstien avulla. Warton tutustui tarkasti romansseihin ja kronikoihin. Erityisen suuri merkitys keskiajan hahmottamisen kannalta oli Geoffrey Monmouthilaisen kronikalla Historia regum britanniae, joka esitteli Englannin myyttisen varhaisen historian yhdistämällä Rooman ja oman kansallisen perinteen. Geoffreyn kronikan avulla Warton huomasi keskiaikaisten tarinoiden laajan vaikutuksen; hän kirjoitti erityisesti kuningas Arthuriin liittyneiden kertomusten merkityksestä, joka jatkui aina 1500-luvulle asti. Näin Warton löysi antiikin perinteelle haastajan keskiaikaisesta kulttuurista. Wartonin tapa esitellä keskiaikaa perustui osittain valistusajan sulavasti kirjoitetuille universaalihistorioille, osittain oppineelle luettelomaiselle esitystavalle. Käytännössä Wartonin pitkät johdantotutkielmat kuitenkin johdattavat lukijaa keskeisiin teemoihin. Niitä ovat mielikuvituksen väheneminen uusimmassa kirjallisuudessa ja toisaalta hienostuneisuuden ja tiedon kasvu. Warton ei missään vaiheessa kerro, liittyvätkö nämä teemat yhteen, mutta tulkintani mukaan ne liittyivät. Warton ajatteli kirjallisuuden menettäneen olennaisen mielikuvituksen samaan aikaan, kun yhteiskunta oli kehittynyt. Tämä auttaa hahmottamaan koko kirjallisuuden historiaa: Warton etsi alkuperäistä mielikuvitusta niin antiikin Kreikasta, Orientista kuin muinaisesta Skandinaviasta. History of English Poetry ei pohtinut vain kirjallisuuden ja yhteiskunnan suhdetta, sillä Warton ajatteli voivansa tutkia keskiajan yhteiskuntaa kronikoiden ja romanssien avulla. Hänen käsityksensä feodalismista, hovien elämästä ja keskiaikaisista tavoista perustuivat niihin. Warton ei huomannut, että hänen käyttämänsä lähteet olivat tietoisia kirjallisia konstruktioita vaan hän piti niitä totuudenmukaisina kuvauksina. Toisaalta Wartonin tulkintaan heijastuivat myös 1700-luvun käsitykset yhteiskunnasta. Keskiajan lähteiden kuvaukset ja 1700-luvun ideaalit vaikuttivat lopulta siihen, millaiseksi populaari kuva keskiajasta kehittyi.

Adequacy in Finnish Translations of Anglo-American Literature

Tutkielma käsittelee nykypäivän angloamerikkalaisen kaunokirjallisuuden suomentamista. Tutkimuksessa pyritään vahvistamaan tai kumoamaan hypoteesi, jonka mukaan angloamerikkalaisen kirjallisuuden suomentamistapa on tällä hetkellä pikemmin adekvaattinen (adequate) kuin hyväksyttävä (acceptable). Adekvaattisessa käännöksessä säilytetään lähdetekstin vierautta. Tutkimusaineisto koostuu kahdessa Neil Gaimanin romaanissa esiintyvistä kulttuurisidonnaisista aineksista (culture-specific items, CSIs) ja niiden käännöksistä. Tutkimus perustuu pääasiassa Itamar Even-Zoharin polysysteemiteoriaan ja Gideon Touryn teoriaan kääntämiseen vaikuttavista normeista. Teorioiden avulla esitetään, että kirjallisuuden polysysteemi vaikuttaa yksittäisiin käännösvalintoihin, kun suomennetaan kaunokirjallisuudessa esiintyviä kulttuurisidonnaisia aineksia. Kulttuurisidonnaiset ainekset ovat kulttuuriin liittyviä ilmauksia, jotka viittaavat kielenulkoiseen todellisuuteen. Tutkimuksen osana tarkastellaan lyhyesti myös kirjallisuutta, suomentamista sekä suomentamisen historiaa Suomessa. Empiirisessä osuudessa aineiston tutkimiseen käytetään Javier Franco Aixelán kehittämää käännöstaktiikoiden luokitusta. Kulttuurisidonnaisten ainesten suomennoksista analysoidaan eri käännöstaktiikoiden määrät, jolloin saadaan selville niiden yleisyys käännöksissä. Tutkimuksen tulokset viittaavat siihen, että tutkimuskohteena olevien romaanien kulttuurisidonnaiset ainekset on suomennettu melko adekvaattisesti. Tutkimustulos on vain suuntaa-antava, mutta tukee silti hypoteesia angloamerikkalaisen kaunokirjallisuuden suomennosten adekvaattisuudesta.

Ciclo de corte econômico ótimo em floresta ombrófila densa de terra firme sob manelo florestal sustentável, Amazônia Oriental

Este estudo teve como objetivo estimar o ciclo de corte e o estoque de colheita ótimo, no qual a taxa anual do crescimento da floresta se iguala à taxa anual de juros oferecida pelo mercado de capital. A pesquisa foi conduzida na Unidade de Manejo Florestal (UMF) da Fazenda Tracajás (02º35'53"S e 47º47'10"W), empresa Nova Era Agroflorestal, município de Paragominas, Estado do Pará, Brasil. A unidade de manejo florestal foi estratificada em classes I, II e III de estoques volumétricos, empregando-se análises de agrupamento e discriminante. Em cada classe de estoque foram instaladas aleatoriamente cinco parcelas de 100 x 100 m (1,0 ha), para medição dos indivíduos com dap > 15 cm. No centro de cada parcela foi instalada uma subparcela de 10 x 100 m (0,1 ha), para medição dos indivíduos com 5 cm < dap < 15 cm. Na classe I de estoque, os ciclos econômicos ótimos foram de 13, 12 e 8 anos; na classe II, de 18, 12 e 12 anos; e na classe III, de 22, 12 e 14 anos, a um incremento médio anual de 3,0 m³/ha/ano. Verificaram-se maiores taxas de remuneração do capital investido no manejo nos menores ciclos de corte, independentemente dos níveis de colheita do estoque comercial. Maiores incrementos anuais em volume resultaram em maiores taxas de valoração da floresta. Maiores volumes colhidos implicaram ciclos de corte mais longos numa mesma taxa de crescimento da floresta. Contudo, dentro de certos limites, maiores volumes colhidos podem resultar biologicamente em maiores taxas de crescimento do estoque remanescente. Isso ocorre, sobretudo, quando se aplicam tratamentos silviculturais.

Estratificação vertical em floresta ombrófila densa de terra firme não explorada, Amazônia Oriental

Este estudo foi conduzido na Unidade de Manejo Florestal (UMF) da Fazenda Tracajás (02º35'53"S e 47º47'10"W), no município de Paragominas, Estado do Pará, Brasil, e teve como objetivo a estratificação vertical da floresta ombrófila densa de terra firme não explorada, empregando-se análises de agrupamento e discriminante. A floresta foi estratificada em três áreas homogêneas, denominadas classes I, II e III de estoques volumétricos. Em cada classe de estoque volumétrico foram instaladas, aleatoriamente, cinco parcelas de 100 x 100 m (1,0 ha) cada uma, cujas alturas totais de árvores individuais com dap > 15 cm foram utilizadas na estratificação vertical da floresta. As árvores individuais foram organizadas em ordem crescente de altura total e classificadas em classes de 1 m de amplitude, desde a altura total mínima até a altura total máxima. Elaborou-se uma matriz X de altura total, em que cada variável x ij representou a altura total da i-ésima árvore classificada na j-ésima classe de altura total. A matriz X foi utilizada como input nas análises de agrupamento e discriminante. A aplicação da análise de agrupamento, utilizando o método de Ward, resultou em agrupamentos hierárquicos e seqüenciais das classes de altura em estratos de altura total (inferior, médio e superior). A análise discriminante, utilizando o método de Fisher, evidenciou que a classificação foi 100% correta. A subdivisão da estrutura vertical da floresta em estratos de altura total com o emprego da análise multivariada mostrou-se um método eficiente e exeqüível de estratificação vertical de florestas ineqüiâneas.

Emprego do método BDq de seleção após a exploração florestal em Floresta Ombrófila Densa de Terra Firme, Amazônia oriental

Este estudo teve como objetivos analisar a estrutura diamétrica pós-colheita seletiva da Floresta Ombrófila Densa de Terra Firme, aplicar o método BDq nas atividades de tratamento silvicultural e manejar a floresta, visando a uma estrutura balanceada dos diâmetros. A pesquisa foi realizada na Unidade de Manejo Florestal (UMF) da Fazenda Tracajás (02º35'53"S e 47º47'10"W), empresa Nova Era Agroflorestal, município de Paragominas, Estado do Pará, Brasil. A floresta foi estratificada em áreas homogêneas, denominadas classes I, II e III de estoques volumétricos, empregando-se as técnicas de análises de agrupamento e discriminante. Em cada classe de estoque foram instaladas, aleatoriamente, cinco parcelas de 100 x 100 m (1,0 ha), para medição dos indivíduos com dap > 15 cm. No centro de cada parcela de 100 x 100 m, foi instalada uma subparcela de 10 x 100 m (0,1 ha), para medição dos indivíduos com 5 cm < dap < 15 cm. Utilizou-se o método BDq de seleção, isto é, área basal remanescente (B), diâmetro máximo (D) e constante de De Liocourt (q). Na classe I de estoque, o método de manejo proposto permitiu a remoção de 56,4 árvores/ha, 3,33 m²/ha e 67,64 m³/ha, com redução em área basal de 13,1%. Na classe II de estoque, 53,7 árvores/ha, 3,88 m²/ha e 65,96 m³/ha, com diminuição em área basal de 16,2%. Na classe III de estoque, 63,3 árvores/ha, 3,13 m²/ha e 46,76 m³/ha, com redução em área basal de 14,0%. Observou-se déficit ou poucas árvores nas maiores classes diamétricas em razão da colheita seletiva. A remoção periódica de árvores deve ocorrer nas menores classes de tamanhos, visando ao balanceamento da distribuição dos diâmetros e, sobretudo, à condução da floresta a uma estrutura balanceada ao longo do ciclo de corte, com o aproveitamento contínuo dos produtos florestais madeireiros.

Manejo sustentado para floresta de várzea na amazônia oriental

Este estudo teve como objetivo definir opções de colheita em bases sustentadas para florestas de várzea no estuário amazônico. Os dados foram coletados na propriedade florestal da Exportadora de Madeira do Pará Ltda. (Emapa), localizada no Município de Afuá, ao norte do Estado do Pará. A amostragem foi realizada em 29 parcelas de 5.000 m². Foram medidas todas as árvores e palmeiras com dap > 45 cm. As espécies comerciais que apresentaram condições de serem colhidas por terem apresentado os melhores índices fitossociológicos e qualitativos foram: Virola surinamensis, Carapa guianensis e Hymenaea oblongifolia. Entre as espécies potenciais, destacou-se Terminalia dichotoma; e no grupo das espécies não-comerciais, Eschweilera coriacea, Swartizia racemosa e Licania macrophylla. Os resultados indicaram que a floresta pode ser manejada, adotando-se o plano de colheita que utiliza um Quociente de De Liocourt 50% maior do que o original (q = 2,61) e remoção de 30 % da área basal, o que corresponde a um lucro potencial de US$ 3.945,40/ha.

Análise multivariada para estratificação volumétrica de uma floresta ombrófila densa de terra firme, Amazônia Oriental

O objetivo deste estudo foi propor um método de estratificação em classes homogêneas de estoque volumétrico da floresta ombrófila densa de terra firme não explorada, empregando-se as técnicas de análises de agrupamento e discriminante. A pesquisa foi conduzida na Unidade de Manejo Florestal (UMF) da Fazenda Tracajás (02º35'53"S e 47º47'10"W), pertencente à empresa Nova Era Agroflorestal, de propriedade do Grupo Rosa Madeireira, Município de Paragominas, Estado do Pará. Foi realizado um censo (100%), no qual se estimaram os volumes do fuste comercial das árvores com dap > 45 cm de 55 espécies comerciais em 49 talhões de exploração com 10 ha cada um. Reuniram-se os volumes estimados do fuste comercial das árvores individuais por talhão em ordem crescente. Elaborou-se uma matriz X de dados desses volumes, em que cada variável x ij representou o i-ésimo volume classificado no j-ésimo talhão. A matriz X foi utilizada como input nas análises de agrupamento e discriminante. A aplicação da análise de agrupamento, método de Ward, resultou em agrupamentos hierárquicos dos talhões em classes de estoques. A análise do dendrograma permitiu estratificar o povoamento em três grupos homogêneos e distintos, denominados classes I, II e III de estoques volumétricos. A análise discriminante, método de Fisher, indicou que 100% dos talhões foram corretamente classificados. A classificação multivariada da floresta em classes de estoques volumétricos mostrou-se um método eficiente na estratificação de áreas homogêneas de florestas ineqüiâneas, as quais podem se constituir em estratos, compartimentos, classes de sítio e unidades de produção anual.

Análise estrutural em floresta ombrófila densa de terra firme não explorada, Amazônia Oriental

O estudo teve como objetivo analisar a composição florística e as estruturas horizontal, interna e diamétrica da floresta. A pesquisa foi conduzida na Unidade de Manejo Florestal (UMF) da Fazenda Tracajás (02º35'53"S e 47º47'10"W), Município de Paragominas, Estado do Pará, Brasil. A floresta foi estratificada em três áreas homogêneas, denominadas classes I, II e III de estoques volumétricos, empregando-se análise multivariada: análises de agrupamento e discriminante. Em cada classe de estoque foram instaladas, aleatoriamente, cinco parcelas de 100 x 100 m (1,0 ha) cada uma, para medição dos indivíduos com dap > 15 cm. No centro de cada parcela de 100 x 100 m foi instalada uma subparcela de 10 x 100 m (0,1 ha), para medição dos indivíduos com 5 cm < dap < 15 cm. Nas classes I, II e III de estoques volumétricos das árvores com dap > 15 cm (nível I de inclusão), respectivamente, estimou-se uma densidade total de 322,4; 309,0; e 313,8 indivíduos por hectare, bem como dominância total de 27,36; 27,45; e 25,88 m²/ha e volume de fuste total de 358,69; 328,33; e 308,69 m³/ha. Nas classes I, II e III de estoques volumétricos das árvores com 5 cm < dap < 15 cm (nível II de inclusão), respectivamente, estimaram-se densidade total de 846; 854; e 886 indivíduos por hectare, dominância total de 4,80; 4,93; e 5,46 m²/ha e volume de fuste total de 93,98; 91,23; e 97,61 m³/ha. As espécies de maior valor de importância relativa, Lecythis idatimon (potencial), Rinorea guianensis (não comercial) e Pouteria guianensis (potencial), ocorreram em todos os níveis de inclusão e classes de estoque. As distribuições de diâmetros de todas as espécies e das espécies comerciais com dap > 5 cm, estimadas pela equação de Meyer, confirmaram a tendência exponencial negativa ("J-invertido"). A análise da estrutura da floresta em classes de estoque permitiu melhor conhecimento da composição de espécies e da estrutura fitossociológica, sendo útil na tomada de decisões em planos de manejo de rendimento sustentável.