A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.

Fábricas de software e a academia: análise da formação acadêmica em informática no município do Rio de Janeiro

As Brazil wants to be perceived as a competitor in providing computer applications and system development services in the global market, the concept of Software Factory gains importance. The metaphor for the 'Factory', when applied to the activity of software development, is used to describe organizations which produce software with a minimum quality standard and at competitive costs. However, the term 'Factory' recalls Fordist concepts, which have been challenged for a few decades in the manufacturing industry. This study analyzed university curricula and how students and teachers perceive the concept of Software Factory and assessed them in relation to the Fordism ------------ post-Fordism /continuum/. It was observed that some of the teachers who have influence over curricula define Software Factories according to Fordist concepts. It was also observed that, despite opportunities for improvements, curricula are adequately structured with regards to the skills a professional at these organizations must possess. We conclude that education provided at the programs being analyzed is adequate, but that it must be supplemented by companies or by the professionals themselves so that the knowledge acquired in the programs may be put in practice.

Formulação de uma politica de desenvolvimento regional integrado: um estudo de caso do corredor centroleste

Esta dissertação busca definir qual o propósito que Uniu alguns estados brasileiros em torno da Política de Desenvolvimento do Corredor de Transportes Centroleste. Para tanto, busca definir e identificar quais os atores envolvidos, os respectivos interesses SOCIaIS, políticos e econômicos e o ambiente histórico e político prevalecente. o caso do Corredor Centroleste é o pano de fundo de uma política de Desenvolvimento Regional Integrado, fornecendo bases para análise da formulação de políticas públicas, preocupando-se em configurar sua existência, êxito e continuidade. Por fim, o desenho da matriz de relações interorganizacionais, enseja uma demonstração dos tipos de relacionamentos verificados no estudo de caso, afirmando-a como instrumento de análise na formulação de políticas públicas.

Compactação do solo e produção de cultivares de milho em latossolo vermelho: II - intervalo hídrico ótimo e sistema radicular

Este trabalho teve como objetivo avaliar, no campo, a resposta de duas cultivares de milho em um Latossolo Vermelho, em seis níveis de compactação, quanto ao desenvolvimento do sistema radicular, bem como caracterizar a compactação do solo a partir do intervalo hídrico ótimo (IHO). O experimento foi realizado em faixas, no delineamento de blocos completos casualizados, com quatro repetições. Utilizaram-se os híbridos de milho DKB 390 e DAS 2B710. Após a semeadura do milho, coletaram-se amostras indeformadas de solo para a determinação de propriedades físicas do solo e do IHO. No estádio do pendoamento do milho, retiraram-se três amostras por parcela na entrelinha, nas profundidades de 0-10, 10-20 e 20-30 cm, em cada parcela, para determinação de diâmetro médio, densidade do comprimento radicular e massa de matéria seca das raízes. O IHO foi igual a zero quando o solo atingiu a densidade crítica de 1,46 kg dm-3, correspondente a 92 % da densidade máxima do solo. Com a compactação, houve aumento da produção de matéria seca das raízes, da densidade do comprimento radicular e do diâmetro radicular e na profundidade de 0-10 cm, o aumento da massa de matéria seca e da densidade radicular se dá até a resistência do solo à penetração de 1,23 e 1,43 MPa, respectivamente. Houve correlação negativa entre a massa de matéria seca, a densidade e o diâmetro radicular com a produtividade do milho irrigado, mostrando que essas variáveis são bons indicadores da compactação do solo.

Fenologics characteristics of the Siciliano lemon tree on two rootstocks influenced by liming and boron addition

O presente estudo foi desenvolvido na UNESP/Botucatu, São Paulo, Brasil, num solo identificado como Oxisol, onde foram plantadas mudas de limoeiro Siciliano (C. limon) enxertadas em laranjeira Azeda (C. aurantium) e em limoeiro Cravo (C. limonia). O experimento consistiu em três níveis de saturação por bases (50%, 70% e 90%) e três doses de boro (0,5; 1,5 e 4,5 mg dm-3) no plantio em esquema fatorial de 3x3x2, com quatro repetições. Houve diferentes comportamentos entre os porta-enxertos no que se refere à composição mineral de folhas de limoeiro Siciliano , bem como, no desenvolvimento do sistema radicular, sendo maior na laranjeira azeda em relação ao limoeiro cravo. Não houve nenhum efeito na interação de níveis de saturação por bases e doses de boro para nenhum dos parâmetros avaliados.

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Identificando interesses transversais em modelos de requisitos PL-AOVgraph

