994 resultados para Linguagem java
Resumo:
Neste texto, o professor apresenta a sintaxe de herança nas linguagens Java e C++, ilustrando-a através de exemplos.
Resumo:
O professor apresenta programas em Java denominados Applets, ilustrando o que é um Applet e como é sua funcionalidade.
Resumo:
Na análise funcional de imagens do cérebro podem utilizar-se diferentes métodos na identificação de zonas de activação. Tem havido uma evolução desde o método de correlação [19], para outros métodos [9] [14] até o método baseado no modelo linear generalizado que é mais comum ser utilizado hoje e que levou ao pacote de software SPM [15]. Deve-se principalmente à versatilidade que o método tem em realizar testes com diferentes objectivos. Têm sido publicados alguns estudos comparativos. Poucos têm sido quantitativos [20] e quando o são, o número de métodos testados é reduzido[22]. Há muitos estudos comparativos do ponto de vista da estatística envolvida (da matemática) mas que têm em geral apenas ns académicos. Um objectivo deste estudo é comparar os resultados obtidos por diferentes métodos. É de particular interesse averiguar o comportamento de cada método na fronteira do local de activação. As diferenças serão avaliadas numericamente para os seguintes métodos clássicos: t de Student, coeficiente de correlação e o modelo linear generalizado. Três novos métodos são também propostos - o método de picos de Fourier, o método de sobreposição e o método de amplitude. O segundo pode ser aplicado para o melhoramento dos métodos de t de Student, coe ciente de correlação e modelo linear generalizado. Ele pode no entanto, também manter-se como um método de análise independente. A influência exercida em cada método pelos parâmetros pertinentes é também medida. É adoptado um conjunto de dados clínicos que está amplamente estudado e documentado. Desta forma elimina-se a possibilidade dos resultados obtidos serem interpretados como sendo específicos do caso em estudo. Há situações em que a influência do método utilizado na identificação das áreas de activação de imagens funcionais do cérebro é crucial. Tal acontece, por exemplo, quando um tumor desenvolve-se perto de uma zona de activação responsável por uma função importante . Para o cirurgião tornase indispensável avaliar se existe alguma sobreposição. A escolha de um dos métodos disponíveis poderá ter infuência sobre a decisão final. Se o método escolhido for mais conservador, pode verificar-se sobreposição e eliminar-se a possibilidade de cirurgia. Porém, se o método for mais restritivo a decisão final pode ser favorável à cirurgia. Artigos recentes têm suportado a ideia de que a ressonância magnética funcional é de facto muito útil no processo de decisão pré-operatório [12].O segundo objectivo do estudo é então avaliar a sobreposição entre um volume de activação e o volume do tumor. Os programas informáticos de análise funcional disponíveis são variados em vários aspectos: na plataforma em que funcionam (macintosh, linux, windows ou outras), na linguagem em que foram desenvolvidos (e.g. c+motif, c+matlab, matlab, etc.) no tratamento inicial dos dados (antes da aplicação do método de análise), no formato das imagens e no(s) método(s) de análise escolhido(s). Este facto di culta qualquer tentativa de comparação. À partida esta poderá apenas ser qualitativa. Uma comparação quantitativa implicaria a necessidade de ocorrerem três factos: o utilizador tem acesso ao código do programa, sabe programar nas diferentes linguagens e tem licença de utilização de software comercial (e.g. matlab). Sendo assim foi decidido adoptar uma estratégia unificadora. Ou seja, criar um novo programa desenvolvido numa linguagem independente da plataforma, que não utilize software comercial e que permita aplicar (e comparar quantitativamente) diferentes métodos de análise funcional. A linguagem escolhida foi o JAVA. O programa desenvolvido no âmbito desta tese chama-se Cérebro.
Resumo:
Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.
Resumo:
O interesse pelo estudo da relação entre a linguagem e a inteligência tem vindo a aumentar nos últimos anos. O objectivo deste estudo consiste em realizar o enquadramento teórico dos antecedentes e estado actual do tema. Um século de investigação em torno da inteligência não foi suficiente para clarificar um conjunto de questões e controvérsias a propósito da delimitação psicológica deste constructo. Como em outros campos da ciência, também aqui os avanços da investigação introduziram novas questões e novas incertezas. A linguagem por materializar várias funções humanas assume um papel fundamental na aprendizagem do indivíduo. E os problemas de realização escolar, embora constituam antes de mais um problema para o indivíduo que os exibe, representam na verdade bem mais do que um problema individual. As suas facetas sociais, políticas e económicas são por demais evidentes.
Resumo:
A presente dissertação surge como um movimento na tentativa de compreender o intrincado território textual de Gonçalo M. Tavares. Da palavra inicial que erra o mundo e que abre a possibilidade do erro e da sua correção, partirse-á para a tentativa de traçar uma cartografia da linguagem na obra polimórfica de Tavares. O mapa para este movimento será o já amplo ‘corpus’ que constitui a obra publicada do autor e que se divide por textos que vão do romance à poesia e ao ensaio, até outros de difícil catalogação. Em todos eles se poderão recolher indícios de leitura de um mapa ainda em construção, para se tentar aferir o modo como os textos literários de Tavares refletem a sua própria ficcionalidade e como, através desta, exercitam a linguagem como matéria de construção aliada ao desenho e às imagens, uma outra escrita que se grava num mesmo suporte para uma melhor compreensão do que se quer narrar ou desenhar. Afinal, como se poderá verificar, palavras e desenho partem de um mesmo ponto e de um idêntico traço para representar e questionar o mundo.
Resumo:
COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.
Resumo:
A epilepsia cursa com diversas comorbidades e, entre elas, estão as alterações de linguagem, que levam a criança a problemas educacionais e sociais desfavoráveis. A etiologia das alterações de linguagem envolve aspectos orgânicos, cognitivos e sociais, ocorrendo, na maioria das vezes, uma interrelação entre todos esses fatores. A idade da primeira crise epiléptica, o tipo de epilepsia, o uso de drogas antiepilépticas e a intervenção medicamentosa em politerapia podem implicar na ocorrência dessas alterações em crianças. O objetivo dessa pesquisa foi verificar a ocorrência de alterações de linguagem em crianças pré-escolares e escolares com diagnóstico de epilepsia atendidas no setor de Neurologia Infantil do Hospital de Pediatria Professor Heriberto Ferreira Bezerra. Caracterizou-se como um estudo prospectivo e transversal realizado com 90 crianças com epilepsia, submetidas à avaliação fonoaudiológica de linguagem oral e de leitura e escrita e como pesquisa interdisciplinar uma vez que envolveu áreas como a Fonoaudiologia, a Neurologia e a Psicologia. Os critérios de inclusão foram: 1) diagnóstico inequívoco de epilepsia, segundo a definição da ILAE (2005), 2) idade de 3 aos 12 anos, 3) padrão neurológico e desenvolvimento neuropsicomotor normais; os de exclusão: 1) diagnóstico de epilepsia duvidoso, 2) padrão neurológico e desenvolvimento neuropsicomotor alterados, 3) crianças com patologias pediátricas associadas. Foram analisadas as seguintes variáveis: sexo, idade da primeira crise epiléptica, tipo de crise epiléptica, regime de tratamento, presença de crise epiléptica, frequência à escola, tipo de escola e repetência. A análise estatística centrou-se na análise descritiva; determinou-se a razão de chances (odds ratio), adotando-se um intervalo de confiança de 95%; e na aplicação do teste exato de Fisher, levando-se em consideração p<0,05. Portanto, no que se refere à presença de alterações de linguagem oral, pôdese observar que o início das crises epilépticas durante o período de aquisição e desenvolvimento da linguagem oral bem como o tratamento medicamentoso neste período podem interferir no desenvolvimento da linguagem devido à imaturidade do sistema nervoso central além dos aspectos socioambientais, uma vez que o estigma e as crenças errôneas interferem negativamente no processo interacional tão importante para a aquisição e desenvolvimento da linguagem, o que também repercute nas habilidades de leitura e escrita. Dessa forma percebe-se a importância da atuação de uma equipe interdisciplinar (Fonoaudiologia, Psicologia e Neurologia Infantil) no processo avaliativo e no acompanhamento dos pacientes com epilepsia, o que trará benefícios psicosocioafetivos no que se refere à reorganização da sua qualidade de vida e, consequentemente, de seus familiares.
Resumo:
Meu objetivo é mostrar que as teses externalistas os significados não estão na cabeça e os pensamentos não estão na cabeça não implicam, necessariamente, a tese mais radical a mente não está na cabeça. Trato dessa questão no âmbito do Externalismo Social de Tyler Burge e Lynne Baker, argumentando que a importância que esses pensadores atribuem à linguagem nas questões relativas à mente não significa, como uma leitura apressada poderia sugerir, a redução da mente à linguagem e, muito menos, a eliminação da mente. A minha conclusão é que o externalismo social linguístico não se constitui como uma estratégia eficaz de enfrentamento dos problemas da natureza da mente e de sua relação com o corpo.
Resumo:
É de interesse prático, quando se dispõe de diferentes lotes de sementes, conhecer a qualidade fisiológica intrínseca a cada um. Objetivou-se determinar a qualidade fisiológica de lotes de sementes da leguminosa forrageira tropical, Macrotyloma axillare cv. Java, com utilização de diferentes metodologias para realização dos testes germinação e vigor. Determinou-se a pureza física dos lotes, o peso de mil sementes, a germinação com e sem escarificação (TG) e o vigor (índice de velocidade de germinação (IVG), primeira contagem, envelhecimento acelerado e condutividade elétrica) de três lotes de sementes. Diferenças na qualidade fisiológica inicial de sementes escarificadas foram observadas pelo teste de germinação. Pelos resultados dos testes de primeira contagem e IVG não foi possível detectar diferenças na qualidade fisiológica das sementes; o envelhecimento acelerado das sementes escarificadas pode ser realizado a 41º C por 72 horas ou a 45º C por 48 horas; o teste de condutividade elétrica mostrou-se adequado para diferenciar os lotes, a partir de 48 horas de embebição.
Resumo:
This production is a reflection about the practices/experiences involving the teaching of the dance developed by the teachers in the Núcleo de Educação Infantil (NEI/UFRN), with the children from 2 to 7 years old, having as objectives: describe and interpret the lived experiences with the dance focusing on the meaning of the dance and organization of the pedagogic job, identify blanks in the pedagogic practices of dance and appoint possible perspectives to the teaching of dance on the infant education. The way from the investigation has begun with the following question: Who do the teachers understand the dance and live it on the Núcleo de Educação Infantil? The research of phenomenological orientation toke as methodological reference the qualitative approach from the placed phenomenon type, this one has as beginning the interest on the phenomenon by the way as it happens on the lived experience from where comes the knowledge with we can present about the world, trying to interpret it, understand it on its essence/existence. The interviews showed that the researched subjects give to the dance different meanings and consequently present variations on the manner to organize the work around this knowledge. The most of the teachers recognizes the dance as a culture expression, being a priority on the school the job with the folkloric dances. They recognize too the dance as knowledge/content coming from the Arts and Physical Education areas and its relation with the knowledge from others areas on the pedagogic action. There were found different process on the way to conduct the job with the dance in relates from experiences done with dance at NEI and, therefore, of teach/learn this knowledge. Its perceptible that exists a systematic work with the objective of develop the dance and its various educative possibilities, starting from the research about its origins, the exploration of the movement, the contextualization until the artistic practice. Those possibilities are reinforced on the school s curricular propose. Some experiences have as a priority the free expression, the dance s vision without context or the reproduction of movements as stand manners of teaching dance, situations like those observed on the investigation as products from the blanks on the academic formation from the teachers with must be fixed. The interpretation of the experiences with dance, described by the teachers from NEI, connected with the theoretical referential from the investigation, allowed to appoint three perspectives to the work with dance in the infant education, having as main interlocutors Merleau-Ponty and Rudolf Laban: the dance as the body s language; the dance and its movement factors; imitate, improvise and play: manners of draw ways to dance. On those process are emphasized the dance on the scholar context, the elements that constitute this language and the forms of appropriate from it supported in a ludicrous, poetic and educative vision, having as focus the children s education on its peculiarities and possibilities
Resumo:
We have been living in a world of packed products. The package and the labels support the companies to communicate with the customers in addition to give protection, storage and convenience in proportion to the products that move in the price list. The labels mainly add up a value which helps the companies differ their products and increase the value of the brands among the final customers. However, the information given in the label are not clear sometimes. It displays a verbal-visual defective language resulted from a poor visibility, legibleness and comprehensibleness of the verbal and visual marks. The aim of this research is to verify, according to the costumers‟ view, the level of the clarity in the informative texts, harmony and ergonomic conformity of the package labels in the chocolate powder of the Claralate brand, considering the linguistic aspects presented on the labels. The criteria to evaluate the chocolate package selected were based on the linguistic field: the organization and the structure of the text derided from the classification of the textual genre; the clarity and the comprehension of the language utilized on those labels. From the ergonomic view, the informative and ergonomic conformity, based on the following requirements: legibility, symbols, characters, reading fields and intermission of the written lines. Therefore, the research done july 2007 and added july 2011 had a structured questionnaire in the interview put to the 118 customers of the chocolate package that go shopping in one of the two supermarkets in Floriano, Piauí São Jorge and/or Super Quaresma. The main results of the investigation show that the linguistic aspects in the informative texts of the labels provide the customers‟ expectancy partially, while the consideration of the informative ergonomic analyzed can contribute to the improvement of the information and consequent visual progress of those, on the labels of chocolate package investigated. As recommendation towards the maker of the product, the outcome of the research indicates: harmonize the proportion of the letters and numbers; enlarge the letters size; make the visual information more comprehensive determined by the reading field; put the expiry date in a better visual place
Resumo:
The lava Platform is increasing1y being adopted in the development of distributed sys¬tems with higb user demando This kind of application is more complex because it needs beyond attending the functional requirements, to fulfil1 the pre-established performance parameters. This work makes a study on the Java Vutual Machine (JVM), approaching its intemal aspects and exploring the garbage collection strategies existing in the literature and used by the NM. It also presents a set of tools that helps in the job of optimizing applications and others that help in the monitoring of applications in the production envi¬ronment. Doe to the great amount of technologies that aim to solve problems which are common to the application layer, it becomes difficult to choose the one with best time response and less memory usage. This work presents a brief introduction to each one of tbe possible technologies and realize comparative tests through a statistical analysis of the response time and garbage collection activity random variables. The obtained results supply engineers and managers with a subside to decide which technologies to use in large applications through the knowledge of how they behave in their environments and the amount of resources that they consume. The relation between the productivity of the technology and its performance is also considered ao important factor in this choice
Resumo:
In the two last decades of the past century, following the consolidation of the Internet as the world-wide computer network, applications generating more robust data flows started to appear. The increasing use of videoconferencing stimulated the creation of a new form of point-to-multipoint transmission called IP Multicast. All companies working in the area of software and the hardware development for network videoconferencing have adjusted their products as well as developed new solutionsfor the use of multicast. However the configuration of such different solutions is not easy done, moreover when changes in the operational system are also requirede. Besides, the existing free tools have limited functions, and the current comercial solutions are heavily dependent on specific platforms. Along with the maturity of IP Multicast technology and with its inclusion in all the current operational systems, the object-oriented programming languages had developed classes able to handle multicast traflic. So, with the help of Java APIs for network, data bases and hipertext, it became possible to the develop an Integrated Environment able to handle multicast traffic, which is the major objective of this work. This document describes the implementation of the above mentioned environment, which provides many functions to use and manage multicast traffic, functions which existed only in a limited way and just in few tools, normally the comercial ones. This environment is useful to different kinds of users, so that it can be used by common users, who want to join multimedia Internet sessions, as well as more advenced users such engineers and network administrators who may need to monitor and handle multicast traffic
Resumo:
This paper discusses aspects related to the mathematical language and its understanding, in particular, by students of final years of elementary school. Accordingly, we aimed to develop a proposal for teaching, substantiated by mathematical modeling activities and reading, which takes advantage of the student of elementary school a better understanding of mathematical language for the content of proportion. We also aim to build / propose parameters for the assessment of reading proficiency of the language of the student in analyzing and modeling process, its ability to develop/improve/enhance this proficiency. For this purpose, we develop a qualitative research, with procedures for an action research whose analysis of the data is configured as Content Analysis. We refer to epistemological and didactic, in the studies: Piaget (1975, 1990), Vygotsky (1991, 2001), Bakhtin (2006), Freire (1974, 1994), Bicudo and Garnica (2006), Smole and Diniz (2001), Barbosa (2001), Burak (1992), Biembengut (2004), Bassanezi (2002), Carrasco (2006), Becker (2010), Zuin and Reyes (2010), among others. We understand that to acquire new knowledge one must learn to read and reading to learn it, this process is essential for the development of reading proficiency of a person. Modeling, in turn, is a process which enables contact with different forms of reading providing elements favorable to the development here mentioned. The evaluation parameters we use to analyze the level of reading proficiency of mathematical language proved to be effective and therefore a valuable tool that allows the teacher an efficient evaluation and whose results can guide you better in the planning and execution of their practice