A formação científica brasileira e o PISA 2006

Este trabalho investigou a formação científica brasileira a partir dos dados do PISA 2006. O PISA - Programa Internacional de Avaliação dos Estudantes - é um programa internacional de avaliação comparada, aplicado a uma amostra de estudantes de 15 anos de idade. O ensino adequado de ciências estimula o raciocínio lógico e a curiosidade, ajuda a formar cidadãos mais aptos a enfrentar os desafios da sociedade contemporânea e fortalece a democracia, dando à população, em geral, melhores condições para participar dos debates cada vez mais comuns sobre temas científicos que afetam nosso cotidiano. Partindo da importância e pertinência de se discutir a formação científica brasileira e fazendo uso dos dados do PISA 2006, buscou-se responder a três questões: (a) qual a percepção dos alunos brasileiros que participaram do PISA 2006 sobre Ciências? (b) como o Brasil se situa no contexto internacional no que se refere às competências científicas priorizadas por esta avaliação? (c) que características dos estudantes estão associadas aos seus resultados no teste de Ciências aplicado pelo PISA 2006? Para a realização do estudo, conduzimos nossas análises baseando-nos em duas lógicas principais: descrição (estatística univariada e bivariada) e explicação (teste de modelos de regressão linear). Os resultados indicam que os alunos brasileiros tem relativo interesse pela Ciência, no entanto apresentam uma visão bastante estereotipada e demonstram não associá-la a si. Aparentemente, a ciência tem relação com fenômenos que estão muito além da compreensão e configura-se em algo abstrato que não está diretamente ligado aos alunos brasileiros. Estes apontam a escola como principal fonte de aprendizagem de tópicos relacionados a Ciência, porém, a escola parece não converter o potencial interesse dos alunos por Ciências em letramento científico. O Brasil ocupa a 52 posição entre os 57 países participantes e está alocado no nível mais baixo de desempenho do PISA 2006. Entre os principais aspectos que impactam significativamente os resultados dos alunos brasileiros no programa estão a Rede de Ensino, o Atraso Escolar, o Nível Socioeconômico e o Nível de Escolaridade dos Pais.

Desenvolvimento de um programa de enfrentamento da Síndrome de Burnout e análise de seus efeitos em professores que atuam no processo de inclusão

Estudo de caso, com o objetivo de desenvolver um programa de enfrentamento da Síndrome de Burnout e avaliar os seus efeitos no comportamento de 7 participantes do sexo feminino, com idade variável entre 27 a 48 anos, que atuam como professores no processo de inclusão educacional e social de alunos da Rede Pública, em uma instituição de ensino localizada na cidade do Rio de Janeiro. Trata-se de modalidade de investigação que envolve procedimentos de pesquisa-ação. Para fins de coleta de dados foram utilizados instrumentos de medida psicométrica como o CBP-R, Questionário de Burnout para Professores ? Revisado (CBP-R; Moreno, Garrosa E González, 2000) como também o Inventário de Sintomas de Stress para Adultos de Lipp ? ISSL (LIPP, 2000), além de um inventário sóciodemográfico. Como complementação do trabalho de pesquisa, foi empregada a análise de relatos verbais para fins de levantamento de dados relativos aos processos privados dos participantes. A aplicação de um programa de enfrentamento da Síndrome de Burnout consistiu de técnicas e de procedimentos fundados na abordagem cognitivo-comportamental e da adoção de práticas de relaxamento e de manejo de tempo. Os resultados da pesquisa evidenciaram um relativo decréscimo quanto a incidência de sintomas de stress e Burnout nas participantes. De posse desses resultados, poderão ser articuladas ações em políticas públicas com vistas à melhoria da saúde e das condições gerais de trabalho do professor da Rede Pública. O que se propõe como meta é humanizar o posto de trabalho docente, sob os aspectos de saúde, bem-estar físico e mental.

Implicações da Lei n. 12.690 de 2012 para as cooperativas de catadores de materiais recicláveis.

