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.

ENHANCING MULTISCALE FRACTAL DESCRIPTORS USING FUNCTIONAL DATA ANALYSIS

This work presents a novel approach in order to increase the recognition power of Multiscale Fractal Dimension (MFD) techniques, when applied to image classification. The proposal uses Functional Data Analysis (FDA) with the aim of enhancing the MFD technique precision achieving a more representative descriptors vector, capable of recognizing and characterizing more precisely objects in an image. FDA is applied to signatures extracted by using the Bouligand-Minkowsky MFD technique in the generation of a descriptors vector from them. For the evaluation of the obtained improvement, an experiment using two datasets of objects was carried out. A dataset was used of characters shapes (26 characters of the Latin alphabet) carrying different levels of controlled noise and a dataset of fish images contours. A comparison with the use of the well-known methods of Fourier and wavelets descriptors was performed with the aim of verifying the performance of FDA method. The descriptor vectors were submitted to Linear Discriminant Analysis (LDA) classification method and we compared the correctness rate in the classification process among the descriptors methods. The results demonstrate that FDA overcomes the literature methods (Fourier and wavelets) in the processing of information extracted from the MFD signature. In this way, the proposed method can be considered as an interesting choice for pattern recognition and image classification using fractal analysis.

Measuring time series predictability using support vector regression

Most studies involving statistical time series analysis rely on assumptions of linearity, which by its simplicity facilitates parameter interpretation and estimation. However, the linearity assumption may be too restrictive for many practical applications. The implementation of nonlinear models in time series analysis involves the estimation of a large set of parameters, frequently leading to overfitting problems. In this article, a predictability coefficient is estimated using a combination of nonlinear autoregressive models and the use of support vector regression in this model is explored. We illustrate the usefulness and interpretability of results by using electroencephalographic records of an epileptic patient.

Optimization of the ultrasound-assisted synthesis of allyl 1-naphthyl ether using response surface methodology

Allyl 1-naphthyl ethers are useful compounds for different purposes, but reported methods to synthesize them require long reaction times. In this work, we have obtained allyl 1-naphthyl ether in good yield using ultrasonic-assisted methodology in a 1-h reaction. A central composite design was used to obtain a statistical model and a response surface (p < 0.05; R(2) = 0.970; R(adj)(2) = 0.949; R(pred)(2) = 0.818) that can predict the optimal conditions to maximize the yield, validated experimentally. (C) 2010 Elsevier B.V. All rights reserved.

Biotransformations on organic selenides and tellurides: synthetic applications

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Prenylated benzoic acid derivatives from Piper aduncum L. and P. hostmannianum C. DC. (Piperaceae)

