Advancing Dynamic Fault Tree Analysis

This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure --- detecting symmetries, spurious non-determinism, and don't cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and analysis time. Our approach supports DFTs with symbolic failure rates and is complemented by parameter synthesis. This enables determining the maximal tolerable failure rate of a system component while ensuring that the mean time of failure stays below a threshold

Estrutura de pastos de inverno submetidos a diferentes intensidades de pastejo e adubação nitrogenada.

Projeto acadêmico (graduação) - Universidade Federal de Santa Catarina. Campus Curitibanos. Ciências Rurais.A aveia preta (Avena strigosa) e o avézem (Lolium multiflorum) são originárias da Ásia Menor - Norte da África e Itália respectivamente. Estas vem sendo as pastagens mais cultivadas em sistema integração lavoura-pecuária no sul do Brasil no inverno, devido possuírem ampla adaptação às condições locais e são culturas potenciais tanto para alimentação animal quanto para melhoria das características ambientais. Observa-se que, atualmente todas as forrageiras sofrem perdas pelo próprio pastejo ou pelas práticas de manejo, estando muitas delas em processo de degradação, e muitas vezes não recebem nenhum tipo de adubação. A adubação de pastagens e o controle da intensidade, ou altura de pastejo, podem ser determinantes para que o pasto venha a atingir mais antecipadamente o seu porte adequado. Diferentes doses de adubo nitrogenado vão influenciar na rebrota e estrutura do pasto observando diferentes alturas de pastejo e quanto menor for a altura do pasto, menos ciclos de pastejo vão ocorrer na pastagem. O objetivo deste trabalho é avaliar a influência de diferentes doses de nitrogênio sobre diferentes alturas de pastejo em sistema lavoura-pecuária. O experimento será implantado na área experimental Fazenda Campo da Roça da Universidade Federal de Santa Catarina, campus de Curitibanos, em esquema fatorial 2x3, com quatro repetições em delineamento de blocos casualizados, sendo os fatores compostos por: duas alturas de resíduo ou pós-pastejo (15 cm e 7 cm) e duas doses de nitrogênio mais a testemunha, disponibilizadas na forma de uréia (0 - 50 e 150 kg de N/ha), sendo a altura inicial de pastejo 30cm e analisados a massa de forragem e densidade populacional de perfilhos da pastagem consorciada. Os resultados esperados visam a uma proposta para reestruturação das pastagens, em diferentes alturas de pastejo, tornando-as mais potenciais e produtivas em função da adubação, aumentando o tempo de disponibilidade das forrageiras para os animais

Benefício Assistencial de Prestação Continuada: abrandamento do requisito da miserabilidade

A Constituição Federal de 1988 criou o sistema de Seguridade Social, destinado a assegurar o direito à Saúde, à Previdência e à Assistência Social aos cidadãos. A Assistência Social é prestada a quem dela necessitar, independentemente de contribuição à Seguridade Social. Dentre seus objetivos está a garantia de um salário mínimo de benefício mensal à pessoa portadora de deficiência e ao idoso com mais de 65 anos, que comprovem não possuir meios de prover a própria manutenção ou de tê-la provida por sua própria família. O presente artigo tem como objetivo analisar os principais requisitos para a concessão do benefício assistencial de prestação continuada, suas peculiaridades e algumas características, com ênfase no requisito econômico. Trata-se de pesquisa qualitativa, realizada através de método dedutivo e de procedimento técnico bibliográfico e documental. Assim, as reflexões iniciam a partir de um resgate sobre o conceito e composição da Seguridade Social, com breve exposição sobre a Assistência Social, até chegar ao benefício assistencial de prestação continuada. Nesse sentido, conclui-se que a Assistência Social é prestada a quem necessitar, desde que observados certos requisitos, dentre eles a insuficiência econômica dos pretensos beneficiários.The 1988 Federal Constitution created the Social Security system, whose purpose is safeguarding the right to health, social security and social assistance for citizens. Social Assistance is given to whoever needs it, regardless of contribution to Social Security. Among its goals is the guarantee of a minimum monthly benefit wage to the disabled people and to the elderly over 65 years of age who prove to be unable to support themselves, or whose families cannot support them. This study aims at analyzing the main requirements for receiving the continued provision welfare benefit, its peculiarities and some features, with focus on the economic requirement. It is a qualitative research, with deductive method and bibliographic and document technical procedure. Firstly, reflections began with an analysis of the concept and the composition of the Social Security, with a brief explanation about Social Assistance, and finished with the continued provision welfare benefit. The conclusion reached was that Social Assistance is given to whoever needs it, as long as certain requirements are complied with, among them, not being able to provide for oneself