The occurrence of problems related to the scattering and tangling phenomenon, such as the difficulty to do system maintenance, increasingly frequent. One way to solve this problem is related to the crosscutting concerns identification. To maximize its benefits, the identification must be performed from early stages of development process, but some works have reported that this has not been done in most of cases, making the system development susceptible to the errors incidence and prone to the refactoring later. This situation affects directly to the quality and cost of the system. PL-AOVgraph is a goal-oriented requirements modeling language which offers support to the relationships representation among requirements and provides separation of crosscutting concerns by crosscutting relationships representation. Therefore, this work presents a semi-automatic method to crosscutting concern identification in requirements specifications written in PL-AOVgraph. An adjacency matrix is used to identify the contributions relationships among the elements. The crosscutting concern identification is based in fan-out analysis of contribution relationships from the informations of adjacency matrix. When identified, the crosscutting relationships are created. And also, this method is implemented as a new module of ReqSys-MDD tool

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Morfoanatomia do sistema caulinar de Canna edulis Kerr-Gawler (Cannaceae)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sonic hedgehog (SHH) mutation in patients within the spectrum of holoprosencephaly

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

Reguladores vegetais no enraizamento e desenvolvimento de gemas de cana-de-açúcar tratadas termicamente

Este trabalho teve por finalidade estudar o efeito de reguladores vegetais sobre a emergência e desenvolvimento inicial de gemas de cana-de-açúcar 'IAC 52-150', submetidas ao tratamento térmico por via úmida. Para tanto, as gemas foram tratadas durante uma hora em soluções de ácido indolilacético (IAA) e ácido naftalenacêtico (NAA), nas concentrações de 10, 25, 50 e 100 ppm, em ácido indolbutírico (IBA) nas concentrações de 10 e 25 ppm e em água pura (testemunha). Imediatamente após o tratamento, as gemas foram plantadas em germinadores de areia. IBA 10 ppm tendeu a favorecer a emergência e o enraizamento das gemas. IAA não afetou a emergência, enraizamento e peso da parte aérea da cana-de-açúcar. Aplicação de NAA 100 ppm reduziu a porcentagem de emergência e o peso da parte aérea do cultivar IAC 52-150.

Compressibilidade do solo e sistema radicular da cana-de-açúcar em manejo com e sem controle de tráfego

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

Simulation of active control using fuzzy logic applied to a pulse combustor

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180° out of phase.

Neonatal rat exposure to pyrethroid and organophosphate insecticides: A physiological and biochemical trial of progeny

A manufactured product (Ectoplus®) composed by a cypermethrin (44.7%) and dichlorvos (4.2%) mixture was administered (10mg/kg/day, orally, by gavage) to pregnant rats, during the periods of gestation+lactation, gestation, and lactation. Control mothers received vehicle aqueous solution during the gestation+lactation period. With the progeny, in the 1-15 post-natal days (PNDI-15) there were observed alterations in the periods of occurrence of teeth, hair, unfolding of ears, and in the developmental period for following reflexes: postural, palmar grasp, negative geotaxis, and acoustic startle reflex. After weaning (PND21), there were observed the presence of cypermethrin and dichlorvos in the blood brain and liver; decrease in weight of liver, of cholinesterase activity in the plasma, liver, and brain, and hepatic metabolizing activity of drugs; alterations of levels of gamma glutamyl transferase enzymes, of creatinine, and of potassium in the serum of the animals. In conclusion, neonatal exposure to a formulated mixture of cypermethrin and dichlorvos is inductive to alterations in characteristics that indicate somatic and neuromuscular development of the progeny, and in certain biochemical parameters. The results suggest that enzymatic assessment associated with somatic and neuromotor assessment can be important markers of developmental characteristics in neonatal toxicity by pesticide formulations based on mixtures of insecticides.

Perinatal exposure to parasiticide ivermectin: Long-term effects on reproductive parameters of adult male rats

Ivermectin is one of the most widely used antiparasitic drugs globally. The aim of this study was to evaluate the chronic effects of perinatal exposure to ivermectin on male reproductive parameters in rats. Pregnant rats were treated daily by oral gavage with 0.4 or 1.6 mg kg -1 of ivermectin or vehicle, from gestational day 6 until post-natal day 10. In the adulthood stage, there were significant reductions in the relative testicular weight of rats exposed to the low dose and in relative prostate weight of male rats exposed to the high dose of ivermectin. Furthermore, the animals exposed to the low dose also presented an increased seminal vesicle weight compared to controls. However, neither of the ivermectin doses interfered in daily sperm production, sperm number in testis, or sexual behavior of exposed males. In conclusion, perinatal exposure to ivermectin neither altered the male reproductive system development markedly, nor produced any adverse effects on the parameters evaluated. © 2011 Taylor & Francis.