On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

A eficácia da Mediação Familiar no contexto das Responsabilidades Parentais

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

O sexo e a Cidade e as marcas: análise dos efeitos do product placement nos jovens portugueses

Dissertação de Mestrado em Comunicação Social

An assessment of biological and population parameters of the Common whelk, Buccinum undatum (L.) in the region of the North West Irish whelk fishery

The Common whelk, Buccinum undatum (L.) is a conspicuous benthic scavenger in Irish waters, and is a valuable fisheries resource in South East Ireland. B. undatum is fished in many parts of its range, and previous studies have shown that certain life history parameters, which vary with location, make this species vulnerable to overexploitation. This makes research into each exploited stock essential to ensure sustainable fisheries management of the species. In 2003, interest in B. undatum as a complementary species in the inshore fishery east of the Inishowen Peninsula, North West Ireland, initiated investigation into fisheries related biological and population aspects of the species in this region. The current study presents estimates of spatial variation and density of the stock, size at age and growth rates, size and age at onset of sexual maturity, and timing of reproductive events in the region of the North West Irish whelk fishery for the period of June 2003 to May 2004. Analysis of variance of the total shell length of whelk landings to the fishery was conducted over spatial scales of fishing pot, fishing string and landings to vessels. Landings varied significantly in shell length at the spatial scale at which whelks are attracted to baited pots, but did not vary significantly over larger spatial scales. Depletion estimates of stock density from fisheries derived Catch per Unit Effort data and a mark re-capture experiment estimate 0.134 - 0.227 whelks per m2. Two independent methods of age determination found similar growth logistics functions for B. undatum.Modal analysis of length frequency distribution of landings to the fishery estimated symptotic length, Leo = 151.64 mm and Brody growth coefficient, K = 0.04. Analysis of the striae in individual opercula, where each stria was found to represent annual growth, estimated Loo = 137.73 mm and K = 0.12. Common whelks in the region of the North West Irish whelk fishery grow slowly and are long-lived, with 19 opercula striae recorded in one individual. Onset of sexual maturity is late, and no sex-specific differences in size or age at maturity were determined in the present study. Males were found to achieve sexual maturity at 83.30 ± 10.77 mm, and 8.9 - 11.1 years of age, and females at 82.62 ± 10.68 mm and 8.8 to 11.1 years of age. Systematic observations of reproductive events, including histological changes to the female ovary and male testis, and changes in the size and mass of body components, suggest that breeding occurred between the autumn and winter months of October and December 2003. Biological aspects of B. undatum in the study region are compared with previous studies from other regions, and discussed in relation to sustainable management of the fishery.

Datenreduktion und ihre Anwendungen in adaptiven mechanischen Systemen

Adaptive mechanische Systeme, Formkontrolle, Formadaption, Modal-Entwicklung, Karhunen-Loéve-EntƯwicklung, Modellreduktion

Flow and transport in electrochromatography

Analyte retention, analyte transport, axial dispersion, adsorption, charge-selectivity, concentration polarization, confocal laser scanning microscopy, donnan-exclusion, electrical double layer; electrochromatography; electrohydrodynamics, electrokinetic instability, electroosmosis; electroosmotic flow; electroosmotic mobility, electroosmotic perfusion, electrophoresis, hierarchical porous media, hydrodynamic flow, induced-charge electroosmosis, ion-permselectivity, ion-permselective transport, monolith, nonequilibrium electrical double layer, nonequilibrium electrokinetic effects, nonlinear electroosmosis, plate height, plate number, porous media, pore-scale dispersion, refractive index matching, space charge effects, sphere packing, quantitative imaging, wall effect, zeta-potential

Caracterização da serie Piracicaba

O presente trabalho teve por finalidade o estudo morfológico, físico, químico e taxonómico da serie Piracicaba. Foram coletados, na área de ocorrência desta serie, quatro perfis designados por perfis P1, P2, P3 e P4. As amostras dos horizontes foram colhidas a partir da superfície do solo até a rocha, sendo realizadas nestas camadas análises mecânica e química. A fração argila foi separada por sedimentação, sendo posteriormente dividida em duas subfrações: 2 a 0,2 u e menor que 0,2 u, argila grossa e fina, respectivamente. Os dados referentes à analise mecânica revelaram que a variação média extrema do horizonte B2 é de 27,05 ± 0,89 e 34,95 ± 0,88%. Estes solos foram classificados como Typic Tropudalfs e nao se enquadram no conceito modal do Podzolico Vermelho-Amarelo variação Piracicaba da COMISSÃO DE SOLOS (2).

