Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Marcas dermatoglíficas, Antropometria e as qualidades físicas básicas dos escolares da rede municipal da cidade de Manaus

The objective of this study of comparative descriptive character went aimed at to analyze the characteristics dermatoglyphics, anthropometrics and the basic physical qualities, in 180 selected scholars in a stratified way, distributed like this: 10 year-old boys = 32; 09 years = 32; 08 years = 32; 10 year-old girls = 28; 09 years = 28; 08 years = 28), studying the fundamental teaching of the School Good Municipal Hope, located in the area east, in the Neighborhood of the Crowned, in the city of Manaus, Amazon. For identification of the dermatoglyphics characteristics collected, was the fingerprints; for evaluation of the corporal mass, height and IMC, they were used a digital scale with an estadiometer of the mark Filizola. The tests: to sit down and to reach flexibility); Horizontal Impulse or I jump in distance stopped (force of inferior members); Flex and extension of the trunk (it Forces abdominal); Flexion and extension of the arms in suspension in the bar (Force of superior members); 30 meters (Speed) and 9 minutes (Resistance applied aerobic) was to evaluate the basic physical qualities. The results demonstrated that differences didn't exist among the goods, in most of the studied variables, and the existent differences among the ages of 8, 9 and 10 years, they demonstrate a normality tendency in the infantile development

Juventude e consumo emocional nas redes sociais da internet. Análise das marcas: Coca-Cola, Pepsi, BlackBerry, Nokia, Riachuelo e C&A

In The paradoxical happiness , Gilles Lipovetsky elects five major paradigmatic models that command the pleasure and happiness in our societies. Starting with the paradigmatic models of penia (where it is emphasized the existential dissatisfaction supplied by the consumption and where advertising has a special place, bombarding consumers and creating consumer needs, in addition to selling a lifestyle rather than the products themselves), and narcissus (model constructed on the basis of self-exaltation and abdication of the social and political) intends to examine the relationship between the consumption exercised by young people and the advertising displayed on social networking sites, focusing on the social media Facebook, observing the virtual fan pages of the following brands: Coca-Cola; Pepsi; BlackBerry, Nokia, Riachuelo and C&A and their relationships with their consumers

As práticas educativas na saúde da família: uma cartografia simbólica

This qualitative research aimed to understand the educational activities carried out in Family Health Units, of the municipality of Mossoró-RN. It was used symbolic cartography to organize and present data from reality. It started on the approach of Health Education and knowledge transformation practice, aiming at the development of autonomy and responsibility of individuals and healthcare, publicized by the appreciation of the interpersonal relations area established in services, such as educational emancipator practices contexts. Individual and collective interviews were realized, conducted with health professionals and users of ESF, about themes, activities, membership, the difficulties, the potential and the design of health education that permeate everyday Family Health Strategy. From what was apprehended, thematic maps were done with the analysis of educational practices of professionals belonging to the Family‟s Health. Links are built with the wires of conceptions of education reflected on themes and activities of family health teams. The storylines are rebinded by voices about the difficulties and the potential of educational processes for emancipator postures. For users, health education means proper care and information on disease prevention. Professionals understand that it is all information that is given to users, about health, social well-being, economic and general condition of human being as a way of preventing and treating disease. Mark printed on voices denote that activities and themes worked don‟t motivate users enough for their participation, being that physicians and dentists also get excluded themselves from educational practices. Elderly groups are those who get most involved with the activities. The size of the contained area and its seclusion from community make harder the access of users, as well as diminishing the quality of educational actions and links users-professionals. Therefore, the searching for medicines, medical consultations and wish to be well served are trademarks of voices from the users that interconnect with enlightening information and guidelines offered by professionals to users. It brings out practices that need to incorporate the social, the subjective and act with practices of prevention and health promotion, on the basis of lifestyles. The dialogical model, which needs to be approached since planning phase of health education actions could arouse interest of involved groups; promoting a relationship of dialogue and listening; discussing the local reality; stimulating practical methodological dialetics; promoting processes of deconstruction of concepts, values and attitudes, as more necessary than construction, using multiple languages. The defended thesis denotes paths to other studies aimed at understanding a dialogical template committed to exchanges of knowledge, and discover strategies that encourage formation of critical consciousness and the discovery of how is the training of new generations of healthcare professionals to belong to the project of society, in its technical, scientific, pedagogical, ethical, political and humanistic dimensions

Itinerários e marcas na formação do sujeito formador: reflexões acerca de um caminho na educação matemática

This Study inserts in Mathematical Education & Education that search to investigate the (self) formation of formers that gets graduation e pass to graduate others that get graduation and are formers in Mathematical Education. This Is a qualitative search in a perspective from search-formation.The work is formed of four topics. First topic talks about : The self-formation of formers. Second topic: at way of suppositions theorical-methodological from search. Third topic tells over: The life of a former life. Fouth topic A Station called Ubiratan D´Ambrosio created in his reverence and for build all the Knowledge´s Corpus developed by his studies and searches. It´s in sense of come and go from knowledge created at action by mankind to get finality of Transcendency and Survive. Look for to investigate aspects of academical, professional and personal life where are translated in language, thinking and practices oriented for one know-how holistical and transdiciplined in a reflexion, search and the critical it constitute to be a Professor, Teacher, Searcher and Etnomathematic that confered him the merit in 2005 the Prize Félix Klein, that declared Valente (2007), maximum distinction that can receive someone from Mathematical Education. The results point that the narratives of life´s stories are prominences to one re-direction of teach practical in formation´s courses of Mathematical teachers, opening spaces for what the teachers and particularly of Mathematical thinking and take position about your process of formation to be Formers. The Study also given possibilities to propose fourteen stoppages in Station that are beginnings with direction that emerge from studies and searches about the trajectory of life of Professor Ubiratan D´Ambrosio in perspective of re-signify the formative process in education and Mathematical Education

Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

