BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Perfil de habilidades do desenvolvimento em crianças com holoprosencefalia e holoprosencefalia like

OBJETIVO: investigar e comparar o desempenho nas habilidades relacionadas ao desenvolvimento motor, cognitivo, linguístico, de socialização e autocuidados de indivíduos com holoprosencefalia e com holoprosencefalia-like. MÉTODO: participaram deste estudo 20 indivíduos com diagnóstico de holoprosencefalia, na faixa etária de 18 a 72 meses, de ambos os sexos, divididos em 2 grupos. O grupo 1 (G1) composto por 12 indivíduos com sinais clínicos do espectro da holoprosencefalia, e o grupo 2 (G2) com holoprosencefalia-like composto por 8 indivíduos com sinais clínicos do espectro da holoprosencefalia-like. A coleta de dados foi realizada por meio da aplicação do Inventário Portage Operacionalizado que avalia as áreas alvos deste estudo. Para a análise estatística utilizou-se análise descritiva da mediana e dos valores mínimos e máximos e foi aplicado o teste estatístico de Mann Whitney (< 0,05% para significância). RESULTADOS: os grupos 1 e 2 apresentaram alterações em todas as áreas do desenvolvimento avaliadas. Entretanto, os indivíduos do G1, com holoprosencefalia apresentaram maiores comprometimentos nas habilidades: motora, cognitiva, de linguagem, de socialização e autocuidados, quanto comparados aos indivíduos do G2, com holoprosencefalia-like. CONCLUSÃO: o desempenho nas áreas motoras, cognitivas, de linguagem, de socialização e autocuidados de indivíduos com holoprosencefalia e holoprosencefalia-like foi aquém do esperado, principalmente naqueles indivíduos com holoprosencefalia, que se justifica pelo maior comprometimento no sistema nervoso central. A natureza destas alterações pode estar associada ao universo de alterações neurológicas e craniofaciais descritas nestes quadros clínicos e também à influência do ambiente social.

Relação entre habilidades auditivas e fonológicas em crianças com dislexia do desenvolvimento

A dislexia do desenvolvimento, dificuldade específica de leitura, é caracterizada pela dificuldade em realizar a decodificação fono-grafêmica e percepção de fonemas acusticamente semelhantes. Este estudo teve como objetivo caracterizar o desempenho de crianças com dislexia quanto às habilidades auditivas e de consciência fonológica, correlacionando-as. Participaram deste estudo crianças com dislexia e com bom desempenho escolar, submetidas a avaliações audiológica, do processamento auditivo e das habilidades fonológicas. Os resultados indicaram diferença estatisticamente significante entre as habilidades auditivas de seqüência para sons verbais, mensagem competitiva ipsi e contra-lateral, dicótico de dígitos e dissílabos alternados e ainda nos subtestes de síntese, segmentação, manipulação e transposição. Os achados deste estudo evidenciaram correlação entre provas de memória auditiva e manipulação silábica e fonêmica e associação entre habilidades auditivas e fonológicas, sugerindo que os processos auditivos interferem diretamente na percepção de aspectos acústicos, temporais e seqüenciais dos sons para formação de uma representação fonológica estável.

Desempenho escolar de crianças com Distúrbio Específico de Linguagem: relações com habilidades metafonológicas e memória de curto prazo

OBJETIVO: Descrever o desempenho de crianças com Distúrbio Específico de Linguagem (DEL) em provas de leitura, escrita, aritmética, consciência fonológica e memória seqüencial auditiva, assim como, verificar se há associação positiva entre as provas que avaliam a aprendizagem escolar e as que avaliam o processamento da informação. MÉTODOS: Vinte sujeitos com diagnóstico de DEL, com idades entre 7 e 12 anos, foram submetidos ao Teste de Desempenho Escolar (TDE) e a duas provas, que avaliam o processamento da informação (Perfil de Habilidades Fonológicas e Subteste de Memória Seqüencial Auditiva do Teste de Illinois de Habilidades Psicolingüísticas - ITPA). RESULTADOS: A maioria apresentou alteração em todas as provas realizadas. As associações entre o desempenho do grupo nas diferentes provas demonstram que a habilidade metafonológica apresentou associação estatisticamente significante com as habilidades de leitura (p=0,02) e escrita (p=0,02). Por sua vez, a habilidade de memória seqüencial auditiva apresentou associação estatisticamente significante apenas com a habilidade de aritmética (p=0,0003). CONCLUSÃO: O desempenho escolar, assim como as habilidades de consciência fonológica e memória de curto prazo mostraram-se defasados na maioria dos sujeitos avaliados, havendo associação positiva entre: a prova de memória de curto prazo e a prova de aritmética; a prova de consciência fonológica e as provas de leitura e escrita. Neste contexto, reforça-se aqui a utilização de programas de intervenção baseados em Modelos Psicolingüísticos, que sugerem o uso de estratégias individuais para o desenvolvimento das habilidades metafonológicas.

