Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Seleção precoce em plantas segregantes de feijoeiro para resistência à murcha de Curtobacterium

Os objetivos deste trabalho foram estimar a eficiência da seleção, em populações segregantes de feijoeiro, para a resistência à murcha de Curtobacterium, e indicar o melhor período do ciclo da cultura para se proceder à seleção das plantas resistentes. Foram realizados os cruzamentos convergentes IAC-Carioca Aruã x SCS Guará, IAC-Carioca Pyatã x SCS Guará e IAC-Carioca Pyatã x Pérola, dando origem às gerações F1, F2, F2:3, F3:4, que foram inoculadas com Curtobacterium flaccumfaciens pv. flaccumfaciens isolado 2634. A resistência foi avaliada segundo escala de notas referentes aos sintomas comuns da doença aos 20, 40 e 60 dias após a inoculação. Os resultados indicaram que as gerações segregantes de Aruã x Guará, Pyatã x Guará e Pyatã x Pérola possuem comportamento semelhante em relação à resistência aos sintomas da murcha de Curtobacterium. A seleção foi efetiva para as gerações oriundas de Aruã x Guará e Pyatã x Pérola e o período entre 40 e 60 dias após a inoculação é o mais adequado para seleção de plantas segregantes para resistência.

Chronic stress disrupts neural coherence between cortico-limbic structures

Chronic stress impairs cognitive function, namely on tasks that rely on the integrity of cortico-limbic networks. To unravel the functional impact of progressive stress in cortico-limbic networks we measured neural activity and spectral coherences between the ventral hippocampus (vHIP) and the medial prefrontal cortex (mPFC) in rats subjected to short term stress (STS) and chronic unpredictable stress (CUS). CUS exposure consistently disrupted the spectral coherence between both areas for a wide range of frequencies, whereas STS exposure failed to trigger such effect. The chronic stress-induced coherence decrease correlated inversely with the vHIP power spectrum, but not with the mPFC power spectrum, which supports the view that hippocampal dysfunction is the primary event after stress exposure. Importantly, we additionally show that the variations in vHIP-to-mPFC coherence and power spectrum in the vHIP correlated with stress-induced behavioral deficits in a spatial reference memory task. Altogether, these findings result in an innovative readout to measure, and follow, the functional events that underlie the stress-induced reference memory impairments.

Effects of Age-Related Cognitive Deficits on EEG Phase Coherence

Body and brain undergo several changes with aging. One of these changes is the loss of neuroplasticity, which leads to the decrease of cognitive abilities. Hence the necessity of stopping or reversing these changes is of utmost importance to contemporary society. In the present work, electroencephalogram (EEG) markers of cognitive decline are sought whilst the subjects perform the Wisconsin Card Sorting Test (WCST). Considering the expected age-related cognitive deficits, WCST was applied to young and elder participants. The results suggest that coherence on theta and alpha EEG rhythms decrease with aging and increase with performance. Additionally, theta phase coherence seems more sensitive to performance, while alpha synchronization appears as a potential ageing marker.

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Influência das condições de cultivo na composição da semente e do óleo de gergelim

Neste trabalho foram avaliadas sementes de 14 genótipos de gergelim, oriundos de ensaios realizados em delineamento ao acaso, com cinco repetições, cultivados em Patos, na Paraíba, e em Barbalha, no Ceará, em ambientes de sequeiro e irrigado, respectivamente. As sementes foram avaliadas quanto à composição centesimal e quanto ao teor de aminoácidos. No óleo, foram determinados o perfil em ácidos graxos e esteróis, além de características do padrão de identidade e qualidade. Foram observadas diferenças significativas (p<0,05) entre os locais para o teor de óleo e de proteína, sendo o teor de óleo superior para Barbalha, onde o cultivo foi irrigado. Houve diferença significativa (p<0,05) entre as médias de Patos e de Barbalha para os ácidos graxos, sendo que os teores de ácidos esteárico (C18:0) e oleico (C18:1) foram maiores para Patos, enquanto o de ácido linoleico (C18:2) foi maior para Barbalha. Quanto aos teores de esteróis, campesterol, estigmasterol e delta 5 avenasterol, foram maiores para o óleo das amostras de Barbalha, enquanto o de sitosterol foi maior para amostras de Patos (p<0,05). Algumas diferenças foram observadas quanto a ácidos graxos, esteróis, densidade, índice de refração e padrão de identidade, para o óleo de gergelim, do Codex Alimentarius (2001), reforçando a necessidade de construir-se uma base de dados nacional, que possa subsidiar futuras alterações neste padrão.

