BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Caracterização geométrica e parametrização de depósitos transacionais recentes e sua aplicação na modelagem de reservatórios petrolíferos

In this beginning of the XXI century, the Geology moves for new ways that demand a capacity to work with different information and new tools. It is within this context that the analog characterization has important in the prediction and understanding the lateral changes in the geometry and facies distribution. In the present work was developed a methodology for integration the geological and geophysical data in transitional recent deposits, the modeling of petroliferous reservoirs, the volume calculation and the uncertainties associate with this volume. For this purpose it was carried planialtimetric and geophysics (Ground Penetrating Radar) surveys in three areas of the Parnaíba River. With this information, it was possible to visualize the overlap of different estuary channels and make the delimitation of the channel geometry (width and thickness). For three-dimensional visualization and modeling were used two of the main reservoirs modeling software. These studies were performed with the collected parameters and the data of two reservoirs. The first was created with the Potiguar Basin wells data existents in the literature and corresponding to Açu IV unit. In the second case was used a real database of the Northern Sea. In the procedures of reservoirs modeling different workflows were created and generated five study cases with their volume calculation. Afterwards an analysis was realized to quantify the uncertainties in the geological modeling and their influence in the volume. This analysis was oriented to test the generating see and the analogous data use in the model construction

Perfil da fluência da fala na síndrome de Williams-Beuren: estudo preliminar

TEMA: o padrão de fala fluente atribuído aos indivíduos com a síndrome de Williams-Beuren sustenta-se pela efetividade da alça fonológica. Alguns estudos citaram a ocorrência de disfluências decorrentes de prejuízos léxico-semânticos, entretanto, a quebra de fluência não foi bem especificada quanto ao tipo e freqüência de ocorrência. OBJETIVO: obter o perfil da fluência da fala de indivíduos com a SWB e comparar com um grupo controle pareado por gênero e idade mental semelhante. MÉTODO: foram avaliados 12 sujeitos com síndrome de Williams-Beuren a com idade cronológica entre 6,6 a 23,6 e idade mental de 4,8 a 14,3 anos que foram comparados a outros 12 sujeitos de idade mental semelhante com ausência de dificuldades de linguagem/aprendizagem. Para avaliação da fluência foi utilizado o Teste de Linguagem Infantil - ABFW, na área de fluência, que possibilitou classificar, quantificar e comparar os dois grupos quanto às tipologias e freqüência de rupturas e velocidade de fala. RESULTADOS: o grupo com a síndrome de Williams-Beuren (SWB) apresentou maior porcentagem de descontinuidade de fala e freqüência aumentada para disfluências comuns do tipo hesitação e repetição de palavras quando comparados aos indivíduos com idade mental semelhante e com desenvolvimento típico de fala e linguagem. CONCLUSÃO: O perfil da fluência da fala apresentado pelos indivíduos com a SWB neste estudo mostrou a presença de disfluências que podem ser decorrentes de prejuízo no processamento léxico-semântico e sintático da informação verbal; ressaltando-se, pois a necessidade de investigações mais sistemáticas sobre este tema.

Caracterização dos processos de leitura em escolares com dislexia e distúrbio de aprendizagem

OBJETIVO: Caracterizar e comparar o desempenho de escolares com dislexia, distúrbio de aprendizagem e bom desempenho acadêmico nos processos de leitura. MÉTODOS: Participaram 60 escolares de ambos os gêneros, de primeira a quarta série do ensino fundamental de uma cidade no interior de São Paulo, que foram divididos em: GI - 20 escolares com diagnóstico interdisciplinar de dislexia; GII - 20 escolares com diagnóstico interdisciplinar de distúrbio de aprendizagem; e GIII - 20 escolares com bom desempenho acadêmico, pareados por gênero, faixa etária e escolaridade com o GI e GII. Os escolares foram submetidos à aplicação da adaptação brasileira da Avaliação dos Processos de Leitura - PROLEC, composta por quatro blocos: identificação de letras, processos léxicos, sintáticos e semânticos. RESULTADOS: Os escolares de GIII apresentaram desempenho superior em relação ao GI e ao GII. Foram encontradas diferenças nas provas referentes aos sinais de pontuação e compreensão de orações e textos, em que foi evidenciado desempenho inferior do GII em relação ao GI. Quanto à classificação dos resultados, a maior parte dos escolares do GI apresentou desempenho normal no processo de identificação de letras e dificuldade grande no processo léxico, comprometendo os demais processos, e o GII apresentou dificuldade grande em todos os processos. CONCLUSÃO: Os escolares com dislexia e distúrbio de aprendizagem apresentam desempenho inferior nas provas dos processos de leitura. Os escolares com dislexia apresentam dificuldades no domínio dos processos léxico, sintático e semântico e os escolares com distúrbio de aprendizagem apresentam dificuldades em todos os processos avaliados.