Este trabalho visa analisar as implicações da Lei n. 12.690 de 2012 para as cooperativas de trabalho em relação à situação organizacional, socioeconômica e às condições gerais de trabalho, em particular, no caso das cooperativas de catadores de material recicláveis. A pesquisa tem caráter exploratório e qualitativo. Como procedimento, adotou-se a revisão da literatura, complementada com entrevistas dirigidas às lideranças de cooperativas de catadores localizadas no Estado do Rio de Janeiro. É inegável que esta lei é um marco para os trabalhadores de cooperativas. Dentre outros, ela visa regulamentar os aspectos socioeconômicos da organização e propiciar garantias mínimas nas relações de trabalho, tais como: número mínimo de sete trabalhadores para abrir uma cooperativa; retirada de um salário mínimo mensal; remuneração do trabalho noturno superior à do diurno; duração do trabalho não superior a oito horas diárias e 44 horas semanais; repouso semanal remunerado; além de estabelecer em assembleia, os fundos para possibilitar outros direitos dos sócios, dentre eles a saúde e segurança no trabalho. O estudo concluiu que considerável parte dos entrevistados desconhece a referida lei e que o fator econômico é um dos aspectos de maior impacto na sua aplicação. Contudo, eles poderão ser superados com a efetividade das políticas públicas a fim de compensar os custos adicionais que terão as cooperativas com a aplicação desta lei. Recomenda-se a implantação de programas municipais de coleta seletiva de resíduos com a participação ativa dos catadores, como determina a Política Nacional de Resíduos Sólidos, sendo fundamental o envolvimento de todos os setores da sociedade. Além disso, que a nova lei das cooperativas de trabalho seja mais divulgada e debatida com os setores interessados. Deve-se aperfeiçoar os programas dirigidos às cooperativas de catadores, com maior incentivo à reciclagem, através da redução ou isenção dos impostos para as atividades de reciclagem e dos materiais reciclados, por exemplo. Nas áreas de saúde e segurança do trabalho, é importante a criação de normas específicas para esta categoria de trabalhadores em conformidade com a sua realidade. Espera-se que a pesquisa contribua para a melhor aplicação prática da lei analisada nas cooperativas. Como proposta de estudos futuros, sugere-se a criação de indicadores para o monitoramento da aplicação da Lei n. 12.690 de 2012 após a sua regulamentação, os quais poderão ser utilizados com a finalidade de garantir a melhoria contínua e fortalecer as cooperativas de trabalho, em particular, as de catadores de materiais recicláveis.

Socio-economic survey of fisher families, 1958-59

Fisher families had been investigated by the Department of Commerce and Industries in earlier economic surveys conducted in 1935, 1938 and 1939 (Das Gupta, 1937 a & b; 1944 a & b). These surveys were directed at the general economic conditions of the urban and rural sectors of the population and therefore did not provide much information in particular on the life of the fisherman or his environment. The Department of Fisheries in 1954 conducted a rapid enquiry into the living conditions of fishermen to obtain some data on their income, indebtedness and general social conditions, at the request of the Canadian Co-operative Consultant for incorporation in his report on the "Status and Possibilities of Co-operative Development of the Fisheries of Ceylon” (MacDonald, 1954). The present survey was undertaken to provide more definite socio-economic information on the fishermen of Ceylon, covering such aspects as income, expenditure, indebtedness and living conditions. The survey was started in June, 1958, but was interrupted by the unsettled conditions of the Island at the time, taking therefore a little over a year for completion. Some of the data collected was used as a basis for a report on the living conditions of fishermen, incorporated in the “Guide to the Fisheries of Ceylon", a hand book published by the Department of Fisheries (Anon. 1958).

Early-type stars observed in the ESO UVES Paranal Observatory Project - I. Interstellar NaIUV, TiII and CaIIKobservations

We present an analysis of interstellar NaI (lambda(air) = 3302.37 and 3302.98 angstrom), TiII (lambda(air) = 3383.76 angstrom) and CaII K (lambda(air) = 3933.66 angstrom) absorption features for 74 sightlines towards O- and B-type stars in the Galactic disc. The data were obtained from the Ultraviolet and Visual Echelle Spectrograph Paranal Observatory Project, at a spectral resolution of 3.75 km s(-1) and with mean signal-to-noise ratios per pixel of 260, 300 and 430 for the NaI, TiII and CaII observations, respectively. Interstellar features were detected in all but one of the TiII sightlines and all of the CaII sightlines. The dependence of the column density of these three species with distance, height relative to the Galactic plane, HI column density, reddening and depletion relative to the solar abundance has been investigated. We also examine the accuracy of using the NaI column density as an indicator of that for HI. In general, we find similar strong correlations for both Ti and Ca, and weaker correlations for Na. Our results confirm the general belief that Ti and Ca occur in the same regions of the interstellar medium ( ISM) and also that the TiII/CaII ratio is constant over all parameters. We hence conclude that the absorption properties of Ti and Ca are essentially constant under the general ISM conditions of the Galactic disc.

