Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Adaptive device with underlying mechanism defined by a programming language

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, a decision tree, etc., to which is added an adaptive mechanism, responsible for allowing a dynamic modification in the structure of the underlying mechanism. This article aims to investigate if a programming language can be used as an underlying mechanism of an adaptive device, resulting in an adaptive language.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

Modified value stream mapping of airport check-in procedures

In June 2014 Brazil hosted the FIFA World Cup and in August 2016 Rio de Janeiro hosts the Summer Olympics. These two seminal sporting events will draw tens of thousands of air travelers through Brazil’s airports, airports that are currently in the midst of a national modernization program to address years of infrastructure neglect and insufficient capacity. Raising Brazil’s major airports up to the standards air travelers experience at major airports elsewhere in the world is more than just a case of building or remodeling facilities, processes must also be examined and reworked to enhance traveler experience and satisfaction. This research paper examines the key interface between airports and airline passengers—airport check-in procedures—according to how much value and waste there is associated with them. In particular, the paper makes use of a value stream mapping construct for services proposed by Martins, Cantanhede, and Jardim (2010). The uniqueness of this construct is that it attributes each activity with a certain percentage and magnitude of value or waste which can then be ordered and prioritized for improvement. Working against a fairly commonly expressed notion in Brazil that Brazil’s airports are inferior to the airports of economically advanced countries, the paper examines Rio’s two major airports, Galeão International and Santos Dumont in comparison to Washington D.C.’s Washington National and Dulles International airports. The paper seeks to accomplish three goals: - Determine whether there are differences in airport passenger check-in procedures between U.S. and Brazilian airports in terms of passenger value - Present options for Brazilian government or private sector authorities to consider adopting or implementing at Brazilian airports to maximize passenger value - Validate the Martins et al. construct for use in evaluating the airport check-in procedures Observations and analysis proved surprising in that all airports and service providers follow essentially the same check-in processes but execute them differently yet still result in similar overall performance in terms of value and waste. Although only a few activities are categorized as completely wasteful (and therefore removed in the revised value stream map of check-in activities), the weighting and categorization of individual activities according to their value (or waste) presents decision-makers a means to prioritize possible corrective actions. Various overall recommendations are presented based on this analysis. Most importantly, this paper demonstrates the viability of using the construct developed by Martins et al to examine airport operations, as well as its applicability to the study of other service industry processes.

Detection of Leptospira spp. in the semen and urine of bulls serologically reactive to Leptospira interrogans serovar hardjo

O presente trabalho avaliou a PCR na detecção de leptospiras em sêmen e urina de dez touros sorologicamente reagentes, comparando seus resultados com aqueles obtidos por outras técnicas de diagnóstico. Foram realizadas duas colheitas de materiais em dias alternados. As amostras de sêmen e de urina foram separadas em alíquotas para visualização direta em microscopia de campo escuro, inoculação em hamsters (apenas para o sêmen), isolamento em meio de cultura e PCR. Nenhum hamster apresentou positividade na prova de soroaglutinação microscópica (SAM); fragmentos de rins e fígado desses animais foram utilizados para a tentativa de isolamento em meio de cultura, sendo positivo o cultivo a partir do rim de hamster inoculado com semen de um touro, e do fígado de hamsters inoculados com o semen de três touros. O isolamento em meio de cultura foi negativo para todas as amostras de sêmen, mas foi positivo para cinco amostras de urina. Na PCR não houve resultado positivo para as amostras de sêmen, e apenas uma amostra de urina apresentou resultado positivo, sendo coincidente com uma das culturas positivas. Não foi possível visualizar leptospiras em nenhuma das amostras por exame direto em microscopia de campo escuro.

Habitat use, reproductive traits and social interactions in a stream-dweller treefrog endemic to the Brazilian Cerrado

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

Environmental adaptation of the source of the subbasin of Rico Stream, Monte Alto - SP, Brazil

Este trabalho teve como principal objetivo definir padrões fotográficos que representem o uso e a ocupação do solo da cabeceira de drenagem do Córrego Rico, localizada no Município de Monte Alto, Estado de São Paulo, para fins de adequação ambiental no que tange à legislação florestal brasileira. O mapeamento foi realizado utilizando técnicas de sensoriamento remoto e interpretação visual da imagem World View, seguida da digitalização da rede de drenagem e vegetações (naturais e agrícolas) no AutoCad, com auxílio de documentos e trabalho de campo. A área de estudo apresenta uma superfície de 2.141,53 ha, e os resultados permitiram constatar que a principal cultura é a cana-de-açúcar, com 546,34 ha, seguida de pastagens, com 251,22 ha, culturas perenes, com 191,71 ha, Eucalipto, com 57,31 ha, e a cebola, com 49,52 ha da área total, confirmando o avanço dos canaviais na região. A área possui 375,04 ha de áreas de preservação permanente (APPs), e desta superfície verificou-se que apenas 72,17 ha (19,24%) encontram-se compostos por vegetação arbórea ou mata, e destas 302,87 ha precisam ser enriquecidos e reflorestados com vegetação nativa da região, de acordo com legislação vigente. Os dados de área possibilitam futuras propostas de modelos de adequação ambiental para a microbacia, de acordo com a legislação ambiental vigente.

Extração do corante reactive blue 19 utilizando tensoativo não iônico

The generation of effluent from the finishing process in textile industry is a serious environmental problem and turned into an object of study in several scientific papers. Contamination with dyes and the presences of substances that are toxic to the environment characterize this difficult treatment effluent. Several processes have already been evaluated to remove and even degrade such pollutants are examples: coagulation-flocculation, biological treatment and advanced oxidative processes, but not yet sufficient to enable the recovery of dye or at least of the recovery agent. An alternative to this problem is the cloud point extraction that involves the application of nonionic surfactants at temperatures above the cloud point, making the water a weak solvent to the surfactant, providing the agglomeration of those molecules around the dyes molecules by affinity with the organic phase. After that, the formation of two phases occurred: the diluted one, poor in dye and surfactant, and the other one, coacervate, with higher concentrations of dye and surfactants than the other one. The later use of the coacervate as a dye and surfactant recycle shows the technical and economic viability of this process. In this paper, the cloud point extraction is used to remove the dye Reactive Blue from the water, using nonionic surfactant nonyl phenol with 9,5 etoxilations. The aim is to solubilize the dye molecules in surfactant, varying the concentration and temperature to study its effects. Evaluating the dye concentration in dilute phase after extraction, it is possible to analyze thermodynamic variables, build Langmuir isotherms, determine the behavior of the coacervate volume for a surfactant concentration and temperature, the distribution coefficient and the dye removal efficiency. The concentration of surfactant proved itself to be crucial to the success of the treatment. The results of removal efficiency reached values of 91,38%, 90,69%, 89,58%, 87,22% and 84,18% to temperatures of 65,0, 67,5, 70,0, 72,5 and 75,0°C, respectively, showing that the cloud point extraction is an efficient alternative for the treatment of wastewater containing Reactive Blue

Spatial variations at different observational scales and the seasonal distributions of stream macroalgae in a Brazilian subtropical region

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

Longitudinal distribution and seasonality of macroalgae in a subtropical stream impacted by organic pollution

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