A correção como procedimento de reformulação em chat educacional escrito em espanhol por brasileiros: tipos de operacionalização e marcas

O objetivo deste artigo foi analisar, nas interações realizadas por escrito dentro de um chat educacional, os tipos de operacionalização para o processo da correção - enquanto procedimento de reformulação, de acordo com a Perspectiva Textual-Interativa. O corpus, constituído por 31 sessões e por 17 participantes (1 professor e 16 alunos), mostrou a presença de quatro tipos de operacionalização da correção: autocorreção autoiniciada, autocorreção heteroiniciada, heterocorreção autoiniciada e heterocorreção heteroiniciada. O maior número de ocorrências foi o da autocorreção autoiniciada. Esse resultado sugere que: i) os participantes, nesse contexto, parecem se preocupar em preservar a auto-imagem, já que a correção não era essencial à compreensão do texto; ii) os escreventes conhecem as regras e, por isso, se monitoram; iii) a própria ferramenta chat contribui para a autocorreção autoiniciada; e iv) a preferência pela autocorreção autoiniciada parece evitar que o professor assuma o papel de corretor do curso de língua. Foram identificados, ainda, padrões de reformulação com e sem marcadores inscritos na materialidade do texto.

Marcas da escritura oralizada em Sagarana

This work presents a surveyabout the short stories of Sagarana. first book by Guimarães Rosa, publishedin 1946, and that marked the Brazilian litterature definitely, since we are in front of a new construction of the language, linked to the establishment of a new Portuguese, trough the association between the cult speech and the speech from the sertão, always with a pretence sensitivity that rouses when joins archaisms, neologisms, regional expressions and literary language. Among the nine short stories that made up the work, we will select the following ones, to be analysed: "O Burrinho Pedrês", Traços Biográficos de Lalino Salãthiel ou A volta do marido pródigo , "São Marcos" and A hora e vez de Augusto Matraga". Among the hypothesis that organize and surround this work, we will approach the narrative aesthetics, the creative process and the orallity, i.e., how Rosa trans1ate the oral world, rescuing the archaizing speech in the written narrative construction.We will choose for the establishment of developed questions in this ressearch the theories of Paul Zumthor, Câmara Cascudo, Sílvio Romero, Antonio Candido and Alfredo Bosi, among others. Therefore, we will see, through the narrative reading, how the popular parlances are used, which they are linked. The citations that show the popular tradition presence will be pointed out, through anecdotes, folk songs, legends, myths, folktales and proverbs. Therefore, we, readers, will see the popular tradition presence, that will show itself, and the Rosa's thinking will be known through language art, what is the result of the writer's deliberate choice. We will see the popular experience turned to art

Estudos de avaliação quantitativa e qualitativa de linguagens documentárias: uma síntese bibliográfica

Este estudo apresenta uma síntese bibliográfica sobre as metodologias de avaliação que foram propostas por pesquisadores internacionais e nacionais e utilizadas por indexadores de instituições de ensino e/ou pesquisas atuantes em unidades de informação e/ou centros de documentação, bem como aquelas que foram analisadas pelas opiniões dos próprios usuários da informação registrada e disponibilizada em inúmeros sistemas de informações, com enfoques nas abordagens quantitativa, qualitativa e qualitativa/cognitiva, respectivamente.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web

This work presents the tVoice, software that manipulates tags languages, extracting information and, being integral part of the VoiceProxy system, it aids bearers of special needs in the access to the Web. This system is responsible for the search and treatment of the documents in the Web, extracting the textual information contained in those documents and preceding the capability of generating eventually through translation techniques, an audio script, used by the of interface subsystem of VoiceProxy, the iVoice, in the process of voice synthesis. In this stage the tVoice, besides the treatment of the tag language HTML, processes other two formats of documents, PDF and XHTML. Additionally to allow that, besides the iVoice, other interface subsystems can make use of the tVoice through remote access, we propose distribution systems techniques based in the model Client-Server providers operations of the fashion of a proxy server treatment of documents

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Palavra do corpo: confluência de linguagens em Night Journey

Trata-se de um exercício de leitura da coreografia Night Journey (1947), de Martha Graham, como reinvenção do texto de Édipo rei (século IV a. C.), de Sófocles. Pretende-se esboçar um estudo em que se evidenciem os processos interartísticos entre literatura e dança.

Identificação de marcas moleculares associadas à ausência de sementes em videira

A ausência de sementes tem sido uma característica bastante exigida pelos consumidores de uvas de mesa. O objetivo deste trabalho foi identificar marcas moleculares associadas à ausência de sementes, utilizando as técnicas RAPD e fAFLP. Foram utilizadas folhas jovens de 19 cultivares. Na análise RAPD 30, iniciadores possibilitaram amplificação de todas as amostras, produzindo 392 bandas polimórficas. Foi possível encontrar uma marca específica para a ausência de sementes, utilizando o iniciador UBC 443, que poderá futuramente ser utilizado para o desenvolvimento de marcadores SCAR, possibilitando a criação de um teste de identificação rápida e precoce de apirenia em videira. A análise fAFLP proporcionou a visualização de um dendrograma com grupos específicos de cultivares com sementes, sem sementes e porta enxertos.