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.

Rapid prototyping of ubiquitous computing environments

Ubiquitous computing raises new usability challenges that cut across design and development. We are particularly interested in environments enhanced with sensors, public displays and personal devices. How can prototypes be used to explore the users' mobility and interaction, both explicitly and implicitly, to access services within these environments? Because of the potential cost of development and design failure, these systems must be explored using early assessment techniques and versions of the systems that could disrupt if deployed in the target environment. These techniques are required to evaluate alternative solutions before making the decision to deploy the system on location. This is crucial for a successful development, that anticipates potential user problems, and reduces the cost of redesign. This thesis reports on the development of a framework for the rapid prototyping and analysis of ubiquitous computing environments that facilitates the evaluation of design alternatives. It describes APEX, a framework that brings together an existing 3D Application Server with a modelling tool. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. By this means users can experience many of the features of the proposed design. Prototypes and their simulations are generated in the framework to help the developer understand how the user might experience the system. These are supported through three different layers: a simulation layer (using a 3D Application Server); a modelling layer (using a modelling tool) and a physical layer (using external devices and real users). APEX allows the developer to move between these layers to evaluate different features. It supports exploration of user experience through observation of how users might behave with the system as well as enabling exhaustive analysis based on models. The models support checking of properties based on patterns. These patterns are based on ones that have been used successfully in interactive system analysis in other contexts. They help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign.

Effectiveness of high-throughput miniaturized sorbent- and solid phase microextraction techniques combined with gas chromatography–mass spectrometry analysis for a rapid screening of volatile and semi-volatile composition of wines: a comparative study

In this study the feasibility of different extraction procedures was evaluated in order to test their potential for the extraction of the volatile (VOCs) and semi-volatile constituents (SVOCs) from wines. In this sense, and before they could be analysed by gas chromatography–quadrupole first stage masss spectrometry (GC–qMS), three different high-throughput miniaturized (ad)sorptive extraction techniques, based on solid phase extraction (SPE), microextraction by packed sorbents (MEPS) and solid phase microextraction (SPME), were studied for the first time together, for the extraction step. To achieve the most complete volatile and semi-volatile signature, distinct SPE (LiChrolut EN, Poropak Q, Styrene-Divinylbenzene and Amberlite XAD-2) and MEPS (C2, C8, C18, Silica and M1 (mixed C8-SCX)) sorbent materials, and different SPME fibre coatings (PA, PDMS, PEG, DVB/CAR/PDMS, PDMS/DVB, and CAR/PDMS), were tested and compared. All the extraction techniques were followed by GC–qMS analysis, which allowed the identification of up to 103 VOCs and SVOCs, distributed by distinct chemical families: higher alcohols, esters, fatty acids, carbonyl compounds and furan compounds. Mass spectra, standard compounds and retention index were used for identification purposes. SPE technique, using LiChrolut EN as sorbent (SPELiChrolut EN), was the most efficient method allowing for the identification of 78 VOCs and SVOCs, 63 and 19 more than MEPS and SPME techniques, respectively. In MEPS technique the best results in terms of number of extractable/identified compounds and total peak areas of volatile and semi-volatile fraction, were obtained by using C8 resin whereas DVB/CAR/PDMS was revealed the most efficient SPME coating to extract VOCs and SVOCs from Bual wine. Diethyl malate (18.8 ± 3.2%) was the main component found in wine SPELiChrolut EN extracts followed by ethyl succinate (13.5 ± 5.3%), 3-methyl-1-butanol (13.2 ± 1.7%), and 2-phenylethanol (11.2 ± 9.9%), while in SPMEDVB/CAR/PDMS technique 3-methyl-1-butanol (43.3 ± 0.6%) followed by diethyl succinate (18.9 ± 1.6%), and 2-furfural (10.4 ± 0.4%), are the major compounds. The major VOCs and SVOCs isolated by MEPSC8 were 3-methyl-1-butanol (26.8 ± 0.6%, from wine total volatile fraction), diethyl succinate (24.9 ± 0.8%), and diethyl malate (16.3 ± 0.9%). Regardless of the extraction technique, the highest extraction efficiency corresponds to esters and higher alcohols and the lowest to fatty acids. Despite some drawbacks associated with the SPE procedure such as the use of organic solvents, the time-consuming and tedious sampling procedure, it was observed that SPELiChrolut EN, revealed to be the most effective technique allowing the extraction of a higher number of compounds (78) rather than the other extraction techniques studied.

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

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

Rapid detection of resistance to pyrazinamide in Mycobacterium tuberculosis using the resazurin microtitre assay

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

Rapid determination of desorption efficiency, and analysis of solvent mixtures for occupational exposure studies

An analytical procedure has been developed for simultaneous determination of solvent mixture vapors to enable evaluation of occupational exposure. To determine the desorption efficiency the volatile components of the solvent mixtures were generated from a glass tube filled with glass wool. This device is easy to prepare and use. These vapors were then collected in activated charcoal tubes and analyzed by capillary gas chromatography. The method was tested with a mixture of 22 solvents, including aliphatic and aromatic hydrocarbons, alcohols, ethers, esters, and ketones, oil at low concentrations. All the components were defected. When a 99: 1 mixture of carbon disulfide-dimethylformamide was used for desorption the efficiency was > 75% for most of the solvents.

Rapid and Selective UV Spectrophotometric Method for the Analysis of Ceftazidime

A new UV spectrophotometric method was developed for quantitative evaluation of ceftazidime preparations. The UV detector was set at 255 nm. Beer's law is obeyed in the concentration range of 7.0-14.0 mu g/mL. The method was found to be selective, linear, accurate, and precise in the specified ranges. Intra- and interday variability for the method were <2% relative standard deviation. Common excipients used as additives in pharmaceutical preparations do not interfere with the proposed method. This method was successfully used for quantification of ceftazidime in pure form and in pharmaceutical preparations.