Síntese e aplicações catalíticas na funcionalização de alcanos de novos compostos com polioxometalatos e catiões orgânicos

A presente dissertação, que no seu conjunto se propõe apresentar o estudo de oxidação de compostos orgânicos com peróxido de hidrogénio na presença dos aniões do tipo Keggin, mono-substituídos por MnIII e FeIII, sob a forma de sais de tetra-n-butilamónio (TBA) e suportados em matriz de sílica funcionalizada, enquanto vital método de obtenção de importante precursores de síntese orgânica, tem na sua base o trabalho de Doutoramento desenvolvido no Departamento de Química da Universidade de Aveiro. Os compostos preparados e testados em sistema homogéneo foram os sais de TBA dos aniões de Keggin, de fórmula geral [XW11M(H2O)O39]n-, onde X = P, Si ou B e M = MnIII e FeIII. Em sistema heterogéneo foram testados diferentes materiais, que diferem entre si na matriz de sílica. Assim, fez-se a heterogeneização de [PW11Fe(H2O)O39]4- em sílica funcionalizada com catiões de césio e grupos propilamónio; [BW11Fe(H2O)O39]6- e [SiW11Fe(H2O)O39]5- foram imobilizados em sílica contendo grupos aminopropilo e o anião [PW11Mn(H2O)O39]4- foi suportado em sílica quimicamente modificada com grupos alquilamónio. Os substratos orgânicos estudados incluem o 1H-indeno, 1,2-di-hidronaftaleno, etilbenzeno, cumeno, p-cimeno, sec-butilbenzeno, 1- e 2-etilnaftaleno, cis-cicloocteno e ciclooctano. Paralelamente usaram-se alguns outros substratos, quando necessário obter esclarecimentos mecanísticos. A tese assenta numa estrutura composta por 7 capítulos. Na primeira, faz-se uma abordagem aos polioxometalatos e às reacções de oxidação de hidrocarbonetos, com particular destaque no uso de polioxometalatos em catálise oxidativa e também no uso de peróxido de hidrogénio como oxidante. A eficiência catalítica dos aniões de Keggin mono substituídos por MnIII e FeIII, em sistema homogéneo foi avaliada na oxidação de compostos orgânicos característicos, nomeadamente de ciclo-alcenilbenzenos, alquilbenzenos, ciclo-alquilbenzenos e hidrocarbonetos aromáticos policíclicos com H2O2, em acetonitrilo. Os resultados destes estudos encontram-se descritos nos capítulos dois, três e quatro desta tese. Estes compostos mostraram-se catalisadores eficientes e selectivos para a oxidação de alcanos e alcenos. O quinto capítulo da tese prossegue com a síntese, caracterização e eficiência catalítica dos polioxotungstatos referidos anteriormente imobilizados numa matriz de sílica funcionalizada com iões césio (SiO2-Cs), grupos aminopropilo (SiO2–(CH2)3NH2) ou trietilpropilamónio (SiO2-(CH2)3N(Et)3). A actividade catalítica destes compostos foi estudada utilizando o cis-cicloocteno e ciclooctano como substratos padrão. A oxidação de cis-clicoocteno originou o epóxido com 100% de selectividade e o catalisador foi reutilizado durante 4 ciclos com elevada eficiência. No sexto capítulo, são descritas as metodologias experimentais de síntese dos novos compostos, as condições catalíticas, a instrumentação e demais métodos e procedimentos usados. No sétimo e último capítulo, tecem-se as conclusões finais e apresentam-se algumas perspectivas de trabalho futuro utilizando o sistema, POM/H2O2, usado neste trabalho.

La maternité aux âges élevés : une analyse des trajectoires féminines au 18e siècle canadien.