As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical

No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de engenharia da linguagem humana, acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de representação do conhecimento, desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da concepção linguístico-computacional de léxico, elucidam-se os principais paradigmas de representação do conhecimento, enfatizando a abordagem do significado e a metalinguagem formal vinculadas a cada um deles.

Ambigüidade gerada pela homonímia: revisitação teórica, linhas limítrofes com a polissemia e proposta de critérios distintivos

O presente trabalho almeja expor o fenômeno da homonímia no português do Brasil, enquanto ambigüidade presente em uma língua natural, por meio de uma revisitação teórica em diversos autores e em confronto com a polissemia. Ademais, pretende-se, além de redefinir conceitualmente a homonímia, propor critérios semânticos distintivos para esse fenômeno lingüístico, tais como a análise sêmica, o campo léxico, o uso de expressões cristalizadas e a ocorrência de traços especificadores.

Enterprise systems modeling: The ERP5 development process

The design and implementation of an ERP system involves capturing the information necessary for implementing the system's structure and behavior that support enterprise management. This process should start on the enterprise modeling level and finish at the coding level, going down through different abstraction layers. For the case of Free/Open Source ERP, the lack of proper modeling methods and tools jeopardizes the advantages of source code availability. Moreover, the distributed, decentralized decision-making, and source-code driven development culture of open source communities, generally doesn't rely on methods for modeling the higher abstraction levels necessary for an ERP solution. The aim of this paper is to present a model driven development process for the open source ERP ERP5. The proposed process covers the different abstraction levels involved, taking into account well established standards and common practices, as well as new approaches, by supplying Enterprise, Requirements, Analysis, Design, and Implementation workflows. Copyright 2008 ACM.

Optimal clone identifier based on dynamic rules and process algebra

The rule creation to clone selection in different projects is a hard task to perform by using traditional implementations to control all the processes of the system. The use of an algebraic language is an alternative approach to manage all of system flow in a flexible way. In order to increase the power of versatility and consistency in defining the rules for optimal clone selection, this paper presents the software OCI 2 in which uses process algebra in the flow behavior of the system. OCI 2, controlled by an algebraic approach was applied in the rules elaboration for clone selection containing unique genes in the partial genome of the bacterium Bradyrhizobium elkanii Semia 587 and in the whole genome of the bacterium Xanthomonas axonopodis pv. citri. Copyright© (2009) by the International Society for Research in Science and Technology.

Libro blanco de interoperabilidad de gobierno electrónico para América Latina y el Caribe: versión 3.0

Incluye Bibliografía

Algebraic approach to optimal clone selection applied in metagenomic projects

Due to the wide diversity of unknown organisms in the environment, 99% of them cannot be grown in traditional culture medium in laboratories. Therefore, metagenomics projects are proposed to study microbial communities present in the environment, from molecular techniques, especially the sequencing. Thereby, for the coming years it is expected an accumulation of sequences produced by these projects. Thus, the sequences produced by genomics and metagenomics projects present several challenges for the treatment, storing and analysis such as: the search for clones containing genes of interest. This work presents the OCI Metagenomics, which allows defines and manages dynamically the rules of clone selection in metagenomic libraries, thought an algebraic approach based on process algebra. Furthermore, a web interface was developed to allow researchers to easily create and execute their own rules to select clones in genomic sequence database. This software has been tested in metagenomic cosmid library and it was able to select clones containing genes of interest. Copyright 2010 ACM.

O emprego do presente indicativo em entrevistas com enfoque no passado

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

Organização prosódica e interpretação de canções: a frase entonacional em quatro diferentes interpretações de Na batucada da vida

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um estudo das modalidades deôntica e volitiva nos discursos do presidente Lula

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

A gramaticalização de então no português paulista: um estudo pancrônico

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

As interrogativas de conteúdo na história do Português brasileir o: uma abordagem discursivo-funcional

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