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

Interface between territory, environment and health in primary care : a bioethics approach

Os desafios éticos da saúde pública são atravessados por determinantes macro e microssociais, exigindo que o serviço esteja focado no território de abrangência e nas necessidades de sua respectiva população. Por isso, entender as interfaces entre território, ambiente e saúde é importante. Território é o espaço das sociabilidades cotidianas do grupo social que o habita, não reduzido aos limites administrativos. Saúde depende tanto do micro território quanto do macro ambiente natural e societário, pois ambos configuram os determinantes sociais da reprodução da vida. Assim, o primeiro desafio ético é a construção de um modelo de atenção que integre cuidados primários e conhecimentos da vigilância sobre as necessidades em saúde daquele território. Outro, é a construção de ações intersetoriais politicamente articuladas e pactuadas para enfrentar os determinantes sociais e os danos ambientais que afetam a saúde daquela população no sentido da melhoria de sua qualidade de vida. ______________________________________________________________________________________________ ABSTRACTEthic challenges of public health are traversed by micro and macro social determinants, requiring the health service to be focused on the scope and its population’s needs. Therefore understanding the interface between territory, environment and health is important. Territory is the space of the daily sociability of the social group who inhabit it, not reduced to administration limits. Health depends both on the micro territory and the macro natural and social environment, since represent the social determinants of life reproduction. So, the first ethic challenge is the construction of an assistance model which integrates primary care and the surveillance knowledge on the health needs of this territory. Another challenge is to build intersectoral actions, politically jointed and compromised to face social determinants and environmental damages that affect the health of population, improving their life quality. ______________________________________________________________________________________________ RESUMENLos desafíos éticos de la salud pública están atravesados por determinantes micro y macro sociales, exigiendo que el servicio esté enfocado en el territorio de abarcamiento y en las necesidades de su respectiva población. Por eso entender las interfaces entre territorio, ambiente y salud es importante. Territorio es el espacio de las sociabilidades cotidianas del grupo social que lo habita, no reducido a los límites administrativos. Salud depende tanto del micro territorio, cuanto del macro ambiente natural y societario, ya que ambos configuran los determinantes sociales de la reproducción de la vida. Así, el primer desafío ético es la construcción de um modelo de asistencia que integre cuidados primarios y los conocimientos de la vigilancia sobre las necesidades en salud de aquel territorio. Otro desafío ético es la construcción de acciones inter-sectoriales políticamente articuladas y acordadas para enfrentar los determinantes sociales y los daños ambientales que afectan la salud de aquella población en el sentido de mejorar su calidad de vida

Combining and Steganography of 3D Face Textures

One of the serious issues in communication between people is hiding information from others, and the best way for this, is deceiving them. Since nowadays face images are mostly used in three dimensional format, in this paper we are going to steganography 3D face images, detecting which by curious people will be impossible. As in detecting face only its texture is important, we separate texture from shape matrices, for eliminating half of the extra information, steganography is done only for face texture, and for reconstructing 3D face, we can use any other shape. Moreover, we will indicate that, by using two textures, how two 3D faces can be combined. For a complete description of the process, first, 2D faces are used as an input for building 3D faces, and then 3D textures are hidden within other images.Comment: 6 pages, 10 figures, 16 equations, 5 section