The bioactivity-guided fractionation of the crude extracts from leaves of Brazilian species Piper aduncum and Piper hostmannianum by means of bioautography using the fungi Cladosporium cladosporioides and C. sphaerospermum afforded prenylated methyl benzoate, chromenes, and dihydrobenzopyran derivatives as antifungal compounds. The isolation and structural elucidation of a new compound methyl 4-hydroxy-3-(2`-hydroperoxy-3`-methyl-3`-butenyl) benzoate were performed by application of chromatographic techniques and spectroscopic analyses. (C) 2009 Phytochemical Society of Europe. Published by Elsevier B.V. All rights reserved.

Hydrochalcogenation of activated olefines. Synthesis of functionalized dialkylchalcogenides

Alkanethiols, selenols and tellurols are generated in situ by reaction of elemental sulfur, selenium and tellurium with commercial alkyllithiums, followed by reaction with deoxygenated water. The alkanechalcogenols react in situ with activated ole. ns in a Michael- type addition reaction. (c) 2008 Elsevier B. V. All rights reserved.

Organotellurides as precursors of reactive organometallics

Reaction of organotellurides with easily available organometallics leads to a fast and clean tellurium/metal exchange reaction, allowing the preparation of a range of functionalized organometallics with C-sp(3), C-sp(2), and C-sp hybridization carbanionic centers. Some synthetic applications of the tellurium/metal exchange reactions are discussed.

On the Relaxation Mechanisms of 6-Azauracil

The nonadiabatic photochemistry of 6-azauracil has been studied by means of the CASPT2//CASSCF protocol and double-zeta plus polarization ANO basis sets. Minimum energy states, transition states, minimum energy paths, and surface intersections have been computed in order to obtain an accurate description of several potential energy hypersurfaces. It is concluded that, after absorption of ultraviolet radiation (248 nm), two main relaxation mechanisms may occur, via which the lowest (3)(pi pi*) state can be populated. The first one takes place via a conical intersection involving the bright (1)(pi pi*) and the lowest (1)(n pi*) states, ((1)pi pi*/(1)n pi*)(CI), from which a low energy singlet-triplet crossing, ((1)n pi*/(3)pi pi*)(STC), connecting the (1)(n pi*) state to the lowest (3)(pi pi*) triplet state is accessible. The second mechanism arises via a singlet-triplet crossing, ((1)pi pi*/(3)n pi*)(STC), leading to a conical intersection in the triplet manifold, ((3)n pi*/(3)pi pi*)(CI), evolving to the lowest (3)(pi pi*) state. Further radiationless decay to the ground state is possible through a (gs/(3)pi pi*)(STC).

Natural chromens and chromene derivatives as potential anti-trypanosomal agents

The aim of the study was to investigate the anti-trypanocidal activities of natural chromene and chromene derivatives. Five chromenes were isolated from Piper gaudichaudianum and P. aduncum, and a further seven derivatives were prepared using standard reduction, methylation and acetylation procedures. These compounds were assayed in vitro against epimastigote forms of Trypanosoma cruzi, the causative agent of Chagas disease. The results showed that the most of the compounds, especially those possessing electron-donating groups as substituents on the aromatic ring, showed potent trypanocidal activity. The most active compound, [(2S)-methyl-2-methyl-8-(3 ``-methylbut-2 ``-enyl)-2-(4`-methylpent-3`-enyl)-2H-chromene-6-carboxylate], was almost four times more potent than benznidazole (the positive control) and showed an IC50 of 2.82 mu M. The results reveal that chromenes exhibit significant anti-trypanocidal activities and indicate that this class of natural product should be considered further in the development of new and more potent drugs for use in the treatment of Chagas disease.

As atividades culturais no eixo da Avenida Paulista

A Avenida Paulista ocupa uma importância central na cidade de São Paulo sob muitos pontos de vista: pela concentração das sedes do poder econômico - particularmente do capital financeiro -, manifestações políticas, comemorações, etc. Além dessas dimensões, a avenida também figura na condição de importante pólo cultural, representado pelo MASP, bem como por uma série de atividades promovidas por federações, instituições bancárias ou novas galerias, a maioria envolvidas com o marketing cultural. A organização interna dessas instituições e a composição do público freqüentador são aqui analisados numa perspectiva sociológica.

O idoso do município de Arambaré-RS : um contexto rural de envelhecimento

Este estudo insere-se em um Programa Interdisciplinar de Pesquisa (PROINTER), em que a temática geral é fundamentada na “Evolução e diferenciação da agricultura, transformação do meio natural e desenvolvimento sustentável em espaços rurais do sul do Brasil”. O PROINTER é um acordo de cooperação entre Universidades brasileiras (UFRGS e UFPR) e francesas (Bordeaux 2, Paris 7 e Paris 10), agregando pesquisadores de várias áreas do conhecimento com o intuito de inter-relacionar os diferentes olhares na busca de soluções para o desenvolvimento dos municípios da Metade Sul do Rio Grande do Sul. A área inicial de pesquisa é formada pelos municípios de Arambaré, Camaquã, Canguçu, Chuvisca, Cristal, Encruzilhada do Sul, Santana da Boa Vista e São Lourenço do Sul. A área da saúde, no contexto do PROINTER, fundamenta-se na perspectiva das Interfaces entre a Saúde Pública e a Antropologia em torno das Desigualdades Sociais no Meio Rural, priorizando segmentos mais fragilizados da população, como os idosos. O presente estudo, portanto, objetivou caracterizar através de um enfoque sociodemográfico e epidemiológico as condições de vida e saúde dos idosos do meio rural de Arambaré, bem como, as concepções que envolvem o envelhecimento e a qualidade de vida. A metodologia para alcançar os objetivos combina a análise quantitativa com a qualitativa, privilegiando o delineamento epidemiológico do tipo seccional. A coleta de dados foi através de roteiro de entrevista com questões quantitativas e qualitativas. Os dados quantitativos foram analisados através do software Epi-Info 6.4 e os qualitativos por análise de conteúdo. Os resultados mostraram um número maior de homens idosos do que mulheres no meio rural e, de forma geral, uma inserção socioeconômica precária: baixa escolaridade, renda familiar reduzida, segregação em espaços rurais delimitados por latifúndios, condições sanitárias deficientes. O enfrentamento dessas condições é a continuidade no trabalho agrícola, mesmo para aqueles que são aposentados. Os problemas de saúde são basicamente doenças crônicas, comuns ao envelhecimento, mas há problemas que se ocultam na definição do que é patológico e do que é “inerente ao trabalho”, como as dorsopatias. As redes de apoio ao idoso limitam-se às relações familiares que são influenciadas pelo contexto rural e pelas suas trajetórias pessoais. Essa influência define também preconceitos, valores, tabus e as diferentes concepções de envelhecimento e qualidade de vida, como auto-imagem, sexualidade, limitações, entre outros. O estudo mostra uma heterogeneidade nas formas de envelhecer no meio rural construída pela inter-relação de fatores que permite, a partir de suas informações, influenciar em políticas públicas locais direcionadas aos idosos do meio rural do município, bem como, subsidiar a construção da problemática de pesquisa do PROINTER, considerando não somente as condições materiais de existência, mas também, os aspectos socioculturais que influenciam e são influenciados pelas dinâmicas de vida e saúde dessa população e definem as desigualdades sociais existentes.

A alternância de código como pedagogia culturalmente sensível nos eventos de letramento em um contexto bilíngue

Este estudo investiga se a alternância de código é empregada como estratégia culturalmente sensível em uma primeira série, primeira etapa em um contexto multilíngüe, na localidade de Boa Vista do Herval, interior de Santa Maria do Herval, RS. Para tal, foram feitos registros em vídeo e em áudio das atividades de sala de aula, regularmente, uma vez por semana, durante um semestre. As aulas são compostas por três grandes momentos, as atividades da hora da rodinha inicial, o trabalhinho nas mesas e a hora da rodinha final. Estas, por sua vez, podem ser divididas em eventos, constituídos pelos enquadres (Goffman, 2002), que podem ser considerados uma moldura em torno do alinhamento e das estruturas de participação (Philips, 2002; Gumperz, 1982). Dentro dessa análise da interação, encontrou-se a ocorrência da alternância de código com a função primordial de manter o curso da interação (Auer, 1988) e, através disso, ser uma estratégia da pedagogia culturalmente sensível (Bortoni-Ricardo e Dettoni, 2001), proporcionando voz, vez e acolhimento a crianças provindas de uma realidade lingüística em que predomina o uso do alemão, em contraste com a exigência escolar de uso do português.

Alternativas de manejo para os campos de cima da serra

Os experimentos, foram conduzidos em uma área de campo natural, localizada na Fazenda Boa Vista, no Município de São José dos Ausentes, região dos Campos de Cima da Serra, Rio Grande do Sul. Os objetivos foram descrever o ambiente de pastagem natural da região, determinar a capacidade de suporte destas pastagens e avaliar alternativas de manejo para o inverno. As diferentes ofertas de forragem proporcionaram aumentos lineares no massa de forragem da pastagem, na taxa de acúmulo de matéria seca e no percentual de material morto. Nos parâmetros de resposta animal, as ofertas de forragem geraram modelos lineares para carga animal (kg/ha), GMD (kg/animal/dia), para a avaliação de produção por área foi obtida resposta quadrática, sendo o maior valor 69,7 kg/ha/ano. Para o levantamento florístico constatou-se que o campo é composto basicamente por gramíneas cespitosas estivais, sendo Andropogon lateralis a espécie mais abundante. Após a aplicação de quatro níveis de oferta de forragem (5, 9, 13 e 17% do PV), observou-se um aumento na participação de cyperaceas, principalmente Bulbostylis sphaerocephala. Para a avaliação dos suplementos, observou-se diferença entre os tratamentos, sendo o pastejo temporário superior em GMD à ração e às misturas múltiplas. Verificou-se que a aplicação de calcário em superfície é recomendável e soluciona os problemas decorrentes dos altos teores de Al trocável. A introdução de espécies sobre o campo natural da região é indicada.

A trajetória do ambiente jurídico-institucional do setor de software no Brasil e na Índia: identidades, diferenças e repercussões

Há mais de 30 anos o Brasil tem desenvolvido políticas específicas para o setor de informática, desde a Política Nacional de Informática da década de 70, passando pelo Período de Reserva de Mercado dos anos 80 e, nos dias de hoje, em que as Tecnologias de Informação e Comunicação (TIC) são tidas como uma das áreas prioritárias na Política Industrial. Dentre as metas atuais, destaca-se o foco na ampliação do volume de exportações de software e serviços. Contudo, apesar dessas pretensões, o país não tem tido destaque internacional expressivo para o setor. Por outro lado, a Índia, também considerada como um país emergente, figurando na lista dos BRIC, foi responsável pela exportação de cerca de US$47 bilhões em software e serviços de Tecnologia da Informação (TI) em 2009, se destacando como um país protagonista no mercado internacional do setor. A implementação de uma indústria tecnicamente sofisticada como a do software, que exige um ambiente propício à inovação, em um país em desenvolvimento como a Índia chama a atenção. De certo existiram arranjos jurídico-institucionais que foram utilizados naquele país. Quais? Em que medida tais arranjos ajudaram no desenvolvimento indiano do setor? E no Brasil? Este trabalho parte da hipótese de que o ambiente jurídico-institucional desses países definiu fluxos de conhecimento distintos, influenciando o tipo de desenvolvimento do setor de software de cada um. Averiguar como, entre outros fatores sócio-econômicos, esses arranjos jurídico-institucionais influenciaram na conformação diversa de fluxos de conhecimento é o objetivo específico desta pesquisa. Entende-se aqui como ambiente jurídico-institucional todas as regulamentações que estabelecem instituições, diretrizes e condições comuns para determinado tema. Partindo do pressuposto de que o setor de software desenvolve atividades intensivas em conhecimento, para cada país em questão, serão analisados apenas arranjos jurídico-institucionais que tiveram, ou têm, poder de delimitar o fluxo de conhecimento referente ao setor, sejam eles provenientes de políticas comerciais (de exportação e importação, ou de propriedade intelectual) ou de políticas de investimento para inovação. A questão fundamental ultrapassa o debate se o Estado deve ou não intervir, para focar-se na análise sobre os diferentes tipos de envolvimento observados e quais os seus efeitos. Para tal, além de revisão bibliográfica, foi feita uma pesquisa de campo na Índia (Delhi, Mumbai, Bangalore) e no Brasil (São Paulo, Brasília e Rio de Janeiro), onde foram conduzidas entrevistas com empresas e associações de software, gestores públicos e acadêmicos que estudam o setor.