Terapia de linguagem no espectro autístico: a interferência do ambiente terapêutico

OBJETIVO: Analisar o perfil funcional da comunicação de crianças e adolescentes com distúrbios do espectro autístico em dois ambientes de terapia de linguagem, que se diferenciam quanto ao aspecto físico. MÉTODOS: Participaram dez sujeitos com distúrbios do espectro autístico, seis do gênero masculino e quatro do gênero feminino, com idades entre 4 e 13 anos. Na coleta de dados, foram realizadas filmagens de oito sessões de terapia de linguagem individual com duração de 30 minutos, sendo quatro sessões em uma sala comum e quatro em uma sala com ambientação específica (sala NIC), intercaladamente, durante um mês. Para a análise dos dados foi empregado o Protocolo de Pragmática, e os resultados receberam tratamento estatístico. RESULTADOS: Verificou-se que não houve diferença significativa entre o perfil pragmático apresentado pelos dez sujeitos na sala comum e na sala NIC. CONCLUSÃO: O contexto físico aqui estudado não influenciou significativamente no perfil funcional da comunicação de indivíduos do espectro autístico, ainda que se tenha verificado tendências individuais apresentando melhor desempenho em uma sala ou em outra.

Estudo da viabilidade do desenvolvimento de sistemas integrados baseados em redes em chip sem processadores: sistema IPNoSys

The increase of capacity to integrate transistors permitted to develop completed systems, with several components, in single chip, they are called SoC (System-on-Chip). However, the interconnection subsystem cans influence the scalability of SoCs, like buses, or can be an ad hoc solution, like bus hierarchy. Thus, the ideal interconnection subsystem to SoCs is the Network-on-Chip (NoC). The NoCs permit to use simultaneous point-to-point channels between components and they can be reused in other projects. However, the NoCs can raise the complexity of project, the area in chip and the dissipated power. Thus, it is necessary or to modify the way how to use them or to change the development paradigm. Thus, a system based on NoC is proposed, where the applications are described through packages and performed in each router between source and destination, without traditional processors. To perform applications, independent of number of instructions and of the NoC dimensions, it was developed the spiral complement algorithm, which finds other destination until all instructions has been performed. Therefore, the objective is to study the viability of development that system, denominated IPNoSys system. In this study, it was developed a tool in SystemC, using accurate cycle, to simulate the system that performs applications, which was implemented in a package description language, also developed to this study. Through the simulation tool, several result were obtained that could be used to evaluate the system performance. The methodology used to describe the application corresponds to transform the high level application in data-flow graph that become one or more packages. This methodology was used in three applications: a counter, DCT-2D and float add. The counter was used to evaluate a deadlock solution and to perform parallel application. The DCT was used to compare to STORM platform. Finally, the float add aimed to evaluate the efficiency of the software routine to perform a unimplemented hardware instruction. The results from simulation confirm the viability of development of IPNoSys system. They showed that is possible to perform application described in packages, sequentially or parallelly, without interruptions caused by deadlock, and also showed that the execution time of IPNoSys is more efficient than the STORM platform

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Uma arquitetura de referência para o desenvolvimento de sistemas interativos multiplataformas