Ce présent mémoire examine la probabilité qu'une Canadienne française née entre 1700-1749 et mariée fasse l’expérience d'au moins une naissance au cours de la quarantaine, en tenant compte des particularités de la trajectoire individuelle, des caractéristiques familiales et du contexte historique. Nos analyses confirment que sur les 14 727 femmes à risque d'une maternité entre 40 et 49 ans, 62 % d'entre elles donnent naissance après l'âge de 40 ans. Selon les différentes trajectoires féminines, des disparités tangibles se manifestent dans le fait d'enfanter à un âge avancé. Nos résultats suggèrent que la possibilité qu'une femme accouche dans la quarantaine est positivement associée à un ensemble de facteurs liés à son parcours de vie: une première union entre l’âge de 20 et de 24 ans, un conjoint du même âge ou un conjoint plus jeune, une union continue (ou sans décès du conjoint) jusqu’à 40 ans ou passé cet âge, un enfant précédent non survivant et un historique familial dans lequel la mère de cette femme et au moins l’une de ses sœurs ont donné naissance à un âge avancé. De plus, l'intensité du phénomène de la maternité tardive diminue de manière perceptible au court du temps, particulièrement chez les cohortes de femmes ayant accouché après 1765. La vie en milieu « urbain » influence également de manière négative les chances d'enfanter à un âge avancé. Il se peut que la détérioration des conditions de vie générales vers la fin du 18e siècle, cousinées à la récurrence de maladies infectieuses et l'insalubrité des villes durant cette période, explique la diminution du risque d'une maternité durant la quarantaine. Les résultats obtenus témoignent de la forte contribution des Canadiennes françaises en matière de fécondité tardive en contexte naturel. Notre étude exploratoire offre aussi une perspective utile permettant de mieux comprendre la maternité tardive contemporaine, sujet qui fait l’objet de nombreux débats actuellement.

Specificity of cognitive and behavioral complaints in post-traumatic stress disorder and mild traumatic brain injury.

Characterization of cognitive and behavioral complaints is explored in Post-traumatic stress disorder (PTSD) and mild traumatic brain injury (MTBI) samples according to the severity of PTSD, depression and general anxiety conditions. Self-reported questionnaires on cognitive and behavioral changes are administered to PTSD, MTBI, MTBI/PTSD and control groups. Confounding variables are controlled. All groups report more complaints since the traumatic event. PTSD and MTBI/PTSD groups report more anxiety symptoms, depression and complaints compared to the MTBI group. Relatives of the PTSD group confirm most of the behavioral changes reported. Results suggest the utility of self-reported questionnaires to personalize cognitive and behavioral interventions in PTSD and MTBI to cope with the impacts of the traumatic event.

Provenance, Isolation and Characterisation of Organic Matter in the Cochin Estuarine Sediment-“a Diagenetic Amino Acid Marker Scenario