Altura de manejo de papuã e propriedades de solo em sistema de integração lavoura-pecuária

No sul do Brasil, há ocorrência espontânea de papuã (Urochloa plantaginea (Link) R.D. Webster), nas lavouras, no período de verão, sendo que essa planta possui grande potencial forrageiro. Neste trabalho, objetivou-se avaliar as alterações ocorridas nas características físicas e na matéria orgânica do solo, em pasto de papuã, com diferentes alturas de manejo, na presença e na ausência de pisoteio animal. O trabalho foi realizado na Estação Experimental do IAPAR, no município de Pato Branco, Paraná. O delineamento experimental utilizado foi o de blocos casualizados com três repetições. Os tratamentos foram arranjados em esquema bifatorial, com parcelas subdivididas, durante o período de pastejo. As parcelas receberam os níveis do fator altura de manejo de pasto de papuã (0,1; 0,2; 0,3 e 0,4 m), enquanto as subparcelas foram constituídas de áreas com (pastejadas por cabras) e sem pisoteio animal (corte manual). Foram avaliados, após o período de pastejo, os teores de matéria orgânica, a densidade, a porosidade total, a macro e a microporosidades do solo. De maneira geral, a altura de manejo do papuã, na presença, ou não, de pisoteio animal, não alterou significativamente as características físicas e a matéria orgânica do solo, avaliadas após o primeiro ciclo de aplicação dos tratamentos. O pisoteio animal não causou compactação adicional e, mesmo com pastejo animal, os teores de matéria orgânica no solo mantiveram-se altos.

Qualidade tecnológica do arroz branco polido submetido à irradiação gama (Co60)

A aplicação da radiação ionizante, com o propósito de garantir a segurança dos grãos, tem sido apresentada como alternativa eficaz e segura ao uso de defensivos agrícolas e prática promissora, a ser utilizada para estender a vida útil e reduzir as perdas das safras de grãos. Contudo, assim como outros tratamentos de conservação de alimentos, a irradiação pode alterar sua qualidade. Este trabalho foi realizado com o objetivo de avaliar a qualidade de cocção do arroz submetido a diferentes doses de irradiação gama Co60 (0,0 kGy, 6,5 kGy e 7,5 kGy). Observou-se que o arroz irradiado com 7,5 kGy apresentou um tempo de cozimento significativamente maior (18,21 min.) que o do arroz irradiado na dose 6,5 kGy (17,11 min) e 0,0 kGy (16,83 min.). Os valores médios de expansão do volume do arroz não irradiado foi de 365,65%; já, para o arroz irradiado, os valores foram menores, apresentando-se com 322,19%. Quanto à perda de sólidos solúveis, essa foi significativamente maior no arroz branco polido irradiado (17,0%), do que no arroz não irradiado (10,35%). Embora a irradiação gama tenha influenciado em alguns parâmetros de cocção do arroz, refletindo-se em maior tempo de cozimento, para a irradiação na dose 7,5 kGy, no menor coeficiente de expansão do volume e na maior perda de sólidos solúveis, os valores encontrados assemelham-se aos valores referenciados, na literatura, como desejáveis para a qualidade deste cereal.

Nitrate leaching through climatologic water balance in a fertigated coffee plantation

Nitrate losses from soil profiles by leaching should preferentially be monitored during high rainfall events and during irrigation when fertilizer nitrogen applications are elevated. Using a climatologic water balance, based on the models of Thornthwaite and Penman Monteith for potential evapotranspiration, drainage soil water fluxes below the root zone were estimated in a fertigated coffee crop. Soil solution extraction at the depth of 1 m allowed the calculation of nitrate leaching. The average nitrate concentration in soil solution for plots that received nitrogen by fertigation at a rate of 400 kg ha-1, was 5.42 mg L-1, surpassing the limit of the Brazilian legislation of 10.0 mg L-1, only during one month. For plots receiving 800 kg ha-1 of nitrogen, the average was 25.01 mg L-1, 2.5 times higher than the above-mentioned limit. This information indicates that nitrogen rates higher than 400 kg ha-1 are potentially polluting the ground water. Yearly nitrate amounts of leaching were 24.2 and 153.0 kg ha-1 for the nitrogen rates of 400 and 800 kg ha-1, respectively. The six times higher loss indicates a cost/benefit problem for coffee fertigations above 400 kg ha-1.