It is increasingly common use of a single computer system using different devices - personal computers, telephones cellular and others - and software platforms - systems graphical user interfaces, Web and other systems. Depending on the technologies involved, different software architectures may be employed. For example, in Web systems, it utilizes architecture client-server - usually extended in three layers. In systems with graphical interfaces, it is common architecture with the style MVC. The use of architectures with different styles hinders the interoperability of systems with multiple platforms. Another aggravating is that often the user interface in each of the devices have structure, appearance and behaviour different on each device, which leads to a low usability. Finally, the user interfaces specific to each of the devices involved, with distinct features and technologies is a job that needs to be done individually and not allow scalability. This study sought to address some of these problems by presenting a reference architecture platform-independent and that allows the user interface can be built from an abstract specification described in the language in the specification of the user interface, the MML. This solution is designed to offer greater interoperability between different platforms, greater consistency between the user interfaces and greater flexibility and scalability for the incorporation of new devices

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

Diferentes níveis de cálcio e o desenvolvimento de plantas de estilosantes (Stylosanthes guyanensis (Aubl.) Sw. cv Cook)

O presente experimento teve como finalidade estudar os efeitos de níveis de cálcio no desenvolvimento de plantas de Stylosanthes guyanensis (Aubl.) Sw. cv Cook, em sua fase vegetativa, através dos parâmetros que compõem a análise fisiológica de crescimento e de que forma estes parâmetros se alteram, em função dos tratamentos utilizados. Delinearam-se quatro tratamentos, a saber: T1 (200 mg de cálcio/litro); T2 (133,33 mg de cálcio/litro); T3 (66,66 mg de cálcio/litro); T4 (omisso em cálcio). O experimento foi instalado em cultivo hidropônico, empregando-se solução nutritiva n° 1 de Hoagland & Arnon (1950) e conduzido em casa de vegetação. O experimento, inteiramente casualizado, obedeceu ao delineamento de parcelas sub-divididas, considerando-se as cinco coletas, realizadas a intervalos de 14 dias como parcelas, sendo os tratamentos empregados definidos como sub-parcelas. A influência dos diferentes tratamentos, foi avaliada através da área foliar (AF), área foliar específica (AFE), razão de massa foliar (RMF) e razão de área foliar (RAF). Dos resultados obtidos, pôde-se concluir que plantas de estilosantes, durante a fase de crescimento vegetativo, alcançaram melhor desenvolvimento em níveis de 200 mg de cálcio/litro de solução nutritiva.

Massa das sementes de Tecoma stans L. Juss. ex Kunth (Bignoniaceae): efeitos na emergência e desenvolvimento de suas plântulas no sol e na sombra

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

Desenvolvimento de sensores para gás à base de SnO2 nanoestruturado: influência da microestrutura no desempenho do sensor

Pós nanométricos SnO2.Nb2O5 foram estudados para o desenvolvimento de sensores de etanol. Estes pós foram preparados pelo método Pechini, caracterizados quanto à sua morfologia por difração de raios X, determinação de área superficial específica por BET e Microscopia Eletrônica de Transmissão e foram submetidos a testes de sensibilidade ao vapor de etanol. Foi estabelecida uma correlação entre a microestrutura do material, os efeitos do dopante e a resposta do sensor.

A equipe de saúde como mediadora no desenvolvimento psicossocial da criança hospitalizada

Num primeiro momento a criança se apropria do conhecimento por mediações externas, nas quais um objeto externo a ela, que pode ser um adulto, faz uma mediação entre ela e o conteúdo a ser adquirido. Assim, a hospitalização pode tornar-se um fator de risco no desenvolvimento psicológico da criança, tanto no âmbito cognitivo quanto no afetivo, caso suas potencialidades não sejam mediadas pela equipe de saúde, pois esta tem grande contato com a criança durante a internação. Foi investigado, como objetivo do estudo, o conhecimento do processo de desenvolvimento infantil por parte dos profissionais da saúde envolvidos no cuidado com crianças hospitalizadas, em um hospital-escola público do Estado de São Paulo. Participaram da pesquisa onze profissionais, entre técnicas e auxiliares de enfermagem, e os resultados indicam que estas consideram importantes alguns aspectos no cuidado com a criança, tais como estimulação da linguagem, atenção, brincadeira, vinculação, contato físico, porém não reconhecem estes aspectos como importantes para o desenvolvimento, e elegem profissionais específicos para tratarem de aspectos relacionados ao desenvolvimento infantil na internação, não se percebendo como mediadoras no processo de desenvolvimento psicossocial da criança hospitalizada.