Latossolos da bacia do ribeirão do lobo (Brotas, Itirapina, SP): I. Granulometria

Os perfis de Latossolos da bacia do ribeirão do Lobo, região de S. Carlos, Brotas e Itirapina, SP, classificados inicialmente pela COMISSÃO DE SOLOS (1960) e re-classificados por FREIRE et alii (1978), foram amostrados e estudados através de análise granulométrica, empregando-se os parâmetros estatísticos propostos por FOLK & WARD (1957). Os principais objetivos do trabalho são a caracterização desses solos, elucidação de sua gênese e evolução, bem como verificar a aparente uniformidade morfológica evidenciada pela classificação de FREIRE et alli(1978). Os resultados obtidos mostraram que os perfis estudados se distribuem em duas categorias distintas: uma que apresenta tendência para se deslocar para o lado das frações mais grosseiras, tem como moda fração areia fina e curvas de distribuição de frequência de tamanho simétricas;outra onde a fração modal é constituida pela areia média com porcentagem de argila cerca de 30 a 40% maior gue a primeira e curvas de distribuição de freguência de tamanho assimétricas. Prováveis ocorrências de descontinuidades litológicas não puderam ser indicadas pelos resultados obtidos, mas indícios podem ser sugeridos pelos valores de grau de seleção, grau de assimetria e curtose, sem que, entretanto seja um dado conclusivo.

Crescimento de Chasmagnathus granulatus (Crustacea, Decapoda, Varunidae) na Lagoa do Peixe, Rio Grande do Sul, Brasil

O estudo do crescimento em largura da carapaça de Chasmagnathus granulatus Dana, 1851 foi baseado em dados de 1940 exemplares coletados na Lagoa do Peixe, Estado do Rio Grande do Sul, Brasil. As coletas foram realizadas de julho/1994 a junho/1995. Os caranguejos foram coletados manualmente nas margens da lagoa e em laboratório foram separados por sexo e a largura da carapaça mensurada. O modelo de von Bertalanffy foi utilizado para a descrição do crescimento. As curvas de crescimento em largura (mm), para dados obtidos através da progressão modal, são descritas pelas equações: Lt= 44,69 [1- e -0.0066(t+20,45)] e Lt= 37,63 [1- e -0.0072(t+21,92)], resultando em idades máximas estimadas de 2 anos para ambos os sexos.

Crescimento de Callinectes sapidus (Crustacea, Decapoda, Portunidae) no estuário da laguna dos Patos, RS, Brasil

Utilizando o método de deslocamento modal para a identificação das idades, estimou-se o crescimento do siri-azul Callinectes sapidus Rathbun, 1896 em duas áreas de pesca no estuário da Lagoa dos Patos. Os indivíduos foram coletados entre fevereiro de 2005 e março de 2006 no Saco da Mangueira e Saco do Arraial por meio de arrasto de rede de portas da pesca artesanal. Coletou-se um total de 2.609 animais, sendo 1.193 machos e 1.416 fêmeas. Para obtenção das curvas de crescimento utilizou-se o modelo de von Bertalanffy. As curvas foram validadas pela sua adequação ao ciclo de vida e aspectos biológicos da espécie. O tamanho máximo de largura de carapaça (LCmáx) utilizado foi mantido fixo em todas as análises (LCmáx=162,71mm; ± d.p.=3,10 para machos e LCmáx=157,78mm; ± d.p.=5,45 para fêmeas), sendo esses valores médios das maiores medidas obtidas em mais de 20 anos de coletas no estuário. Os parâmetros de crescimento e longevidade foram estimados para machos (Saco da Mangueira, K=0,0039/dia; t o=-6.07; 1.195 dias; Saco do Arraial, K=0,0041/dia; t o=-5,84; 1.102 dias) e fêmeas (Saco da Mangueira, K=0,0040/dia; t o=-6,22; 1.153 dias; Saco do Arraial, K=0,0039/dia; t o=-5.91; 1.181 dias). As curvas de crescimento estimadas nesse trabalho denotam que a espécie atinge o tamanho mínimo de captura praticamente no primeiro ano de vida (120mm).

Idade e crescimento de Callinectes danae e C. ornatus (Crustacea, Decapoda) na Baía de Guanabara, Rio de Janeiro, Brasil