Dashboard services for pragmatics-based interoperability in cloud and ubiquitous manufacturing

The real Cloud and Ubiquitous Manufacturing systems require effectiveness and permanent availability of resources, their capacity and scalability. One of the most important problems for applications management over cloud based platforms, which are expected to support efficient scalability and resources coordination following SaaS implementation model, is their interoperability. Even application dashboards need to easily incorporate those new applications, their interoperability still remains a big problem to override. So, the possibility to expand these dashboards with efficiently integrated communicational cloud based services (cloudlets) represents a relevant added value as well as contributes to solving the interoperability problem. Following the architecture for integration of enriched existing cloud services, as instances of manufacturing resources, this paper: a) proposes a cloud based web platform to support dashboard integrating communicational services, and b) describe an experimentation to sustain the theory that the effective and efficient interoperability, especially in dynamic environments, could be achieved only with human intervention.

Os fundos éticos nos mercados nas Bolsas de Valores

É possível encontrar nos mercados de valores mobiliários e/ou outros instrumentos financeiros e/ou nas chamadas bolsas de valores - éticas concretas, reais e definidas? Pensamos que sim. Os fundos éticos são apenas uma das espécies de fundos. Abstract: You can find in the securities markets and / or other financial instruments and / or in so-called exchanges - concrete ethical, real and defined? We think so. Ethical funds are only one species of funds.

Direct communication versus virtual communication in virtual teams

Several studies suggest that computer-mediated communication can lead to decreases in group effectiveness and reduce satisfaction levels in terms of trust and comfort of its users. Supported by an experiment, where the emotional or affective aspects of communication were tested with the experimentation of two architectures, Direct Communication Architecture (DCA) and the Virtual Communication Architecture (VCA) this paper validates the thesis that, from the users’ perspective, there is no opposition to the acceptance of virtual environments and interfaces for communication, and that these environments are able to cope with the reconfiguration dynamics requirements of virtual teams or client-server relations in a virtual enterprise operation.

Estratégias de predição e efeitos de ambientes na avaliação de populações segregantes de feijão

RESUMOO objetivo deste trabalho foi verificar a consistência da predição, dos potenciais de populações de feijão quanto ao diâmetro do hipocótilo (DH) e à produtividade de grãos (PROD), em duas safras, pelas metodologias de Jinks & Pooni e das estimativas de m + a'e de d. Para isso, foram avaliadas 48 populações segregantes, nas safras de inverno de 2009 (gerações F2e F3, simultaneamente) e de seca de 2010 (gerações F3e F4, simultaneamente), além de 16 testemunhas. Pela metodologia de Jinks e Pooni, verificou-se que apenas quatro e duas populações foram coincidentes entre as 12 melhores nas duas safras, para DH e PROD, respectivamente. A correlação entre (inverno) x (seca) foi significativa e de magnitude razoável para os dois caracteres, enquanto, para (inverno) x (seca), foi inexpressiva, indicando maior influência dos efeitos ambientais nas estimativas de variância do que das médias. Constatou-se baixa correlação entre os pares m + a'(inverno) x m + a'(seca) e d(inverno) x d(seca) para ambos os caracteres, evidenciando que essas estimativas também sofrem grande efeito de ambientes. As populações mais promissoras, considerando-se o DH e a PROD, simultaneamente, foram IPR Uirapuru x L1, BRS Valente x VC6 e CNFC 9466 x VC6, pela metodologia de Jinks & Pooni e CNFC 9466 x L3, BRS Horizonte x VC6 e IPR Uirapuru x BRSMG Madrepérola, pelo método de m + a'e de d. Assim, essas metodologias são complementares na predição do potencial de populações segregantes de feijoeiro.