Cochin estuarine system is among the most productive aquatic environment along the Southwest coast of India, exhibits unique ecological features and possess greater socioeconomic relevance. Serious investigations carried out during the past decades on the hydro biogeochemical variables pointed out variations in the health and ecological functioning of this ecosystem. Characterisation of organic matter in the estuary has been attempted in many investigations. But detailed studies covering the degradation state of organic matter using molecular level approach is not attempted. The thesis entitled Provenance, Isolation and Characterisation of Organic Matter in the Cochin Estuarine Sediment-“ A Diagenetic Amino Acid Marker Scenario” is an integrated approach to evaluate the source, quantity, quality, and degradation state of the organic matter in the surface sediments of Cochin estuarine system with the combined application of bulk and molecular level tools. Sediment and water samples from nine stations situated at Cochin estuary were collected in five seasonal sampling campaigns, for the biogeochemical assessment and their distribution pattern of sedimentary organic matter. The sampling seasons were described and abbreviated as follows: April- 2009 (pre monsoon: PRM09), August-2009 (monsoon: MON09), January-2010 (post monsoon: POM09), April-2010 (pre monsoon: PRM10) and September- 2012 (monsoon: MON12). In order to evaluate the general environmental conditions of the estuary, water samples were analysed for water quality parameters, chlorophyll pigments and nutrients by standard methods. Investigations suggested the fact that hydrographical variables and nutrients in Cochin estuary supports diverse species of flora and fauna. Moreover the sedimentary variables such as pH, Eh, texture, TOC, fractions of nitrogen and phosphorous were determined to assess the general geochemical setting as well as redox status. The periodically fluctuating oxic/ anoxic conditions and texture serve as the most significant variables controlling other variables of the aquatic environment. The organic matter in estuary comprise of a complex mixture of autochthonous as well as allochthonous materials. Autochthonous input is limited or enhanced by the nutrient elements like N and P (in their various fractions), used as a tool to evaluate their bioavailability. Bulk parameter approach like biochemical composition, stoichiometric elemental ratios and stable carbon isotope ratio was also employed to assess the quality and quantity of sedimentary organic matter in the study area. Molecular level charactersation of free sugars and amino acids were carried out by liquid chromatographic techniques. Carbohydrates are the products of primary production and their occurrence in sediments as free sugars can provide information on the estuarine productivity. Amino acid biogeochemistry provided implications on the system productivity, nature of organic matter as well as degradation status of the sedimentary organic matter in the study area. The predominance of carbohydrates over protein indicated faster mineralisation of proteinaceous organic matter in sediments and the estuary behaves as a detrital trap for the accumulation of aged organic matter. The higher lipid content and LPD/CHO ratio pointed towards the better food quality that supports benthic fauna and better accumulation of lipid compounds in the sedimentary environment. Allochthonous addition of carbohydrates via terrestrial run off was responsible for the lower PRT/CHO ratio estimated in thesediments and the lower ratios also denoted a detrital heterotrophic environment. Biopolymeric carbon and the algal contribution to BPC provided important information on the better understanding the trophic state of the estuarine system and the higher values of chlorophyll-a to phaeophytin ratio indicated deposition of phytoplankton to sediment at a rapid rate. The estimated TOC/TN ratios implied the combined input of both terrestrial and autochthonous organic matter to sedimentsAmong the free sugars, depleted levels of glucose in sediments in most of the stations and abundance of mannose at station S5 was observed during the present investigation. Among aldohexoses, concentration of galactose was found to be higher in most of the stationsRelative abundance of AAs in the estuarine sediments based on seasons followed the trend: PRM09-Leucine > Phenylalanine > Argine > Lysine, MON09-Lysine > Aspartic acid > Histidine > Tyrosine > Phenylalanine, POM09-Lysine > Histadine > Phenyalanine > Leucine > Methionine > Serine > Proline > Aspartic acid, PRM10-Valine > Aspartic acid > Histidine > Phenylalanine > Serine > Proline, MON12-Lysine > Phenylalanine > Aspartic acid > Histidine > Valine > Tyrsine > MethionineThe classification of study area into three zones based on salinity was employed in the present study for the sake of simplicity and generalized interpretations. The distribution of AAs in the three zones followed the trend: Fresh water zone (S1, S2):- Phenylalanine > Lysine > Aspartic acid > Methionine > Valine ῀ Leucine > Proline > Histidine > Glycine > Serine > Glutamic acid > Tyrosine > Arginine > Alanine > Threonine > Cysteine > Isoleucine. Estuarine zone (S3, S4, S5, S6):- Lysine > Aspartic acid > Phenylalanine > Leucine > Valine > Histidine > Methionine > Tyrosine > Serine > Glutamic acid > Proline > Glycine > Arginine > Alanine > Isoleucine > Cysteine > Threonine. Riverine /Industrial zone (S7, S8, S9):- Phenylalanine > Lysine > Aspartic acid > Histidine > Serine > Arginine > Tyrosine > Leucine > Methionine > Glutamic acid > Alanine > Glycine > Cysteine > Proline > Isoleucine > Threonine > Valine. The abundance of AAs like glutamic acid, aspartic acid, isoleucine, valine, tyrosine, and phenylalanine in sediments of the study area indicated freshly derived organic matter.

An interpretation of baroclinic initial value problems: results for simple basic states with nonzero interior PV gradients

In the Eady model, where the meridional potential vorticity (PV) gradient is zero, perturbation energy growth can be partitioned cleanly into three mechanisms: (i) shear instability, (ii) resonance, and (iii) the Orr mechanism. Shear instability involves two-way interaction between Rossby edge waves on the ground and lid, resonance occurs as interior PV anomalies excite the edge waves, and the Orr mechanism involves only interior PV anomalies. These mechanisms have distinct implications for the structural and temporal linear evolution of perturbations. Here, a new framework is developed in which the same mechanisms can be distinguished for growth on basic states with nonzero interior PV gradients. It is further shown that the evolution from quite general initial conditions can be accurately described (peak error in perturbation total energy typically less than 10%) by a reduced system that involves only three Rossby wave components. Two of these are counterpropagating Rossby waves—that is, generalizations of the Rossby edge waves when the interior PV gradient is nonzero—whereas the other component depends on the structure of the initial condition and its PV is advected passively with the shear flow. In the cases considered, the three-component model outperforms approximate solutions based on truncating a modal or singular vector basis.