Callinectes danae Smith, 1869 e C. ornatus Ordway, 1863 constituem uma parcela importante da produção pesqueira na Baía de Guanabara. Ambas espécies compõem uma fração significativa da fauna-acompanhante sendo exaustivamente descartadas pelas pescarias de arrasto de camarões na costa brasileira. As curvas de crescimento de C. danae e C. ornatus foram calculadas por meio da análise de progressão modal. Para estimar os parâmetros biológicos, foi aplicado o modelo de crescimento de Bertalanffy e para estimar a longevidade foi usada a sua fórmula inversa. As curvas de crescimento foram: ♂ LC = 120 (1 - e -0,005t ), ♀ LC = 113 (1 - e -0,005t); ♂ LC = 94 (1 - e -0,005t ) e ♀ LC = 110 (1 - e -0,005t ), respectivamente para C. danae e C. ornatus. A longevidade alcançada para as duas espécies foi em torno de 2,5 anos, além de validar as curvas de crescimento. O estudo do crescimento em crustáceos é de extrema importância, pois além de fornecer a informação biológica básica para o grupo, os parâmetros estimados subsidiam o ordenamento e manejo pesqueiro das espécies exploradas.

Comparação do crescimento entre Callinectes sapidus (Crustacea, Decapoda, Portunidae) coletados em campo e mantidos em condições contoladas

Devido à falta de estruturas rígidas para determinação de idade em crustáceos, métodos que se baseiam na determinação de idade através da distribuição da freqüência de comprimentos são comumente utilizados. Neste trabalho, foi comparado o crescimento do siri-azul, Callinectes sapidus Rathbun, 1896, em laboratório e a partir de indivíduos de campo. Os indivíduos de laboratório, após a coleta, tiveram seu crescimento acompanhado individualmente. A temperatura foi mantida constante (25±2°C) e a salinidade a 20±5. Os indivíduos do campo foram coletados entre 2002 e 2004 em pontos pré-determinados no estuário da Laguna dos Patos, com rede de portas. A biometria, nos dois casos, constou da medida da largura da carapaça (LC mm). As estimativas das curvas de crescimento, segundo o modelo de Bertalanffy para os indivíduos de campo, foram obtidas pelo acompanhamento do deslocamento modal (MPA). O tamanho máximo de largura de carapaça utilizado foi mantido fixo em todas as análises (157,78 mm para fêmeas e 162,71 mm para machos). Para os indivíduos mantidos em laboratório, os parâmetros e a longevidade obtidos foram k=0,001/dia; t o=-1,53; longevidade de 3117 dias (8,5 anos) para machos e k=0,002/dia; t o=-29,5; longevidade de 2795 dias para fêmeas (7,7 anos). Os parâmetros de crescimento e a longevidade estimados para os animais coletados em campo foram k=0,004/dia; t o=-4,23; 1267 dias (3,5 anos) para machos e k=0,004/dia; t o=-3,71; 1260 dias (3,45 anos) para fêmeas. Foram encontradas diferenças significativas entre animais de laboratório e de campo, sugerindo que a espécie responde de forma diferente ao ambiente em que está inserida.

Shape and size variations of Aegla uruguayana (Anomura, Aeglidae) under laboratory conditions: A geometric morphometric approach to the growth

Crustacean growth studies typically use modal analysis rather than focusing on the growth of individuals. In the present work, we use geometric morphometrics to determine how organism shape and size varies during the life of the freshwater crab, Aegla uruguayana Schmitt, 1942. A total of 66 individuals from diverse life cycle stages were examined daily and each exuvia was recorded. Digital images of the dorsal region of the cephalothorax were obtained for each exuvia and were subsequently used to record landmark configurations. Moult increment and intermoult period were estimated for each crab. Differences in shape between crabs of different sizes (allometry) and sexes (sexual dimorphism; SD) were observed. Allometry was registered among specimens; however, SD was not statistically significant between crabs of a given size. The intermoult period increased as size increased, but the moult frequency was similar between the sexes. Regarding ontogeny, juveniles had short and blunt rostrum, robust forehead region, and narrow cephalothorax. Unlike juveniles crabs, adults presented a well-defined anterior and posterior cephalothorax region. The rostrum was long and stylised and the forehead narrow. Geometric morphometric methods were highly effective for the analysis of aeglid-individual- growth and avoided excessive handling of individuals through exuvia analysis.

Employment by lotto revisited

We study employment by lotto (Aldershof et al., 1999), a matching algorithm for the so-called stable marriage problem. We complement Aldershof et al.'s analysis in two ways. First, we give an alternative and intuitive description of employment by lotto. Second, we disprove Aldershof et al.'s conjectures concerning employment by lotto for general matching markets.