Baroclinic waves with parameterized effects of moisture interpreted using Rossby wave components

A theoretical framework is developed for the evolution of baroclinic waves with latent heat release parameterized in terms of vertical velocity. Both wave–conditional instability of the second kind (CISK) and large-scale rain approaches are included. The new quasigeostrophic framework covers evolution from general initial conditions on zonal flows with vertical shear, planetary vorticity gradient, a lower boundary, and a tropopause. The formulation is given completely in terms of potential vorticity, enabling the partition of perturbations into Rossby wave components, just as for the dry problem. Both modal and nonmodal development can be understood to a good approximation in terms of propagation and interaction between these components alone. The key change with moisture is that growing normal modes are described in terms of four counterpropagating Rossby wave (CRW) components rather than two. Moist CRWs exist above and below the maximum in latent heating, in addition to the upper- and lower-level CRWs of dry theory. Four classifications of baroclinic development are defined by quantifying the strength of interaction between the four components and identifying the dominant pairs, which range from essentially dry instability to instability in the limit of strong heating far from boundaries, with type-C cyclogenesis and diabatic Rossby waves being intermediate types. General initial conditions must also include passively advected residual PV, as in the dry problem.

Rationality and momentum in real estate investment forecasts

This study examines the rationality and momentum in forecasts for rental, capital value and total returns for the real estate investment market in the United Kingdom. In order to investigate if forecasters are affected by the general economic conditions present at the time of forecast we incorporate into the analysis Gross Domestic Product(GDP) and the Default Spread (DS). The empirical findings show high levels of momentum in the forecasts, with highly persistent forecast errors. The results also indicate that forecasters are affected by adverse conditions. This is consistent with the finding that they tend to exhibit greater forecast error when the property market is underperforming and vice-versa.

Entrepreneurial failure and economic crisis: an historical perspective

This chapter analyses the major UK economic crises that have occurred since the speculative bubbles of the seventeenth century. It integrates insights from economic history and business history to analyse both the general economic conditions and the specific business and financial practices that led to these crises. The analysis suggests a significant reinterpretation of the evidence – one that questions economists’ conventional views.

Iridaea cordata (Gigartinales, Rhodophyta): responses to artificial UVB radiation

The effects of UVB radiation on the different developmental stages of the carrageenan-producing red alga Iridaea cordata were evaluated considering: (1) carpospore and discoid germling mortality; (2) growth rates and morphology of young tetrasporophytes; and (3) growth rates and pigment content of field-collected plant fragments. Unialgal cultures were submitted to 0.17, 0.5, or 0.83 W m(-2) of UVB radiation for 3 h per day. The general culture conditions were as follows: 12 h light/12 h dark cycles; irradiance of 55 mu mol photon. per square meter per second; temperature of 9 +/- 1 degrees C; and seawater enriched with Provasoli solution. All UVB irradiation treatments were harmful to carpospores (0.17 W m(-2) = 40.9 +/- 6.9%, 0.5 W m(-2) = 59.8 +/- 13.4%, 0.83 W m(-2) = 49 +/- 17.4% mortality in 3 days). Even though the mortality of all discoid germlings exposed to UVB radiation was unchanged when compared to the control, those germlings exposed to 0.5 and 0.83 W m(-2) treatments became paler and had smaller diameters than those cultivated under control treatment. Decreases in growth rates were observed in young tetrasporophytes, mainly in 0.5 and 0.83 W m(-2) treatments. Similar effects were only observed in fragments of adult plants cultivated at 0.83 W m(-2). Additionally, UVB radiation caused morphological changes in fragments of adult plants in the first week, while the young individuals only displayed this pattern during the third week. The verified morphological alterations in I. cordata could be interpreted as a defense against UVB by reducing the area exposed to radiation. However, a high level of radiation appears to produce irreparable damage, especially under long-term exposure. Our results suggest that the sensitivity to ultraviolet radiation decreases with increased algal age and that the various developmental stages have different responses when exposed to the same doses of UVB radiation.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.